异类多维复合元间的传导规则及其在可拓创新设计中的应用

在可拓创新设计研究中,很多创新设计要素都可以用多维复合元进行形式化表达,且很多都属于异类多维复合元(Heterogeneous Multi-dimensional Compound-elements,HMdCes),它们之间存在着各种复杂的关系,目前还缺乏对这些HMdCes间的传导规则的研究。本文基于基元变换的传导规则,建立了内部不含基元运算的HMdCes间的传导规则和内部含多个基元或基元运算的HMdCes间的传导规则,可以为可拓创新设计创意的生成提供更多推理依据。以ZDY系列一级减速器的功能与结构设计为例,利用文中所建立的HMdCes间的传导规则,验证了规则的普适性和有效性。

A New Method for Extraction of Fuzzy Rules from Small Samples

Fuzzy netal network (FNN) is a new tool for extraction of fuzzy control rules from experimental data, butno such rule can be extracted directly from small samples. This paper presents a new approach to fuzzy rules andmembership function for small samples i. e. clustering by the Hebb differential competition rule and extending eachitem of sample information to the control point in its factor space while BP algorithm is applied to the study of factornetwork weights in it. This approach has ben successfully applied to the simulation of rainfall prediction.

基于XML的电力营销数据智能抽取方法研究

电力信息化的发展使得电力营销系统中的数据量不断增加,导致在数据抽取过程中的数据转换能力较差,从而造成抽取结果召回率偏高的情况。针对这一情况,利用可扩展标记语言(XML)的转换能力,设计了新的电力营销数据智能抽取方法。将电力营销数据规范为小范围数据链形式,并应用超文本敏感标题搜索(HITS)算法获取数据源。设定XML数据转换工具,利用XML定位描述符实现数据区域定位。在设定数据抽取规则与抽取内容的基础上,结合数据映射技术实现对电力营销数据的抽取。在性能测试过程中,将测试环境设定为平稳运行与数据入侵2种。通过对比结果可知,基于XML的抽取方法的召回率保持在7%以下,抽取耗时保持在800 ms以下,其值优于传统方法,充分证明了该方法的有效性。

基于可拓关联规则的高职数学教学质量评价系统设计

教学质量评价可为高校良好发展提供基础保障,为了充分发挥其在高职数学教学中的作用,设计了基于可拓关联规则的高职数学教学质量评价系统。首先,在网络主机中增添了重置初始服务器结构与浏览器/服务器(Browser/Server,B/S)结构服务器。其次,根据教学管理信息化模型与指标权重,建立教学质量评价指标体系。最后,通过信息元与评价特征量值之间的关系,增加基于可拓关联规则的挖掘算法,获得最终评价结果。结果表明,设计系统测试结果与模拟软件评分结果相差0.001~0.005,可以有效提高高职数学教学的质量。

电火花加工单脉冲放电通道直径扩展规律研究

电火花加工的加工表面是由一系列的脉冲放电凹坑叠加而成的,因此研究单脉冲放电通道直径的扩展规律,对研究电火花加工的工艺规律以及加工表面质量预测等具有非常重要的意义。研究脉冲放电通道的形成与扩展机理,讨论电压、极值电流、脉宽等放电参数对放电通道直径扩展的影响,并根据理论推导建立了单脉冲放电通道直径扩展的数学模型。以煤油作为电介质工作液开展了单脉冲放电试验,使用超景深显微镜对单脉冲放电凹坑的直径进行了测量,并把测量得到的单脉冲放电直径数据代入建立的数学模型进行回归求解。回归公式的计算值与试验测量得到的单脉冲直径数据吻合度较高。

基于扩展规则的模型计数与智能规划方法

提出命题扩展规则方法ER的一种高效实现.在此基础上,研究了扩展规则方法在3个领域的应用:提出一次性求解一系列相近SAT问题的快速算法nER;提出基于扩展规则的模型计数算法#ER,同时结合#ER和#DPLL的优点提出算法#CDE;设计基于扩展规则方法的Conformant规划系统.实验结果表明:使用nER算法一次性求解的时间远小于使用ER方法单独求解每个问题的总时间;对于互补因子较高的问题,#ER优于#DPLL;#CDE融合了#ER和#DPLL的优点.研究表明扩展规则方法对于互补因子较高的问题具有较大的优势,具有广阔的应用前景.

基于超扩展规则的知识编译方法

