大型屋顶网壳结构稳定性分析及实时评估策略

进行了大型屋顶网壳结构的非线性屈曲分析，提出了支撑钢牛腿失效后网壳结构稳定性的实时评估策略。在有限元分析中，对于结构中的主桁架梁采用梁单元，对其他构件采用空间杆单元来模拟，并采用柱面弧长法来跟踪结构的屈曲平衡路径。结构分析中仅考虑结构的自重和风荷载。计算风荷载时，结构上的风压力系数采用缩尺模型的风洞试验结果。非线性分析结果表明，该网壳结构具有较高的稳定性。     

一种嵌入式系统扩展流关系Petri网及应用

为了将数据流和控制流在同一个模型中明确标识,将经典Petri网的4元组结构扩展为7元组,定义一种新的嵌入式系统扩展流关系Petri网表示方法,应用该表示法对火车控制系统进行建模,并将该模转换成等价的时间自动机模型,用UPPAAL进行形式化验证.验证结果表明火车控制系统具有可达性和安全性,说明建立的模型是合理有效的.     

无线自组网的一种跨层安全模型研究

分析了无线自组网的安全需求，并据此提出了一种全面的、自下而上的安全模型，其中包括基于椭圆曲线的改进底层算法（ADHOC-ECDSA）、身份认证和地址分配相结合实现单跳安全、基于ADHOC-ECDSA算法的安全路由协议实现多跳安全，同时使用一种简单的跨层入侵检测机制，分别对各层提出了具体的设计方案与安全性分析，为无线自组网的实际应用打下坚实的基础．     

基于状态方程的Petri网可达性的扩展

给出了两类典型的满足状态方程却不可达的Petri网.在理论分析的基础上,提出了"借、还资源法"和"借、还变迁法",较好地解决了满足状态方程但不可达的问题.使Petri网可达性得到一定的扩展,从而增强了Petri网对现实系统建模与仿真能力.     

锚、索、喷支护在破碎岩石中的应用

介绍传统锚喷支护的原理、改革的支护方式,支护参数的选择及支护效果     

无线传感网中基于能量平衡的数据收集树算法

针对实际应用中传感器节点采样频率不同的特点,提出了一种传感网中基于能量平衡的数据收集树算法(an energy balancing and tree-based data gathering algorithm,EBDGA).EBDGA在基站集中式的构建是以本基站为根结点、基于能量平衡的生成树,根据节点的采样频率定制生成树中子节点加入的策略.仿真实验表明,在这种特定的网络模式下,EBDGA比传统的数据收集树算法PEDAP和PEDAP-PA具有更好的能量平衡特性,提升了能量性能.     

金属氧化物避雷器（MOA）在电缆为主的10kV配网中的应用

本文针对以电缆为主的10kV配电网络，研究了经小电阻接地方式和经消弧线圈接地方式下金属氧化物避雷器（MOA）的选择方法，限压水平的要求，研究结果说明合理地选择MOA的保护特性和运行特性，可以在电缆为主的配网中取得良好的应用效果。     

Analysis of Petri net model and task planning heuristic algorithms for product reconfiguration

Reconfiguration planning is recognized as an important factor for reducing the cost of manufacturing reconfigurable products, and the associated main task is to generate a set of optimal or near-optimal reconfiguration sequences using some effect algorithms. A method is developed to generate a Petri net as the reconfiguration tree to represent two-state-transit of product, which solved the representation problem of reconfiguring interfaces replacement. Relating with this method, two heuristic algorithms are proposed to generate task sequences which considering economics to search reconfiguration paths effectively. At last, an objective evaluation is applied to compare these two heuristic algorithms to other ones. The developed reconfiguration task planning heuristic algorithms can generate better strategies and plans for reconfiguration. The research finds are exemplified with struts reconfiguration of reconfigurable parallel kinematics machine （RPKM）.     

基于Petri网的复杂空竭休假排队系统的性能评价

针对复杂空竭排队系统难以得到性能指标解析解的问题,提出基于Petri网模拟的近似解方法.通过CPN Tools建立4种休假策略下排队系统的Petri网模型,在定义排队系统的性能指标数学期望公式的基础上,使用Data Collector采集模型模拟的动态数据,得到相关的性能指标结果和期望收益.仿真结果表明这种基于Petri网模型的近似求解方法是有效的,建立的模型和基于模型的性能分析方法具有可扩展性、复用性和界面友好性.     

基于Petri网的PLC程序设计

随着生产过程复杂性的增加,对系统的控制也更加复杂.传统的PLC程序设计方法,已不适用于诸如协调、竞争等控制的设计.需要寻求新的程序设计方法来满足复杂的控制要求.本文介绍了基于Petri网的PLC程序设计.