利用基数约束规则编程消解ECA策略冲突*

为实现ECA策略冲突的自动、灵活消解,提出一种利用基数约束规则编程的新方法。基数约束规则编程是一种基于稳态模型语义的非单调逻辑编程技术,具有解决组合及其优化问题的良好性质。先后完成了ECA策略的逻辑编程表示、用于检测和防止冲突的行动约束定义、具有组合特征的冲突性质分析和用于冲突消解的基数约束规则程序建立。该方法不仅具有逻辑严谨、自动化程度高和结构层次分明等优点,更重要的是,还扩展了被消解冲突的域。     

立即辐射度综述*

立即辐射度作为一种实时全局光照方法,近年来在真实感实时绘制应用研究中得到了广泛的关注,尤其是与当前图形处理硬件GPU的配合,已使其成为适合于在PC上实现复杂场景实时绘制的一种重要方法。对立即辐射度算法进行了综述,以立即辐射度发展历程为主线,分析算法的基本思想,深入剖析了立即辐射度当前的扩展及优化;展现了立即辐射度方法的一个清晰蓝图,指出了该方法在实时全局光照领域中进一步的研究热点和发展方向。     

ER模型的逻辑表示途径

利用Answerset编程表示ER模型,从而为ER模型提供了一种新颖的逻辑表示途径。首先,完成ER模式的语法与语义定义;其次,利用Answerset编程实现ER模式的逻辑编程表示,并且这里的编程可自动实现;最后,完成以上表示的合理性证明。工作不仅克服了ER模型作为图形化工具的缺陷,使得它具有了自动推理能力,而且也为利用ER模型实现异构数据库之间的语义协作奠定了理论基础。     

基于Fuzzy Rough集模型的汉语人称代词消解

指代消解是自然语言处理中重要的研究课题之一。结合基于实例的学习方法,提出了一种基于Fuzzy Rough集模型的中文人称代词消解方法。该方法的第一步过滤掉与人称代词性别和单复数特征不一致的名词短语,构成候选集,然后按照仅涉及浅层语义和语法知识的属性集对其中的每个名词短语进行标记。第二步利用Fuzzy Rough集模型中相关概念选择代表性较强的实例,并对其进行属性值约简,以提高这些实例的泛化能力。以上两步即为学习阶段。第三步即可根据这些实例判断新输入的名词短语是否为代词的先行语。该方法用人民日报语料进行了测试,测试结果表明该方法是有效的。     

一种基于Rough集理论的两阶段禁忌搜索算法

针对以旅行商问题(TSP)为代表的组合优化问题提出一种基于Rough集理论的两阶段禁忌搜索算法.该算法没有采用多数自适应禁忌搜索算法所用的动态调整禁忌搜索参数的方式平衡集中性搜索和多样性搜索,而是采用两阶段搜索策略.第一阶段着眼于多样性搜索.通过激励搜索过程远离起点,对解空间进行相当程度的探索,在此基础上构造希望区域决策表,继而获得希望区域.第二阶段着眼于集中性搜索.以包含希望区域的最佳解作为起点进行集中性搜索.在选择当前解时,利用多样性搜索得到的路径信息进行有条件的限制.TSP基准问题的计算结果表明该算法是可行有效的.     

三种差别矩阵的比较

差别矩阵是Rough集理论中重要概念之一,使用差别矩阵可以计算决策表的核和约简。当前有多种定义差别矩阵的方法,导致差另q矩阵有多种定义的原因是决策表的不一致性。本文分析一致决策表和不一致决策表关系,给出将不一致决策表转换为一致决策表的方法,并给出差别矩阵的等价性定义。在此基础上,讨论并证明三种差别矩阵的关系,结果表明利用这种转换方法和等价性定义可以将三种差别矩阵统一起来,从而保证在实际应用中可以用统一方法隶构造差别矩阵。     

分布式系统中的一类任务分配算法

本文提出了分布式系统中各独立结点根据自身状态和系统反馈进行自适应，以使系统达到最优状态的一种机制。它突破了以往相关工作的一些重要限制，性能得到了很大的改善。     

基于数据库系统的Rough集模型的扩展

针对基于数据库系统的Rough集模型中的知识约简算法对一致决策表适用，而对不一致决策表不适用的局限性，给出了将不一致决策表转换为一致决策表的算法，证明该算法能保持核和约简集合不变，并分析了该算法的时间复杂度，在此基础上，利用数据库系统的集合操作和SQL语言描述转换算法，将基于数据库系统的Rough集模型中的知识约筒算法扩展到不一致决策表．理论分析和实验结果表明，扩展后的算法仍是高效的．     

存储管理系统CLI的研究

管理一个大型的SAN需要一个健壮的管理配置系统,强有力的监控能力对于集中管理的资源相当必要.存储资源管理是一类应用程序,它们管理和监控物理与逻辑层次上的存储资源.CLI命令行接口是控制器端查询命令和配置命令的接口,是一个用户态可执行文件,采用命令树结构体算法,拥有操作方便、效率高、速度快、安全性高等性能.本文给出了存储管理系统CLI的设计与实现.     

一种基于事件的Web服务组合方法

为获得一种既易于实现又能满足用户多样化需求的服务组合的有效途径,提出一种基于事件的服务组合方法.首先定义了一种基于ECA(event-condition-action)规则的语言——简单服务事件语言.在这种语言基础上,通过模块化方法构造的用于描述组合服务的组合方案,不但解决了采用AI规划(artificial intelligent planning)时服务组合域表示困难的问题,而且解决了采用UML(unified modeling language)等技术时描述能力不足的问题.随后,为有效地表示组合方案,完成了它的语义定义以及answer set程序编码工作.最后利用answer set编程(answer set programming)技术实现了对组合轨迹的表示.