着色Petri网及其在系统建模与仿真中的应用

在众多的系统建模方法和语言中,用着色Petri网（Colored Petri Net,简写CPN）建立的模型是可执行的,更有利于动态仿真,非常适合建模具有同步、并发、资源共享的大系统。文章介绍了CPN的基本概念及建模特性,阐明了CPN的实用价值及应用发展前景,并对一个军事系统一一空对空导弹攻击系统进行CPN的图形形式的建模分析,并用Design/CPN进行仿真验证。     

倍频注入法实现倍频稳定输出的模拟研究

在对描述Ⅰ类相位匹配倍频过程的耦合波进行分析的基础上,发现不同初始条件下倍频过程中基频光和倍频光强度变化情况不相同。当注入倍频光能量不为零,且初始相位满足一定条件时,能量会在基频光和倍频光中循环交换。利用倍频过程中的这个循环过程,提出在倍频过程中注入倍频种子光(简称倍频注入)以实现稳定的倍频能量输出,并用数值模拟计算结果证明了倍频注入方法的有效性。进一步的数值模拟研究结果表明:倍频注入方法中可以通过改变注入的倍频种子光强和倍频种子光与基频光之间的相对相位来调节实现稳定倍频输出所需的倍频晶体长度。     

光致变色液晶萘并吡喃的合成及光致变色性质

在相转移催化剂C18H37N(CH3)3C l的存在下合成了6-十二烷基-2-萘酚;6-十二烷基-2-萘酚分别与3种炔醇进行缩合,得到了3种萘环上有柔性长链的萘并吡喃:8-十二烷基-3,3-二苯基-3H-萘并[2,1-b]吡喃(NP1)、8-十二烷基-3,3-二(4,4′-甲氧基)苯基-3H-萘并[2,1-b]吡喃(NP2)、8-十二烷基-3,3-二(4,4′-甲氧基)苯基-3H-萘并[2,1-b]吡喃(NP3),对它们在溶液中和高分子膜中光致变色性能进行了研究。利用POM与DSC对其液晶性进行了研究,发现NP1和NP3具有液晶性质。     

基于CAN总线的智能网桥设计

根据CAN总线扩展标识符的特点和网桥地址需求,利用扩展标识符构建数据转发地址表,针对网段的合理分配问题,提出网段优先和节点优先的网段节点位分配算法,并进行位利用率的评估。分析二维数组转发地址表的学习算法,针对网桥环网提出单向生成转发路线的网桥端口生成树算法。在不同负载下对网桥的利用率和延迟进行实验,结果证明该CAN双端口网桥设计方法可以实现CAN网桥的功能。     

系统体系结构设计的一致性约束和检验

应用层次着色Petri网建立的系统可执行模型,以静态数据约束为基础,以动态行为验证为主体.通过数据字典、数据关系、产品数据的约束实现静态数据一致性约束.再应用Petri网结构分析法和状态空间分析法确定模型的数据流、规则触发、状态转换、功能执行的行为,实现动态数据一致性检验.并以区域防空系统为例,通过拦截和执行功能的动态一致性检验,建立拦截和控制可执行模型,由仿真确定设计模型的动态一致性.     

赋时着色Petri网在建模仿真中的应用

赋时着色Petri网(TCPN)在着色Petri网(CPN)基础上引入时间概念,更适于复杂系统建模仿真.其库所赋时实施规则同CPN,变迁赋时实施规则将令牌移入变迁的输出库所.基于TCPN优先权服务排队系统,用CPN的元语言实现优先权排队,由于时间引入,可真实模拟顾客到达时间和服务台服务时间.     

高功率固体激光放大器中增益均匀化研究

针对高功率固体激光放大器中增益分布不均匀的现象,为获得较为均匀的增益分布,提出了分布式泵浦的方法.相对于均匀泵浦,分布式泵浦就是通过设计使得泵浦场具有一定的分布.在总体泵浦功率相同的情况下,分别对均匀泵浦和一定分布的分布式泵浦条件下产生的增益分布进行了模拟计算.结果表明,与均匀泵浦相比,使用分布式泵浦方法获得了较为均匀...     

面向云计算资源管理的交互仿真平台构建

针对云计算资源管理建模分析的要求,提出了一种应用着色Petri网和Cloudsim的交互仿真平台架构.通过着色Petri网层次化替代变迁构建交互仿真框架,基于CPN Tools的接口规范定义与Java Socket完成接口设计和建立交互控制进程,实现了云计算资源管理CPN逻辑事件模型与Cloudsim物理模型的交互仿真.最后,通过一个简化的云资源管理实例建模仿真和逻辑结构检验,验证了交互仿真平台架构的可行性和实用性.     

基于UML的汽车销售管理信息系统设计

根据现代汽车制造企业中销售管理的特点和要求 ,在基于UML建模的基础上 ,通过C/S和B/S相结合的设计方法 ,实现CIMS系统中的销售管理信息系统设计。     

汽车MIS中质量故障信息的提取方法

针对汽车制造业中的质量故障信息比较难于描述的问题，本文建立了以质量物料清单（QBOM）和质量故障整合代码为基础的质量信息提取结构，提出了用递归算法进行信息提取的方法，并对其实施提供出了一些应注意的问题。