An Efficient Noninteractive Zero-Knowledge Proof System for NP with General Assumptions

We consider noninteractive zero-knowledge proofs in the shared random string model proposed by Blum et al. [5]. Until recently there was a sizable polynomial gap between the most efficient noninteractive proofs for NP based on general complexity assumptions [11] versus those based on specific algebraic assumptions [7]. Recently, this gap was reduced to a polylogarithmic factor [17]; we further reduce the gap to a constant factor. Our proof system relies on the existence of one-way permutations (or trapdoor permutations for bounded provers). Our protocol is stated in the hidden bit model introduced by Feige et al. [11]. We show how to prove that an n -gate circuit is satisfiable, with error probability 1/n ^O(1) , using only O(n lg n) random committed bits. For this error probability, this result matches to within a constant factor the number of committed bits required by the most efficient known interactive proof systems. Received 20 November 1995 and revised 7 October 1996     

钻机方案设计专家系统的研究

专家系统是人工智能领域中最重要而且有活力的分支之一,它在机械设计领域中的应用,对于推动机械设计过程向自动化及智能化方向的发展,具有极其重要的现实意义。论述了钻机设计专家系统研究中的一些主要问题,探讨了钻机设计专家系统要完成的主要目标和任务以及实现方法,并研究了适合于钻机设计专家系统要求的知识表示、知识获取和知识推理方法。     

电网调度管理演绎数据库模型研究与实现

本文针对传统专家系统在具有海量数据特征的电力系统的应用中存在的问题,提出了一个电网调度管理演绎数据库模型,介绍了该模型中基于关系数据模式的知识表示方法和基于查询的推理机制,并基于中文Ｗｉｎｄｏｗｓ环境和关系型ＤＢＭＳＦｏｘｐｒｏ２．５Ｂ实现了该演绎数据库模型,实践表明,该实际系统在演绎推理的有效性和可靠性方面都大为提高。     

基于可拓理论的装备知识形式化描述模型研究

通过分析现有装备知识描述方法的特点,提出了构建装备知识形式化描述模型的需求;概括和归纳了可拓理论的内容及国内外研究现状,结合基元原理和拓展分析原理构建了5种装备知识形式化描述模型;为了说明装备知识形式化描述模型的可行性和有效性,以部分装备知识为例进行实例验证;装备知识形式化描述是进行装备参数聚合及装备体系评估的前提和基础。     

基于本体和知识组件的高低机设计方法研究

为了提高高低机设计质量和效率,提出一种基于本体和知识组件的高低机设计方法。利用本体和知识组件开展高低机设计知识的表示与建模,构建高低机设计知识库,在明确基于本体和知识组件的高低机设计方法的基础上,以Java为平台开发了高低机设计专用系统,并以某高低机的设计实例进行验证。验证结果表明：该方法及开发的设计系统具有可行性和有效性,能够按照本体中既定设计流程,依次调用对应知识组件,实时提示相关设计知识,辅助设计人员完成繁琐与重复的计算工作。     

一个安全有效的身份鉴别协议与对应的数字签名方案

本文利用二元一次不定方程和Schnorr身份鉴别协议，构造出一个新的身份鉴别协议，该协议在RSA问题和离散对数问题是难解的假设下是安全的，同时给出了所对应的数字签名方案。     

Agent理论和技术在电子战中的应用

Agent是新兴的人工智能技术，具有许多特性。该文在设计开发雷达辐射源识别原型系统中，应用了Agent技术并着重实现了其自主性和自学习性等特性。认知过程中，知识和信念是有区别的，其特点是将知识库和信念库作为两个不同的库；通过人机交互、参数比较、加权评判及信念库和知识库的相互转换和更新，使系统能自我完善。通过在该辐射源识别原型系统中加入了智能体的知识，使电磁干扰系统具有一定的人工智能，从而对电磁环境的变化具有自适应能力。     

一种基于属性重要度的值约简算法

值约简是粗糙集理论的一个重要研究课题，很多学者对它进行了研究并提出了不同的值约简算法，但由于值约简算法是NP—hard问题，目前还没有高效的值约简算法。文中利用信息熵来计算属性重要度，在此基础上对值约简算法进行改进，提出了一种基于属性重要度的值约简算法，并将此算法运用到变压器故障诊断中。实验结果验证了此算法的可行性和有效性。能节省循环比较时间，提高计算速度。     

浅谈翻转课堂的"翻转"

伴随新理念和新技术的不断涌现,信息技术与课程的整合日渐深入,一种新型的教学模式"翻转课堂"应运而生.时下,翻转课堂成为国内外教育改革的新浪潮,为教与学的进一步发展提供了新的思路.本文着眼于探究在翻转课堂的实施过程中要如何翻转才能达到知识传授这一过程的效率最大化以及吸收内化的深入化.教学环节的翻转是课堂教学形式转变的需要,教师自身翻转是实施的前提和关键,学生的翻转是目的和结果.     

可拓知识空间和可拓知识网格模型(Ⅱ):可拓知识网格

第1部分中已介绍了可拓知识空间定义和相关操作，以及可拓知识空间关联函数计算方法。这一部分进一步建立可拓知识空间语义网、可拓知识网格和可拓知识网格服务，并给出实例和相关的分析讨论。