摘要：为了提高路径覆盖测试数据生成效率,研究了路径自动分割方法并结合人工鱼群算法提出了一种路径覆盖测试数据生成方法.首先在分析变量与节点关系、变量与路径关系的基础上提出了路径分割的自动判定及分离算法,实现了变量对子路径有无影响的自动判定;其次引入Levy飞行策略和共轭梯度法对人工鱼群算法进行了改进;然后结合路径分离的结果和改进的人工鱼群算法实现路径覆盖测试数据的生成.在利用人工鱼生成测试数据的过程中,判断是否有人工鱼穿越分离的子路径.如果有,则记录人工鱼中穿越子路径相应的分量并在人工鱼的觅食、聚群及追尾等行为中固定这些分量,从而使得搜索空间不断减少.最后将提出的方法实现程序的测试数据生成,并与相关方法进行了比较.实验结果表明,本文方法在时间开销、成功率及算法稳定性等方面均具有优越性.

摘要：为适应工程教育专业认证对计算机专业“计算思维和程序设计能力”的要求,分析了程序设计类课程教学中存在的问题。通过构建程序设计课程群,改进程序设计课程教学体系,优化教学内容、教学方法和评价方式,有效地实现不同程序设计课程之间的衔接和融合。以实践项目、学科竞赛等为抓手,激发学生学习兴趣,增强学生的工程实践能力,为计算机相关专业学生达成工程教育专业认证毕业要求与培养目标奠定了良好基础,对于其他课程群的建设也具有一定的借鉴意义。

摘要：为了解决多核机群并行程序中共享数据所使用的锁机制存在的不足,提出多核机群软件事务内存(STM,Software Transactional Memory)并行编程模型.首先分析MPI+OpenMP并行编程模型的优缺点,然后根据软件事务内存的优势,对多核节点内的多线程共享存储采用乐观检测冲突及优先数优先的竞争管理策略设计事务内存替代锁机制,在多核机群平台中构建新的MPI+OpenMP+STM三级并行编程模型,并将模型应用于随机摄动人工蜂群并行算法的设计与实现,运用MPI+TBB平台对人工蜂群并行算法进行对比实验.实验结果表明,该模型是解决多核机群数据共享锁机制问题的一种有效的编程模式.

摘要：本文主要介绍利用健盘函数和一些图形函数实现光棒组合弹出式菜单的方法，用此方法设计出的菜单不仅漂亮，而且直观友好．

摘要：时间自动机是一种有效描述实时系统行为的计算模型。借助时间自动机对实时系统进行分析、设计能够保证所开发的实时系统具有较高的可靠性。在此过程中对时间自动机的验证是非常关键的一步。验证的主要目的是为了保证时间自动机能够正确地描述实时系统。其中迁移的时间约束可满足性就是需要验证的性质之一。常用的方法是通过构造时间区域自动机来实现,但该方法所涉及的状态数目巨大。该文针对一类时间自动机的特点给出了基于时间关系矩阵来判定时间约束可满足性的方法,结果表明该方法能够有效地减少状态数。

摘要：针对双向通行的交通运输网络结构复杂,且城市道路交叉口的转向延误不可忽略的问题,提出基于无向Petri网的顾及转向延误的最优路径智能搜索算法。从赋予托肯另外两种状态和拓展定义变迁的使能规则两方面对Petri网进行扩展,将网络站点间的最优路径问题转换为求解在限制区域内托肯在节点间通行的最短时间消耗问题。算例模拟和实例分析结果表明了算法的可行性和有效性。

摘要：针对目前存在图像压缩率不高、全局搜索或遗传算法寻找最优分形图像压缩编码速度慢的不足,将基因表达式编程应用于分形图像压缩编码,提高求解分形图像压缩编码速度和压缩比.首先从理论上对二值图像压缩编码的求解过程和基因表达式编程在压缩编码中的作用机理进行分析;然后,研究分形图像压缩编码的基因和染色体的表示方法,适应度函数设计以及选择、变异、插串、基因变换、基因重组等基因遗传进化操作过程.提出基因表达式编程的分形图像压缩算法,求解分形图像压缩编码的最优解.实验结果表明,基因表达式编程应用于分形图像压缩编码,具有较强的全局寻优能力,搜索最优解的速度比遗传算法快约2倍,图像压缩率高.

摘要：为使Petri网系统能够并行执行或模拟运行,提出了基于P-不变量的Petri网并行化方法。根据Petri网系统具有同步与并发的特点,给出基于P-不变量的Petri网模型分割、进程创建条件与并行化分析。在此基础上,提出并行进程创建条件拓展定理并给予证明和实例验证。给出实现并行化所需要解决的Petri网模型行为规范的形式化、P-不变量求解与基于P-不变量的Petri网并行化方法。实验结果表明,基于P-不变量的Petri网系统的并行化方法是可行和有效的。

摘要：本文介绍了计算机程序设计课程实验教学在提高学生编程、系统开发能力中的作用、特点以及现状。通过对构成学生编程和软件系统开发能力的要素进行研究,提出了计算机程序设计课程实验教学的量化质量标准,并对质量标准所包含的指标进行了必要和可行性分析。初步试验表明,实施该质量标准收到了一定的成效。

摘要：为了辅助放射科医生制定合理的放疗计划,避免放疗损害人体正常的组织器官,减轻医生简单重复的工作负担,亟需一种自动/半自动算法对CT图像进行分割,描画病变组织边界轮廓。传统的分割算法主要考虑经验风险最小化(ERM)问题,较少关注算法问题的复杂度和运行效率等问题。针对已有算法的不足,提出了基于ELM的医学图像的分割技术,结合滤波去噪、形态学提取和边缘检测等图像处理方法,设计了一种应用于CT图像的轮廓描绘方法。广西肿瘤医院提供的CT图像分割结果表明:相比于SVM、OTSU及区域生长法,本文所提方法能够显著的降低分割所需时间,提高分割效率,而将分割结果与医生手工描绘轮廓相比,能够满足医学上放疗图像引导治疗要求。