指挥控制的形式化描述与性质验证

在分析了IDEF0基本模型及其军用模型的基础上,结合面向对象的分析方法,提出了一个通用的指挥控制对象的概念模型,并采用形式化描述语言LOTOS(LanguageofTemporalOrderingSpecification)和基于动作的时序逻辑ACTL(ActionBasedTemporalLogical)对系统进行了形式化描述和性质验证。这为C4ISR系统的需求描述和验证提供了一种新的思路和方法。     

紧贴未来作战需求编制好国民经济动员预案

国民经济动员预案是为实战服务的,编制工作必须着眼现代战争特点,紧贴作战需求,突出工作重点.一是预案编制要突出搞好战略物资储备.未来的军事斗争是高技术条件下的信息化战争,进程快、节奏紧、消耗大,对战争初期的物资动员保障能力要求高.预案编制必须紧贴军事斗争需求,做好战备物资储备编配工作.     

青岛海鹰船用漂浮护舷有限公司

青岛海鹰船用漂浮护舷有限公司（原青岛海鹰气囊厂）是漂浮式充气橡胶护舷（靠球）的专业生产企业，企业坐落于美丽的海滨城市青岛。     

基于创新人才培养与行业需求融合的调查研究——以会计专业为例

会计人才作为经济社会人才的重要组成部分,目前存在低端人才过剩,高端人才不足的情况.而在经济"新常态"形势下,企业越来越需要具有创新能力的会计专业人才来提高自身竞争力.本文从高校培养主体和行业需求两个角度分别设计调查问卷,分析供需双方对会计创新人才培养的要求及差异.本文认为目前高校会计专业人才培养应当构建创新教学模式,改革教学方法,加强校企合作,从而减轻供需要求不对等的情况.     

新体制下通过需求牵引推动军民融合发展的思考

为深入贯彻军民融合发展战略,大力推进国防建设和经济建设协调发展、平衡发展、兼容发展,省军区系统必须主动适应新体制、新职能、新要求,充分发挥桥梁纽带作用,积极搞好军地需求对接,以务实的需求牵引扎实推动军民深度融合发展.     

考虑需求相关的可修复系统备件配置模型

对于一个拥有多台相同设备的可修复系统来说,一种备件的需求以及其对应的备件保障方案将影响着系统的可工作设备数量,从而影响着设备其他备件的需求,故假设备件需求相互独立且与系统自身备件保障方案无关而开展备件配置研究是不合理的.在考虑备件需求相关以及备件的保障方案对备件需求的影响的前提下,利用马尔可夫理论描述了备件需求规律,针对不串件拼修和串件拼修两种情况分别给出了可用度的计算方法,并在此基础上以备件配置费用作为优化目标,以可用度作为约束构建备件优化配置模型,给出了边际分析求解模型的方法.通过案例分析,验证了模型的正确性.     

从容

有一则故事是这样描述从容的。在一个名叫阿斯达的小镇上,住着一位单身老妇人。传说这位老妇人有一笔可观的遗产存在瑞士银行,她就靠银行每年支付的利息过着舒适的生活。有一天傍晚,门铃响了,她开门一看,门口站着一位陌生人,手里握着一把寒光闪闪的菜刀,她立刻明白将要发生的一     

拓展“民品军用”的国防建设新路子——中国民用工业企业技术与产品参与国防建设展览会透视

3月31日至4月1日,我国首次举办了民用工业企业技术与产品参与国防建设展览会,这是推进有中国特色的新军事变革、全面加强国防建设的又一项举措。这次展览会,显示了我国民用工业企业的巨大国防潜能,体现了国防建设走军民结合道路的发展方向,反映了我国民用工业企业参与国防建设的一系列需要关注的问题。     

做好现有军事人才资源的开发工作

转变用人模式,大力开发现有军事人才资源1.在人才选用问题上,转变重视从外部引进而忽视从内部搞活的做法,首先把本单位现有的人才使用好。一些单位一讲人才战略,就是计划引进多少硕士和博士。有的单位不具备需求博士、博士后等高层次人才的环境,也要费尽心思,高价引进,而这些人     

中国航天科工集团公司

中国航天科工集团公司自成立以来一直保持较快的增长速度,经济运行质量稳步提高,国有资产保值增值取得突出成绩。据2003年国家有关部门公布的结果,集团公司的主要经济考核指标连续三年位于十大军工集团首位,在全国500强企业的排名由第82位上升到第57位。