长方体规则打包方案数研究

通过对长方体规则打包方案数的分析表明，当n=p^kp1p2…pn时(其中p,p1，p2,…，pn为互不相等的素数)，所有的规则打包方案数为(k 1)(k 2)/2 3^n.     

长方体规则打包的最小表面积研究

证明了pk(p为素数)个小正方体规则打包的最小表面积方案是p[k／3]×p[(k 1)/3]×p[(k 2)/3].对于给定的若干个全等的小长方体,当规则打包后的大长方体最短边确定时,周长越小,其表面积越小;当周长确定时,最短边越大,其表面积越小;当最短边确定时,最长边与最短边之差越小,其表面积也越小.上述表明,规则打包后的长方体三边的"集中程度(周长)"和"离散程度(最长边与最短边之差)"可作为衡量一个长方体"越接近"正方体的量化指标.最后给出了寻找一般长方体规则打包后的最小表面积方案的算法和程序.     

简单规则下Vote Control问题的复杂性分析

给定候选人集合C,投票集合V=(v1,v2,…,vn)和候选人c∈C,是否存在V的子集V′,|V′|≤k,使得c∈r(V＼V′).该问题在不同的得分规则下复杂性是不同的.在plurality规则的基础上证明了Reto规则下Vote Control问题是多项式时间可解的,并给出了k′-approval规则下该问题是NP-Complete的证明.     

专家系统规则启发式划分和并行推理