超扩展规则是对扩展规则的扩充,基于超扩展规则能够求得任意两个非互补且不相互蕴含的子句所能扩展出极大项集的交集与差集,并将所得结果以EPCCL理论的形式保存.该文首次提出了扩展反驳方法,是一种新型推理方法,并在该推理方法与知识编译之间建立了联系.基于超扩展规则的性质,该文还提出了两种知识编译算法:求并知识编译算法UKCHER和求差知识编译算法DKCHER,是两种新的知识编译算法.算法UKCHER是目前为止唯一一个可并行的EPCCL理论编译算法,算法DKCHER对于相变点附近的难解问题具有较高的编译效率和编译质量.实验结果表明:UKCHER算法的编译效率和编译质量均优于Lin等人提出的KCER算法;当子句数和变量数的比值较大时,DKCHER算法的编译效率和编译质量是最优的,相比于现有EPCCL理论编译算法,该算法具有较强的竞争力.

一种新的基于扩展规则的定理证明算法

基于扩展规则的定理证明方法是一种与归结方法互补的新的定理证明方法.首先通过对扩展规则的深入研究,给出了扩展规则的一个重要性质,设计并实现了该性质的判定算法.此外,从理论上分析及证明了该判定算法的时间和空间复杂性.基于此,提出了一种新的基于扩展规则的定理证明算法NER,将判定子句集可满足性问题转化为一系列文字集合的包含问题,而非计数问题.实验结果表明,算法NER的执行效率较原有扩展规则算法IER和基于归结的有向归结算法DR有明显提高,有些问题可以提高两个数量级.

基于超扩展规则的动态在线推理算法

为了提高扩展规则的扩展性能,提出了超扩展规则,并证明了其与扩展负超归结之间的关联关系。KCER算法中使用扩展规则扩展子句,利用超扩展规则替换扩展规则能够更清晰地展示扩展过程,因此提出了基于超扩展规则的动态在线推理算法IKCCER。IKCCER采用离线编译和在线推理过程交互执行的方式,在保持推理效率不变的同时,其空间复杂性为KCCER算法空间复杂性的2/(n+1),其中n为输入子句集的子句数。

基于可拓数据挖掘的用户需求获取研究

为了准确、有效地获取潜在的用户需求信息,文章提出了一种基于可拓数据挖掘的关联规则挖掘方法,通过将用户需求按不同需求分类,构成具有不同功能属性的用户需求集;利用粒子群算法挖掘出用户需求集中的关联规则,结合可拓变换原理,推理出新的关联规则知识,通过实例验证了方法的有效性和可行性。

一种基于特征扩展的中文短文本分类方法

针对短文本所描述信号弱的特点,提出一种基于特征扩展的中文短文本分类方法。该方法首先利用FP-Growth算法挖掘训练集特征项与测试集特征项之间的共现关系,然后用得到的关联规则对短文本测试文档中的概念词语进行特征扩展。同时,引入语义信息并且改进了知网中DEF词条的描述能力公式,在此基础上对中文短文本进行分类。实验证明,这种方法具有高的分类性能,其微平均和宏平均值都高于常规的文本分类方法。

基于IMOM和IBOHM启发式策略的扩展规则算法

基于扩展规则的方法是一种定理证明方法.在IER(improved extension rule)扩展规则算法的基础上,提出了IMOM(improved maximum occurrences on clauses of maximumsize)和IBOHM(improved BOHM)启发式策略,并将两种启发式策略用于IER算法中,有指导性地选择限定搜索空间的子句,设计并实现了算法IMOMH_IER和IBOHMH_IER.实验结果表明,由于这两种启发式策略能够选择较为合适的搜索空间,可以尽快地判定出原问题是否可满足,故其速度平均能够达到原有算法DR(directional resolution)和IER的10～200倍.

一种基于扩展规则的#SAT求解系统

#SAT问题是SAT问题的扩展,需要计算出给定命题公式集合的模型个数.通过将问题求解沿着归结的反方向进行,并利用容斥原理解决由此带来的空间复杂性问题,提出了一种基于扩展规则的模型计数和加权模型计数问题求解框架,可以看作是目前所有模型计数问题求解方法的一种补方法.证明了该方法的完备性和有效性,设计了基于扩展规则的#SAT求解系统:JLU-ERWMC.实验结果表明,JLU-ERWMC在有些问题中优于目前最为高效的#SAT问题求解系统.

基于XML的软件安全静态检测方法研究

安全关键软件设计使用的C/C++语言含有大量未定义行为,使用不当可能产生重大安全隐患。软件静态检测是从软件代码和结构中找出安全缺陷的重要手段。从安全规则的角度,提出了基于XML(eXtensibleMarkupLanguage)中间模型的静态检测方法。该方法将C/C++源代码解释为XML中间模型,将安全规则转化为缺陷模式,利用Xquery查询表达式对软件安全缺陷进行定位。基于该方法的原型系统检验结果表明:该方法能够有效地检测出违反安全规则的软件缺陷,并具有安全规则可定制的特点。

