高校网络安全防护教育缺失问题分析

随着网络技术的不断发展和广泛使用,网络应用已逐步深入到社会生活的方方面面,网络安全问题也变得越来越重要,所以掌握网络安全防护技术,进行网络安全教育势在必行。本文针对信息时代高校网络安全防护教育的现状及存在的各种问题,分析了网络应用中的安全隐患。探讨了校园网安全防护的各种方法,认为只有网络安全意识和网络安全技术相结合,才能真正的实现安全策略,达到对网络的安全防护,并结合目前比较成熟的网络安全知识,提出了相应的解决方案及应对措施。     

自主虚拟人智能驾驶行为模型的研究和实现

描述了自主虚拟人的分层驾驶行为及对虚拟世界的感知.在对自主虚拟人的驾驶行为进行研究的基础上,结合导向行为与专家经验,建立了基于产生式规则的智能行为模型,并给出了规则的具体实现.通过虚拟现实技术对该智能模型进行了验证,证明了其可行性.      

Research on the Relation Between the Seeker's Handover and the Geometrical Position of the Missile and the Target

 研究了雷达导引头的交班误差以及截获概率与交班时刻弹目几何位置的关系,提出了单个误差角的导引头天线指向角误差模型,它与两个误差角的导引头指向角误差模型相比可以更好地分析天线指向角误差,并得到使指向角误差最小的弹目几何位置;然后进一步得到使多普勒频率误差最小的弹目几何位置;给出了最终的截获概率的表达式,截获概率由目标处于导引头天线主波束的概率、目标回波多普勒频率落入接收机频带内的概率和目标的检测概率组成的;最后分析了一种典型的中末交班情况.     

2000年全国SRM设计技术学术交流会在银川召开

由中国航天科技集团陕西动力机械研究所和中国宇航学会固体火箭推进专业委员会联合主办 ,“2 0 0 0年全国ＳＲＭ设计技术学术交流会”于 2 0 0 0年 8月 12日至 14日在宁夏回族自治区银川市召开。 19个单位共 85名代表出席了会议。会议共发表论文 57篇 ,内容涉及固体发动机总体、壳体、装药、安全点火装置、贮存寿命、可靠性设计及试验技术等。经评审组评审 ,评选出优秀论文 10篇。会议就所发表的论文和今后的发展方向进行了热烈的讨论 ,认为大部分论文既注重理论分析 ,又突出了理论与实际的结合 ,在工程应用中有较高的使用价值 ,水平较高。…     

导弹命中精度评定中贝叶斯方法的应用

针对导弹武器系统试验评定的问题 ,研究了如何在命中精度评定中应用贝叶斯方法。在导弹落点偏差分布为正态 -逆伽马分布的假设下 ,提出以贝叶斯理论为基础 ,利用实际的导弹飞行试验状态信息和试验前的各种已知信息 ,加入弹道的模拟和仿真方法 ,获得评定的验前分布参数 ,使精度评定理论与实际情况相结合的方案。该方案以使用方提出的可信度和最低可信下界为检验精度的指标 ,同时也提出一种运用参数自助 (Bootstrap)方法获得验前分布参数的方法。最后 ,提供了完整的评定流程和说明 ,使实际的评定工作有一个较完整的体系。所提的贝叶斯方法尤其适合于小子样场合下的试验鉴定工作     

标准化工作要与国际全面接轨

提出了我国加入世贸组织后,标准化机构和人员要转变过去工作的观念和模式,及如何在标准化领域的技术法规、标准、合格评定程序方面与世界经济构架全面接轨的做法.     

减少鸟害事件 保障民用航空安全（续）

DecreasingtheBirdStriketoGuaranteetheFlightSafety三、降低鸟击事件的措施从我们对中国民用航空鸟击情况研究和国际民航组织的统计,飞机的鸟击75％发生在距地面200英尺以下范围,90％发生在1000英尺（305米）以下。所以飞机被鸟击多发生在起飞和着陆过程中。因此只要控制飞机起飞和降落200英尺的高度范围的航道上没有鸟类活动就可减少75％的鸟击事件。如可控制1000英尺范围内的鸟类活动,鸟击事件就可减少90％,当前,世界各国的机场控制鸟害的方法繁多,但归根结底来讲,对于鸟害的控制主要归纳为两种方法：一是静态鸟害控制;二是…     

高拱坝失效模式与失效概率

为克服高拱坝确定性安全评价中不考虑随机性、不进行风险分析的弊端,提出研究超静定结构高拱坝的失效模式、利用失效概率与失效风险值对高拱坝进行风险评价。在分析洪水、地震和材料老化等造成高拱坝失效原因的基础上,利用故障树分析法探索出高拱坝具有失稳溃坝、剪滑垮坝、超量开裂以及人为毁坝等4种主要失效模式;从产生载荷参数随机数、获取随机变量的分布规律和建立失效模式的状态函数等方面研究了高拱坝单个失效模式与系统失效概率的计算方法。计算了某高拱坝剪滑失效模式的失效概率。     

嵌入式多核操作系统的形式化建模与验证

在安全关键系统中,核心基础软件的正确性尤其重要。任何的错误都可能导致整体系统失效,带来严重的后果,同时,安全关键软件要通过高等级国际安全认证标准,则必须使用形式化方法进行设计、建模和验证。调研嵌入式操作系统、编译器、文件系统、机载网络/总线的形式化验证案例,在此基础之上引出嵌入式多核操作系统形式化的问题;对嵌入式多核操作系统的时间确定性和功能正确性属性进行形式化建模和验证;并对全文进行总结。     

基于单代号网络的银行家算法

通过对银行家算法的分析,提出单代号网络的进程安全状态序列的改进算法-基于单代号网络的银行家算法,并通过具体的示例实现此算法。