导弹并行测试系统优化模型与性能评价

并行测试是一代测试(NxTest)的关键技术之一,其核心是测试任务调度.基于此,在改进的蚁群算法基础上提出并行测试任务调度方法,获得测试任务最优调度序列,Matlab仿真结果证明了该方法的有效性.采用赋时有色Petri网对并行测试系统进行建模,并基于线性代数的方法验证模型结构的有界性、守恒性、活性和公平性.性能分析结果...     

基于HTCP-net的造船流程仿真与优化

船舶建造流程中,各环节的产能既受内部资源的限制,又受流程间共享资源的限制。本文根据赋时层次有色Petri网HTCP-net的相关理论,利用ML语言对造船流程进行建模,并采用CPNTools工具对模型进行仿真分析。仿真结果预测了S船厂的产能水平,表明了各主要资源的利用率。通过对各资源利用率的分析,识别了流程中的瓶颈资源,并提出了相应的解除瓶颈的方案,最后通过再次仿真证实了方案的可行性。文中的研究方法对复杂的造船流程的建模、仿真和分析具有一定参考价值。     

基于平行Petri网的制造系统调度与控制一体化方法

为了消除制造系统调度层与控制层之间的隔阂, 实现对生产事件快速灵活响应, 本文提出了一种调度与控制一体化的方法. 首先, 定义了一种新型Petri网模型, 即平行Petri网, 从而集成地描述了传感器、执行器、任务和资源信息, 构建制造系统的信息物理系统模型; 其次, 提出了一种从平行Petri网到赋时Petri网的抽象简化方法, 大规模压缩优化调度所需搜索的状态空间; 再次, 定义了策略Petri网以描述最优调度策略. 最后, 给出了平行Petri网与策略Petri网同步执行算法, 使得平行Petri网与物理系统同步执行.     

基于状态机的并行测试实现

并行测试技术是自动测试系统发展的热点.利用状态机原理,将耗时长的测试操作分解为多个小片,每个小片只占用一小段时间,由定时器依据条件依次调用,在定时器未响应的间隙,Windows程序赖以生存的消息循环得以继续,用户界面保持"友好"的状态.并且利用并行状态机可以实现线程内部测试过程的并行运行.实际应用表明,通过此方法可以很好的提高测试效率,降低测试软件维护难度.     

Web服务自动化测试技术

赋时Petri网为装配序列规划提供了有效的建模方法,但其在求解最优装配序列时受到组合复杂性的严重制约。零压缩二叉决策图(ZBDD)是处理大规模组合集合和0-1稀疏向量的一种有效符号技术,能够有效缓解组合爆炸问题。将赋时Petri网与ZBDD结合起来,给出了一种求解装配序列最优解的有效方法。首先通过转换算法将赋时Petri网转换为等价的普通Petri网,接下来给出普通Petri网可达状态及迁移引发函数的ZBDD表示方法,最后基于ZBDD给出最优装配序列求解算法。实例验证表明,该算法在求解过程中通过隐式符号操作实现了Petri网的可达状态搜索,有效缓解了计算过程中的组合复杂性。     

通用测试系统资源描述模型研究

面向信号软件结构是通用自动测试系统软件的发展方向,面向信号软件中使用的是虚拟资源,系统必须通过测试资源描述进行资源配置,才能驱动测试设备完成测试任务.分析了测试资源描述的设备模型、适配器模型、系统配置模型以及测试系统资源配置过程,并在实践中进行了应用.     

基于DoDAF和Petri网的预警作战体系研究

预警作战是一种与“时间窗口”因素密切相关的作战样式。采用DoDAF规范化描述方法,建立了预警作战体系的部分体系结构产品,包括作战高级概念图、作战节点连接关系图、作战活动模型图等。针对一个典型的预警作战任务示例,建立了该体系的HTCPN模型,并使用CPN Tools工具进行了50 000次仿真试验,统计了仿真结果,并分析了影响任务成败的关键因素。     

多产品间歇过程调度问题的建模与优化

提出了一种基于有色赋的Petri网（CTPN）的多产品间歇过程高度问题的建模方法,通过引入一类方案选择库所和方案评价变迁,可以灵活地实现各种优化方法的集成。给出了一个结合局部禁忌搜索的蚁群算法。通过示例,表明了这种多产品间歇过程高度问题的建模与优化方法的有效性。     

基于有色Petri网和IPSO的并行测试系统任务调度研究

并行测试以减少测试时间和降低测试成本的强大优势成为下一代自动测试系统ATS发展的热点;针对ATS中并行测试任务调度复杂、难以优化问题,提出了一种有色Petri网和改进粒子群优化(IPSO)算法相结合的任务调度优化算法;采用有色Petri网建立并行测试系统模型,得到并行测试的动态特性;采用IPSO算法搜索最优的任务调度路径,得到以测试时间最短为目标的最优任务调度方案;最后,将该算法应用到某型雷达电路板并行测试系统中,研究结果表明,与遗传算法GA相比,该算法效率更高,更利于工程应用。     

应用排序聚类对OOCTPN的建模研究

基于排序聚类算法,提出了一种面向对象的有色赋时Petri网（OOCTPN）的仿真模型。首先用排序聚类算法对生产任务进行生产流程分析,排出最小成本或者最短时间的生产流程;然后按照之前排好的流程用有色托肯进行控制,做出基于面向对象技术的有色赋时仿真模型。这种模型具有高度的柔性和可重用性,在生产单元发生变化时,有利于快速地重新构建仿真模型。最后,使用实例加以说明。     

基于改进GA-PSO的可重构测试资源匹配方法

