摘要：面向对象的软件测试技术研究的主要领域之一就是基于规约的系统测试,该测试技术在系统测试过程中会产生不可预测、事件静止的“死锁”和路径爆炸等问题。论文将事件驱动的Petri网(Event-DrivenPetriNetwork,简称EDPN)模型直观可靠的特点和较好的耦合性运用到系统测试技术中,探讨了解决问题的途径,提出了一种基于EDPN的唯一输入输出(UIO)测试用例的生成方法,并设计了基于深度优先搜索方法的自动生成测试用例的算法。

摘要：为解决有约束单一圆形片剪冲排样问题,提出一种生成规范多级排样方式的递归算法。剪冲工艺首先采用剪床将板材剪切成条带,然后使用冲床将条带冲压出圆形片。算法使用水平剪切线和竖直剪切线从板材上剪切下条带;通过调用递归过程确定每次的剪切线方向和条带宽度;采用隐式枚举法缩小算法计算量。运用该算法开发了一个有约束单一圆形片排样系统。采用大量随机生成的测题进行实验,结果表明该算法在计算时间和板材利用率两方面都有效且生成的排样方式便于剪切。

摘要：通过对道路改造项目中碎石运输的设计分析,以项目改造碎石运输费用最小为目标函数,建立非线性优化数学模型,并为该模型设计求解方案;运用MATLAB软件编程求解,计算出碎石运输的最小费用.

摘要：运用模拟退火算法、遗传算法等启发式算法对物流系统中的送货路线设计进行了研究。针对一个具体的送货线路设计问题,根据送货线路图,建立了送货路线模型,运用启发式算法计算出了最优送货线路,并对该模型和算法的适用性进行了分析。

摘要：结合专业建设对信息与计算科学专业实践教学的现状及存在的主要问题进行了分析,同时就信息与计算科学专业实践教学体系的主要内容、总体设计和组织管理方面进行了探讨,提出了按模块分层次构建实践教学内容体系的设想,对信息与计算科学专业实践教学有一定的指导意义。

摘要：系统采用B/S模式、Java语言作为开发工具,能够对教师的教学科研绩效点进行录入、核算。

摘要：XML作为一种国际化的通用标记语言,广泛应用于IT产业的各个领域。数据交换是XML的重要应用之一,平台间的接口就常采用它来实现。数据接口一般都较为稳定,但也不尽然。本文就是为了应对XML接口格式的频繁变化,探索并提出了一种全新的解决方案,设计和研发了基于数据库的XML脚本及其实现引擎。该引擎已通过了北京同方卫康科技有限公司的测试,应用于实践。