Petri网的分享合成操作

通过引入Fork算子，建立Petri网的一种新的合成操作一分享合成，分享合成探作与传统的共享合成操作相比更适合于描述信息系统的建模。在分享合成时，子网中任何与分享库所无关的变迁序列在合成后保持不变，分享合成对于子网内由分享库所引发的变迁序列也保持不变。分享合成实际上增加了分享库所引发变迁序列发生的机会，使得到达输出集的机会增加。最后介绍了Petri网分享合成操作在信息系统安全管理中的应用。     

城轨列控系统仿真平台中联锁站的设计和实现

分析了联锁站仿真系统在城市轨道交通列车运行控制系统仿真平台中的作用。以面向对象的软件工程为基础,运用UML语言阐述联锁站仿真系统的功能需求、总体设计、详细设计、编程和实现的过程并利用CASE工具建立系统设计不同阶段的可视化模型。通过编程实现,验证了模型的正确性和分析方法的有效性。采用这种方法对仿真系统进行设计,优化了开发过程,提高了软件设计的质量和效率。     

天文望远镜焦面板观测规划建模与仿真

LAMOST焦面光纤定位系统基于分区思想,采用并行可控式光纤定位方案,这就使得系统的观测效率成为一个重要的问题。针对该系统的特点,建立了LAMOST焦面观测的仿真模型,并进行了系统观测效率的仿真。从重合区域、单元观测半径及干涉对系统观测效率的影响等方面,系统全面的分析了LAMOST焦面板的观测效率问题,同时对LAMOST焦面板的结构设计具有重要的指导意义。     

利用Petri网模拟基于属性的不确定性推理

本文主要介绍了如何使用Petri网来实现基于属性的不确定推理。并且在一般Petri网的基础上进行改进，分别使用了模糊Petri网和模糊着色Petri网来进行实现。并且用一个具体的例子显示了Petri网的运行过程。     

球面网壳动力稳定临界力简化计算

球面网壳动力稳定临界力简化估算公式是针对跨度30m-60m，矢跨比1／10-1／6的单层球面网壳，对于其它类型的网壳结构要具体分析。     

发动机特性建模方法的选择

发动机特性模型的建立是进行汽车动力性和燃油经济性仿真计算的基础，模型是否精确对计算结果有很大的影响。本文列举发动机特件建堪的几种数值计算方法，并结合某种类型的发动机对各种建模结果进行分析比较，选择出最优的建模方法。     

Crystal structure determining of 7-ADCA based on X-ray powder diffraction

Traditionally, crystal structure data can be collected and determined from single-crystal X-ray diffraction. However, in the fields of organic and macromolecular crystallography, it is often difficult or impractical to grow single crystals with suitable sizes and purity. Therefore, it will be benefited from the newly growing analytical tool that combining X-ray powder diffraction based on polycrystalline samples and ab initio calcula- tion[1]. 7-ADCA is one of the most important intermediate…     

IPv4/IPv6过渡策略及IPv6试验网设计与实现

首先阐述了IPv4所暴露出的问题,其次介绍IPv4到IPv6的过渡策略,最后详细介绍了基于Windows IPv6试验网的设计与实现     

彩铃业务在CDMA网的实现方案

中国手机用户从2000年到2004年的发展速度，可以说让全世界瞠目结舌，据统计中国的手机用户已经超过2亿。面对着越来越多的用户，电信运营商之间激烈的竞争，电信运营商却发现他们在每个用户身上获取的ARUP值却越来越低，如何提高利润渐渐变得与扩大市场份额放在同样重要的位置上。韩国人在个性化与娱乐性方面极具创造性，个性化回铃音-彩铃，就是从韩国起源，风靡中国的。     

滑动轴承油膜非线性动力学分析

在滑动轴承线性油膜力、动力特性研究的基础上,以大型汽轮、水轮发电机组涉及的滑动轴承为对象,研究其非线性油膜力、油膜非线性动特性的建模、表征和实验测试;计算、分析润滑介质、轴颈和轴承扰动、热弹效应(包括瞬态热弹效应),边界条件等对非线性油膜力、油膜非线性动特性以及相应滑动轴承-转子系统动力学特性的影响;研编上述研究内容涉及的相关软件.