对高师模拟课堂的几点思考

“模拟课堂”作为提高师范生执教能力的有效途径之一,目前在诸多高等师范院校及相关专业中被广泛采用。本文在充分肯定模拟课堂的前提下,就高师模拟课堂存在的有关问题进行了论述。     

武器装备体系建设风险分析及评估模型研究

分析了武器装备体系建设风险的内涵及特点,在此基础上构建了武器装备体系建设风险模型,并运用风险矩阵和网络层次分析法对武器装备体系建设风险模型进行分析,通过算例验证了模型的可行性,为制定科学合理的武器装备体系建设风险管理提供了依据。     

一种基于Petri网模型的系统动态安全性分析方法

针对目前安全分析方法通常只能给出导致系统失效的事件发生序列,而对系统运行过程中的一些时序、动态等因素考虑不足等问题,提出了基于Petri网模型的系统安全性动态分析方法,并结合系统状态可达树,建立了系统动态安全性分析模型,得出导致系统失效的所有可能事件的序列及其发生概率.最后,以实例验证了该方法的可靠性和有效性.     

Hilbert空间中次连续拟非扩张映像不动点的迭代方法

首次引用一种迭代算法,用来构造Hilbert空间中次连续拟非扩张映像的不动点;使用新的算法证明了一个强收敛定理,其优点是不要求映像具有次闭性质。     

多级感应线圈发射器测控系统设计

将电枢加速到较高速度,通常需要多级感应线圈连续加速;而提高多级感应线圈发射器的发射效率,则要求在电枢处于驱动线圈最佳触发位置时,电容器组同步放电。同时,需要采集发射过程中电枢的速度、电源的放电电压和放电电流等数据。因此,研制合理的测控系统是多级感应线圈发射器的关键。     

利用状态机检测JAVA空指针引用故障

介绍了一种在控制流的基础上利用故障状态机对JAVA空指针故障进行检测的方法。该方法利用变量区间来表示状态的前提条件,对程序中不可达路径进行处理,从而达到减少误报的目的。     

发动机配气机构振动信号时域分析

对康明斯6BT5.9型柴油发动机配气机构产生的振动信号进行了时域分析,采用振动加速度峰峰值作为判定发动机配气机构技术状态的特征量,并采用多通道信息融合技术实现配气机构的故障诊断。     

战场通信网络消息处理模型研究*

针对战场通信网络建模需求,基于 EBI建模框架,提出了面向实体的战场通信网络建模方法,探讨了战场通信网络实体模型的组成结构.重点分析了战场通信网络消息处理模型的作用和功能,给出了消息处理模型的仿真工作流程,对消息处理模型中的消息列表、通信事件列表、网络路由算法进行了阐述,并结合通信节点实体模型中的消息缓冲器,探讨了消息处理模型管理和维护通信事件列表的方法.     

三峡库区水环境污染预警与决策系统设计与实现

以三峡库区重庆段水环境地质调查项目为基础,综合应用数据库,GIS,RS,GPS,计算机网络和现代检测技术及水环境中有机污染物、营养物、重金属污染的研究方法,提出了库区水环境污染物预警与决策支持信息系统总体设计和数据库设计架构。为政府部门科学决策和管理监控提供一个先进的信息平台,也为整个三峡库区水环境可持续发展提供有效的信息参考。     

舰载指控系统的软件故障树分析

在现代舰载指控系统的设计中软件所占比例日益增加,软件故障对系统可靠性的影响也更突出,需要对软件故障进行分析。根据现代舰载指控系统的特点,采用软件故障树分析方法,以舰载指控系统的软件系统故障为根节点,从上至下找出导致软件系统故障的所有可能因素,分析其因果逻辑关系,最后建立了现代舰载指控系统的软件故障树。软件故障树以图形演绎的方法直观地反映了现代舰载指控系统的软件故障特性,有助于采取有效措施提高系统的可靠性。