基于MCN和MO启发式策略的扩展规则知识编译方法

在基于扩展规则的知识编译算法的基础上提出了2种启发式策略:MCN策略和MO策略.MCN策略和MO策略利用子句集的信息分别选择相应子句和变量,减少扩展规则的使用次数,进而降低知识编译后目标子句集的规模.在此基础上,设计并实现了MCN_KCER,MO_KCER和MCN_MO_KCER算法.实验结果表明:2种启发式策略都可以大幅度减小编译后的子句集规模,同时使用它们的效果更为明显,经过编译后得到的子句集规模是原算法的1/3～1/39,从而大幅度提高之后的在线推理阶段的效率.

从“国家意志”到“行政法治”——在法律与政策关系上的泛法律观

不能正确说明法律与政策的关系,法律与政策混同,这种现象在法学领域是"泛法律化",在政治学领域是"泛政策化",两者具有相同的问题属性。产生泛法律化的原因,一方面是因为错误的政策观念,对我国执政党政策和国家法律之间的现实关系不能给予正确的解释,并且习惯于把政策策略化;一方面是不能从功能价值、工具属性和主体分析上将法律与政策区别开来,导致法律的矮化。法律规范在一定意义上构成政策空间的制度约束,政策空间即政策主体进行政策选择的自由度,在严格的法理逻辑上,行政机关为履行其行政职能而制定的规范性文件应该属于政策的范畴。"行政法治"是指合法的行政,而不能解释成用行政法去行政。

基于可拓重用的液压挖掘机结构性能方案设计

针对基于实例推理(CBR)重用技术的形式化表示及推理方法的局限性,基于可拓设计的物元理论,采用基于CBR的可拓重用方法建立产品设计实例库,采用可拓区间距的检索算法及定性和定量相结合的推理方法,获取相似设计方案实例.研究了基于可拓集合方法的数据挖掘技术,采用一种改进的FP-growth关联规则算法,应用可拓变换方法对产品方案设计进行知识规则挖掘,支持产品方案设计过程的适应性修改.建立方案设计区间多属性灰数关联评价模型,优选最佳方案设计.以液压挖掘机结构方案设计为例,利用VC++和SQL开发液压挖掘机结构方案设计及评价系统,结果验证可拓重用方法的有效性和可操作性.

结合互补度的基于扩展规则#SAT问题求解方法

#SAT问题又称模型计数(model counting)问题是人工智能领域的研究热点之一,在人工智能领域被广泛应用.在对基于扩展规则的#SAT问题求解方法 CER(counting models using extension rules)深入研究的基础上,提出一种结合互补度的#SAT问题求解方法.在计算给定子句集的模型个数时,利用SE-Tree(set enumeration tree)形式化地表达计算过程,逐步生成需要计算的子句集合,并在SE-Tree中添加终止结点,避免大部分含互补文字子句集合的生成,且不会因剪枝而导致求解不完备.提出互补度的概念,在扩展SE-Tree结点时按照互补度由大到小的顺序扩展,较早地生成含互补文字且长度较小的子句集合,有效减少枚举树生成的结点个数,进而减少对子句集合判断是否含互补文字的计算次数.实验结果表明:与CER方法相比该方法效率较好,且进一步改进了CER方法在互补因子较低时求解效率低下的不足.

基于半扩展规则的定理证明方法

自动定理证明一直是人工智能领域中最重要的问题之一,基于归结的方法是通过推出空子句的方法来判定子句集的可满足性.基于扩展规则的定理证明方法在一定意义上是和归结原理对偶的方法,是通过子句集能否推导出所有极大项组成的子句集来判定可满足性.通过对扩展规则的研究给出了半扩展规则的概念,并提出了基于半扩展规则的定理证明算法SER.然后分析及证明了该算法的正确性、完备性和复杂性.实验结果表明,算法SER的执行效率较基于归结的有向归结算法DR和基于扩展规则算法IER,NER有明显的提高.

基于多层次优化技术的XACML策略评估引擎

给出一种采用多层次优化技术的XACML(extensible access control markup language)策略评估引擎实现方案MLOBEE(multi-level optimization based evaluation engine).策略判定评估前,对原始策略库实施规则精化,缩减策略规模并调整规则顺序;判定评估过程中,在引擎内部采用多种缓存机制,分别建立判定结果缓存、属性缓存和策略缓存,有效降低判定引擎和其他功能部件的通信损耗.通过两阶段索引实现的策略缓存,可显著降低匹配运算量并提高策略匹配准确率.仿真实验验证了MLOBEE所采用的多层次优化技术的有效性,其整体评估性能明显优于大多数同类系统.