为提高测点信号与可重构测试资源匹配效率,建立了基于STD标准的测点信号与可重构测试资源的数学描述模型.针对可重构测试资源的特点,结合工程实际提出了基于Sigmoid函数的匹配函数,以资源可靠性、配置文件大小及配置时间因子作为罚函数,利用匹配函数构造出遗传算法的适应度函数.为解决遗传算法搜索速度较慢的问题,改进了遗传算法的选择算子和交叉算子,将粒子群算法应用到遗传算法中,解决了遗传算法在算法后期迭代效率低下的问题,最后通过实例验证了算法的有效性.     

一种面向虚拟化数字中心资源按需重配置方法

面向Web应用,提出一种动态资源按需配置方法,能够根据不断变化的资源需求以在线方式高效地重配置集群,实时地确定集群当前节点运行数量及其上部署的虚拟机类型.该方法基于布尔二次指数平滑法预测用户请求,有效避免了配置结果落后于资源请求;基于遗传算法并行化搜索配置空间,快速发现合理配置.实验结果表明,该方法能够根据需求变化高效地在线调整系统资源配置,并可有效提高集群资源利用率,显著降低了系统能耗.     

一种利用部分重构技术实现DES算法的方法

针对当前利用可重构计算技术实现DES算法的方法中存在重构性能低和资源占用量大等缺陷,提出了一种利用基于模块的部分重构技术实现DES算法的方法.该方法利用DES具有的对合结构特性进行算法的模块划分,解决了算法部分重构时的模块间通讯和时序调整等关键问题.通过对DES算法的不同实现方案进行对比,验证了该方法的可行性和有效性.     

CLIPS 在黑河水文水资源决策支持系统中的集成研究

传统的决策支持系统使用数学模型和数值计算方法来辅助决策, 因此决策者必须对某领域的模型和数据有一定的了解。黑河水文水资源决策支持系统集成了SWAT、TopModel、水文系统模型、时间序列模型等一系列模型。这些模型的结构和参数都比较复杂, 决策者难以掌握。在黑河水文水资源决策支持系统中, 加入专家知识支持, 使得决策者更容易的使用该系统是很有必要的。研究中, 采用美国航空航天局(NASA ) 开发的通用专家系统开发工具CLIPS 来实现专家知识支持,使用嵌入式方式将CL IPS 的核心推理机集成到黑河水文水资源决策支持系统中。CLIPS 专家系统在黑河水文水资源决策支持系统中的作用有3 点: ①辅助决策者进行模型的选择; ②辅助决策者进行模型参数的输入; ③辅助决策者分析模型运行的结果。     

一种能耗感知的虚拟集群CPU资源自动再配置方法

系统虚拟化技术可以动态再配置应用环境的计算资源.当前动态资源配置方法主要关注于保证具有动态负载应用的服务质量.这些方法受应用性能驱动并常常增加资源控制系统的响应延迟.针对上述问题提出了以资源使用状态为驱动的资源再配置方法(resource-use-status-drivenresource reconfigurationscheme,RUSiC),自动适应动态负载变化来满足应用性能的资源需求.RUSiC被设计成2层架构的资源再配置模型,基于实时的资源使用状态,及时用较小的开销为应用调整合适的资源配置.同时,RUSiC也考虑到电能的有效使用,在资源的新配置中通过尽可能减少激活物理节点的数量避免大量不必要的电能消耗及相关的冷却费用.实验数据表明,在应用负载变化时,RUSiC能快速监测并响应变化的资源需求,并在保证应用性能的前提下,使用较小数量的激活物理节点.     

基于动态部分重配置技术的自动测试系统研究

为了在不中断自动测试系统运行的情况下,将实现不同测试功能的比特流文件下载到其板载FPGA中,对动态部分重配置技术进行了研究;研发了一套基于CPCI架构的测控应答机自动测试系统;自动测试系统利用动态部分重配置技术和PCI总线技术,由主控计算机软件将满足不同测试需求的部分重配置比特流文件通过PCI总线动态下载到板载FPGA中,且不影响测试系统的正常运行;测试表明利用动态部分重配置技术,自动测试系统可以将以往需要多块板卡才能实现的功能集成到一块板卡中,大大增加了系统的集成度,并有效降低了系统的硬件成本,同时也能够使自动测试系统具备在线升级功能,增加了系统的设计灵活性。     

伪逆法在飞行控制律重构中的应用

提出一种新的伪逆法描述形式，然后探讨了在各种条件下伪逆法重构方案能够精确恢复原有飞行品质，最后提出一种新的伪逆法－频域伪逆法，这种方法与人们通常使用的时域伪逆法相比有一些优越性。     

弹性资源约束的动态调度决策

针对产品开发过程中由于活动变化导致原调度需要重新调整的问题,提出一种利用弹性资源特性进行动态测度决策的方法.以活动添加的变化为对象,根据活动间时序约束、资源约束等特点,分别构建时序冲突消解模型以及基于资源推拉技术的资源冲突消解模型.为提高活动冲突消解效率,提出一种虚拟前置活动和虚拟后续活动的构建方法,并确定动态调度决策指标值.最后通过船舶分段制造实例,验证了弹性资源约束的动态调度决策方法的可行性和有效性.     

胚胎电子系统动态重构的设计与实现

胚胎电子系统是一种具有自诊断、自修复、自复制能力的仿生硬件;为实现胚胎电子系统的故障修复与硬件复用等功能,设计了支持动态重构的配置控制电路;该配置控制电路针对胚胎电子系统的结构特点,利用其自身的多页存储器,实现了基于多页存储器快速切换的动态重构,可以实现胚胎电子系统基于模块的功能切换与硬件资源的复用;仿真实验表明,配置数据可以在线的下载到配置存储器中,下载过程中不影响其它模块的正常运行,满足胚胎电子系统动态重构的需要。