n值乘积命题逻辑系统的真度研究

对n值Goguen命题逻辑系统进行公理化扩张记为Goguen～,△.在该系统中添加了新的连接词～,△,给出了Goguen n值命题逻辑系统中命题公式的真度、相似度和伪距离的定义,证明了该真度的MP规则、HS规则及相关性质.     

深过冷Fe82B17Si1非规则共晶中Fe2B相的形态演化

在63～342 K过冷度范围内,对Fe82B17Si1合金非规则共晶中Fe2B相的生长形态演化进行了研究.发现:(1)在具有一次再辉的63～164 K及255～342 K过冷度范围内,随过冷度增加Fe2B相由变异的小平面结构逐渐转变为树枝状,进而向具有明显定向特征的树枝状和超细的球状转变,该合金Fe2B相由小平面转变为树枝状的过冷度过渡范围约为63～164 K;(2)在具有两次再辉的174～247 K过冷度范围内,随初生α相含量的增加枝晶间非规则共晶逐渐向离异共晶转变;(3)在63～154K和312～342 K过冷度范围内,该合金非规则共晶中的Fe2B相存在两次粒化现象,这两次粒化对应于不同的非规则共晶形成机制.     

深过冷Fe82B17Sil非规则共晶中Fe2B相的形态演化

在63～342 K过冷度范围内,对Fe₈₂B₁₇Si_l合金非规则共晶中Fe2B相的生长 形态演化进行了研究．发现：(1)在具有一次再辉的63～164 K及255～342 K过冷\r 度范围内,随过冷度增加Fe2B相由变异的小平面结构逐渐转变为树枝状,进而向具 有明显定向特征的树枝状和超细的球状转变,该合金Fe'B相由小平面转变为树枝状 的过冷度过渡范围约为63～164 K;(2)在具有两次再辉的174～247 K过冷度范围 内,随初生a相含量的增加枝晶间非规则共晶逐渐向离异共晶转变;(3)在63～154 K和312～342 K过冷度范围内,该合金非规则共晶中的Fe2B相存在两次粒化现象, 这两次粒化对应于不同的非规则共晶形成机制．     

多层前向小世界神经网络的逼近与容错性能

基于Watts-Strogatz网络模型的构造思想,对多层前向神经网络中的规则连接依重连概率进行重连,构建了一种多层前向小世界神经网络模型.对该网络模型进行简要的数学描述,并以函数逼近和网络容错仿真考察了构建的小世界神经网络的性能.结果表明,与规则或随机连接的网络相比,当重连概率处于0.1～0.2时,小世界神经网络具有更优的逼近性能,且当网络学习速率参数在0.1～0.3之间时,对小世界神经网络的逼近性能影响较小.此外,当网络权值故障率小于30%时,重连概率不大于0.8的小世界神经网络与规则网络同样具有较优的容错性能,而当故障率大于40%时,重连概率较大的小世界神经网络和随机连接的神经网络的容错性能要明显优于规则网络.     

新规则导向下普及组有氧健美操成套艺术编排现状及发展趋势的研究

本文通过对2010～2012年普及组健美操评分规则全面解读,笔者认为规则的创新点有:艺术裁判评分内容和分值重组;在运动员得分相同的情况下,取决于艺术分。分析了健身健美操成套艺术编排的现状,并对新规则导向下普及组有氧健美操艺术编排的发展趋势提出相关的建议。     

三支概念格中的关联规则提取算法

