处理不确定性的外延方法和内涵方法的比较

1.引言从语义的角度分类,研究不确定性的方法分为两种:外延方法和内涵方法。前者也称为产生式系统、基于规则的系统、基于过程的系统。MYCIN,PROSPEC-TOR是典型的外延方法。外延方法把不确定性作为一般化(generalized)的真值附着在公式上,依照传统的经典逻辑,任何公式的不确定性都是其子公式不确定性的函数,因此公式间的联系就是选择合适的组合函数。例如,合取式A∧B的不确定性值是A的不确定性值和B的不确定性值的函数,如min函数。内涵方法也称为陈述系统(declarative system)或基于模型的系统。不确定性附着于事件的状态集或可能世界的子集,子集间的联系通过集合上的操作完成。例如,p(A∧B)是包含A为真和B为真的可能世界子集的概率值,不能从个体概率p(A)和p(B)中得出。外延方法和内涵方法的优缺点针锋相对,外延方法计算简便,但语义不系统(sloppy);内涵方法语义清晰,但计算复杂。     

不确定性推理的实用性研究

Bayes 概率推理是不确定性推理方法之一,它在理论上虽然比较简单,但当证据之间不满足独立性假定时,推理过程中需要专家给出的先验概率个数将按几何级数增加,这严重影响了 Bayes 概率推理的实用性.本文提出的两种处理非独立性问题的概率推理方法,不仅可以大大减少专家的工作量,而且比较简单、直观,便于实际应用.     

基于概率推理的不确定性任务分配评价方法

作战任务的分解与分配是指挥决策中的重要过程,随着战场环境复杂度的增加,确定环境下的任务分配方法已不能适应作战需求。针对不确定性任务分配问题,分析作战任务分解、分配和执行过程中的多种不确定性因素,给出相应的形式化描述。在此基础上,提出一种基于概率推理的适应度计算方法,具体分析各种不确定性任务成功执行概率的计算过程,并给出算例进行验证。仿真结果表明,该方法能有效解决任务分配问题,并对任务分配方案进行定量评价。     

一种基于概率图模型的不确定性数据世系表示方法

不确定性数据的世系分析是基于数据产生和演变的过程来跟踪数据不确定性的来源.为了有效地描述数据间复杂的相关性及不确定性,并从理论上保证世系分析中概率计算的正确性,文中研究了基于贝叶斯网这一重要的概率图模型的不确定性数据世系表示方法.以世系的布尔公式和不确定性数据本身为出发点,提出了将布尔公式等价转换为贝叶斯网的方法,并讨...     

基于概率盒演化的时变系统不确定性量化方法

针对时变系统的不确定性量化和传递问题,提出一种概率盒演化方法.根据系统的时变规律,获取系统响应的累积分布函数随时间变化的规律.将认知不确定性参数和随机不确定性参数分离在外层和内层,用蒙特卡洛法量化外层的认知不确定性参数,用基于随机配点的非嵌入式混沌多项式法量化内层的随机不确定性参数,通过求取不同时刻系统响应的累积分布函数的上下边界创建时变概率盒.最后,通过一延时电路性能退化算例验证所提出方法的有效性.研究表明,时变概率盒不仅可以表征系统特定时刻的混合不确定性,而且反映了输出响应的时变规律和输出不确定性随时间变化的趋势.     

受限网络移动对象不确定性轨迹的查询

针对移动对象轨迹的内在不确定性及其导致的查询精度较低的问题,将已有移动对象的空间轨迹不确定性模型应用于网络移动对象的轨迹表示中。在此基础上,将概率查询方法运用到受限网络移动对象的不确定轨迹查询中,提出移动对象轨迹的不确定性点查询和概率范围查询方法。实验结果表明,该方法具有较高的查询效率。     

FaLoFiN:基于不确定性过滤的硬件故障局部化方法

运行已有大型商业软件进行系统级验证是获得高质量SoC设计的有效手段,然而一旦硬件故障导致该类软件运行失效,故障局部化过程将十分困难.为此提出一种基于不确定性过滤的硬件故障局部化方法FaLoFiN.首先提取不确定性函数调用集;然后分别从参考运行和故障运行中过滤不确定性函数调用集;最后通过比较、定位异常函数调用,实现与硬件故障相关代码范围的局部化.实验结果表明,FaLoFiN方法具有较高的硬件故障局部化准确度,能有效地将PKUnity-86系统中的真实硬件故障局部化.     

遥感图像边缘检测的不确定性及其处理方法探讨

遥感图像边缘检测是遥感图像处理领域的难点和热点,多种不确定性因素造成边缘像元的位移和变形,影响了遥感图像边缘检测的进展。本文较系统地总结了影响遥感图像边缘检测的不确定性因素,从噪声、随机性和模糊性、尺度效应、混合像元以及光谱的不确定性等几个方面进行具体阐述,并指出了遥感图像边缘检测不确定性的研究重点与发展方向。     

基于条件概率的粗糙集不确定性度量

通过语义分析,提出一种修正的粗糙集不确定性度量公理化定义。首先,对该定义的数学特征进行分析,提出两种基于条件概率的粗糙集不确定性度量方法;然后,证明它们满足所提出的公理化定义,并导出相应的知识不确定性度量,发现其中一个是现有条件信息熵,另一个与确定性度量形成互补关系。设计算例对各种不确定性度量进行比较分析,验证了所提出的度量公式与不确定性语义保持一致。     

S-粗集系统不确定性的近似处理方法

