语境驱动的仿真模型测试方法论

组合模型的有效性验证是利用模型组合实现仿真系统快速开发的迫切需求,也是组合仿真理论和方法研究的一个重要问题.在分析组合模型抽象层次的基础上讨论了不同层次组合有效性的研究内容,并针对组合模型的行为从测试的角度提出了语境驱动的仿真模型测试方法论,重点讨论了方法论中语境的概念、语境驱动的测试框架生成以及测试框架的嵌入和运行时刻检验等内容,目的是判断仿真模型及其组合行为是否忠实反映了设计信息,实现了行为无错的演化.     

Fuzzy上下文无关语言的几个辅助定理

Ｆｕｚｚｙ上下文无关语言是一种常见而有用的语言,对它的研究目前尚是一薄弱环节．本文研究了Ｆｕｚｚｙ上下文无关语言的几个辅助定理及语言的歧义性等,这为进一步研究Ｆｕｚｙ上下文无关语言及与Ｆｕｚｚｙ自动机的关系奠定了基础．     

特大规模组合电路测试数据产生方法研究

针对特大规模组合电路和全扫描设计电路提出了一种高速测试生成方法。该方法采用有限回溯测试模式产生方法生成测试码,采用ｎ（机器字长）个测试码并行的单故障传播方法模拟验证测试覆盖。测试生成与故障模拟为ｎ对１紧耦合集成方式。该方法运行１０个Ｂｅｎｃｈｍａｒｋ电路,取得了低测试长度、高故障覆盖、高效率的良好效果。     

痛稳素(nocistatin)在疼痛调制中的作用

采用甩尾潜伏期作为伤害感受的指标,用ｖｏｎ Ｆｒｅｙ纤维测量机械性痛觉超敏,观察给大鼠脑室注射痛稳素能否逆转孤啡肽的抗吗啡镇痛作用,以及脑室注射或脊髓蛛网膜下腔注射痛稳素能否影响神经源性痛大鼠的机械性痛觉超敏。结果表明,脑室注射痛稳素不影响大鼠的甩尾潜伏期,也不影响吗啡镇痛,脑室注射或脊髓蛛网膜下腔注射痛稳素也不影响神经损伤侧后肢的缩足阈值。然而,脑室注射痛稳素能显著逆转孤啡肽的抗吗啡镇痛作用,由     

量子连续粒子群优化算法及其应用

提出了基于量子理论的连续粒子群优化(Continuous Particle Swarm Optimization based on Quantum Methodology, CPSO-QM)算法,主要是采用了量子理论中的叠加态特性和概率表达特性.其中,叠加态特性可以使单个粒子表达更多的状态,潜在地增加了种群的多样性;概率表达特性是将粒子的状态以一定的概率表达出来.在基准函数的实验测试中,对比其它常用算法,结果显示本文提出的算法性能较好.在实际应用中,以丙烯腈反应器作为建模研究对象,提出了三种进化策略,实验结果显示,这三种策略训练的神经网络软测量模型都可以较好地预测丙烯腈的收率.     

灰色模型的病态问题研究

针对灰色模型在参数辨识过程是否出现病态问题利用矩阵条件数进行了研究,研究结果表明:只有在原始序列首项不为零其它各项近似为零的常数序列的情况下灰色模型才会发生病态性问题,对于这类序列在进行预测时是没有实际意义的.因此在灰色预测所建立的灰色GM(1,1)模型是不会存在病态问题.     

汶川特大地震灾后对口援建系统工程的综合集成模式

在深入调查地震灾区情况的基础上,认真研究对口援建方案,分析对口援建开放的复杂巨系统的框架、时空、运行等结构及其整体特性;提出地震灾后对口援建系统工程的综合集成模式,分别就对口援建集成工程的运作模式和具体实施框架进行讨论,并就援建系统工程、迎建系统工程和保障系统工程等其体实施工程做了细致的阐述.     

求解带装载能力限制的开放式车辆路径问题的遗传算法

对带装载能力限制的开放式车辆路径问题的求解进行了研究,提出了一种用于求解该问题的遗传算法.对算法中几个关键操作的不同实现方式的性能进行了比较.给出了算法对标准测试算例的运算结果,并与文献中目前最好的结果进行了比较和分析.     

服务驱动的制造网格系统

就服务在制造网格系统的应用层面上的行为特性展开研究,提出基于工艺信息的制造网格服务的静态结构和动态过程,分析了制造网格服务的服务请求与响应过程,以及制造网格服务的分裂和衍生过程,设计了相应的制造网格服务结构演算算子,并就制造网格系统服务响应流程与企业的实际业务处理之间的集成进行了描绘和实例说明.     

基于粒子群算法的资源均衡

提出了将粒子群算法运用到型号研制项目资源均衡优化问题中的构想,建立了适用于资源均衡优化问题的粒子群算法模型,设计了基于非关键活动动态时差的资源均衡优化粒子群,构建了基于资源强度和活动实际开始时间的评价函数,给出了算法流程,并通过算例的计算分析,应用该算法得到的资源强度比初始方案的降低了88.38%,比P3软件及Project2002的结果分别降低了58.42%、74.48%,验证了该算法的可行性与有效性,同时还获得了若干个次优方案.