逻辑函数的化简与实现

提出能反映逻辑函数最小项合并规律的最小项合并图,给出了基于最小项合并图的逻辑函数化简法,用该化简法可获得逻辑函数的所有最简式且该方法便于编程实现。     

带有约束项的多变量的逻辑函数化简的一种方法——兼论步进电机环行分配器的逻辑设计

当逻辑函数的变量比较多时,用卡诺图法来化简就比较麻烦。本文所提出的方法是根据逻辑函数各最小项的公因子中各变量来判断,各变量是否覆盖逻辑函数为0的项,如否该变量就是最简式。细无 1个变量的最简式则用公因子中两个变量“相与”去试验,再看“相与”者是否覆盖逻辑函数为0项,如否,则此“相与”的两个变量即为逻辑函数的最简式。     

逻辑函数及最小项与最大项运算规则研究

根据逻辑函数最小项和最大项定义，探讨其运算规律，得出几个运算规则公式。根据这些公式，导出了逻辑函数之间的运算性质。     

浅析逻辑函数化简中最简式的判断依据

逻辑函数是分析和设计数字电路的数学依据和基础,用化简后的表达式构成逻辑电路可节省器件,降低成本,提高工作的可靠性,因此将逻辑函数化简为最简式是至关重要的.一般情况下,最简式的判断无一定律可遵循,比较困难.本文介绍了三种判断逻辑函数最简式的依据,并将其实用性在"代数法"、"卡诺图法"两种化简方法中分别进行了举例说明.     

逻辑函数化简与实现的计算机方法

本文讨论了逻辑函数化简与实现的计算机方法。前者通过计算卡诺式，求函数最小项集与各项最小项集的差、交集，实现函数化简。后者在给定变量分配情况下，通过转换矩阵作用，将函数最小项集映射成新的最小项集，以实现函数。     

最大项方法化简逻辑函数的探讨

使用卡诺图化简逻辑函数,本文在最小项方法的基础上论证了最大项方法化简逻辑函数与最小项方法的等价性,并举例说明了应用最大项方法的优越性。     

论卡诺图简化逻辑函数的方法

卡诺图是简化逻辑函数的常用方法。本文通过举例分析合并相邻方格最小项的规律、技巧及方法;最后归纳总结用卡诺图简化逻辑函数的方法与步骤。     

三值逻辑函数表格法最小化的一种新方法

根据格代数公式，对三值逻辑函数表格法最小化提出一种新方法。在搜索蕴涵项、质蕴涵项的过程中，采用找出满足下述条件最小项的策略：一是相邻最小项的数量为3的m次或或者m-1次幂，同时保证m数值尽量大(m=1，2，…)。二是最小项的逻辑值为“1“或“2“。为此，利用避开最邻近的最小项方法（该最小项逻辑值小于被选择最小项的逻辑值），从而减少了冗余项的数量。这种方法尤其适合于含有大量无关项的多变量三值逻辑函数最小化。     

展开定理与逻辑函数不同表示形式的转换原理

为探索逻辑表达式、真值表、卡诺图等几种逻辑函数表示形式之间的转换原理,分析研究了基于展开定理的对逻辑函数按变量展开的最小项表达式,给出了逻辑常量0、1取值和最小项的各个变量出现形式的对应关系,逻辑函数最小项表达式和真值表及卡诺图的对应关系,揭示了逻辑函数各种表示方法的内在联系,从而完善了逻辑函数表示方法的理论原理.所述方法,有助于逻辑函数的分析、变换方法的研究,具有较好的实用性.     

化简逻辑函数的新方法

代数法化简逻辑函数的难点在于没有固定的方法和步骤，函数式是否化简到了最简也没有判别方法．文中提出的“准多余项化简法”解决了这些难题，给出了化简的具体步骤和最简式的判别方法．对于６个以上的变量逻辑函数的化简，此法显著优于卡诺图法．     

多变量卡诺图及其应用

本文给出了多变量卡诺图的结构和性质，应用它可得到多变量布尔函数的最简表达式。此外，利用卡诺图还获得了判定逻辑冒险，功能冒险的一些定理。     

IRT中测验信息函数性质的解析及估值方法

