后勤管理信息系统生成系统的设计与实现

本文论述了一个后勤管理信息系统生成系统(LMIS-GS)的设计与实现,本系统综合采用了数据库模式自动生成技术、软件可重用技术、操作对象、控制信息与程序相分离的模块编码技术,系统中通过引入部件的概念,把庞大复杂的LMIS系统划分为若干个可独立研制开发的部件实体。LMIS的生成就是部件的组装,部件的生成就是数据基的组装与填写。系统还提供了数据库生成的两种方式,即可自动生成3NF的关系数据库模式。     

基于SAT的电路错误定位方法研究进展

随着VLSI芯片复杂度不断增加,功能验证与调试已占到整个芯片设计周期的60%以上。而错误的定位往往消耗大量的时间与精力,因此迫切需要一种高效的方法诊断与定位电路中的错误。针对近年来出现的许多电路错误定位方法,介绍了电路错误诊断方法的分类与工作流程,深入分析了基于SAT的错误定位方法的基本原理;对各种算法进行了概述评论,并简要介绍了在不可满足子式求解方面所做的一些研究工作,而不可满足子式能够显著提高错误定位效率与精度;讨论了电路错误定位技术所面临的主要挑战,并对今后的研究方向进行了展望。     

一种单站无源定位方法及其可观测性分析

利用非线性系统可观测性定理分析了径向加速度信息在目标运动分析(TMA)中的可观测性问题,得到径向加速度观测所能确定的目标状态参数及其需要满足的观测条件,从而证明一种联合径向加速度和角度信息的单站无源定位方法的可行性,并分析其可观测条件和可观测度。通过计算机仿真验证了讨论的结果。     

以战领建提升后备力量建设质效

仗怎么打,军队就怎么建。习主席在出席十三届全国人大四次会议解放军和武警部队代表团全体会议时强调:“要坚持以战领建,加强战建统筹,抓紧推进战略性、引领性、基础性重大工程,加快打造高水平战略威慑和联合作战体系。”学习贯彻习主席重要讲话,确保军队建设“十四五”开好局、起好步,必须坚持以备战需求牵引各项建设,以打仗要求统筹谋划工作。国防后备力量作为联合作战体系重要组成部分,要突出编、训、战一体建设,做好随时应对各种复杂困难局面的准备。     

环境介质对超高强车用钢延迟开裂性能的影响

分析了环境介质对超高强车用钢的延迟开裂性能的影响,通过对DP1180、MS1180和QP1180三种材料的试验得到具体影响结果。     

磁浮系统模型中用弹簧阻尼器替代控制器的等效性分析

在磁浮列车系统研究领域中,为简化计算许多文献将悬浮控制器等效为弹簧阻尼器。而对该方法的有效性,及其结果的可信度都没有做出进一步的分析。从数学模型上分析了弹簧阻尼器系统与控制系统的本质区别,并从稳定性、动态响应特征以及高频激励响应三个方面讨论了这种区别对系统性能的影响。以国防科大磁悬浮列车为被控对象进行了仿真分析,验证了两者之间的差异,说明弹簧阻尼器与控制器是不等效的。     

信息产业动员建设应突出“四性”

未来高技术条件下局部战争,交战双方的信息力量对抗将十分激烈。要保持持续的信息作战能力,赢得高技术局部战争的主动权,必须搞好信息产业动员建设。信息产业动员建设需从诸多方面去努力,而很重要的是要突出“四性”: 一 是 信 息 平 台 建 设 的 全 域 性 。多维的信息平台,是支撑国家经济建设发展和满足信息化战争的基础。国家信息高速公路要加快向边境和沿海地区延伸,形成覆盖国土的信息基础平台。要在重要军事战略方向、主要战场区域预留信息设备“接口”,确保稍加改造即可军用。要重视空间信息平台的作用,发展卫星通信事业,提供广阔空…     

生活中的五个节水小环节

水危机其实不是个新鲜话题。中国600多个城市中,缺水的近400个,严重缺水的为110个。我国水资源人均占有量约为世界人均水资源占有量的1／4．北方地区不到世界人均值的1／8。据预测,我国人口在未来十几年时间里将达到峰值16亿,届时我国将出现严重的水危机。这些让人无法轻松解读的数据,在很多水利专家看来,我们实实在在地步入了“水荒时代”。     

党员干部应有的人格风范

“国之本在家,家之本在身。”党员干部加强思想修养,增强自身非权力性影响,既是加强党性锻炼、改造主观世界的重要内容,也是为人处世、为官从政必须回答和解决好的重要课题,是实践“三个代表”重要思想、保持共产党员先进性的题中应有之义。党员干部要重实干,做“学用一致”的楷模。共产党人从来是知与行的统一论者,我们认识世界的目的全在于改造世界;共产党人更是理论与实践的统一论者,我们学习的目的全在于运用。正如小平同志说的,“不干,半点马列主义也没有”。正所谓“实干兴邦,空谈误国”,这是历史规律的总结。现在,那种学习上夸夸其谈…     

命题逻辑的理想形式系统

以双否律、交换律、结合律、分配律和吸真律为公理,仅用等值置换作推理规则,建立了命题逻辑形式系统E。给出了内定理证明的普遍能行方法和十个基本定理的形式证明。提出理想形式不仅仅公理应具有一致性、独立性、完备性,而且推理规则应具有保真性、可信性、能行性。论证了E是理想形式系统。