针对基于形式概念分析的关联规则提取侧重属性之间的正关联、忽略负关联的问题,提出一种基于三支概念分析的关联规则提取算法(3ARM)。利用对象导出三支概念的内涵包括表达"共同具有"语义的正属性子集和表达"共同不具有"语义的负属性子集的特点,结合三支概念格的泛化与例化结构,高效地提取正负关联规则;基于三支概念的闭项集特性,从三支概念格中选出包含频繁项集的候选概念进行挖掘,减少不必要的搜索;通过对三支概念之间的关系进行研究,从父子概念中提取无冗余的正关联规则和负关联规则,再从兄弟概念中提取正负规则对规则集进行补充,充分挖掘三支概念格中的知识。MovieLens数据集上的实验结果表明:应用3ARM算法,在最小支持度为10%时,得到正规则86 027条,负规则93 685条;3ARM算法得出的正规则数量比FARM算法的多出0.9倍～1.5倍,减少了FISM算法最多28.3%的冗余负规则,分别减少了FISM和FARM算法44%～63%和27%～62%的运行时间。     

规则波对水平板冲击作用试验研究

波浪对透空式海上建筑物的冲击作用已经成为影响此类建筑物安全的重要因素.进行了单向规则波对方形水平板冲击作用水槽试验研究.总计进行了4个方向(0°,垂向规则波;15°、30°、45°,斜向规则波),入射波高H=7.5～20.0cm,增量2.5cm,周期T=1.0～2.0s,增量0.2s,水平板底面距离静水面的高度Δh与H的比值0～0.5,增量0.1的试验研究.采用小波分析方法去除了由于测压传感器振荡引起的测量数据的噪音信号.讨论了上托力与相对入射波高H/d、相对板宽B/L、相对净空Δh/H的关系.     

中国语境下规则公平的建构

规则公平是从公平观念中产生的概念,立足于对"效率优先、兼顾公平"而产生的规则公平在当代中国,在内容上表现为:规则调整的对象和适用的条件是无差别的,规则设定的权利义务是无差别的,规则对权利义务的保护措施和保护力度是无差别的,规则是对个人不当诉求的约束;在形式上表现为:规则的建构程序是公平的、规则的结果对全民是一致的、规则公平是指时间维度上的公平。规则公平在当代中国实现的外部表征是:规则的制定是公开且平等的,规则的适用是公开且平等的,规则的评价是公开且平等的。在中国建立规则公平的时间是相对漫长的,建构的路径是先对现有利益分配的规则公平的建构,在此基础上逐渐对于预期利益分配的规则公平的建构。     

从FIG规则修订展望我国竞技健美操的发展前景

对国际体操联合会（FIG）颁布的2005～2008年版、2009～2012年版的竞技健美操规则进行仔细的对比和分析得出：修订后的新规则为竞技健美操在2009～2012四年内的发展指出更为明确的方向,新规则势必将促使竞技健美操向着艺术性更强,专业化和系统化更强的方向发展.     

一种基于粗糙集理论的规则核值的扩展算法

应用粗糙集的理论,提出一种基于规则核值的扩展算法。利用该算法对从信息数据进行约简,并求出规则的核值．在规则核值的基础上对规则进行扩展,从而去除规则中的冗余条件,得到更加简化的规则．     

Snort规则链表结构的分析与改进

Snort主要是根据规则树对数据进行递归匹配。因此规则树的结构是否合理，在很大程度上影响着Snort规则匹配的速度。本文对Snort规则链表结构进行了分析，并针对Snort规则树过于简单这一不足之处，对其进行改进，在保持原有规则匹配方法的基础上，增加宽度优先搜索算法，从而减少规则匹配所需时间。     

基于小波包变换的图像融合技术的应用

阐述了基于小波包变换的图像融合算法，并对基于像素的融合规则与基于区域的局部方差融合规则作了论述．在此基础上，发展了一类修正后的局部方差对比的融合规则．通过对一混凝土梁构件内模拟的缺陷进行红外探测并进行图像融合，结果表明：对于探测梁内部缺陷，采用小波包变换的融合算法图像不仅充分结合了融合前图像的信息，边缘信息也更为细腻．另外，小波包分解层数对图像融合效果有着重要的影响．通过对加噪声红外图像的融合算例表明：随着小波包分解层数的递增，融合质量却逐渐下降．当分解层数在1～2层时，融合效果比较理想．     

VPN网络中IPSec安全策略的形式化描述

