成员系统模型及其归约

本文提出了一种基于有限关联团块观点的成员系统模型，主要针对不确定性情况给出了其归约操作的形式化描述，讨论了它与产生式系统的关系，并根据该模型及其归约过程，成功地设计实现了一种并发成员系统程序计算语言，对研究支持多种ＡＩ问题求解的模型及其语言做了有益的尝试。     

基于归约的几何约束推理研究

参化设计在现代ＣＡＤ技术中占据着越来越重要的地位，几何约束系统的建模、管理与求解是该技术的关键。实践表明，该方法在约束一致性检查、快速求解等方面起了重要的作用。     

基于SAT工具的限界模型检测归约方法

限界模型检测主要对路径上的属性进行检测,基于此给出一种编码方法,将LTL公式在路径上展开,从而将限界模型检测转换为命题逻辑的可满足性问题,使用SAT求解工具来完成模型检测过程。阐述归约过程的正确性与完全性,通过一个具体例子证明了该方法的有效性。     

基于图形展开及图形归约的过程模型验证方法

工作流过程模型是业务过程的形式化定义，在业务过程的分析、运行和重组方面起着关键性的作用．为了实现预期的业务目标，需要正确地定义工作流过程模型，它的正确性直接影响业务目标的实现，WfMS开始调度执行之前必须对其进行分析．针对大规模复杂应用的特点和业务过程执行的实际需要，对复杂工作流过程模型的正确性验证进行了研究；基于有向有环图(DCG图)详细讨论工作流过程模型的局部错误以及过程逻辑错误；给出了过程建模中避免错误的相关约束规则；另外了提出了一种新型的图形归约和图形展开相结合的验证方法及过程模型验证算法．     

一种新的数据库系统的归约审计模型

当前的审计技术存在着诸如信息冗余等缺陷。文章设计了一种新的归约审计模型,其核心是基于关联特征分析的审计踪迹归约。该模型能够有效降低审计踪迹规模,提高数据库系统效率。     

一种快速组合算子归约模型FCRM

本文在分析了Turner归约模型中组合算子表达式的膨胀原因后,提出了一种快速组合算子归约模型FCRM。本文描述了FCRM的形式体系、转换规则T和归约规则R_c,并且证明和验证了FCRM组合算子表达式的长度一般为Turner表达式的3/4,而FCRM模型的归约路径仅为Turner模型的一半。     

多艾真体的鲁棒性归约模型

基于问题归约方法, 对理想分布式离散型多艾真体系统鲁棒性问题进行分解和变换, 消解为单艾真体的鲁棒性问题和各艾真体之间离散控制过程的鲁棒性问题, 从而降低研究对象难度级别和问题元数. 利用较简单鲁棒性问题的求解, 就可推导出整个多艾真体系统鲁棒性判据, 并总结为多艾真体鲁棒性归约模型和定理. 对于实际多艾真体系统, 提出多艾真体的鲁棒相关性模型, 用以表示离散型多艾真体中各个艾真体之间的鲁棒相关性. 然后分析多艾真体的鲁棒性归约模型与鲁棒相关性模型之间的转化关系. 最后, 通过仿真实验验证鲁棒性模型及其定     

三维几何约束求解的自由度归约算法

三维几何约束求解在装配设计、几何造型和动力学分析等领域有着广泛的应用．在分析基本几何元素间的约束关系对刚体自由度状态影响的基础上,提出刚体自由度的归约算法,以求得满足约束后刚体的自由度状态空间;以刚体自由度状态空间分析为基础,实现对合理约束的推理求解和约束一致性维护,该算法解决了三维几何约束求解中自由度计算问题,同时避免了一些推理求解算法中出现的“组合爆炸”问题．     

基于云模型的网格QoS参数归约与调度优化

针对网格资源调度中用户对QoS的定性描述,利用云模型实现资源调度中的QoS匹配。深入分析了QoS参数云的特征,提出了QoS云处理模型,通过该模型,将离散的多个QoS参数归约到一个定性的概念上;设计了实现参数归约的体系结构;给出了基于定性概念的资源调度算法。实验表明,所提出方法在资源调度率和吞吐量以及系统资源的利用效率等方面体现出良好的特性,实现了基于定性概念的调度,达到了优化调度的目的。     

基于归约的柔性工艺过程模型

该文提出了一种基于“与/或”归约的柔性工艺表达模型,为实现工艺过程动态设计与生产规划提供了一种新的技术方法。同时,详细描述了柔性工艺归约的有序搜索的算法,其中,宽度算法用来进行寻找可替代的工序、加工方法或设备,可拓宽工艺的柔性;深度算法用来进行工艺的可加工性设计和设备的负荷总体平衡,可预防决策短见。     

基于偏序归约的状态空间约简算法

