知识推理的一个模

引入了能描述操不同语言的多ａｇｅｎｔ系统中知识推理的模态逻辑语言及其Ｋｒｉｐｋｅ语义与Ａｕｍａｎｎ语义，为其建立了完备的形式化演绎系统；并构造了多ａｇｅｎｔ系统的逻辑的Ｉｎｓｔｉｔｕｔｉｏｎ。     

基于组织的网构软件程序设计语言及其实现

作为Internet环境下的一种新的软件形态，网构软件的自主性、协同性、适应性、演化性及柔性体系结构等特点对传统的程序设计模型、语言和支撑平台提出了一系列挑战．本文基于组织抽象和agent技术提出了支持网构软件构造的程序设计语言OragentL．首先，OragentL将软件agent作为网构软件中自主实体的抽象，并在这一层面设计和封装系统的自适应和自演化逻辑．其次，OragentL将组织、角色等组织抽象作为一级编程实体，提供了角色扮演、角色组合、角色演化、基于角色的交互、基于组织的自管理等机制为网构软件的动态性特点提供了显式的语言设施和机制支撑．我们设计了OragentL的语法和形式化操作语义，并开发了Oragentburg作为OragentL网构软件的运行时环境，支持0ragentL程序的开发、编译、部署和运行     

基于隶属度比较的描述逻辑SHOIQ模糊扩展

语义Web模糊知识的表示和应用经常需要涉及多个模糊隶属度值及其比较的复杂模糊知识描述,但现有的描述逻辑模糊扩展缺乏描述和使用这类复杂模糊知识的能力.文中提出新的描述逻辑SHOIQ模糊扩展SHOIQFC语言.SHOIQFC不仅具有模糊描述逻辑FSHOIQ的全部表达能力,还支持涉及多隶属度值及其比较的复杂模糊知识的表示与推理,拓展了描述逻辑模糊扩展的应用范围.证明了SHOIQFC知识库一致性问题的可判定性并给出Tableau推理算法,为实现语义Web复杂模糊知识的表示与推理提供理论基础.     

分布环境下容错组成员主动退出组行为的研究

主动复制技术是增强分布系统容错能力的有效方法之一, 它复制系统的关键部件构成容错组. 首先分析了组成员退出组行为的三种语义, 总结了组成员参与的组活动, 得出了组成员要安全退出组所需要满足的条件. 针对快速退出语义, 提出了解决方案, 详细讨论了非空协议和中继协议, 并给出了协议正确性和可终结性的理论证明. 该解决方案可作为构造实用、可操作的组管理模块的有用构件.     

基于博弈论的开放环境下场景规约监控语义

在开放环境中,环境和系统本身行为的改变可能使得软件系统的实现不再满足原来规约,从而最终导致软件失效的发生.运行时监控是一种轻量级的形式化动态验证技术,已成为开放环境下检测软件失效的基本手段.针对基于场景的规约属性序列图,从博弈论的角度定义其多值监控语义:满足、无限可控、系统有限可控、系统紧急可控、环境有限可控、环境紧急可控和违例.通过多值监控语义的定义,监控器能够根据当前轨迹尽可能早地检测到系统失效或异常,并提供足够信息为失效的预防和恢复服务.实例研究表明了属性序列图多值监控语义的实用价值,并显示了其广泛的应用前景.     

基于D-S理论的分布交互式多传感器联合概率数据互联算法

为了解决杂波环境下利用分布式多传感器系统跟踪多机动目标的问题，提出了一种分布交互式多传感器联合概率数据互联算法,该算法对每个传感器应用交互式联合概率数据互联法滤波，并将模型概率、状态估计等滤波结果送至融合中心．融合中心首先对各目标进行航迹相关判别并应用D-S证据理论对不同传感器关于同一目标的各模型概率进行融合，然后依此模型概率计算各目标状态估计并反馈至各传感器．最后给出了该算法的分析，仿真结果表明本算法能够很好地解决杂波环境下多传感器多机动目标的跟踪问题．     

分布式企业协同分销子公司影响因素模糊聚类分析