针对虚拟专用网络中IP安全协议规则制定和配置繁杂、易出现冲突等问题,提出对IP安全协议规则集中的保护访问规则表和保护传输规则表进行形式化,进而采用图形管理的方法,开发出IP安全协议规则分析管理工具软件.通过对真实的IP安全协议规则进行分析检测,该软件判断出规则集中所存在的各类冲突.实验结果表明这种形式化模型能很好地管理IP安全协议规则.     

决策演化集的卷积预测

决策演化集是处理决策规则在时间序列上演化问题的理论,它将着眼点从静态的决策信息系统转移到动态的时间序列上,研究决策信息系统随时间变化时的演化规律,是一种新的决策规则研究方法 .在决策演化集理论体系下预测规则伴随实际规则产生,因此预测规则必然对实际规则产生影响.为了解释预测规则和实体规则之间的相互关系,引入卷积方法,在时间序列上构建预测规则和实际规则的演化混合矩阵,并利用该矩阵对决策信息系统进行预测分析.     

深过冷Fe82B17Si1共晶合金的再辉及凝固组织特征

在大气中,采用熔融玻璃净化与循环过热相结合的方法,使Fe₈₂B₁₇Si₁共晶合金获得了342K(0．238T_E,T_E为共晶温度)的大过冷度．对该合金的冷却再辉曲线及凝固组织研究发现：(1)在6～164K及255～342K过冷度范围内该合金的冷却曲线仅呈现一次再辉,而在174～247K过冷度范围内其冷却曲线则存在两次再辉,三过冷度范围内的凝固组织分别对应于由准规则共晶和复杂规则共晶组成的混合共晶或混合共晶+非规则共晶、完全非规则共晶、初生α(Fe,Si)相+枝晶间非规则共晶;(2)在过冷条件下,该合金的共晶两相α(Fe,Si)及Fe2B相满足促发形核的非互惠原则;(3)该合金非规则共晶出现的特征过冷度△T₁=63K,完全非规则共晶化的特征过冷度△T₂=164K;(4)该合金非平衡状态下的共晶共生区偏向Fe₂B相一边,它与共晶成分线的交点在△T=154K及△T=264K,其谷值约在△T=207K左右．     

Prediction of Topological Structure of Protein from Its Secondary Structure Sequence

提出由蛋白质二级结构序列预测拓扑结构的方案，对全α全β和α／β型蛋白质制定了预测规则．预测成功率为８５％～９０％．     

基于JAVA业务规则管理技术的研究

本文介绍了业务规则的概念和业务规则管理系统模型的结构,对业务规则管理工具所涉及的规则语言框架、规制库、规则引擎技术作了讨论,同时对照JSR94标准,分析了ILOG JRules工作机制的优点。     

兴趣关联规则的挖掘

通过对关联规则兴趣度的度量,在挖掘关联规则时可以避免无意义规则的产生。提出了一种度量关联规则兴趣度的方法,并给出了兴趣关联规则的挖掘算法。     

基于粗集理论的一种规则提取方法

介绍了粗集理论的基本概念,通过对现有基于粗集的最小规则提取算法的分析,发现其缺陷,提出了一种改进的基于粗糙集的规则提取方法,并用UCI数据库中的9个标准数据集从规则集的规则数目、规则集的平均规则长度、规则集的平均规则支持、规则集的预测精度等4个指标对改进的算法进行了测试和对比分析,实验表明了该算法的有效性.     

基于Petri网的ECA规则建模

在Petri网理论基础上,对ECA规则进行了建模研究,建立了基本Petri网模型. 对如何用Petri网表示具有复合事件ECA规则进行了专门分析. 提出了扩展的Petri网系统,并综合考虑ECA规则自身特性,建立了ECA规则系统Petri网模型,比较全面地反映了ECA规则系统特性. 通过构建可达树和变迁序列,可以较为清楚地了解ECA规则系统及其行为特性,便于对规则系统进行合理性验证,以帮助系统管理员对其进行分析和管理.