基于扩展的嵌套关系代数的关联规则挖掘查询

提出了一种使数据挖掘与数据库系统无缝集成的方案.该方案基于关联规则挖掘和关系数据库系统的通用查询算法,采用一种扩充的嵌套关系代数作为关联规则和其它数据查询的一种内部表达方式.通过一个典型实例展示了这种代数表达式.代数表达式也被表达为一种查询树,查询树中代数运算的公共操作序列模块化后,具有更多的灵活性,能方便地处理约束关联规则查询和其它各种关联规则描述.     

基于图形转换的构件组装研究与应用

Padberg J,Ehrig H等使用代数规格语义的Petri,基于图形转换理论提出一种通用构件组装框架,该框架可以适用于不同领域的动态和静态的构件组装.但由于其限制连接件的输入接口是互不相交的,即割裂了与传统Petri网的同步合成和共享合成的联系,也限制了其实际应用的灵活性.给出一种较弱的唯一性条件,及基于该条件的结构唯一性和内容兼容性的证明,并讨论在此框架体系中融合传统Petri网综合方法.最后将该框架体系实际应用于联锁逻辑的描述.     

面向复杂网络的威胁度量及聚合方法

在复杂网络中,威胁模型结构庞大、行为复杂,不利于建模后的威胁分析。该文从实现的角度出发,针对一类利用C程序实现的威胁对象及威胁,在已有的威胁建模理论的基础上,基于代数系统理论提出威胁对象及威胁的代数化刻画框架。基于该框架,采用代数簇理论建立威胁行为相似度度量函数,通过矩阵理论及非线性约束求解理论进行函数求解,从而实现相似行为的代数化判定。最后,针对判定后的相似行为,基于并发系统等价关系构建威胁行为聚合规则,实现威胁模型优化,减少威胁分析复杂度优化。     

基于条件事件代数的机器人足球比赛态势评估

介绍了条件事件代数和乘积条件事件代数的基本原理和性质,运用贝叶斯网络的知识框架来表达事件之间的相互关系,运用条件事件代数理论进行逻辑推理,从而解决概率和逻辑的不相容问题.在此基础上提出基于条件事件代数的机器人足球比赛态势评估方法,并通过实验证明该态势评估方法具有较好智能性和有效性.     

基于矩阵半张量积的模糊逻辑研究进展

模糊逻辑是一种在不确定性条件下建模和控制复杂过程的革命性方法,在系统建模与控制领域得到了广泛的应用。基于矩阵半张量积理论可以将模糊逻辑表达式转化为代数表达式,借鉴代数系统的经典控制理论与方法来进一步研究模糊逻辑。首先介绍了以矩阵半张量积理论为框架的模糊逻辑的理论研究进展,如模糊关系矩阵、模糊关系方程、模糊关系不等式与分层模糊控制等,其次介绍了基于矩阵半张量积框架下的模糊控制理论的应用,最后给出了基于矩阵半张量积理论的模糊逻辑研究前景。     

基于随机进程代数的软件体系结构建模与性能评价

软件体系结构是应用系统的逻辑框架,在设计阶段分析软件体系结构的各种性能指标,可以改进软件系统设计·提出一种基于随机进程代数(stochasticprocessalgebra简称SPA)的软件体系结构建模方法,该方法把软件体系结构建模与性能评价相结合,从而可以在系统设计阶段分析软件体系结构的性能·实践验证该方法更简单、有效     

基于二进制的粗糙集基本运算研究

通过讨论二进制与粗糙集之间的内在联系,提出基于二进制的粗糙集运算理论,并借助二进制的位运算操作,给出粗糙集的上近似集和下近似集、等价类的交、集合的基数的运算算法.该算法比传统的粗糙集运算算法的运算速度更快,效率更高.该算法为扩展粗糙集的应用提供了理论基础.     

基于集合和剪枝原理的关联规则隐藏算法

针对传统关联规则隐藏算法直接遍历数据集,而导致输入输出流资源浪费的问题,提出一种基于集合和剪枝原理的关联规则隐藏算法。该算法首先建立频繁模式树(FP-tree),利用后剪枝原理去除属性相同规则,减少了遍历原始数据集所耗I/O时间;然后通过建立集合来保存真实频繁序列,并以集合为单位隐藏关联规则,既保证数据集质量,又提高频繁序列挖掘效率。实验结果表明,该算法与GSP、SPADE算法相比较,不仅更好地保证了数据集的高质量,而且降低了20%～50%频繁序列挖掘时间,并在隐藏敏感规则上有较好的实用性。     

基于时间序列关联规则的网格任务切分模型

为了解决网格任务调度中任务切分问题,提出了一种基于时间序列的关联规则模型,以在符合Qos标准的情况下,实现网格任务的全局性合理调度,从而达到实现最小化任务执行时间的目的.模型先按"最小基本粒度"对任务进行逻辑划分,然后通过分析各"逻辑单元"所涉及的基本功能和相互间的耦合度来对"逻辑单元"实施分组,最终以"逻辑元组"为物理切分单位对任务予以切分.模型通过优化任务切分,最终实现全局性任务调度合理性与资源分配有效性的目的.还可通过基于时间序列的关联规则模型的长期学习,不断提高资源分配命中率.并通过仿真实验验证了该模型的实用性和优越性.     

线性时序逻辑转换Büchi自动机的按需即时算法

