用卡诺图化简与或表达式的技巧

逻辑式的化简一般有两种方法:代数法和卡诺图化简法。代数法需要熟记很多公式,而且又必须具备一定的运算技巧能力,因此,其应用受到一定限制。而卡诺图化简法具有直观简便的特点,我们根据这几年的教学体会,探讨了卡诺图组合的规律并总结出了一种较为简便的卡诺图化简法。1 卡诺图变量组合的规律     

基于高层先验语义的显著目标检测

为解决图像低级特征不能够均匀进行显著目标检测的问题,将高层先验语义和低级特征进行结合,提出一种新颖的基于高层先验语义的显著目标检测算法模型。利用深度卷积神经网络对输入图像以及显式显著性先验信息分别进行语义分割提取,得到显式显著性检测图;通过将图像中隐含的先验显著性特征与显著性值进行映射得到训练模型计算隐式显著性图;将显式显著性检测图和隐式显著性检测图进行自适应融合,形成均匀覆盖显著目标像素的精确显著检测图。为验证算法模型的有效性,将算法在具有挑战性的ECSSD和DUT-OMRON图像数据集进行实验仿真,实验结果表明,该算法的显著目标检测效果较其他方法有较为显著的提升。     

关于格子图的书式嵌入结果

书式嵌入问题是从ＶＬＳＩ电路设计及科学领域中提出的图论问题，本文给出几种格子图的书式嵌入结果，最后给出完全图最优嵌入页数的简单证明。     

地形图扫描数字化成图过程及相关问题探讨

详细阐述了地形图扫描数字化成图过程；由地形原图到栅格式数字图；由栅格式数字图到矢量式数字图，数据处理，编辑出图，并从侧面推出 了一种有效的数字化成图方法，分析了这一过程中的精度和误差，使这一过程及方法更具可靠性。     

参数式通用机械图库的设计

本文基于DBASEⅢ数据库语言，给出了设计参数式机械零件图和装置图图形库的原理和方法，文中，根据机械图的特点，提供了20种基本因素用于构造零件图，零件图节点坐标为零件参数的函数，用数学表达式表示，装配图则由零件图逐级装配而成。本文的方法具有编程工作量小的特点。     

一类具有最佳连通性的超图

在产生一组跳变序列的基础上，构造了一类具有ｎ个顶点、ｎ条的ｒ－均匀超图。再通过分析基二截的连通度，证明了此超图具有最佳连通性。这类超图可直接应用于设计最佳容错的多总线计算机系统。     

平面格图生成树的计数

设ｔ（ｍ,ｎ）和ｔ（ｍ,ｎ）分别是平面ｍ×ｎ格图生成树和对称生成树的数目,从而给出了ｔ（３,ｎ）和ｔ（３,ｎ）的闭公式以及ｔ（ｍ,ｎ）递推式阶的估计．     

基于图论的对"无用符号及无用产生式删除"的算法研究

通过对“无用符号及无用产生式删除”的集合论算法的等价变换,从图论角度对其进行了初步研究,并进一步解释了算法顺序性的存在原因。     

m×n平面格图圈计数的一些结果

该文讨论了 2×n平面格图实长为 2 ,实宽为k的平面格图圈的计数 ,得到一般的计数表达式f(k) =- 2 12 [(1- 2 ) k 1 (1 2 ) k 1 ]。进而讨论一般的m×n平面格图圈的计数 ,得到一些结果。     

卡诺图获取函数特殊异或形式的方法

根据西北工业大学出版社出版的《数字电子技术常见题型及解析》中的一题目 ,总结了变量之异或式及变量之异或非式在卡诺图上的排列规律 ,对于卡诺图中有 2 r- 1 个“1”值格呈对角排列时直接写出其异或形式的方法从两个角度作了解释 .     

卡诺块的邻块

本文将卡诺框看作可变正棱柱的侧面图以区分同一级轴的不同层次,并对各级维块的邻块及其结构作了分析,得到寻找邻块的规律。使得对变量的个数n≥5的逻辑式用卡诺图法化简仍直观可行。     

对核结构的补充探讨

以《核素谷式体系图》所显示出的核素自然体系为基础，对原子核结构提出了一个新的设想。认为原子核由两大部分－－“主体”与覆盖层构成，“主体”由组成该核的全部质子和部分中子组成，其余中子绕“主体”运动形成覆盖层，“主体”的组成决定了原子核的基本性质。     

基于ADAMS的纵轴式掘进机模态分析

为了分析纵轴式掘进机的振动特性,利用ProE/ADAMS联合仿真方法建立了纵轴式掘进机整机多刚体动力学模型,采用ADAMS/vibration振动模块对掘进机整机进行模态分析,在PostProcessing中绘制各阶模态坐标图、二维和三维频响图,得到了前19阶整机动态响应特性和模态振型。分析表明,各阶模态下机器不会发生共振,但第6阶模态对模型振动影响较大,主要是机身带动回转台及履带机构振动;在0.8 Hz左右悬臂和伸缩油缸振动较明显,截割头、悬臂及伸缩油缸的振动在超过4.0 Hz后趋于稳定。在5.0 Hz左右,机身、回转油缸、履带振动明显。超过5.0 Hz以后,升降油缸以及履带机构的振动变得明显。所得结果为改进纵轴式掘进机设计、改善机器工作性能提供了依据。     

简单图的最大匹配的几种矩阵求法

求一个简单图的最大匹配与完美匹配问题在经济生产中有着重要的实际意义。将求二分图的完美匹配转化为简化邻接矩阵问题来解决，将一般简单图的最大匹配问题转化为关联矩阵问题或求对偶图的邻接矩阵中阶最大主子式所在的行(列)的序号集问题，这不仅使矩阵工具在图论中得到了充分运用，而且这种方法用起来方便，又便于计算机处理。     

几类图的联结数

本文给出了若干完全图的联(nK_r+mK_s),圈、路和完全二部图分别与完全图的补图的字典式积(C_m(K_n)、L_m(K_n)和K_(a,b))以及完全r—部图(K_(n1,n2,…nr))等几类图的联结数。     

巧画卡诺图

数字电路中逻辑函数式的化简是个重要问题,对电路的分析和设计都要用到。而化简有公式法和卡诺图化简法两种,在使用学生都很喜欢的卡诺图化简法的过程中,采用直接表示法将逻辑函数式表示成卡诺图形式,能更快捷,更准确。     

金属带式无级变速传动键合图建模及仿真

无级变速传动是汽车理想的传动方式,金属带式无级变速器是目前最成熟的无级变速器,作者在详细分析金属带式无级变速汽车传动工作机理和变速性的基础上,运用键合图理论,建立了该传动系统的键合图分析模型,推导出无级变速传动的状态方程。基于这一动态模型,仿真分析了汽车在加速及阻力突变时的动态响应过程。结果表明：键合图模型能够很好地反映变速传动的动态特性,本研究结果为进一步研究无级变速传动系统提供了理论分析方法和     

四类图完美匹配的计数公式

用划分,求和,再递推的方法给出了四类图完美匹配数目的显式表达式.所给方法可以计算出许多二分图所有完美匹配的数目.