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

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

创比价采购新版本

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

马克思主义同中华优秀传统文化相结合是时代课题

习近平总书记在庆祝中国共产党成立100周年大会上的重要讲话中强调,我们必须"坚持把马克思主义基本原理同中国具体实际相结合、同中华优秀传统文化相结合".第一个相结合,是理论与实践的辩证关系,反对本本主义、教条主义,革命和建设的诸多成败得失让人们有了这一普遍真理认识.第二个相结合,人们远没有达到第一个相结合的认识水平.武汉...     

基于椭圆曲线群上的零知识证明

通过研究椭圆曲线群,给出基于其上的2个零知识证明方案,这2个方案均使得甲方向乙方宣称自己拥有某种信息,并通过互动证明使其确信具有该信息,但同时还未泄漏该信息。     

善于“形成自己的”

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

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

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

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

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

命题逻辑的理想形式系统

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

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

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

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

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