NP问题的3轮零知识证明系统的存在性

研究NP问题的3轮零知识证明的存在性.O.Goldreich与H.Krawczyk在1996年证明BBP以外的语言不存在（欺骗概率可忽略的）3轮黑箱模拟零知识协议,但是否存在3轮非黑箱模拟零知识证明仍然是一个尚未解决的问题.采用一种新的交互证明模式,在标准的DDH假设下,对图的3着色问题构造了一个3轮零知识证明.由于对零知识性的证明采用了一种特殊的方法,文中的协议实际上是非黑箱模拟意义下的零知识证明,从而证明了在DDH假设下,所有的NP语言都有3轮零知识证明系统.     

城市污水土地处理模拟试验研究

<正>实现污水资源化与无害化的技术,是生态学四大基本原理在水资源领域的具体运用。目前土地处理法在技术上已渐趋成熟,但土地处理系统的拓展构建和实际应用的领域还有待进一步拓展。重新认识、研究污水土地处理法及其相关机理并开发推广综合土地处理系统将具有     

EWB在模拟电子技术基础教学中的辅助作用

介绍了EWB(electronics workbench)电子电路计算机仿真设计软件；通过例题阐述了EWB软件在模拟电子技术基础课程教学中的辅助作用．     

浅谈灾害管理系统构建中的几个问题

目前大多数灾害管理系统均以GIS系统建立工作平台,为决策部门提供可靠依据,这在很大程度上促进了一个地区减灾力的提高。但是,由于GIS系统在我国的开发利用还没有达到一个十分成熟的阶段,因此在此基础上所开发构建的各种灾害管理系统还不能完全满足灾害管理的需要。对此从灾害管理与经济建设的关系、灾害管理的计算机模拟以及人工神经网络与灾害管理系统的结合三方面进行了分析,将上述内容列入灾害管理系统中,使之更加完善。     

一种适于强横向变速的高阶差分正演模拟方法

波动方程正演模拟法相对于射线法具有精度高、效率低的特点。为了提高其效率 ,提出了一种高阶差分正演模拟方法。该方法考虑了速度场局部的强横向变化 ,适于复杂介质的正演模拟 ;在相同精度下 ,高阶差分的空间横向间隔可取为低阶差分的 2～ 4倍 ,有较高的计算效率 ;高阶差分加上合适的边界条件能较好地解决网格频散和边界效应问题。通过对Marmousi模型的试算 ,验证了该方法对复杂速度模型的适应性、有效性和实用性。     

地下岩体天然裂缝的数值模拟及其对流体活动的控制

地下岩体天然裂缝的发育受多种因素控制,发育机理非常复杂,且裂缝不能直接观察.依据裂缝分布的数值模拟步骤,通过观察、描术岩心的裂缝发育特征,分析在发育过程中裂缝发育的控制因素及其对岩体力学性质的影响,建立裂缝发育概率计算的数学模型,进而对裂缝发育概率分布和发育特点做出了预测.根据实例计算结果,探讨了裂缝分布对地下流体活动的控制作用.     

六自由度飞行模拟器体感模拟算法及仿真实现

针对国内首台直九飞机六自由度模拟器，研究了与之相应的体感模拟算法，并应用MATLAB及VC 建立了模型。在此模型的基础上，对一组实际飞行数据进行了仿真计算和分析。结果表明，该算法为充分发挥六自由度模拟器模拟能力提供了一种有效的方法。     

通过实测室温确定住宅的自然通风状况

住宅自然通风状况的研究有助于住宅设计,使之更加有利于改善空气品质和节能。通过分析比较实测室温和模拟室温,根据状态空间法逐时确定出房间的通风换气频率。并以北京市的3户住宅为研究对象,从以下几个方面讨论计算结果的有效性,模拟室温的计算误差满足精度要求;计算通风换气频率一般小于10h-1,但最高可达50h-1,同时,计算通风换气频率的变化表现出了风压和住户调节行为的影响。故计算通风换气频率大体上符合住宅实际的自然通风状况。     

空分过程专用模拟软件的开发与应用

根据空分过程的特殊性，研制开发了用于空分生产过程设计和模拟的专用系统软件，并与有关厂家合作设计开发了多种新式空分流程。