针对分布式企业协同分销子公司管理效率低,系统决策效率提升困难等问题,搭建了立体协同分销网模型.在深入分析了其特征的基础上,将其影响因素归纳为了市场营销、人力资源等5个一级指标,并分解为市场开拓、财务管理等30个二级指标.构建了协同分销子公司影响因素的模糊聚类分析(FCA)模型,并提出了检验该模型有效性的方法,从而大大提高了协同分销系统的管理和决策效率.最后,通过实际工程案例,验证了该模型和算法的有效性.     

CROWN:面向服务的网格中间件系统与信任管理

针对大量网格资源的分布、自治等特点，给出了基于SOA的服务网格体系结构，提出了基于层叠网的分布式网格资源组织与管理机制、访问控制策略的自动协商、信任管理和信任协商机制，并研制了中间件系统CROWN；通过部署CROWN中间件系统建立了广域试验环境并部署了中尺度天气系统降水预报、海量多媒体数据处理平台、血液流动温度场显示、科学数据网格以及数字巡天图检索等多个网格应用，应用经验表明，该中间件系统能够支撑以计算密集型、数据密集型和海量信息分析与处理为特征的典型应用．     

面向Agent的常识知识库

常识性知识处理是人工知识研究的核心难题,在分析了对常识的各种研究工作的基础上,论述了一个面向Ａｇｅｎｔ的大规模常识知识库,提出了一种新型的Ａｇｅｎｔ－ＣＢＳＡｇｅｎｔ,描述了面向常识的语义网络描述语言Ｃｓｎｅｔ,对Ｐｒｏｌｏｇ进行了面向常识的扩充,分析了常识知识库的本体论结构,最后给出了常识知识库的运行机制。     

基于应用语义的网构软件松弛事务模型研究

事务处理是保障服务协作可靠性的关键技术，由多个具备事务特性的服务通过交互和协作复合而成的服务称为事务性复合服务（transactional composite service，TCS）．为保证TCS执行的松弛原子性，现有的研究主要依靠对TCS语法结构的分析，但语法结构反映不出特定的应用语义信息，从而对服务事务能力要求过高，导致了很多不必要的失败恢复甚至放弃．给出了一个基于应用语义的网构软件松弛事务模型，包括系统模型、松弛原子性、松弛原子性可满足检查算法、执行保障算法．用户可以根据应用语义，为TCS赋予特定的松弛原子性约束ε，包括TCS合理结束配置，以及对各个合理结束配置的倾向性顺序．ε-松弛原子性可满足检查算法可以确保TCS执行满足指定的ε-松弛原子性．执行保障算法根据酌束监控TCS的执行，主动进行重试、补偿等操作，将松弛原子性的规约与保障抽象到系统层次进行，分离了关注点．     

直觉主义量词模态逻辑的一个强完全性定理

在Ｔｈｏｍａｓｏｎ讨论到的直觉主义一阶谓词演算的基础上引进Ｐｒｉｏｒ工作中揭示的模态直觉主义系统ＭＩＰＣ的模态机制，从而得到一个直觉主义词模 逻辑系统ＭＩＰＣ，并给予它一个语义解释，证明其关于该语义的强完全性定理。多次实质性地用到Ｚｏｒｎ引理，因而在方法论上较Ｔｈｏｍａｓｏｎ的结果更加远离直沉主义观点。     

面向协同应用的编程语言Cova

Cova是面向集成性协同应用而设计的一种新型语言. 它提供了一套完整的描述协同系统控制部分及计算部分的设施,并以此为基础通过其运行时系统提供协作过程不同阶段所需的协同计算服务,从而为不同模式协同应用系统的开发提供一个统一的平台. 详细讨论了Cova的语言特性及其运行时系统,并给出了有关结论及进一步工作.     

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

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

含分布发电配电系统的孤岛划分

提出了一基于背包问（tree knapsack problem,TKP）含分发电（distributed generation,DG）配电系统最优孤岛划分新模型;并利用深度优先动态规划算法（depth-first dynamic programming algorithm,简为DPA）进行求.该模型及了负荷优先级、可控性/不可控性,以及功率平衡、电压、设备载流量约,符合实际工程要求.所算法将含多DG的配电系统孤岛划分问分成多个TKP,然后利用DPA逐个对这些问进行求,并经过孤岛合并过程而找到最优孤岛划分方案;最后通过可行性校验和调节而到最孤岛划分方案.本文算法具有较强理论基础,算时间复杂度低,能够在有限时间内找到近似最优.算例算果验证了本文算法有效性.     

