弓网运行故障图像采集处理系统

电力机车在高速运行时,受电弓和接触网之间接触关系直接影响到机车的运行安全,有必要对其进行监控。为了更加直接的记录,处理弓网故障,再现故障发生现场,保障机车的运行安全,设计了弓网图像采集系统。该系统根据弓网检测单元提供的故障信息,自动截取故障发生前后几秒的图像,然后通过GPRS实时的发送到地面服务器,通过地面分析软件,可观察故障发生的整个过程。     

无回路规则系统的Petri网验证方法

构建了无回路规则系统的加标ω-Petri网模型，产生了相应的可达树，利用可达状态反映规则系统所包含的所有可达关系，并记录；提出了可达状态的反向推演森林及其算法，实现规则系统命题间可达路径的显式化．在此基础上，给出了规则系统错误的判定定理及其检测算法，实现了结构错误的有效判定和分析．     

单层椭圆抛物面网壳在地震作用下的动力稳定性分析

以平面30 m×30 m,矢跨比分别为1/6,1/7,1/8和1/9的椭圆抛物面单层网壳为对象,利用ANSYS非线性动力软件,研究其弹塑性动力失稳。计算中考虑几何和材料非线性效应,并对几何缺陷、阻尼、不同地震波及其输入方向等对稳定性的影响进行了分析。结果表明:该结构的动力失稳一般伴随着较大的塑性变形,具有明显的突发性;在水平地震作用下动力稳定临界荷载明显低于竖向地震作用下的临界荷载,以两向地震作用下最低;在水平地震作用下,较大矢跨比时动力稳定临界荷载较低;杆件截面的增大可显著提高该结构的水平刚度和动力稳定临界荷载;几何缺陷能显著降低网壳结构的动力稳定临界荷载;考虑Raleigh阻尼模式,其临界荷载提高不足7%。     

移动自组网常用路由协议仿真与分析

基于NS-2仿真软件,对3种典型的移动自组网路由协议DSR,AODV,DSDV,设计出不同的仿真场景,进行仿真并获取数据;通过考察传输时延、路由开销及传输成功率等性能指标,对3种路由协议进行综合评测,指出各自的适用环境与特点。     

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

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

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

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

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

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

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

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

浅谈校园网的安全问题及安全防御措施

随着互联网的普及,校园网的迅速发展,校园网的安全问题越来越突出.本文对东北财经大学的校园网安全问题进行了分析和总结,系统地分析了我校校园网面临的主要威胁,找出了产生这些威胁的主要原因,并提出了解决这些问题的方案.     

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

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