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

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

波动载荷下弓网载流动态摩擦力模型

为对弓网载流摩擦力进行建模研究,通过实验研究摩擦力与压力波动频率、压力波动幅度、接触电流、滑动速度的关系,建立了摩擦力的LuGre静态模型,利用麦夸特法和通用全局优化法对模型中的静态参数进行辨识:在已建立的LuGre静态模型的基础上,通过引入动态参数,建立了摩擦力的LuGre动态模型,利用遗传算法结合Simulink仿...     

不等跨柱网混凝土肋梁楼盖平面选型问题初探

通过计算分析和比较,论证了柱网在两方向跨度相差甚大的情况下,楼盖沿长跨方向单向布置次梁的结构方案具有较好的经济性和抗震性,但在设计和施工中须注意竖向振动、长单向板混凝土开裂和结构挠度偏大等不利影响.     

电力企业网的安全漏洞状况及划分

在利用安全漏洞扫描工具对计算机系统进行扫描时,能够发现大量的安全漏洞,但是目前对漏洞严重性的划分没有和应用环境相结合,划分的也不够细致。分析了一个电力企业网内部安全漏洞的状况,提出了与应用环境相结合的漏洞严重性的划分方法。该方法使漏洞严重性划分得更加细致,从而使系统安全管理员可以在最短的时间内修补更严重的安全漏洞。     

基于深度强化学习的无人机自组网路由算法

针对无人机自组网节点密度大、拓扑变换频繁,导致移动自组网复杂的问题,提出了一种基于深度强化学习(deep-reinforcement learning, DRL)的分布式无人机自组网路由算法。利用DRL感知学习无人机特征,使节点不断与环境交互、探索学习最优行动(路由)策略;通过存储经验知识,维护端到端路由,赋予无人机网络智能化重构和快速修复的能力,从而提高路径的稳定性,降低路由建立和维护开销,增强网络的鲁棒性能。仿真结果表明,提出的算法具有较好的收敛性能;在路由修复时间、端到端时延,以及网络适应性、扩展性方面都优于传统的路由算法。     

基于事前分析方法的工作流过程模型的验证

工作流执行过程中经常会出现非正常终止的情况,对此,将事前分析方法应用于工作流过程模型的验证中,即在工作流过程实例化前进行模型的有效性分析和结构正确性验证。该方法对传统的有向网络图进行扩展并以此来描述工作流过程,确定模型的有效性;进一步将扩展有向网络图转换成工作流网模型,应用Petri网技术分析该模型的冲突结构,以确保工作流过程的逻辑合理性。     

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

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

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

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

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

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

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

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