Holmes型Duffing方程的同宿轨道分支出的极限环

用Melnikov函数方法对Holmes型Duffing方程d~2x/dt~1+δ(x~2+ax+c)dx/dt-ax+βx~3=0和更一般的形式d~2x/dt~2+δf(x)dx/dt-ax+βx~3=0进行了分析,得到了由同宿轨道分支出稳定不稳定极限环的条件.     

用坐标的现点看卡诺图

卡诺图(K-Map)是用来描述一个逻辑函数并且可以化简一个逻辑函数的特殊图形.在用卡诺图表示逻辑函数时,有时给出的逻辑函数是与或表达式,我们必须先把逻辑函数化简成最小项表达式形式,然后再填入卡诺图,而且需牢记变量卡诺图的顺序表示,比较繁锁,且易出错.在利用卡诺图法化简时也往往不能快速准确地写出化简后的逻辑函数表达式,利用坐标的观点来看卡诺图,这些问题可以迎刃而解.     

基于灰色理论对桥梁荷载试验的控制

目的为了避免在桥梁检测中由于加载过大造成桥梁结构的损伤,研究基于函数cos(x~2)变换的灰色预测模型,提供一种预测桥梁在加载过程中产生内力的方法,并以此作为控制加载的一个途径.方法以斜拉桥混凝土箱梁的最大负弯矩工况的分级加载为例,采用基于函数cos(x~2)变换的灰色模型对该工况的箱梁内力进行预测.加载试验分为5级加载,整理前4级加载时的混凝土箱梁产生的内力值数据,再采用基于函数cos(x~2)变换的灰色模型对其分析,并对第5级加载时的混凝土箱梁产生的内力值进行预测,将预测值与实际值进行对比,验证其预测精度.结果预测的每一级的数值的预测精度都在97%以上,达到预测精度的要求.结论采用基于函数cos(x~2)变换的灰色模型对加载时的混凝土箱梁内力值的预测比较准确;基于函数cos(x~2)变换的灰色模型预测桥梁加载时的内力值的方法可行.     

幂函数的分类

幂函数是形如y=ax~n的初等函数,它的性质取决于n,当n的值不同时,幂函数的性质和图象就完全不同.因此这必然给教学带来一定的困难,学生往往只是单个地了解这类函数里几个表达式(如y=x,y=x~2,y=x~3,y=x~1)下的性质和图象,总感到这类函数缺乏联系,无规律可循.     

一个参量化复合核Hilbert型积分不等式

通过引入一些特殊函数来刻画常数因子,获得一个核为ln(1+e~(-αx~(λ_1)y~(λ_2)))的HardyHilbert型积分不等式,考虑了它的等价式,并证明了这对等价不等式的常数因子是最佳的.     

用坐标的观点看卡诺图

卡诺图(K-Map)是用来描述一个逻辑函数并且可以化简一个逻辑函数的特殊图形。在用卡诺图表示逻辑函数时,有时给出的逻辑函数是与或表达式,我们必须先把逻辑函数化简成最小项表达式形式,然后再填入卡诺图,而且需牢记变量卡诺图的顺序表示,比较繁锁,且易出错。在利用卡诺图法化简时也往往不能快速准确地写出化简后的逻辑函数表达式,利用坐标的观点来看卡诺图,这些问题可以迎刃而解。     

二次曲面方程的化简

设在空间中的一个直角笛卡尔坐标系(以下均简称坐标系)oxyz下给定一个二次方程为 a_(11)x~2+2a_(12)xy+a_(22)y~2+2a_(13)xz+2a_(23)yz+a_(33)z~2+2a_(41)x+2a_(42)y+2a_(43)z+a_(44)=0。 本文将阐明,存在者一个由方程(1)中诸系数表出的(自由)向量b,利用它,不仅可以使得一般二次方程的化简程序“向量化”,而且能够给出在化简过程中出现的,有关点的位置和数量的内在几何意义。此外,本文给出在n=3这一场合的二次型之惯性律的一个新的证明。     

卡诺图法化简六变量逻辑函数

