向时间自动机转换的军事电子信息系统性质验证

日益复杂的军事电子信息系统面临正确性验证挑战,形式化验证方法如模型检验技术成为必需.给出基于时间Petri网表示的军事电子系统模型PMES的定义,然后给出PMES模型转换为时间自动机网的步骤,利用已有的基于时间自动机的模型检验工具对系统性质进行验证;系统的性质要求用时序逻辑语言CTL或TCTL公式表示.雷达干扰机系统说明了该方法的实际应用效果.     

空军颁布法规系统规范民兵建设

为适应新的形势任务,进一步增强空军民兵分队快速动员和遂行支援保障任务能力,空军依据《中华人民共和国兵役法》、《中华人民共和国国防动员法》、《民兵工作条例》及有关规定,结合空军民兵工作实际,制定出台了《空军民兵工作细则》,全面规范和指导空军     

开平市严格规范专武干部队伍建设

广东省开平市严格规范专武干部的编制、配备、任免和奖惩,专武干部的任用坚持基层推荐、人武部考核、岗位考察锻炼合格后,再由人武部公布任职命     

积极开展企业"三大规范"编制为企业可持续发展奠定坚实的基础

本文阐述了企业"三大规范"的编制过程及"三大规范"在贯彻实施中取得的良好经济效益和社会效益。为提高企业标准化水平和效果,提高企业在市场中的竞争力提供了可靠的技术保障。     

一类恒成立不等式的形数求解法

数形结合就是把抽象的数学语言与直观的陪衬图形有机地结合起来进行思考,促使抽象思维与形象思维和谐渗透,通过对规范图形或示意图的观察分析,化抽象为直观,化直观为精确,从而使问题得到简捷地解决。函数图像法是用图像来表示两个变量的函数关系,其优点是形象直观。函数的图像是学好函数知识直观形象的工具,通过观察函数图像的变化趋势,可以总结出函数的性质。另外函数图像是数形结合的有效载体,它以形为主,辅之以数,用于一类恒成立不等式的求解上,可谓另辟蹊径,别开生面,而使问题的解决别具一格。例1:设关于x的不等式(x-1)2相似文献   

官兵的政治荣誉意识及其引导

通过采取问卷调查、听取报告、实地查看和座谈等形式，对近2000名干部战士的调查表明，在军内外环境变化影响下，官兵政治荣誉意识发生了深刻变化，必须积极采取有效措施加强引导规范，才能充分发挥政治荣誉推动部队建设的作用。     

论部队财务管理的规范与创新

在军事经济管理活动中,军队财务管理占据着重要地位,而其中又以部队财务管理为重。但是,目前财务管理中存在的不少问题直接影响了部队和国防建设的深入发展。文章通过对部队财务管理中现存问题的剖析后指出,规范与创新是摆脱困境的最佳出路,并就部队财务管理如何规范与创新进行了有益探索。     

变革与重构:市场道德的定位

在市场化、知识化和全球化三大浪潮中,为了实现精神文明建设与可持续发展的良性互动.必须对调节人际关系与利益的道德进行重构.本文在赋予道德以新义的基础上,阐释了市场经济条件下社会主义道德体系的内容及其意义,并将世界观、公德和职德以及公民意识等范畴纳入科教兴国与可持续发展两大战略的基础工程重新审视,并予以定位.     

VXI Plug & Play : 一种组建测试系统的理想规范

介绍了对推动ＶＸＩ技术发展具有重要意义的ＶＸＩＰｌｕｇ＆Ｐｌａｙ系统联盟成立的背景以及ＶＸＩＰｌｕｇ＆Ｐｌａｙ规范的主要内容,制定规范所遵循的原则和要求,对ＶＸＩＰｌｕｇ＆Ｐｌａｙ发展前景做了展望,说明了虚拟仪器软件结构的框架,并初步探讨了组建一个自动测试系统的方法和步骤以及如何利用ＶＸＩＰｌｕｇ＆Ｐｌａｙ设计仪器驱动程序。