Context 的非单调推理

基于文［１］定义的ｃｏｎｔｅｘｔ逻辑ＣＬ,本文分别引入限制理论和缺省理论到ｃｏｎ－ｔｅｘｔ推理中,给出有关的定义和定理。     

简论武警校园文化建设

武警校园文化是院校思想文化建设的重要组成部分.本文就其武警校园文化现象的性质在剖析高校文化性质的基础上,对武警校园文化的性质作了比较科学的界定.对其功能从五个方面.较深层次地作了论述.特别是对校园文化建设问题从五个方面作了初步探讨.尤其是在重视校园文化的研究中,本文从四个方面谈了粗浅认识.即①校园文化思潮和热点的研究.②校园内的主文化和“反文化”现象的研究.③校园文化主体的研究.④校园文化操作性的研究.     

智能长途台用户模块控制板的实现

本文介绍智能长途台中用户模块控制板的硬件和软件实现方法。对在模块控制板上实现的中央处理机控制、时隙交换和分配、高层数据链路控制、故障检测等电路做了说明,给出了一些模块控制板的软件处理流程。对实现智能长途台有着重要的作用。     

基于概率分布的硬件木马检测特征选择方法

针对基于旁路信号分析的硬件木马检测中存在的高维以及信号冗余度高等问题,寻求一种特征选择方法在降维、降低冗余度方面的可行性,通过考虑样本概率的分布情况,提出了一种以散度和Bhattacharyya距离作为可分性判据的特征选择方法。首先分析了旁路信号的特征选择问题,然后阐述了基于散度和Bhattacharyya距离的可分性判据,最后在FPGA中植入硬件木马,采用K-L方法进行实验,通过对样本特征选择前后的检测效果发现,这种特征选择方法不仅有助于分辨"金片"与含木马的待测芯片间旁路信号的统计差异,而且与分类错误率建立联系,更好地实现了硬件木马的检测。     

谈初级指挥学校的素质教育

素质教育对于军校有其普遍性及特殊性。本文从素质教育内涵出发,打破初级指挥学校“以中专教学为主”的思维定势,遵循部队发展和军校办学的特点与规律,确立新形势下军校素质教育“指技合一、全面发展”的总体建设思路。     

情报、射击指挥系统通用自动检测系统研究

维修保障能力的高低对情报、射击指挥系统的作战效能和快速反应能力影响很大 ,研制通用自动检测系统可以有效地提高其维修保障能力。在分析情报、射击指挥系统检测要求的基础上 ,介绍了典型自动检测系统的测试原理。重点介绍了基于VXI总线技术的通用自动检测系统的设计方法 ,包括其硬件组成结构和测试软件功能。总结了检测系统主要技术特点及其应用情况。     

舰艇仿真指控舱硬件模块化设计方法

本文在总结以往仿真指控舱硬件研制经验的基础上,采用了智能化面板和柜内串行总线技术,提出了一种仿真指控舱硬件模块化设计方法。该方法技术成熟、结构新颖、应用简便,在单舰多功能模拟训练系统的研制过程中发挥了很大的作用,对其它类型模拟训练器材的研制也有较高应用价值。     

未来十种全新作战大预测（六）：失能武器战

公元21世纪30年代,人类社会文明程度空前提高,一部新的国际性<战争法>问世.这部各国必须遵循的法规,对战争的原则、手段和方法等方面作出明确限制.其中特别规定:"战争中,禁止使用可能会造成人员大量死亡、设施大规模破坏以及环境严重污染的作战手段和方法".     

ATS:一种基于通告时间戳的BGP收敛性改进机制

研究BGP收敛性改进问题,考虑网络运行状况,提出一种新的机制,称为通告时间戳机制ATS(advertisement time stamp)。在该机制中,BGP路由器在向对等体发送路由通告报文时,将相应的路由前缀打上时间戳。当通告报文准备好时,通过查看相应前缀的时间戳来判断报文是否可以立即发送还是应该等待。该机制充分融合了每对等体每目的网络速率限制定时器和每对等体速率限制定时器各自的优点,克服各自缺点。分析表明,该机制可以较大地减少Tup、Tlong及Tshort事件的收敛延迟。     

高质量地走向世界——贵州黎机械厂加强国际合作

贵州黎阳机械厂虽然地处三线,企业发展受到地域限制,但黎阳人没有固步自封。他们在加强军品研制的同时,积极发挥自身优势,寻求新的经济增长点,与法国斯奈克玛公司签订了转生产加工的协议。并由此开辟了一条走国际合作的企业发展之路。