布尔网络动态行为研究

布尔网络动态特性的研究已经成为国内外基因调控网络研究的重要课题.介绍了布尔网络动态行为的相关概念和最新进展,并采用计算机模拟布尔网络的动态演化过程,用消除趋势波动分析（DFA）方法分析了布尔网络的长程相关性动态特性.结果发现：绝大多数布尔网络呈现1/f波动;长程相关性值α与网络的连通度k有关,并随着灵敏度数值S的增加而减小.     

集合概念与非集合概念的定义及区分

集合概念与非集合概念的定义及其区分一直是逻辑教学中的一个重点和难点,也是逻辑界争论的一个热点。本文试就这个问题作些分析。 一、集合概念与非集合概念的定义 对集合概念与非集合概念定义的阐述,现在使用的逻辑教材普遍都是以集合体与类的区别来给集合概念与非集合概念下定义的。例如,中国人民大学哲学系编写的《形式逻辑>(1984     

一种建立二元判断图ROBD(D的算法)

二元判断图BDD(Binary Decision Diagram)是逻辑布尔函数的一种高效表示方法,在计算机科学以及数字电路系统等领域中有广泛的应用。本文首先介绍了BDD的原理及其相关结论,之后较为详细地介绍建立一种ROBDD的算法,减少了存储空间的使用并提高了运算速度。     

模糊逻辑函数的微分

本文以两种方法定义了模糊逻辑函数的微分:一、把模糊逻辑函数当作是二值逻輯函数(即布尔函数)从{0,1}、集合到[0,1]区间的开拓;二、模糊逻輯是连续值逻輯,而模糊逻輯函数认为是[0,1]区间上的连续函数。研究和提出了有关模糊逻輯函数微分的一些性质和计算方法。     

概率布尔网络动态特性及其结构分析

从网络灵敏度和概率布尔网络基因状态间的转化2个方面分析、研究了概率布尔网络的动态特性,把网络灵敏度的概念从布尔网络引入到概率布尔网络中,得出了概率布尔网络灵敏度的计算方法.最后从网络结构方面进一步分析概率布尔网络的动态特性,把概率布尔网络分解为基础布尔网络,从而利用结构简单明了的布尔网络分析结构更为复杂的概率布尔网络及其稳态分布,并以实例说明该方法.     

区间软布尔代数

将区间软集应用于布尔代数之中,定义了区间软布尔代数、区间软布尔子代数、区间理想软布尔代数和区间软布尔代数的区间软同态等概念,并研究了它们的相关性质。推广了软布尔代数及其相关结论。     

区间软布尔代数

将区间软集应用于布尔代数之中,定义了区间软布尔代数、区间软布尔子代数、区间理想软布尔代数和区间软布尔代数的区间软同态等概念,并研究了它们的相关性质。推广了软布尔代数及其相关结论。     

一类混杂系统的优化控制

采用基于混合逻辑动态的建模方法,将系统的连续动态过程、逻辑部分和操作约束表示为带有混合整数不等式约束的线性状态方程的形式.在混合逻辑动态建模原理基础上,采用二次型的性能指标,将混杂系统的优化控制问题归结为求解一个混合整数二次规划(mixed integer quadratic pro-gramming,MIQP)问题.最后,针对混杂系统的优化控制问题,作了数值仿真计算.研究结果表明:基于混合逻辑动态模型的优化控制能够满足控制要求,并且进一步说明MIQP方法是解决一类混杂系统优化控制问题有效的且具有发展前景的方法.     

逻辑函数结构及组合险象

本文使用混合逻辑代数这个新理论和新方法,定义了逻辑函数的结构,导出了基本逻辑函数,复合逻辑函数及一般逻辑函数的结构表达式,得到了逻辑函数必须遵从的一些特别重要的结构结论。并设计出了无逻辑冒险,无功能冒险的无险象组合电路,布尔逻辑函数理论分析及实验结果与新理论符台得特别好。无疑这种新理论和新方法使计算机电路及离散系统设计增加了新手段。     

布尔方向差分及其在故障诊断中的应用

许多文章利用布尔差分的概念建立故障完全测试集的算法。其优点是推导清晰严谨,但其缺点是,一、所求得的测试码对应组合逻辑网络无故障时的正确输出值不能立即确定。二、计算复杂性高,特别对扇出再收敛型结构更为如此。本文作者提出布尔方向差分和沿通路布尔差分的概念,并以此为基础建立一种组合逻辑网络故障诊断测试集的算法。上述两个缺点可以克服。     

中介逻辑ML的一种模型

中介逻辑ML是一种新的且已形式化的逻辑系统。本文根据该理论的直观背景及实际意义,研究它的语义解释,即给出赋值的数学定义,从而得到这种形式系统的一种模型,为研究这种理论的完备性与可靠性奠定了基础。     

相信逻辑的某些性质和定理

本文研究了相信逻辑在相信蕴涵下的某些性质．在相信蕴涵的定义下，相信逻辑是非单调的．本文给出了几个相信逻辑的单调性的充分且必要条件．还证明了一个默认理论的延伸恰好就是对应的相信理论的相信公式的所有相信蕴涵式的全体．从而给默认理论的延伸以一个较为直观、简洁的表述．     

Fuzzy卡诺图及模糊逻辑函数最小化

根据模糊逻辑函数的定义、性质和范式、提出Ｆｕｚｚｙ卡诺图及其运算规则,并将其应用于模糊逻辑函数的最小化。     

均匀逻辑公式的基本性质及其真度的分布

基于密码学中布尔函数的等重性在二值命题逻辑中引入了均匀公式的概念。证明了每个均匀公式的真度都小于或等于1／2, 全体均匀逻辑公式的真度之集在逻辑度量空间中有惟一的聚点0。 研究了均匀逻辑公式的基本性质, 给出了含有同样原子公式的二均匀逻辑公式的析取式真度以及二者之间的相似度的简单计算方法。     

一种基于电压控制的扫描测试功耗优化方法

提出了一种通过电压控制来实现扫描测试低功耗优化的方法(压控法).该方法主要采用插入门控晶体管来控制组合逻辑单元供电,从而有效地解决了在扫描测试移入过程中测试信号向组合逻辑的无用传播,由于组合逻辑的供电受到控制,因此压控法不仅有效降低了无用的动态功耗,同时也大大降低了由于供电所产生的漏电静态功耗.而且门控晶体管的插入对于...     

探外交语言的非逻辑性艺术

传统逻辑要求思维和表达要有确定性，要为听者或读者提供尽可能准确的信息，可是，在许多外交场合，人们使用的外交语言都是含糊其辞的，这是一种特殊的、艺术的表达方式，而不是对逻辑规律的违背。     

关于ABEL软件若干应用技术问题的探讨

ABEL软件是新一代高效可编程逻辑器件(PLD)设计工具。本文对ABEL开发软件的GAL器件库定义、逻辑功能描述方法、测试向量的确定以及源文件的处理等关键应用技术问题进行了深入探讨。正确运用这些技术对于提高可编程器件的逻辑设计效率和可靠性具有实际意义。     

基于ADAMS/CAR和模糊控制的汽车VDC仿真分析

在ADAMS/CAR中建立汽车整车模型,利用MATLAB模糊控制编辑器建立了模糊控制规则及模糊控制隶属度函数,并应用MATLAB/SIMULINK对汽车系统模型进行模糊控制仿真,达到验证基于模糊控制的汽车主动控制系统性能的目的.通过完成汽车双移线测试和角阶跃输入测试,得到汽车主动控制系统的仿真结果,仿真结果表明:具有模糊控制系统的汽车主动控制系统在测试中具有优越的躲避障碍物、主动恢复汽车稳定性的特点.     

归纳逻辑程序设计综述

归纳逻辑程序设计是逻辑程序设计和机器学习的一个交叉研究领域。先概述了归纳逻辑程序设计的历史及发展现状;对归纳逻辑程序设计学习器进行了分类和形式化定义,并给出了学习器的质量标准;按划分的类型分别讨论了归纳逻辑程序设计学习器的主要求解算法;进一步指出了归纳逻辑程序设计未来的发展前景,提出了归纳逻辑程序设计领域需要深入研究的若干问题。     

互模拟的含义、特征及主要应用

给出互模拟精确且具有概括性定义（B）,给出并证明了互模拟的5个特征,最后给出最大互模拟一定义,证明了～是一个等价关系,进一步证明了～是R中（B）的最大固定点。概括了互模拟在模态逻辑和并发系统中的非凡的应用价值,并提出了某些尚待解决的问题。互模拟具有美好的发展前案和极大的发展空间。