基于遗传算法的面向多样性EFSM测试序列生成方法

为提高扩展有限状态机(EFSM)测试用例生成的效率及效果,提出了一种基于遗传算法的面向多样性EFSM测试用例集生成方法.在优化遗传算法个体编码和操作算子的基础上,引入EFSM测试序列集多样性度量,利用遗传算法,不断增加测试序列集中测试序列间的差异程度.同时在方法中增加测试序列可行性判别机制,以保证最终测试序列均为能产生测试数据的可执行序列.实验结果表明,与未考虑多样性的EFSM测试序列生成方法相比,面向多样性的方法不仅能够生成可执行并满足测试覆盖准则的测试序列集,而且有效减少了测试序列集生成的时间开销,同时缩小了所需最小测试用例集的规模.     

面向CPN属性的测试序列的自动生成方法

CPN(Coloured Petri Nets)非常适用于描述和分析含有并发、同步和通信等情况的复杂系统。该文提出了一种面向CPN属性的自动生成测试序列的方法。首先给出了CPN属性的形式化定义,然后根据系统的CPN模型给出了面向CON属性生产测试序列的算法,并应用该算法完成了面向CPN属性的测试序列自动生成工具的开发。这对于CPN t00Is也是个非常有效的扩展。     

可复用信息修改组件的实现

为了提高软件设计的可复用性,使软件系统的快速开发成为可能。文章通过使用.net技术,设计并实现了一个信息修改组件。该组件使用了通用的数据库操作类,实现了表单的自动化生成及自动化修改,可以在基于.NET平台的信息管理系统开发中重复使用,为信息管理系统的快速开发提供了有力的支持。同时,文中对该组件的设计思路及实现过程均进行了比较详细的介绍,为其它类似组件的实现提供了一个参考。并且这一组件被用到精品课的网站系统建设及课程建设上,结果表明了该方法的有效性。     

一种面向个性化网络学习的协同学习任务生成方法

提出了一种面向个性化网络学习的协同学习任务自动生成方法.该方法以学习目标与学习小组中学习者的个性特征为输入,通过基于学习者认知水平的协作成员分组和基于耦合度的协同学习模式分配,生成符合学习者群体个性特征的协同学习任务,从而有效地解决了网络学习中个性化学习与协同学习相结合的问题.该方法已在实时教学系统中进行了测试,结果表明,相对无指导的协同学习,根据此方法所生成的学习任务的协同学习可有效提高学习效率.     

18F正电子药物自动化合成装置BNU F-A2的研制及应用

为满足北京日益增长的新型18F药物研究和应用的需要,研制多功能的自动化合成装置迫在眉睫.BNU F-A2型自动化合成装置是北京师范大学研制、以"多功能"和"自动化"为设计原则、一款用于自动化合成18F-放射性药物的装置.该装置可一次加载9种溶液,通过夹管式电磁阀控制流动,反应温度可在当前室温至最高150℃的范围内任意设定,满足单步、多步法18F药物标记及纯化的需要;装置控制程序采用模块化设计,将反应流程划分为若干步骤,通过在每步中设定装置动作和反应条件,完成相应的实验操作流程.装置可通过手动、无线遥控和工作站3种方式操作,以全自动和步进2种方式运行,这样可减少对操作人员的辐射损伤、更好地保护操作人员.应用该装置,自动化合成了乏氧组织显像药物[18F]FMISO和[18F]FET.结果表明:BNU F-A2型合成装置硬件结构设计灵活、控制程序友好、操作简单,满足了新型18F药物研究的需要,正在成为新型18F标记正电子药物研究的有力工具.     

基于有色Petri网模型的GUI测试用例自动生成技术

通过图形用户接口(GUI)测试已经成为软件测试的主要手段,但现阶段GUI测试自动化程度不高.针对这一问题,提出了一种基于模型的GUI测试用例自动生成技术.给出了基于有色Petri网模型的GUI对象建模方法.定义了2种测试覆盖标准,设计了基于不同测试覆盖标准的测试路径和测试数据生成算法.介绍了支持工具GUI测试用例生成器(GTCG)的设计与实现.实验表明: 该模型可有效地描述GUI系统的状态和行为,该技术有助于提高GUI测试的效率和质量.     

