专家系统中不确定性问题的研究

现实世界中，事物的不确定性，模糊性处处可见。在专家系统中基于不完全知识和模糊知识的推理已被引起特别重视，其重要性越来越难们所理解。本文叙述了不确定性问题研究的重要性。简述了统计推理，语气推理，模糊推理，可能性理论及批注模型等方法。最后论及了这些方法的开发与应用。     

制度伦理与和谐社会道德建设

唯物史观认为，道德属于精神范畴，而精神问题的解决却不能单纯诉诸精神的努力，脱离产生道德、塑造道德和制约道德发展的社会环境包括制度环境，善只能成为思辩理性的抽象物，不能成为实践理性的现实解。和谐社会道德建设固然离不开道德教育，但更重要的是制度建设。     

智能代理 理论及应用

本书是《模糊性与软计算研究》丛书中的一本。本书的研究对象是在不同的进化活动环境中的代理理论和自适应代理。不同等级的代理在所使用的规则中必须是自主的。代理必须具有一个大脑，通过它代理可以发现包含在数据内的规则。因为规则是工具，通过它代理改变环境。规则的任何自适应都能被认为是代理的一个演化。就象在每一个进化活动环境中介绍的不确定性那样，作者在本书中描述了怎样在描述规则中从局部世界引人全局性的不确定性。总之，不同等级的自适应和由数据获得的不确定性以及规则构成了一个能够模拟不同自然现象的新实体。本书介绍了代理理论的组合方法，     

含不确定性因素的理性预期模型

把不确定性因素作为内生变量引入经济模型,证明了预期价格与不确定性因素的大小成正比,在此基础上,提出了含不确定性因素的非线性、非均衡的理性预期模型,解释并证明了模型中各式的经济含义,从而得出不确定性因素在经济模型中具有不可忽视的地位,进而指出很大程度上由于不确定性因素的存在导致了现实经济运行的非均衡性.     

模拟线性电路中故障元件存在范围的确定

为了简化模拟线性电路故障诊断定位阶段的工作量，提出了1种确定故障元件存在范围的方法.即在十分现实的K故障假设下，确定能代表电路所有元件并给出在K故障假设下的故障诊断方程的唯一解的1组元件--最优可测试元件组，使故障定位工作只局限于该组元件，而不必对电路所有元件进行.该方法构成了故障定位的第一步，且与故障定位方法无关.方法基于电路的可测试值计算和规范式不确定性组的确定，它在可测试性与不确定性组概念中具有严格的理论基础，其可测试性计算可直接从参数类型故障诊断技术中推得.     

《激情燃烧的岁月》的文化解读

启蒙和“三个代表”并行不悖。在新的历史条件下，学要通过塑造新人形象确立体现和代表先进化的前进方向和价值取向。学的性质和功能应当有利于推动社会和人的全面进步，发展，促进人的现代化。学要通过新人形象表达对人的关怀，探求现实的本真，进而产生变革现实世界的实践理性和能力。     

三维可视化超级计算机

视算用屏幕来作为窗口。在该窗口中真实事物能被仿造和放大、显示在屏幕上的三维图象，以真实可信的颜色和纹理演示，并具有巧妙的光线和阴影。这些显示的三维物体能实时真实地运动，使得用户能仿真现实世界的某些特性，并且常常是预测现实世界的某些特性。这些特性既可能是可见的也可能是不可见的。在屏幕上的运动是可减慢也可加速。高质量的视象能进一步增强真实感。不管是连接几套系统或在全球范围起作用的网络，都能让用户协调地工作。视算用显著减少人与技术之间的障碍的方法，能让用户迅速的探索、交流、澄清和了解复杂的信息。视算的…     

基于可靠性的工程设计

现代结构要求更危险和更复杂的设计，需要精确地了解结构的载荷、几何、材料性能、制造过程和运行环境等的不确定性。可靠性评估技术可用来发展安全设计，并确定在结构系统中的不确定性所产生影响，然而通过进一步的研究、试验和质量控制来提高结构的安全性和功效。     

理性烛照下的心理分析--施蛰存小说浅议

从施蛰存小说创作的具体内容来看，无论是在选取文学表现对象的原则上，还是在文学把握现实的方式上．施蛰存都没有走向现代主义的非理性的极端，而是本着鲜明的理性精神来选取对象和把握现实的。他描写人物的内在心理活动，并不是因为他否认外部世界的可知性、可把握性，而恰恰是因为他希望通过对人内在心理世界的分析描写来获取探索人类心灵奥秘把握人的真实的本质的一种方式，以便更好地揭示生活的真相。     

