郑文艳
- 作品数：27 被引量：48H指数：4
- 供职机构：德州学院更多>>
- 发文基金：山东省自然科学基金德州市社会科学规划研究项目国家自然科学基金更多>>
- 相关领域：自动化与计算机技术经济管理理学语言文字更多>>
- 义乌市场的电子商务服务平台构建研究被引量：1
- 2013年
- 随着世界经济一体化、全球化进程的加快,国际互联网的普及使日益成熟的电子商务成为当今IT行业最热门的话题和竞争的焦点。本文以义乌专业市场为研究主体,总结了电子商务从诞生至今三个发展阶段,分析义乌专业市场电子商务发展现状及态势,阐述了电子商务对市场经济结构调整和转型升级产生的促进作用。本文立足义乌专业市场电子商务应用现状,结合实际环境与市场需求,运用创造性思维,提出完善和提升的解决方案,构建出一个走向全球的适合义乌市场的电子商务服务平台。
- 张令春郑文艳
- 关键词：对外贸易个性化服务
- 命题逻辑的计算机实现
- 2013年
- 命题逻辑是逻辑学的基础,要实现逻辑学的计算机处理首先需要实现命题逻辑的计算机处理。由于每个命题公式都与一个由小项下标组成的集合相对应,这样实现命题逻辑的计算机实现就可以通过集合这个工具,首先将命题逻辑转化成集合,然后在计算机上对集合进行表示和处理,最后再将由集合处理的结果还原成命题逻辑的形式输出。本设计主要是基于这一集合理论,在计算机上实现命题逻辑中的两个最基本的处理,命题公式的证明和命题公式的主析取范式求解。
- 李亚男郑文艳
- 关键词：命题公式小项主析取范式
- 基于CPN的程序测试用例生成方法的研究
- 2014年
- 采用成熟的建模仿真工具CPN tools不仅仅对程序设计语言的三种基本结构进行了建模,而且对并行程序中的并行结构也进行了建模和仿真。在不针对某些具体语言比如C语言的情况下,提出了生成测试用例的新方法,该方法对具备三种基本结构特性的所有程序都具有普遍适用性。对具有并行结构的程序通过化简寻找测试路径。最后在生成测试用例之后,又利用CPN tools对所获得的测试用例进行选择和评价,最终确定合适的测试用例,不仅能够保证获取的测试路径是完整的而且是最优的。
- 郑文艳
- 关键词：颜色PETRI网状态空间爆炸
- 基于Web Service 3G手机的设计与实现——G3乐游系统
- 2013年
- 旅游管理工作是商业活动的核心工作,提高旅游管理工作的数字化和信息化水平,是旅游管理工作发展的必然要求和迫切的希望。G3乐游是一个基于B/S架构的旅游系统,功能主要分为服务器端管理和客户端管理两部分,服务器端管理主要包括管理用户信息、删除用户、管理后台系统等;客户端功能主要是通过调用Web Services接口来实现,包括用户个人信息的管理、旅游信息的查询、酒店房间的预订、各种服务的查询等。
- 张令春郑文艳
- 关键词：旅游管理B/S旅游系统
- 思维导图Xmind在专业综合改革中的应用被引量：1
- 2013年
- 思维导图是一种组织发散思维的图形技术,其应用范围非常之广泛,涉及知识管理、时间管理、头脑风暴等。本文主要探讨思维导图在专业综合改革中的应用,非常形象的描述了课程规范以及教学计划,在一定程度上可以避免前后课程安排不合理等问题的发生,而且对专业脉络,分支在整体上有很直观的认识。
- 郑文艳
- 关键词：思维导图头脑风暴
- 利用EXCEL快速实现监考安排表被引量：2
- 2006年
- 每逢考试,排监考表是一件十分令人头痛的事情,特别是在排表要求较高、条件限制较多的情况下,一不小心,就会出现重监、不合要求或监考场次不均等现象。本文充分利用EXCEL所特有的特点,通过行列所能提供的信息,快速安排出合理的并且没有冲突的监考安排表。
- 郑文艳孙新燕范毅
- 关键词：EXCEL
- 基于矩阵的光栅图形扫描线算法的实现被引量：1
- 2005年
- 本文充分利用了矩阵的特点,利用两个矩阵来精确的判断扫描线的范围,以及扫描线与多边形边的交点,交点的递增顺序,从而快速、准确的把多边形的顶点表示转换成内点表示。避免了大量的求交运算,极大的提高了效率。
- 郭长友郑文艳
- 关键词：扫描线矩阵扫描线算法光栅图形顶点表示交运算
- 浅析Web数据挖掘在电子商务中的应用被引量：1
- 2007年
- 随着互联网的发展,Web数据挖掘由于其独特的优点,在电子商务中有了更大的用武之地。文章介绍了Web数据挖掘的概念、特性及分类,并着重介绍了Web数据挖掘在电子商务中的应用。
- 孙新燕郑文艳房晓东
- 关键词：WEB数据挖掘电子商务互联网
- 分层有色Petri网在物流配送系统仿真建模中的应用被引量：5
- 2013年
- 研究了如何使用分层有色Petri网在减少模型复杂性的基础上来建立物流配送模型,并使用Colored Petri Net工具中的monitor机制,对关键库所中托肯的变化情况以及关键变迁的发生次数得到Simulation Performance Report和Message Sequence Chart来对模型进行全方位的定量定性分析,准确模拟了实际系统完成物流配送的整个过程,仿真过程表明该系统具有良好的适应性.在确保物流配送流程合理性的同时,也为物流仿真软件体系结构的模块化及层次化设计建立了良好的基础.
- 郑文艳
- 关键词：COLOREDPETRI仿真物流配送MESSAGECHART
- 基于资源共享的医疗服务流程的建模与仿真分析被引量：4
- 2014年
- 针对目前患者到医院就诊等待时间长、医院内部资源利用效率低的问题,提出一种基于着色Petri网的医疗服务流程模型。利用仿真工具CPN Tools对整个医疗服务流程构建模型,在证明模型正确性的基础上对模型进行仿真分析与计算,获取患者就诊过程中各个环节的等待时间、被服务时间、医护人员的有效服务时间以及床位的有效服务时间等各项指标,最后通过对各项制约效率指标的分析,为资源进行合理调配,提高服务效率和资源利用率提供了理论依据。实验结果表明,该方法与以往就医模式相比,能够为流程重组及资源分配等各项优化措施提供事实数据,对同类研究具有一定借鉴意义。
- 郑文艳
- 关键词：着色PETRI网业务流程建模医疗服务流程资源共享
