基于DTRC的形式自动证明平台及其应用

动态项重写计算(DTRC)是项重写系统(TRS)的元计算模型,具有层次化结构和动态重写等特征,可应用于归纳定理的形式自动证明以及项重写系统弱终止性的形式自动证明等方面.文中介绍了一个基于DTRC的形式自动证明平台及其在TRS弱终止性自动证明上的应用.     

创建一体化产业链增强企业自主创新能力——中国一航西控公司建立一体化运行体制的经验与启示

五十多年来,中国一航西安航空动力控制有限责任公司在由测绘、仿制到自行研制的历程中十分注重科研开发与生产制造的结合,有效地促进了科研成果的应用与转化,形成了“以航空动力控制系统为代表的具有精密复杂工艺和多品种、小批量生产特征的产品研究、设计、制造、修理、服务的综合管理运营能力”的企业核心竞争力。通过科技创新、管理创新、观念创新,创建学习型、规范化、数字化、精益化企业,加速由生产科研型向科研生产型的转化,实现企业的转型升级,成功地走出了一条以科研带动生产、以生产促进科研的科研开发、生产制造与维修服务一体化…     

打造中国核电运营管理一流品牌——秦山核电站十五年发展之路

中国第一座30万千瓦压水堆核电站——秦山核电站,位于浙江省海盐县境内,于1991年12月15日建成发电,是我国和平利用核能的重要里程碑,被誉为“国之光荣”。15年的安全运行锻炼了队伍、培养了人才、积累了经验,为中国核电事业发展打下坚实基础。秦山核电公司经过多年发展,拥有了一支技术一流、经验丰富、安全意识不断提高、管理理念不断创新的队伍,在运行管理、检修、调试、培训、环境、应急等方面积累了丰富的经验和较强的技术支持能力,形成了包括核电站运营维护、技术支持、安全监督、人员培训、环境应急、后勤服务、文化保障等比较完整的核…     

关于加强军队住房资金管理的思考

随着国家住房保障制度改革的不断深化和军委总部关于依法治军、依法治后勤要求的全面落实,全面推进住房资金法制化管理的条件已基本成熟。当前应该采取的对策是,确立依法管理的总体思维,建立健全军队住房资金管理法律体系,保证军队住房资金依法管理机制的有效运行。     

智慧国防动员信息系统体系构建

在军民融合战略的大背景下,本文针对当前我国国防动员信息化建设的不足之处,分析了智慧国防动员信息系统体系建设的总体思路,以及数据采集、资源管理、行动指挥、通信网络等方面的能力要求,设计了智慧国防动员信息系统体系的基本架构和运行模式,总结了智慧国防动员信息系统涉及的关键技术。     

在Delphi中用事务保持数据库一致性和完整性

即使在出现硬件故障时,使用事务仍可保证数据的一致性,在多用户环境下,事务还可以维护数据的完整性。本文结合实际应用。讨论Delphi中使用事务的方法和意义。     

军工科研院所建立合作科研体制的构想

军工科研院所合作科研体制的模式多种多样。从合作对象来看,主要有所所合作、所企合作和所校合作模式;从合作内容来看,主要有研究项目合作、设备利用合作、人才交流合作和成果转让合作模式;从参与合作研究单位的数量多少来看,主要有双边合作和多边合作模式等。一定的合作研究模式,需要借助一定的运行机制才能使其功能得以真正发挥。我国军工科研院所建立合作科研体制,不仅有助于提高国防科技水平,而且有助于提高整个国家的科技水平和经济发展水平。合作科研体制的建立具有技术与产品创新功能、效率与效益增进功能、人才培养与开发功能和资源的优化配置功能。     

积极推进军队政府采购工作 全面提高军费使用效益

军队实行政府采购制度是市场经济发展和国家财政改革的客观要求;是加强支出管理和提高军费使用效益的重要举措;是推进军队后勤保障社会化的有效速径;是加强廉政建设和严肃财经纪律的重要措施。军队实行政府采购制度,必须建立精干高效的管理体制,规范和明确采购的运行程序,合理确定采购的范围和方式。同时,应辅之以宣传教育,建立法规体系,搞好配套改革。     

联勤、联勤体制运行及其条件评估分析

联勤是在统一领导下,对战略、战役范围内两个军种以上组织实施通用物资和通用勤务保障的活动。联勤体制是军队为实施联勤保障而建立起来的组织体系、运行机制和法规制度的统称。我军联勤体制的评估指标分为主观和客观两个方面。评估指标体系包括:制定评价指标的评分等级标准;确定评价指怀的权重;专家调查评分;得出评价样本矩阵;确定评价灰类;计算灰色评价系数;计算灰色评价权向量及综合评价值。