建模支持中的不确定性分析

将决策建模过程中的不确定性的产生原因归结为信息的真实性和算法和可用性。在提出了用模糊Ｐｅｔｒｉ网表示不确定性的基础上，分析了两种信度的不同合成方式，并提出了相应的算法，为不确定性环境下的建模支持提供了一个实用而可行的方法。     

交换机中周期流优化调度问题的复杂性

研究了交换机中周期流量的优化调度问题,着重讨论了该问题的复杂性.依据呼损率定义了交换机周期流量调度的最优化问题,并对其子问题,嵌套周期流优化调度的复杂性进行了研究.证明了一种受限Max2Sat问题的NP完全性,并通过将该问题多项式归约到交换机周期流量调度的最优化问题,由此证明了仅有1和2周期的交换机周期流优化调度问题是强NPC问题.并利用该结果证明了任意嵌套周期的优化调度问题也是强NPC的.这表明对于任意嵌套周期流优化调度问题不存在伪多项式算法.     

适用于数字对象的保密比较协议

分析了现有保密比较协议无法使用于不确定数字对象比较的原因,用随机构造单向散列函数的方法设计了对不确定具体范围的数字对象进行比较的一种多方保密计算方案,协议能以零泄漏的方式快速比较两个数字对象是否相同.用广泛接受的模拟范例证明了方案的保密性.     

一种多中继协同网络吞吐量优化算法

考察了接收节点通过累积信息量完成解码的单源单宿多中继无线网络,提出了一种基于动态前向解码协议的中继节点选择及传输算法.首先,给出了在给定整个网络所需传输信息量的条件下最小化信息传输时间的数学模型,并证明了其是一个完全多项式非确定性问题,进而提出了一种分布式贪婪中继节点选择算法.该算法综合考虑了被选择节点的上行和下行链路的信道增益,不仅保证了被选中节点能够容易地解码信源信息,而且使得网络终端接收到较多的有效解码信息.仿真结果表明,该算法接近集中式最优中继节点选择机制的性能,并且其分布式实现减少了系统开销.     

基于OPC技术规范的远程监控

介绍一种通过采用OPC数据交换接口规范实现的远程监控系统.提出采用双OPC服务器架构实现远程监控,远程客户端不直接通过远程连接访问现场(源)OPC服务器,而是访问同置于远端的远程(目标)OPC服务器,避免了穿越网络执行数据链接的不确定过程,而且便于用户通过支持OPC接口的组态软件或其他可视化OPC客户端软件实现远程在线监控.     

基于FSA的模型检测算法研究

自动机就是描述系统行为的模型,通过它可以检测出系统实际工作时发生的状态,经过反复测试,诊断,以达到理想的模型。在基于自动机的模型检测中,前提是需要把非确定性FSA转化为确定性FSA,本文给出了非确定性自动机转换为确定性自动机的算法,最后分析该算法。     

基于Petri网的工作流系统不确定性时间信息的计算

基于工作流系统对时间管理功能有严格的需求, 针对任务执行时间的不确定性, 提出了基于库所时间Petri网的工作流系统建模方法—PT_net. 该方法可以有效计算工作流系统的时间信息, 从而为工作流系统的时间管理和分析提供技术支撑.     

抽象数据类型Petri-Net

Petri网是一种状态转移模型,与有限状态机(FSM)相比,Petri网更适于通过较自然的方法来描述并发、并行或不确定系统.系统模型化的目的在于进行系统分析.对于Petri网,不仅可以采用转移模型通常进行的可达性分析,还可用线性代数方法进行分析,更给系统的特性分析提供了一条有效的途径,近年来成为很引人注目的建模工具.本文设计了一个抽象数据类型:Petri-Net,它将成为用Petri网技术进行分析的基础.     

利用矩阵求二元一次不定方程的特解

借助矩阵求最简单的不定方程一组特解。     

非确定并发系统的基于说明的测试推导

讨论具有非确定性的分布式并发软件系统，对论（1）的行为机构造方法的测试推导方法进行了扩展，使之可同时适用于确定和非确定的并发系统。     

一个并发约束程序设计语言的定义与实现

设计实现了并发约束程序设计语言COPS.该语言结合约束对象、不确定性计算及约束储仓技术,采用基于并发约束模型的推理控制和基于优先度的规则选择策略,将说明性的知识表示、系统化和启发式的推理搜索能力以及合理的确定性计算开销统一起来.系统在电路建模、专家决策等领域的初步应用表明了该语言对构造基于约束的知识系统的适用性.COPS的出现为复杂智能问题的解决提供了可能性.