探讨了用卡诺图化简六变量的逻辑函数的方法及相邻项的正确判断。指出了用卡诺图法化简多变量逻辑函数与少变量逻辑函数之间的差异,并用该方法对六变量逻辑函数进行了实例化简分析.     

计算机辅助卡诺图化简逻辑函数的研究

卡诺图是数字电路中化简逻辑函数的一种常用的数学工具,但在运用过程中十分繁琐且易出错.用计算机辅助卡诺图的方法化简逻辑函数,将克服手工算法的缺点,使化简更方便有效,并以此为基础逐步实现更深层次的函数化简.     

全加器设计中的卡诺图化简法

卡诺图化简法是简化四变量及其以下逻辑函数的主要手段和工具,它思路清楚,目的明确;但由于卡诺图化简过程要求繁复,规则运用灵活多样,因此在具体卡诺图化简问题中须全面深入地考虑和探讨。该文就高等教育出版社《电子技术基础》(数字部分,康华光主编)中全加器的卡诺图化简过程为例,试通过解读该例,阐述其中卡诺图化简法对逻辑函数化简,以及逻辑电路图设计的作用和规范要求。     

二阶常系数线性双曲型偏微分方程组的对顶点定理及其应用

本文给出含两个自变数两个未知函数的常系数二阶线性双曲型方程组A~2/x~2(u v) 2B~2xy(u v) C~2/y~2(u v)=0 的关于特征线四边形的两个对顶点定理,及应用它们证明在任何闭若当曲线所围成的域上提Dirichlet问题,Neumann问题一般是不可能的。从而方程组的双曲型性质得到较深刻的刻划.     

与—或/异或型逻辑函数的化简

本文提出求找逻辑函数系中独立函数的新方法,揭示了它的实质;同时利用“异或”的特殊性质,提出了“与-或/异或”型逻辑函数的化简方法。为数字系统中该类型逻辑函数的化简提供了理论依据及完整方法,同时也为模块的逻辑设计提供新的途径。     

评介逻辑函数化简新方法——“取同弃异法”

评介了张继桓提出的“逻辑函数化简新方法——取同弃异法”,认为该法具有四个特点:1.以“1”和“0”表示逻辑函数的两种状态——直观性强;2.化简中不受变元数的限制——行列表式;3.揭示了逻辑函数的化简规律——取同去异;4.提出了能迅速得到化简结果的计算方法——判别公式。     

可测系数椭圆型方程Green函数唯一性的一个简单证明

本文给出椭圆微分算子L=(-/x~α)((α~(αβ)(x))(/x~β))的(广义)Green函数唯一性的一个简单证明     

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

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

无反变量输入的逻辑函数的化简

无反变量输入的逻辑函数的化简中,若用非门将输入变量取反来提供反变量往往不能使逻辑函数成为最简形式.可用代数法、并项法和卡诺图法对其进行化简.     

数字电子技术中卡诺图化简方法与技巧探讨

在数字电子技术中,卡诺图化简逻辑函数是分析与设计逻辑电路时所必须掌握的重要内容.本文通过实例重点探讨了卡诺图化简逻辑函数的常用方法与实用技巧.     

数论函数方程σ(x~3)=y~2一类特殊解的存在性

设σ(n)是正整数n的所有正因子之和,讨论数论函数方程σ(x~3)=y~2一类特殊解的存在性,证明了方程σ(x~3)=y~2不存在满足x=5p~r的正整数解(x,y),其中p为不等于5的奇素数,r为大于1的正整数.     

互斥多变量逻辑函数的化简方法

基于变量互斥的约束关系,以二进制编码器为例讨论了互斥多变量逻辑函数最小化及简化电路结构的公式化简问题.目的是探索特殊逻辑函数的化简方法.结论是所述方法化简过程简单、方便快捷,能提高数字逻辑电路的设计效率.     

关于a(x~2 y~2) bz~2表数相同的问题

熟知,两个等价的型(即可经行列式为±1之整系数齐次线性变换互变的型)必表数相同。然而其逆不真.1938年,证明,在所有实二元恒正二次型中,除常数因子外,有且仅有一对表数相同但互不等价的型x~2 xy y~2与x~2 3y~2.1963年,给出了三组表数相同但行列式互异(从而互不等价)的三元恒正型.