Entropy of Partitions on Quantum Logic

Partition and entropy of partitions in quantum logic are introduced and their properties are investigated.The results are generalized to the general case of T-norm and T-conorm.

基于CRCLA的形式化描述与退火遗传映射算法

为解决密码算法映射到粗粒度可重构密码逻辑阵列(CRCLA)过程的描述困难问题,提出一种数据流图节点与划分后节点簇的描述形式,并以一种坐标序列描述形式精确显示CRCLA中资源的占用情况;针对密码算法映射到CRCLA上性能不高及编译时间过长的问题,提出一种能快速收敛到全局最优解的退火遗传算法,从初始温度、降温系数等方面对退火算法进行改进,增加遗传算法的筛选、交叉与变异流程。实验结果表明,编译时间与性能平均降低了30.6%与13.4%,验证了算法的高能效映射。

流域生态“执法+司法”联动的法治逻辑、时空困境与优化路径——以长江流域为例

长江流域生态“执法+司法”联动可划归为提供建议型、共同办案型、案件移送型、联合会议型、便利诉讼型、监督引导型、辅助执行型七种类型。在生态法治思想的指引下,“执法+司法”联动需以理念性逻辑、协调性逻辑、规范性逻辑为建构基础。从时空维度展开分析,发现联动实践中存在时序偏置、空间隔断的困厄,并基于这种困厄衍生出信息共享机制窒碍、法律主体角色含混的显性倾向。为契合流域生态“执法+司法”联动的法治逻辑表达,需要塑造流域生态执法、司法的多端联动法治理念;协调联通流域生态“执法+司法”联动的区域范围,并尝试规范设置联动主体间的治理边界,力避因行政逻辑与司法逻辑混同产生的制度逻辑错位。

侦查思维中的分析定义法、划分法及其非形式谬误

在侦查思维中,为了便于推理和论证,必须对相关的概念进行明确。由于概念具有内涵和外延两个方面的意义,因此,明确概念就要理所当然地从内涵和外延两个方面进行。明确概念内涵的逻辑方法很多,其中最主要的方法是分析定义法;明确概念外延的逻辑方法也很多,其中最主要的方法是划分法。作为明确概念的两种主要方法,分析定义法和划分法既有不同之处,也具有内在的相互关系,而且在运用时都需要遵守相应的逻辑规则,同时避免因违反这些规则而导致的非形式谬误。

一种模糊逻辑推理神经网络的结构及算法设计

建立了一种基于模糊逻辑推理的神经网络.由样本获取的初始规则确定规则层神经元个数,并确立模糊化层与规则层之间的连接.利用黄金分割法确定模糊化层隶属度函数的初始中心和宽度;根据初始规则的结论确定清晰化层的初始权值;针对网络结构提出了改进的BP算法.仿真实例表明,网络结构合理,具有较好的非线性映射能力,改进的BP算法适合于此网络,与另一种模糊神经网络相比较具有较快的训练速度和较好的泛化能力.

一种新的基于模糊C均值算法的模糊时间序列确定性预测模型

模拟时间序列因为在处理数据采集中固有的不确定性和含糊性方面的显著能力而得到了越来越多的的关注,已经有许多模型致力于改进预测准确性和减少预测的计算开销,然而对于预测不确定性的控制、有效的分区间隔和对于不同的分区间隔达到一致的预测准确性方面研究较少。针对现有预测模型的不足,本文提出了一种新的预测模型,新模型增强了预测的性能并允许处理两因子预测问题。在新模型中,应用模糊均值算法来处理模糊时间序列的区间划分,划分时考虑了数据点的性质,产生不等大小的区间。最后在仿真实验中采用真实的观察数据,仿真实验结果表明本文提出的预测模型在预测准确性方面要优于现有的其他预测模型。

Lukasie wicz逻辑系统中的广义重言式理论

将逻辑系统 W ,W ,Wk 中的广义重言式理论进行推广并应用到Lukasiewicz逻辑系统中 ,主要结果是 :得到了逻辑公式集F(S)在该系统中关于﹁同余的分划 ;证明了在该逻辑系统中对每个无理数α而言 ,不存在可达α 重言式 ,且对每个实数α而言 ,不存在可达α+ 重言式 ;给出了广义重言式、广义矛盾式各类之间的关系定理。

硬盘数据逻辑结构及其数据恢复

通过对硬盘数据逻辑结构的分析 ,总结出逻辑盘区丢失的原因 ,最后给出了硬盘的修复方法 .

修正的Gdel逻辑系统中子代数的广义重言式理论

将修正的Gdel逻辑系统中的广义重言式理论进行推广,讨论其序稠密子代数的广义重言式理论,并利用可达广义重言式概念和α-矛盾式概念在G的序稠密子代数中给出F(S)关于┐同余的一个分划.

并行精确排序的快速投影四面体体绘制

投影四面体法需要对四面体集合进行逐帧排序,而相邻四面体之间的顺序制约和依赖性限制了并行排序的效率.基于以上问题,提出一种视点相关的、基于逻辑切割的快速四面体集合精确排序方法.该方法分为4个串行步骤:首先沿视线方向将四面体集合所在空间剖分成一列有序的深度区间,每个区间包含一组四面体子集;然后并行地对每个区间的子集逐层提取互不遮挡的四面体,完成精确排序;再将区间边界上的四面体进行逻辑切割,并采用分段积分计算所有四面体在区间内的颜色贡献;最后按序沿视线方向累积所有区间的颜色贡献.实验结果表明,文中方法提高了四面体拓扑排序的并行度,极大地降低了排序时间,并大幅度地改进了绘制效率.

