基于K图的逻辑函数变换方法

运用K图(卡诺图),不仅实现了与-或-非代数系统下逻辑函数的变换,并将逻辑函数的变换与化简结合起来,克服了代数法变换的繁琐与不足,丰富了变换的方法和途径;而且实现了将逻辑函数变换成与-异或代数系统下的RM展开式.K图法具有形象直观、方便快捷的特点,能提高数字电路的教学效果和设计效率.     

逻辑函数化简运算中卡诺图法的特殊应用

卡诺图是逻辑函数化简及运算的有力工具。介绍了用卡诺图对单输出特殊函数的化简以及两输出逻辑函数、多输出逻辑函数的逻辑运算方法，并通过例证说明卡诺图的一些特殊应用，在复杂逻辑函数化简中具有简单、快速、准确的特点。     

逻辑函数的粗糙集表达及最小化方法

提出了基于粗糙集理论对逻辑函数进行知识表达的方法,给出了运用粗糙集进行组合逻辑化简的优化算法.为保证化简前后逻辑上的等价性,用化简前的逻辑矩阵中的on-set项是否被化简后的off-set项的补完全覆盖的方法进行检验,结果表明化简前后是等价的.算法通过了对20变量以下的组合逻辑函数标准的Benchmark例题和部分组合逻辑函数典型实例验证,保证了优化结果正确性和有效性.     

利用集合的运算作逻辑函数的卡诺图与化简

化简逻辑函数的方法有很多种,卡诺图化简法就是其中一种,如果在卡诺框中赋予集合的含义,然后利用集合的补、交、并运算,则可很容易地作出逻辑函数的卡诺图与化简,大大地简化了卡诺图化简法的过程.     

逻辑函数的规范XOS和COD展开式

从香农展开定理出发，推导了任意逻辑函数在布尔减-异或及布尔除-符合代数系统中的规范减之异或和除之符合展开式，并给出了相应的图形表示。     

在图形图上的逻辑式化简法

本文给出逻辑函数的一种通用的一维圆形图化简法，它比卡诺图化简法简便、实用。     

“填表法”化简多输出逻辑函数

Tison根据逻辑函数的包含律提出了一种化简逻辑函数的设想,按这一设想,几种具体的化简单输函数的方案已经产生,但按这一思想化简多输出函数的方案笔者尚未见到。本文提出利用最高素蕴涵项概念,通过填表的方法(以下简称“填表法”)化简多输出逻辑函数的方案。与目前通用的“Q—M法”比较,这一方案的特点是:①不必使用最小项,②主要过程是重复一个简单过程,便于人工处理,也便于上机,③在实现门数最小化的同时可实现连线数目的最小化。     

卡诺图作业中的误区及其对策研究

卡诺图化简逻辑函数容易出现的误操作,直接影响到最简结果,因此提出防范误操作的四条原则,有效地解决了卡诺图作用中的可靠性问题。     

用计算机进行逻辑化简

<正> 用计算机进行辑逻化简是化简变量较多的逻辑函数的一种有效的方法。在Douglas Lewin著《Computer-Aided Design of Digital Systems》一书中已经有过叙述。本文在Qwine-McCluskey法的基础上,对辑逻变量用数值表示,于是得出以下四个性质,使得逻辑运算变成了数值运算在计算机中进行化简。     

卡诺图法化简逻辑函数一题多解的研究

通过分析、推理和证明 ,对卡诺图法化简逻辑函数出现的一题多解问题进行论证 ,阐述其产生原因和一般规律     

天然气—CO2—O2—H2O蒸气转化制合成气工艺条件的研究

考察了天然气、ＣＯ２、Ｏ２和水蒸气转化制合成气的还原温度、反应温度、反应压力、空速和原料配比对反应的影响,确定了适宜的工艺条件。     

关于《对偶空间X中具有H性质的定理》的一点注记

本文以两个反例证明中主要结果:若对偶空间X~*可分,则小X~*具有H.性质。(2)X范数Gateaux可微与Frechert可微等价是错误的。     

剖析变焦镜头的光圈系数

该论文是探讨变焦镜头的光圈系数,镜头的光圈系数的计算公式：F＝f／D（其中：F为光圈系数,f为镜头集中,D为光圈开口直径）,当镜头的集中f改变时,为保持光圈系数F值恒定,光圈的开口直径D就要做相应的改变,这种变焦镜头是高档专业级变焦镜头;还有一种为中、低档变焦傍晚头,随着镜头焦距的变化,其光圈系数也一定会呈线变化。     

Hopf代数的余扭(英文)

给出了Hopf代数的余扭的定义,讨论了余扭的性质。由H的余扭σ诱导出一个新的Hopf代数Hσ。当H是有限维幺模Hopf代数时,描述了Hσ的左右积分元。当H是有限维半单Hopf代数时,证明了Hσ也是半单的。而且当H是有限维Hopf代数时,H的余扭实际上是对偶Hopf代数H*的扭。     

广义Sylvester矩阵方程的局部扰动分析

研究了一类广义Sylvester矩阵方程的局部扰动分析问题.首先推导出了一个必要的引理,然后给出了扰动方程的绝对扰动界,进而相对扰动界也相应给出.最后通过数字仿真展示了此扰动界的有效性.     

一种新的基于SIP协议的VoIP系统

基于SIP协议的VoIP系统多采用专用设备组建,其功能单一,价格昂贵,配置管理复杂.为克服这一弊端,提出了一种新的设计方案,根据该方案设计的VoIP系统,采用开源软件SER组建SIP服务器,实现负载均衡,不但功能易扩展,执行效率高,便于管理,而且显著降低了用户的成本投入.目前,系统已作为实时语音通信平台成功应用于某水利部门的电子政务系统,取得了良好的效果。     

基于超声波传感器的高精度测距系统设计

基于超声波测距原理,分析了测量误差来源,需进行温度补偿和精确计时,设计了一精度高的测距系统,该系统具有成本低、性能稳定、结构简单等特点.经测试,测量精度高,具有很好的实用性.     

一种新的基于扩散方程的图像平滑方法

针对退化扩散方程在对图像平滑时,奇异点容易被破坏,引入了小波变换模极大值表示,提出了由小波变换模M(s,x,y)决定扩散速度的图像平滑方法.该方法在图像奇异点的位置使平滑速度趋于零;在图像的光滑区域扩散速度由小波变换模决定;在灰度变化不大的区域,采用各向同性扩散.该方法克服了退化方程对图像奇异点的模糊现象,兼顾了去噪和保边界.实验证明该方法优于其他的方法.     

基于蚁群信息素的混合遗传算法

针对遗传算法无法利用系统中的反馈信息,求解到一定范围时出现的冗余迭代,求精确解效率低,局部搜索能力弱、易出现"早熟"现象等缺点,提出了采用蚁群信息素对均匀划分子空间进行标定,利用留存的信息素控制选择操作,采用双重选择算子、基于"杂交优势"思想的交叉算子和自适应变异算子的混合遗传算法.实验表明,采用该算法的分类系统的分类准确率、算法运行时间、算法收敛性等方面性能均有明显提高.     

广义非线性Schrdinger方程组的一个新的守恒差分格式

对两类广义非线性Schrdinger方程组的初边值问题给出一种新的高精度守恒差分格式,证明了它保持原来微分方程所具有的两个守恒关系,并对差分解作出了先验估计,在此基础上证明了差分解的存在唯一性以及差分格式的稳定性和收敛性.对差分方程组,给出了追赶迭代法求解公式,并证明了差分解的收敛性.