将线性时序逻辑公式转换成Büchi自动机是显式模型检测中的关键环节,Tableau规则是常用转换算法。该文提出了基于Tableau规则的改进算法,将线性时序逻辑公式转换成基于迁移的Büchi自动机。通过在状态和迁移中加入∪公式的满足信息,实现了用一个接受条件集合判断执行序列是否可接受,避免了使用多个接受条件集合进行判断。改进算法引入了按需即时(on-the-fly)去扩展化机制,算法展开状态节点的同时进行状态有效性检测,删除无效节点,合并等价状态和迁移,避免了后置化简。与其他转换工具进行比较实验表明,该算法具有执行速度快、生成自动机的状态数和迁移数少的特征。     

基于拟序二元关系的粗糙集模型

目的建立一种基于拟序关系的推广的粗糙集模型。方法按照张文修等人在《粗糙集理论与方法》(科学出版社,2001.)中利用一般二元关系R推广Pawlak粗糙集模型的方法进行研究。结果讨论和建立在拟序关系R下的粗糙集模型,并研究了这种粗糙集模型的代数性质。结论给出了这种粗糙集模型成为Pawlak粗糙型模型的充要条件。     

最优风险资产组合中的数学模型及其推导

现代证券投资理论与方法中,最优风险资产组合是最重要的核心概念之一,而现有文献对这一理论及其相关结论缺乏严谨的数学表达。针对这一问题,将研究证券组合选择中最优风险资产组合概念形成过程中的数学机理进行严格的逻辑推演与数学建模分析。首先利用数学分析的方法构建对应关系,即将证券组合的风险、收益与平面坐标系的数对建立一一对应关系,并利用代学方法在这些数对中定义一个序关系。再从解析几何的角度,利用二维平面中二次曲线的相关性质,通过分析二次曲线簇的交点坐标,构建符合资产组合理论相关条件的数学方程组,然后进行数学推导与求解。最后通过分析二元证券组合的投资机会集的数学模型,确定了二元证券组合中的最优风险资产组合的数学表达式,并以此方法推广到了多元证券组合的情形。     

一种新的票据自动识别系统

设计了一种基于主曲线和粗糙集方法相结合的新颖的票据自动识别系统．首先提出一种高效的数字框定位技术、边框处理方法，并用于从票据中提取待识别数字串；然后建立有效的数字串分割算法来分割数字串；最后利用主曲线和知识约简算法进行数字特征提取和分类器设计．实验结果表明，该方法在实践中是可行的，为各种票据自动识别提供了一条新途径．     

QBL-代数及其与BL-代数的等价性

根据命题逻辑系统BL与基础逻辑代数BL在语义方面相匹配的特征, 将基础逻辑系统BL中的部分公理代数化, 建立一种新的代数结构QBL-代数, 并证明了QBL-代数与BL-代数的等价性, 以两种二元运算,→为基础在一般集合上给出了基础逻辑代数BL的表示定理.     

汉语中新词识别方法研究

随着互联网和社会的飞速发展,新词不断涌现。识别和整理这些新词语,是中文信息处理中的一个重要研究课题。提出一种新词识别方法,该方法利用基于PAT-Array的重复字符串抽取候选串,提高了新词的召回率。并在此基础上分析新词内部模式,添加了垃圾串过滤机制。单字串过滤主要是运用垃圾词典的方法,多字词模式新词的确定是利用改进的互信息与独立成词概率结合的方法。由此,大幅度提高了新词识别的准确率。     

代数L-domain的表示定理及其相关范畴性质

引人局部条件并半格(简记为L-cusl)及其理想完备化等概念．证明了：任一代数L-domain的紧元集是L-cusl，任一代数L-domain是其紧元集赋予A1exandrov拓扑时的Sober化；任一L-cusl的理想完备化是代数L-domain，从而得到了代数L-domain的表示定理．还证明了Scott连续映射为态射的代数L-domain范畴为L-cusl与单调映射作成的范畴的反射于范畴．     

广义特征集与多变量微分维数多项式

引进一种新的微分多项式约化方法 ,进而推广了 Ritt- Kolchin的特征集方法。利用这些新的技术 ,给出了计算微分扩张的多元维数多项式的计算方法 ;利用维数多项式 ,获得了几个新的关于微分域有限扩张的双有理不变量 ,这些不变量将在代数几何与微分代数理论中发挥重要作用。     

底部钻具组合二维分析新方法

提出一种用于分析底部钻具组合稳定器处的轴向力的新方法 ,即认为轴向力方向应与钻柱切线方向一致 ,其大小不应忽略井壁支反力的影响。在此基础上 ,采用加权余量法推导出一套用于计算底部钻具组合二维受力和变形的新的公式。实例计算结果表明 ,由于该公式考虑影响因素更全面 ,因而其计算结果更具合理性 ,与钻柱实际受力情况更加相符 ,且计算过程更为简便、快捷。     

无壳弹枪射击时动力匹配关系研究

为简化外界对新型无壳弹枪发射系统施加的约束，充分反映武器本身的动态性能，发射时，采用一根细绳将枪体吊起，从而建立起简化的新型无壳弹枪射击系统的物理模型，利用第二类拉格朗日方程建立了系统的数学模型，通过数值模拟，对该枪的动力匹配关系进行讨论，从而描绘出新型无壳弹枪的发射动力学特性，为进一步对该枪进行设计与评估提供理论依据。     

基于遗传算法的粉煤灰高性能混凝土配合比优化设计

采用遗传算法对粉煤灰高性能混凝土进行配合比优化设计,以经济成本为目标函数、以满足粉煤灰高性能混凝土各项性能指标为约束条件建立适应遗传算法的数学模型,用二进制编码表示个体的染色体位串,通过选择、交叉、变异等遗传算子作用进行全局性概率搜索,以优胜劣汰为原则,最终达到最优的群体和个体.将优化结果和工程实例的配合比进行对比,可见该方法可降低造价、节约能源,具有较好的工程使用价值.