创比价采购新版本

亚星比价采购全国闻名。在国有企业高度集中的辽宁,旗下431家企业有341家推行了这一采购,比例高达79.1％。实践证明,亚星比价采购有牵一发而动全身之效应,是国有企业转变机制的法宝。 正是此背景下,2000年,借鉴亚星经验,比价采购在长安汽车公司中正式推出。3年过去了,长安比价采购取得了令人瞩目的成绩,共降低各种采购成本11.177亿元,不仅有效地支撑了长安汽车的飞速发展,而且扼制了企业经济领域中不规范行为甚至犯罪的发生,维护了企业的形象和利益。 然而,发人深省的是,与长安同期推行亚星比价采购的同行其他企业,不少在经历了一番气壮山河、雄心勃勃之后,又纷纷下马。是什么原因成就了长安的比价采购?请看来自长安汽车公司推行亚星比价采购的报道与思考——     

保密通信中两种零知识证明算法的分析及改进

介绍了零知识证明的定义，数学模型及其应用，基于不可否认签名和可证实签名的思想，对一种拥有DSA数字签名的零知识证明方案进行了分析。讨论了一种基于模运算的新的零知识证明算法，并对其进行了改进。     

善于“形成自己的”

有句话说得好：“吃透上级的,了解基层的,借鉴他人的,形成自己的。”这句话既是前人工作经验的总结,也被实践证明是行之有效的工作方法。细细分辨,重要的是第四项“形成自己的东西”。     

浅谈数列极限的定义与证明中的放大法

数列的极限,是无限与有限、定性与定量、任意与确定等辩证思想在数学中的一个具体体现.通过数列极限的学习,将使我们对变量数学的认识步入新的层次.     

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

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

命题逻辑的理想形式系统

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

《武警学院学报》征稿简则

《武警学院学报》学术理论性强,特色鲜明,读者面广,选稿用稿公平公正,刊发文章的下载率、引用率、转载率高,具有较高的知名度和广泛的影响力。常年开设:边防研究、警卫研究、维和研究、执法研究、反恐处突研究、教育训练研究、思想政治工作研究、部队建设研究;消防理论研究、灭火救援技术、火灾预防、消防安全评价、火灾调查、消防监督管理等栏目,热诚欢迎各界专家学者惠赐佳作!     

中国系统工程学会军事系统工程专业委员会第二十五届学术年会征文通知

中国系统工程学会军事系统工程专业委员会第二十五届学术年会拟于2015年第三季度在河南洛阳中国人民解放军96251部队召开。本届年会由96251部队主办,现将有关事项通知如下： 一、会议主题 军队改革与军事系统工程 二、征文内容 1.老装备改进途径及效能分析 2.新装备作战能力快速形成 3.指挥控制信息系统建设与运用 4.战争模拟理论与应用。     

单站纯方位目标跟踪系统可观测性分析

针对单站纯方位目标跟踪系统的可观测性,在研究国内外有关状况的基础上,给出了单站纯方位目标运动分析的问题描述,综述了国内外的研究和发展情况,给出了由观测可观测性的一些结论和证明.其中对某些经典的结论给出了简单、明了的证明方法,这些有助于该问题的深入理解和研究.     

拉格朗日中值定理的证明

微分中值定理是微分学的基本定理,它的证明一直是大家关注的研究对象。通过三个不同的角度给出了中值定理三种不同的证明方法,拓宽了中值定理证明的思路。