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系统在我国的开发利用还没有达到一个十分成熟的阶段,因此在此基础上所开发构建的各种灾害管理系统还不能完全满足灾害管理的需要。对此从灾害管理与经济建设的关系、灾害管理的计算机模拟以及人工神经网络与灾害管理系统的结合三方面进行了分析,将上述内容列入灾害管理系统中,使之更加完善。     

应用微型实验 推动教改实践

用微型实验来加强实验教学的新路子 ,能激发学生的学习兴趣 ,增强学生的动手能力 ,提高了教学效率和成绩 ,为教师提供了科研机会 ,推动了学校教改工作 ,使学校的化学教育质量更上一层楼。     

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

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

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

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

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

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

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

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