本文提出了一个启发式规则划分办法并分析了并行规则推理的代价,设规则集合被划分为π=(π_1,π_2,…,π_k),则对于任何一个规则R_i∈π_i,在π_(i-1)中至少有某个R_i,R_i与R_i在某种代换下相关,如果串行推理对规则进行一次遍历所费时间代价为C,对于同样规则划分π进行多处理机或进程并行推理一遍遍历代价至多为C′,C′≤(k/~#R)C。其中~#R是规则集合R的基数,同时给出一个实例和推理代价的实验数据。     

关联规则算法的电信网络告警应用

为提高网络告警数据的处理效率,迅速找出故障根源,以保证整个电信网络的正常运行。针对告警数据的特点对传统的关联规则算法进行了相应的改进,提供了优先剪枝策略,避免了生成没有意义的频繁项集;k-1-项集通过连接操作生成k项集,避免了反复扫描数据库所带来的压力。结果表明,改进算法提高了挖掘效率,达到快速诊断网络故障的目的。     

快速关联规则挖掘算法DPD

提出了一种快速关联规则挖掘算法DPD，算法通过模式分解，在每次遍在中减小模式量和模式长度，动态地减小数据集大小，从而有效减少候选关联规则的产生和计数的费用，提出了基于频繁集lk生成最长项目子集M(k）的FPS算法，DPD算法利用了M（k)进行模式分解，有效克服PD算法在|-Lk|很大时模式分解效率低的缺点，减少由Ck生成Ck 1时的遍历次数。     

基于均值-方差随机微分博弈的再保险和投资

研究均值-方差准则下具有再保险和投资的随机微分博弈.保险公司的目标是在终值财富的均值等于k的限制下,选择一个策略使终值财富的方差最小.金融市场作为博弈的"虚拟手"目标是在终值财富的均值等于k的限制下,选择一个策略使终值财富的方差最大,也就是研究保险公司和金融市场之间的二人零和随机微分博弈.通过把原先基于均值-方差准则的随机微分博弈转化为一个辅助问题,应用线性-二次控制理论解决辅助问题,最终得到最优策略和有效边界的显式解.     

基于αk—较多规则的群体最优群

借助αk－较多序的概念,给出了一种多人决策的决策规则,称作αk-较多规则,利用该规则可对供选方案进行优选。并验证了它满足Arrow公理的一致性,独立性,非加强性和非独立性。还讨论了群体最优解的存在性条件。     

Wolfram第Ⅰ等级总和规则元胞自动机的Langton参数相空间斑图

针对状态数k=3,相邻半径r=2的一维总和规则元胞自动机,引入两个推广的Langton参数λ1和λ2,研究Wolfram第Ⅰ等级元胞自动机的规则空间,得到了参数λ1和λ2与规则R的关系图及相空间斑图.结果表明,利用两个参数λ1和λ2描述k=3,r=2的一维元胞自动机的总和规则空间,可以得到较详细的Wolfram第Ⅰ等级的相空间结构.     

具有较大围长的(n,3,k)LDPC码构造方法

消除短环已成为提高低密度奇偶校验(LDPC)码译码性能的重要措施。基于不含短环的(n,2,k)规则LDPC码,提出了一种更具实用价值的(n,3,k)规则LDPC码的构造方法。利用该方法可以完全消除(n,3,k)规则LDPC码中存在的4-环、6-环及8-环。在AWGN信道下仿真结果证明了该方法的有效性,所产生围长为10的码达到了非常优越的性能。     

Modal extension rule

Sinceautomatedtheoremprovingwasintroduced inthe1950s,ithasbeenmaturedintooneofthe mostadvancedareasofcomputerscience.Theresolu tionmethodisoneofthemostdistinguishedandmost widelyappliedmethodsintheoremproving(TP).ResolutionbasedTPtriestodeducetheemptyclause tochecktheunsatisfiabilityofclauseset.Butexten sionrulebasedTP[1]proceedsinverselytoresolution.Namely,extensionrulebasedTPcheckstheunsatis fiabilitybydeducingthesetofclausesconsistingofall themaximumterms.Therefore,itisanewtheorem provi…     

DECS的产生式规则建模与规则的结构错误检测

文章研究的离散事件控制系统采用基于规则的系统结构,系统的控制逻辑存放于规则库中,推理机完成规则匹配工作.该文以数字矿井中皮带运输系统为例,详细说明了基于规则的系统结构和利用产生式描述系统的原理、方法、步骤;针对规则系统中典型的结构错误,如冗余、不-致、不完备和死循环,进行了检测,保证了系统的一致性和完备性.     

生产调度的一种启发式规则

本文提出一种先进的生产调度启发式规则。希望新规则优于常用的简单规则，但不花费太多时间。首先定义了一类生产调度问题，作为特殊的约束满足问题。它的求解过程使用“尽可能早”策略，约束组合，以及启发式规则。通过分析拖期时间和两个作业调度决策间的关系，得到了新规则。它是局部最优的，其计算量不大。实验表明，对于使拖期时间最少，新规则确实优于简单规则。     

时序规则分布挖掘方法

发现时序规则的有效时间段,即规则的分布,有助于对序列行为进行更深入的了解.论文介绍了一种时序规则分布的挖掘方法描述了相应的分割选择策略、频繁度量算法、知识表示生成方法、以及针对时间序列数据的规则分布挖掘系统的体系结构.该方法对于序列长度来说,时间消耗是线性增长的,并且支持在线的知识发现.使用人工生成数据与真实数据进行了实验,结果表明该方法可以有效地生成符合问题定义的规则分布表示,以应用于发现新奇的有用知识.     

snort规则语法在基于CVE特征的入侵检测系统中的应用

针对人侵检测专家系统的不足，通过对CVE标准漏洞列表进行深人的研究，采用新型规则结构及snort规则描述语法，建立基于CVE特征的人侵检测专家系统规则库，它具有结构简洁、易于更新的特点．另外，以CVE标准为建立人侵检测专家系统规则库的基准，使得人侵检测专家系统规则库升级有了可靠的国际权威标准可以依据，对人侵检测系统的标准化有推动作用．     

日语外来语的音调规则

日语外来语在使用过程中，其音、意、形等与原语不太一致，尤其在音调上大不相同，但有一定的规律，它一般不打破日语音调的规则，是在日语音调规则的基础之上形成的。欧美语在日语化时，许多单词保留原语的音调；而与原语音调不同的外来语绝大多数其核的位置在从词尾数起第三个音节上；平板型外来语数量极少。     

广义MP规则

提出了广义MP规则与集体广义MP规则 ,并在二值逻辑系统中通过引入根的概念给出与上述规则在语构意义下的解 .以三I方法为基础 ,在连续值逻辑系统L 中讨论了广义MP规则与集体MP规则的语构意义下的解 .又分别在二值与Lukasiewicz三值系统中给出了上述问题在语义意义下的解 .以上理论可视为模糊推理在经典逻辑学中的非模糊形式     

改进的关联规则挖掘算法-MIFP-Apriori算法

Apriori算法是关联规则挖掘的经典算法,具有原理简洁、易编程实现等优点,得到广泛应用。针对该算法扫描数据库次数过多,产生大量冗余候选集的缺陷,在现有Apriori算法改进优化思想的基础上,结合矩阵、改进频繁模式树和计算候选集频数优化策略提出了一种改进的关联规则挖掘算法——MIFP-Apriori算法。实验表明,该算法能够将扫描数据库次数降低到一次,有效解决产生大量冗余候选集的缺陷,提高算法效率。