针对S-粗集的动态特性,提出了内（外）边界的概念,讨论了内（外）边界的一些性质,给出了相对精度的度量,并举例说明了S-粗集系统不确定性的近似处理方法。     

A METHOD FOR IMPROVING THE EFFICIENCY OF MODEL-BASED REASONING SYSTEMS

Associational reasoning solves common problems quickly. Model-based reasoning can be used to solve unfamiliar, unusual, or difficult problems, but it does so slowly. This paper describes a method for overcoming the speed limitations of model-based reasoning by remembering a previous similar problem and making small changes to its solution. The method described here was used to develop a medical diagnosis system. The method was shown to result in solutions identical to those derived by a model-based expert system for the same domain, but with an increase of several orders of magnitude in efficiency. Furthermore, the method used by the system is domain independent and should be applicable in other domains with models of a similar form.     

不确定组合大系统的自适应分散镇定控制

考虑具有非线性关联作用的不确定时变线性组合大系统的自适应分散镇定问题.针对系统不确定界完全未知的情形,首先从理论上证明了可设计自适应鲁棒分散控制器确保受控系统渐近稳定;进而从工程实际应用的角度,给出了确保受控系统实用稳定的自适应鲁棒分散控制器的设计方案.仿真说明该设计方案是有效的.     

基于混合统计模型的中文基本名词短语识别

采用一种基于混合统计模型的方法来实现中文基本名词短语识别。首先简要分析目前的研究现状,明确中文Base NP识别的任务,然后采用以基于转换的标注和条件随机域模型为底层,支持向量机模型为高层的混合统计模型来进行中文BaseNP的识别。在ACE2005中文语料上的实验表明,F值比使用单一模型提高了1.37%,达到了88.67%,能提高中文基本名词短语的识别性能。     

一种嵌入式导航终端的兴趣点数据处理方法

嵌入式导航电子地图是一种精简的特殊电子地图,在现代车载导航系统中具有重要应用。实际的应用要求导航系统对卫星信号作出快速反应并对其数据进行实时更新,但由于设备存储资源的相对不足和软硬件功能的限制,其实际的数据存储具有显著的容量存储和读出限制。为了提高导航电子地图设备对数据的存储和快速查询性能,提出一种处理兴趣点数据POI(Point of Interest)的方法。该方法在提取导航电子地图数据所需要的POI数据时建立网格空间索引,对POI的数据按照网格进行存储;根据POI数据的特点,对字符数据寻找公共前缀子串,将其存储为公共前缀子串表,POI字符数据中如果存在公共前缀子串,则记录其在公共前缀子串表中的位置。以北京部分地图为例对该方法做调试,使用该方法 POI地图原始数据大小由原来的170 MB减小到35MB,空间查询200个POI花费的平均时间由3秒缩短至150 ms。该方法具有较高的压缩率和空间查询效率,对于导航电子地图中的POI数据处理具有较强的适应性。     

基于知觉加工模式的发展式分词算法

分词是自然语言理解的一个重要过程,由于语言问题又是最重要的心理学问题之一,所以从认知心理学和发展心理学的观点出发,将分词问题看成是知觉问题在语言信息处理过程中的一部分,把知觉表达和知觉的双向加工过程引入对分词问题的分析,并同时考虑言语发展的心理过程,把对言语发展规律的归纳作为构造学习算法的基础和模板,以进化的方式来逐步改进自然语言理解系统的性能,从而避免知识获取瓶颈在自然语言理解问题中的出现。     

软件测试的一种数学简化方法

在马尔可夫链模型的基础上,将软件测试结果的分析问题转化为一个经典概率问题.通过数学方法实现了软件测试模型的简化,加速了测试用例的生成,从而降低了测试的复杂度,解决了简化测试用例集难度的问题.通过实例证明,这种测试技术具有一定的实用性和有效性.     

拉丁方合痕分类的计算机辅助方法AIC

本文提出拉丁方合痕分类的计算机辅助方法ＡＩＣ，该方法结构简洁，复杂度低。利用方法ＡＩＣ，本文对７阶拉丁作了合痕分类，得到了５６４个合痕类的代表元。本文所得这一结果修正了文献上关于７阶拉丁合痕分类数的错误结果。     

一种地表造型方法

本文提出一种简单而有效的地表造型方法：中点随机扰动插值法，给出了用这个方法在微机上生成的几幅地表图。这个方法也适合其它不规则自然景物的造型。     

一种跟踪DoS攻击的有效方法

通过网络上的Router,以固定机率来对封包进行标记的方法,可让受害者从标记的封包中得到攻击路径上各Router的IP地址,并根据这些封包来找出真正的攻击路径.但是较晚作标记的Router会将封包之前所留下的标记资料覆盖,使得我们必须收集大量的攻击封包,才能完整收集到攻击路径中各个Router的IP地址.为此提出一种更有效算法DPPM,使得需要收集攻击封包数最少.     

联机手写体汉字识别后处理技术的研究

文中提出了一种规则和统计相结合的计算语言模型应用于联机手写体汉字识别后处理的技术,把基于统计的大词表Ｍａｒｋｏｖ语言模型与语言规则量化模型,通过词网格技术集成在一个语言解码器,这种后处理方法由３个阶段组成,词网格生成,语言解码,基于Ｃａｃｈｅ的自学习机制,语言解码器采用Ｖｉｔｅｒｂｉ搜索算法求解最优语句候选,该项技术已应用于ＨＰＣ（手持机）手写电脑的联机汉字手写体识别系统中,汉字识别率为９１．３％