一种新型形式化程序切片方法

针对目前程序切片方法较单一，且其模块性和程序语言适应性较差，提出一种新型的形式化程序切片方法——基于模块单子语义的切片方法．通过设计切片单子转换器，切片这一类计算被抽象成独立于具体语言的切片单子转换器，它可模块化地加载到实际程序中，得到相应的模块单子切片算法，这种模块化的抽象机制使得单子切片算法具有较强的模块性和语言适应性，还给出切片单子转换器的若干性质，并证明模块单子切片算法的正确性和终止性，同时研究单子切片算法与基于图可达性切片算法间的联系。     

传感器系统误差与目标航迹的分布式估计

精确估计传感器的系统误差, 对提高整个跟踪系统的性能具有十分重要的意义. 已有的研究方法一般是把系统误差加到状态向量中形成扩维状态向量, 利用Kalman滤波进行估计. 由于这种方法计算量很大, 许多工作致力于研究状态向量和系统误差的解耦问题, 但均未实现系统误差的分布式估计和解决计算量问题, 且无法真正实现分布式航迹融合. 考虑了传感器测量有系统误差时的多传感器分布式航迹融合问题, 实现了状态向量和系统误差的解耦、系统误差的分布式估计与分布式航迹融合. 仿真结果表明此方法能给出精度较高的系统误差和状态向量估计.     

互联网时代语音识别基本问题

语音识别技术经过半个世纪的积累，于近年来达到大规模商用水平．本文概括了统计语音识别理论的发展状况，并单独介绍了深度神经网络在声学建模、语言建模、多语言共享、语义识别等方面的卓越性能．深度神经网络的性能优势引起了我们强烈的兴趣．通过回顾类人听觉信息处理对深度神经网络的改进作用，我们意识到，深度神经网络与类人听觉信息处理相结合，必将推进语音识别技术的进一步发展．反过来，深度神经网络技术在语音识别中的进步，也必将推动类人听觉信总、处理技术的进步．语音识别技术后续发展的重点是对深度神经网络的结构和训练算法的改进使之更好地实现类人听觉．最后，我们分析了采用深度神经网络模拟人类听觉的抗噪修复机理和听觉关注机理的可能性．     

LDPCA在分布式视频编码码率控制中的应用

系统的阐述了低密度奇偶校验累积码（Low-Density Parity—Check Accumulate Codes，LDPCA）在分布式视频编码（Distributed Video Coding，DVC）码率控制中的应用。通过分析DVC中的重要环节：码率控制，在对几种变速率码对比的基础上重点讨论了LDPCA的原理及设计方案，并对其性能进行了仿真。仿真结果表明，采用中等码长的不规则LDPCA码表现出接近Slepian—Wolf理想界限的优异性能。     

基于反射式软件中间件的运行时软件体系结构

提出一种基于软件体系结构(SA)的软件维护与演化方法. 通过运行时软件体系结构(RSA), 系统的运行状态与行为以SA的形式展现, 且操纵该SA视图能导致运行系统进行相应改变, 这种因果关联通过反射式软件中间件实现. 作为一个准确、实时、语义丰富、可操作的SA视图, RSA视构件与连接子为“白盒”实体, 以精确、完整地描述运行系统. 同时, 通过扩展传统的SA描述语言, 以形式化描述RSA, 并使之具备继承设计阶段SA所富含语义的天然能力. 本方法在反射式J2EE应用服务器PKUAS中得到实现, 并通过性能测试考察了RSA对运行系统整体性能的影响.     

模式的语义描述与识别

讨论了代数语义方法用于模式描述和识别的可行性，采用这种方法，模式结构被作为一种代数结构，其语义约束采用等式规范的形式给出，这样可以将识别问题变为一个等式断言采用等式项重写在规范中进行验证，并举例说明这种方法。