大型管理信息系统程序生成工具

针对管理信息系统(MIS)开发存在的问题,我们在积累MIS开发经验的基础上,对MIS进行分析抽象,设计完成了MIS开发程序自动生成工具——GENTOOL。 GENTOOL是面向管理对象而设计的MIS程序自动生成工具,在生成MIS源程序的同时,也生成MIS的规范文档,具备面向用户、面向软件工程师的双重特点。面向用户体现在用户无需会编程语言,不需编写源程序,只要按工具界面要求定义管理对象及其操作就能自动生成各类完善的管理信息系统如人事、工资、财务、生产凋度、生产计划统计、设备、物资供应、仓库、商     

使用Delphi直接编辑演示文稿的实现方法

总结了三种使用Delphi生成演示文稿的方法.结合编程实例介绍了Delphi 7.0中的PowerPoint组件的功能,以及利用这些组件完成在Delphi中操作Microsoft PowerPoint的方法,就实现Delphi对演示文稿直接操作进行了探讨和分析.     

移动协同编辑中基于CRDT的序列转换算法

为高效地处理移动协同编辑中用户积累的大量本地操作,实现移动协同编辑系统的高响应性,提出一种支持序列转换的可交换复制数据类型(commutative replicated data type,CRDT)算法.首先,提出一个移动协同编辑的总体框架,支持多个移动终端离线或在线地协同编辑共享文档副本;然后,提出一个支持序列转换...     

基于混合循环算法的复杂装配体装配序列智能规划

针对单一算法无法实现复杂装配体装配序列智能规划以及缺乏深度人机交互而导致的改进效果不佳等问题,提出一种混合循环算法.该算法以遗传算法为主体,利用干涉矩阵和接触矩阵调整随机生成的装配序列,以装配方向及工具的统一性构建适应度函数;其次结合模拟退火算法,在迭代前加入退火操作,利用Metropolis准则接受交叉和变异后的个体序列;引入粒子群算法的跟踪极值思想,直接选择个体最优和群体最优序列与后代交叉;最后结合虚拟现实技术建立装配模拟平台,从装配稳定性及工具操作空间两个维度进一步优化序列.基于该方法以汽车后桥总成装配序列规划为例进行验证,表明所得装配序列符合实际生产,该方法切实有效.     

基于手绘草图的中保真原型自动生成

从手绘草图生成数字化的中保真原型是界面设计的必要步骤,它需要花费设计师大量的时间和精力.针对这一问题,本文提出了基于目标检测和启发式规则的中保真原型自动生成方法,并基于该方法实现了一个自动化工具.首先,本文提出基于置换注意力机制(SA)的目标检测模型SA-FRCNN对手绘草图中的组件进行检测;然后,提出启发式规则对检测结果进行布局优化.实验表明,本文方法能够提升对手绘草图的检测精度,较基线模型提高了2.3%;此外,本文工具可以有效提高原型设计效率.     

一种面向测试的RTL行为抽象与蕴含方法

针对寄存器传输级（register transfer level,RTL)行为的抽象，提出了一种层次化的带条件的表示，这种抽象的行为是面向测试的，它不仅表达简单，而且能很方便地进行蕴含操作，通过抽象，电路可以规范为行为集，并代替电路本身进行功能测试向量的生成，在测试生成过程中，大量地应用蕴含操作何以使其中的行为得到简化，并极大地提高了系统的效率。     

基于Parlay的下一代网络业务生成及TINA

下一代网络是面向应用的网络,业务生成和部署显得尤其重要.诸如Parlay的软交换体系结构,利用业务逻辑分解使得业务生成和部署得以实现.Parlay将业务逻辑分解为业务依赖及业务独立的两部分,将业务逻辑分解应用于功能丰富的TINA业务组件,产生通用的,可重用的软件副组件,在业务生成的过程中重用业务逻辑,因而保证NGN中第三方业务的快速部署.     

面向分组密码处理的可重构分簇式架构模型及其任务映射技术研究