本体模块化:特征、描述与方法

近年来,本体模块化研究受到研究者的普遍关注。本文全面综述了本体模块化研究的最新进展,包括本体模块化特征、形式化描述语言及构建与选取方法。在形式化描述方面,主要研究成果有分布式描述逻辑、ε-连接及基于包的描述逻辑,比较分析了它们的特点和关联,讨论了有待进一步解决的问题。在构建和选取方面,介绍了模块化设计模式、模块化划分与抽取方法的最新研究成果。

R_G-代数的子代数与广义重言式理论

对Gdel逻辑系统中的广义重言式理论进行推广,讨论了RG-代数的各类无限子代数上的广义重言式,证明了在子RG-代数中,Gdel逻辑系统中存在着可数多个不同的广义重言式。

逻辑与物理相结合的MCM划分神经学习方法

本文提出一种性能驱动的MCM划分神经学习方法．新算法具有如下特点：（1）允许功能设计和布图设计同时进行，（2）划分时，不仅考虑了模块间的逻辑关系，还考虑了MCM的版图结构．（3）具有芯片间连线数目最少和时钟周期最短双重优化目标．（4）能使连线尽可能产生在相邻近的芯片之间．（5）网络的结构合理，学习速度快．

基于逻辑运算的折半划分测试数据压缩方法

提出一种新的,基于逻辑运算的折半划分压缩方法。将测试集按单位长度M进行划分,分成若干块,再对块内数据块内数据为全"0"、"1"序列和"10"、"01"交替序列等四种序列进行逻辑运算,将它们全部变换成全"0"序列,对于不能转化的序列,需对它们不断进行折半划分,当达到预先规定的最小长度时停止划分,直接用代码字编码。代码字的长度可以通过折半的次数来换算,而且通过逻辑运算化为全0序列,更加易于编码,与传统的编码方法比,解压结构简单,降低了解压和压缩成本。

F(S)在Lukasiewicz逻辑系统中的一种分划

利用McNaughton函数,研究了Lukasiewicz逻辑系统中的可达广义重言式,证明了当α为无理数时,没有可达α 重言式,进而给出了F(S)的一个分划.还证明了在Lukasiewicz逻辑系统中,重言式可由对非重言式进行有限次升级算法得到.

一种基于迭代PTM模型的电路可靠性评估方法

纳米工艺的快速发展既给电路设计创造了新的机会,同时也带来了新的挑战,基于纳米器件的电路可靠性设计便是主要挑战之一,因此有必要研究在设计的早期阶段便能准确地评估电路可靠性的方法.考虑到经典的概率转移矩阵方法在电路可靠性计算中的优势与不足,文中提出了宏门的概念和以宏门为单位的迭代概率转移矩阵模型,并设计了相应的电路可靠性评估算法,可计算从原始输入到任意引线位置的电路可靠度,该算法的复杂性与宏门的数目成线性关系.理论分析与在74系列电路和ISCAS85基准电路上的实验结果证明了文中所提方法的准确性、有效性及潜在的应用价值.

基于全序划分模型的开放逻辑的计算复杂性

研究了基于全序划分模型的开放逻辑的计算复杂性 .证明了 :在考虑一般公式的情形下判定一个公式是否被重构所蕴涵是Π p2 完全的 ;如果限制到考虑 Horn公式的情形 ,则为 co-NP完全的 .由此表明 ,从计算复杂性角度来说 ,该判定问题在一般情形下比经典逻辑中的演绎推理问题更难 ,在 Horn公式情形下则和经典逻辑中的演绎推理问题难度相当 .假定 P≠ NP。

Gainse-Rescher逻辑系统中的广义重言式理论

将王国俊教授在逻辑系统 W ,W ,Wk 中的广义重言式理论进行推广 ,并应用到了Gainse Rescher逻辑系统 Gr,Gr,Sn 中 .主要结果是 :在逻辑系统 Gr,Gr 中 ,重言式不可能由对非重言式进行有限次升级算法得到 ;在逻辑系统Sn 中 ,对任一公式最多进行n次升级算法即可得到重言式 ;利用可达广义重言式概念和α 矛盾式概念分别在 Gr,Gr,Sn 中给出了F(S)的一个关于 同余的分划 .

系统H_a中广义语义MP规则与广义语义HS规则

基于一类带参数a的[0,1]上的t-模*a及与之伴随的蕴涵算子Ha(0≤a≤1)所建立的多值逻辑系统Ha,研究了当a=12时的多值逻辑系统H12.以H12为赋值域利用广义重言式概念得到了公式集F(S)的一个分划,建立了系统H12中的各类广义语义MP规则与广义语义HS规则,并把系统H12中的相关结论推广到系统Ha(0<a<1)中.

基于分变量模糊蕴涵关系的无规则模糊逻辑系统的自适应控制应用

常用的基于模糊if-then规则的模糊逻辑系统在进行控制设计应用时常会遇到规则爆炸问题,为此,提出了一种新的无规则模糊逻辑系统。首先利用从属于系统各分变量论域上开覆盖的单位分解,将模糊知识库中的专家模糊语言值信息进行整合,得到相应的分变量模糊蕴涵关系,再由模糊推理及解模糊化得到系统输出;然后,针对一类非线性不确定系统,先利用伸缩器和饱和器构造出扩展的无规则模糊逻辑系统,再设计被控系统的自适应稳定控制器;最后通过仿真算例验证了该方法的有效性。这种方法的优越性在于新的模糊逻辑系统的构造与自适应律的设计是分离的,在线估计的参数数目明显减少,有效地解决了规则爆炸问题。