目前,针对安全协议分析的偏序归约算法较为复杂且不易实现,限制了其适用范围,未考虑约简诚实主体会话中的逆序结点。针对该问题,采用偏序归约的思想,提出一种诚实主体会话中逆序结点的约简算法以及一种迹等价迁移冗余后继结点的约简算法。两种算法思想简单,易于实现。实例表明,这两种算法有效地约简了安全协议的状态空间。     

一种基于图归约的XPath高性能流数据查询方法

作为网络数据交换和数据共享的标准,XML数据越来越多地用于表示应用系统的流数据。然而,受制于流数据处理有限空间开销等特征,如何高效地实现这种查询成为值得探讨的问题。与传统的基于自动机或层次栈方法不同,文中提出了一种基于图归约的XML查询自动机(GRAT),采用一种图结构来表示针对不同XML流元素的子查询任务之间的关系,通过图的归约变化来实现XPath查询。实验结果表明,基于GRAT的查询算法能够高效地完成复杂的XML查询,流数据处理的吞吐量达到了较高水平。     

基于用户兴趣度的数据归约效果评估方法

面对特定数据归约方案,不同的用户对归约效果具有不同的评价,针对目前数据归约效果评估方法缺乏针对性、忽视用户个性化需求的问题,基于现有的指标体系,提出基于用户兴趣度的数据归约效果评估方法。通过定义用户兴趣度的权重子空间,根据用户对数据集归约方案评价的历史数据计算用户对指标的偏好,利用蒙特卡洛仿真近似计算出用户对数据归约效果的可接受程度作为评估归约效果的参数,实现面向不同用户的数据归约效果评估方法,为面向不同关注点的系统用户推荐不同数据归约方案提供定量依据。     

基于MPI的高精度归约函数设计与实现

随着科学工程计算大规模、高维数和长时程的特性越来越显著,浮点舍入误差的累积效应往往使得计算结果不可信,提高计算精度成为了并行计算领域研究的热点之一.基于M PIC H3框架,采用无误差变换技术构建新的数据格式和相应运算操作符,设计了高精度归约函数M PI_ACCU_REDUCE,实现了高精度的求和、求积和求L2范数3种...     

泛函程序设计语言实现中的图归约演算

本文叙述了在Ｖｏｎ Ｎｅｕｍａｎｎ机器上实现基于λ演算，ＳＫＩ演算的泛函程序设计语言所采用的图归约演算。ＳＫＩ－Ｇ演算是ＳＫＩ演算的图形表示，是基于图形的形式归约系统，面向机器实现，是实现高阶，引用透明，归约语义，全惰性泛函程序设计语言的主要技术基础。     

数据归约效果评估方法研究

数据归约效果的评估结果反映了归约后数据集的质量,同时也是相关算法及归约流程的选择、优化的依据。针对目前数据归约效果评估指标体系不完善、指标适用性弱以及效果评估方法缺乏针对性等问题,研究提出能够综合反映数据集归约前后的平均信息量减少程度、统计特征差异程度与数据量减小程度等三个方面的评估指标及其计算方法,上述指标可为数据归约方案的效果评估提供定量依据。     

基于DDHP的紧安全性归约多重数字签名方案

基于决策Diffie-Hellman问题(DDHP),构造了一个可证明安全性的高效多重数字签名方案,在随机预言模型下其安全性可紧归约到DDHP的难解性。在“证明拥有私钥”密钥注册假设下,证明了方案对适应性选择消息和签名群组攻击是不可伪造的。所生成的多重签名的长度以及验证签名的计算开销均不随实际签名人数的增加而增长。与Z C WANG提出的基于CDHP的紧安全性归约的多重数字签名方案相比,具有多重签名生成算法使用的通信轮数少、计算量小等优点,可应用于多种电子事务处理环境中。     

基于自由度归约分析的装配求解新方法

装配设计中利用装配约束信息求解有关实体的位置和方向称为装配求解。传统装配求解方法多数利用求解联立方程组的数值解法、效率不高、稳定性差。针对这些不足，我们提出了一种基于几何自由度归约分析的装配求解方法。本文介绍了自由度分析和归约的方法以及基于此方法的装配求解的一般过程。     

硬件归约的延迟模型和调度策略

通过硬件对归约进行支持是高性能互连网络发展的一种趋势.建立了无冲突和冲突条件下的归约延迟模型,分析了串行轮询、剩余报文集中和先到先服务3种调度策略对归约延迟的影响,表明了剩余报文集中策略能够取得多个归约操作在路由器上平均延迟的最小值.为了准确评测各种调度策略的性能,基于OMNeT++开发了微片级互连网络模拟器.模拟结果表明,先到先服务策略能够取得最优的性能,而在低维度互连网络中,串行轮询策略能取得良好的性价比.