提出了一种基于Crossbar互连的可重构分簇式分组密码处理模型RCCPA和面向RCCPA的任务映射方法.所建立的任务就绪列表避免了任务划分的死锁问题,通过开发分组密码组间并行及组内流水特性,提高了RCCPA架构的单元利用率和密码处理性能.在RCCPA架构上使用自动化映射方法适配了AES/DES/IDEA等密码算法,结果表明,该模型与方法有效提高了分组密码算法的处理性能.     

面向社群的协同产品设计网络组建方法

面向社群的广域产品设计网络是一种协同产品开发的新模式。该模式中,协作伙伴的选择范围扩展到广域的网络社群成员。由于无法准确了解候选社群成员的准确属性,为设计网络的组建带来了困难。针对这一问题,提出了一种基于招投标机制的社群型协同产品设计网络组建方法,给出了基于扩展合同网协议的招投标流程。基于投标信息,同时考虑投标方的虚报利润,采用基于遗传算法的多轮二次招投标求解满足项目周期前提下项目总支付款最低的子项目最优分配方案,使协同产品设计网络的组建成本最低。算例分析表明,该方法能有效消除投标方的虚报利润,为面向社群的协同产品设计网络的组建提供了一种可操作的方法。     

基于有向网络理论的U型装配线平衡问题研究

针对制造企业的复杂装配线工作站优化设计和生产柔性化要求,提出基于有向网络理论的解决办法.首先结合装配线平衡问题简单算例,说明装配流水线作业流程图满足有向图特征,并用矩阵表示,将复杂网络图信息转换为可计算的数据信息,实现了流水装配线平衡的计算机计算与程序设计.其次以29个节点装配流程为例,在满足作业元素的时间、流水节拍以及作业元素优先关系的约束条件下,以装配线时间损失率最小为优化目标,建立装配线平衡问题的数学模型.最后利用有向图网络理论计算装配线平衡问题和U型装配线设计,平衡率达到93.81%,验证了有向网络图理论求解生产线平衡问题的合理性和有效性,并实现了计算机程序计算.本研究为制造企业大型流水线设备自动化设计提供了一种新方法.     

热轧实验机组全自动轧制及冷却功能开发与应用

开发了完全基于基础自动化系统的全自动轧制及冷却功能,对实验进程进行实时判断,并自动生成操作指令.其核心组件是仪表信号采集及处理模块、轧件跟踪模块和操作逻辑判断与指令生成模块.实现了包括钢板运输、高压水除鳞、轧制、对中、中间待温及控制冷却过程的全自动控制.操作人员只需进行手动转钢操作和必要的干预控制.该功能成功应用在包钢技术中心550mm热轧实验机组,最大头部位置偏差为29mm,最大长度偏差为241%.     

CTCS-3级列控系统车载设备测试序列的优化

如何将测试案例组合成为最有效和最优化的测试序列,是车载设备测试的一个关键问题.将优化测试序列生成问题演化为邮递员问题,通过利用遗传算法解决邮递员问题的优势,将遗传算法应用于优化测试序列的生成.根据车载模式转换图构造测试子序列图,然后应用遗传算法求解得到优化测试序列.分析实验结果表明,此方法使得测试效率得到了大幅度提高,是一种优化测试序列生成问题的可行方法.     

基于内建自测试的伪随机测试向量生成方法

内建自测试作为一种新的可测性设计方法,能显著提高电路的可测性.本文研究了内建自测试中的测试向量的生成方法,详细介绍了由线性反馈移位寄存器构成的伪随机序列生成电路的原理,给出了由触发器和异或门构成的外接型、内接型以及混合型伪随机序列生成电路.     

一种基于规则的工作票描述语言自动生成算法

为了加快工作票的生成速度和保证操作过程的安全性,提出了一种基于规则的工作票描述语言自动生成算法.根据选定的工作设备,以电力行业知识为基础,由电气系统图自动生成操作设备链表,通过基于规则的推理机制,实现了从设备操作到自然语言的解释和翻译,最终生成完整、准确的操作描述.实验结果表明,所提算法比传统手工方法的生成速度提高约20倍,利用它可以大幅度提高工作票的生成速度,保证操作过程的安全性,有效地降低操作人员的劳动强度.该算法已在数十家供电企业得到了应用.