介绍了项目反应理论(IRT)的三参数Logistic数学模型,给出测验信息函数和项目信息函数的数学表达式.通过分析项目信息函数的主要特性,设计了绘制被试的特质水平(θ)~测验信息函数(I(θ))曲线的算法,给出I(θ)值的估算方法.     

基于整数序列表示的逻辑函数化简

作者在开发一个逻辑代数符号系统中，引入了逻辑函数的一种紧凑的基于整数序列表达方式，将每一个逻辑函数用一个整数序列来描述，每一个简单项用一个或两个整数来表达．基于整数序列的表示方式特别便于机械化．在逻辑函数Q-M化简法的基础上，提出了一个改进的基于整数运算的逻辑函数化简法．该算法只在同类简单项中寻找冗余变量，能输出具有最少的项数，且在项数相等的情况下又具有最少因子总数的所有最简与或式。     

空间力系三、四、五、六力矩平衡方程最简形式与矩阵判据

本文对空间力系平衡方程式的三、四、五、六力矩式中给出了其最简形式并提出了判别矩轴、投影轴是否独立的统一矩阵判据,该判据适用于理力计算机分析。根据矩阵判据最简的原则证明了所给诸力矩式确为众多的复杂的三、四、五、六力矩式中的最简形式,并利用最简的五、六力矩式导出了平面力系的二、三力矩式,弥补了静力学体系的一个缺陷。最后利用最简六力矩式导出了Appell结果。     

组合逻辑电路中多余项的设计应用

在小规模集成器件设计组合逻辑电路时，采用最简单与一或表达式不一定是最佳电路结构。本文给出了采用或非器件进行多余项合并求对偶方法得出最佳逻辑电路的设计过程。     

用FOXBASE＋实现菜单项的休眠及内部驱动

用ＦｏｘＢａｓｅ＋中的＠．．．ＰＲＯＭＰＴ与ＭＥＮＵ ＴＯ语句可在屏幕上实现（彩色）亮条菜单,并可用光标键进行菜单项的选择,用回车键选中并驱动相应的子程序,但是,有时有些菜单项是不应被选中的。     

基于GRM模型的CAT分层方法在校准误差中的应用研究

在计算机化自适应测验(CAT)中,0-1评分模型下b组块a分层的方法(BASTR)可以提高测量准确性的同时平衡项目的曝光率,但在多级评分模型中项目难度/步骤参数有多个,无法直接使用该方法; 又因为信息函数可以较好地综合被试能力和项目参数,但最大信息量选题策略的测验安全性太低.因此,将多级评分模型中的多个参数综合成一个指标作为b分块的依据,模仿BASTR方法,提出5种新的B分块a分层方法,并且采用“影子题库”下最大信息量的选题方法.在等级反应模型(GRM)下蒙特卡洛实验结果表明,新方法在测验精度、题库利用率和机会红利等评价指标中总体表现良好,B_max-min分块方法表现最优.     

一维扩散方程单内点精细积分法

一维扩散方程初边值问题可以用子城精细积分方法求解．子域积分可以采用不同数量的内点，单内点是最简单的情况．当单内点精细积分中的传递函数，即指数函数用其泰勒展开式的一阶近似来代替时，精细积分可转化为差分方程．文中对精细积分六点及多层格式的截断误差做了研究，提出了精细积分的六点加权格式和改进的多层格式，两种格式有较高精度，并且为无条件稳定．改进的多层格式还可以推广到多内点子域精细积分方法．     

等级反应模型的Gibbs抽样方法

探讨了MCMC算法在多级评分项目反应模型参数估计中的实现及其估计精度.针对等级反应模型,基于数据扩充技术,提出了一种高效灵活的Gibbs抽样方法,得到了各个参数的Markov链.随着潜在变量的引入,每个参数的满条件分布为相应参数的先验分布的截断分布.这种抽样方法适用于任何类型的先验分布,不受先验分布形式的约束.对应每个...     

关于Fuzzy函数的化简问题

讨论了Ｆｕｚｚｙ函数的析取范式化为最简式的问题，得到了几个充必要条件，同时给出了Ｆｕｚｚ６函数的析取范式化为最简式的一般方式。