铝合金板式节点火灾后承载性能

对铝合金板式节点火灾后性能的研究可为评估铝合金网壳火灾后承载性能提供依据。完成了6061-T6铝合金材料过火后的单向拉伸试验,给出了其火灾后力学性能折减系数的计算式。完成了12件6061-T6铝合金板式节点过火后的承载性能试验,得到其承载力和破坏模式。试验结果表明,铝合金材料性能及铝合金板式节点力学性随过火温度的变化均呈现三折线趋势。建立数值模型并进行参数分析,分析了材料性能、过火温度、尺寸规格对铝合金板式节点过火后承载性能的影响规律。最后,拟合得到铝合金板式节点火灾后的弯曲刚度及承载力计算式以及火灾后的弯矩-转角曲线四折线模型。     

基于精确标识对象Petri网模型的检测方法

精确标识PNO要求一个对象实例既不能同时出现在多个库所,也不能在一个托肯中出现多次,SMV是一个功能强大的符号化模型检验工具.本文提出了将精确标识PNO模型转换成相应SMV程序的算法,并通过列车运行区域模型(TOPNO)演示了具体的转换过程.通过该转换算法不仅能有效地解决精确标识PNO活性、安全性等属性的检测问题,还能验证与模型中对象相关的属性.     

J2EE在IP综合网管系统中的应用研究

从分析IP网管系统的现状及存在问题入手,对比传统IP网管系统的体系架构,阐述了采用J2EE平台下的EJB组件开发多层次、分布式IP综合网管系统的优点,提出了采用J2EE平台的Session Facade模式和TransferO bject模式相结合的具体实现方案,有效改善了传统IP网管系统在开放性、可移植性和扩充性等方面的性能.     

基于瑞利分布的计量型序贯网图检验

针对瞄准发射系统中着落点位置通常服从瑞利分布的事实,研究了计量型检验问题,建立了基于瑞利分布的序贯网图检验.采用搜索和迭代的计算机程序,可以得到计量型序贯网图检验方案.通过实例将序贯网图与计量型定数检验和计量型序贯概率比检验进行比较.结果显示,计量型序贯网图检验在减小最大样本量方面有更好的效果,更适用于高成本的抽样检验.     

基于Petri网的协议测试例自动生成

Petri网支持下的协议一致性测试是协议工程研究中的重要课题.Petri不能很好地支持一致性测试集的自动生成.针对这一问题,分析了对基本Petri网扩展的必要性,提出了一种新的用于支持协议测试的扩展的高级Petri网,揭示了其静态结构和动态行为,并提出了该Petri网到测试描述语言TTCN-3的转换规则.开发了原型系统,并应用于实际的协议一致性测试工作.     

湖北网湖湿地自然保护区两栖爬行动物资源调查

2004年对湖北省阳新县网湖湿地自然保护区的两栖类和爬行类进行了系统调查,分别记录到两栖类27种、爬行类38种．对它们的物种组成、地理区系特点和保护等级进行了研究,并提出了保护建议．     

基于着色petri网的安全协议验证方法

设计安全协议时,协议的安全性验证是消除安全协议脆弱性和不精确性的关键步骤,验证安全协议的模型和工具有很多．提出了一种基于着色petri网的安全协议验证方法．通过采用该方法对一个STS协议进行了分析,证明了这种方法的有效性,并根据分析结果给出了改进后的STS协议．     

英语"hand"和汉语"手"之一词多义对比

通过对英语之“hand”和汉语之“手”的一词多义结构的这一个案的分析对比,发现该词的义项分布在两种语言中基本一致,其词义拓展方式呈辐射和连锁相结合的趋势;且各义项以转喻或隐喻方式为主要纽带,组成了一张多核的相关语义网。该基本人体词的多项语义分布现状反映了人类在不同语言背景下认知和语义发展中共有的思维方式,从而为多义词的外语教学提供了新的思路。     

基于HTCPN的飞机维修保障资源配置方法

针对飞机基层级维修保障资源配置问题,提出了一种基于分层赋时着色Petri网(hierarchical timed colored Petri net, HTCPN)的维修保障资源配置方法。首先,根据飞机基层级维修保障工作内容及流程,运用CPN Tools软件,构建飞机维修保障全过程的HTCPN仿真模型,设计仿真时钟折算方法。其次,提出维修保障资源配置规则,建立基于飞机出动架次率的维修保障资源配置模型。最后,算例分析结果表明所提方法能够迅速、准确地完成飞机基层级维修保障资源配置。所提方法为科学制定飞机基层级维修保障配置方案提供了技术支撑,具有一定的工程应用价值。     

自适应的无线融断网络路由算法研究

无线融断网络具有长延时、高动态拓扑、链路不稳定等特点,伴随着网络联接缺乏源端到目的端的持续性,为解决网络通信困难的问题,将多头绒泡菌的智能性和自适应性引入,提出一种自适应的无线融断网络路由算法。搭建无线融断网络模型,推导出链路容量的数学表达;设计下一跳节点的选择策略和最佳路由选择策略,实现在融断网络环境下的数据尽力投递。仿真实验表明,该算法能够在网络开销率较低的情况下,达到良好的数据投递,且平均延迟小。