关于弹性波动方程解的表达式

本文对弹性波动方程的解进行了探讨,给出了初边值内题解的解析表达式。     

编码器真值表与逻辑表达式的关系探讨

通过对编码器真值表的特点分析,利用卡诺图最小项合并规则得出了直接书写逻辑表达式的具体方法.该方法通俗易懂,特别在卡诺图化简、组合逻辑电路设计中具有一定的理论参考价值。     

矩阵函数谱分解的解析表达式

该文给出矩阵函数谱分解的解析表达式，并举了一些应用方面的例子。     

KdV方程N－孤子碰撞相移的精确表达式

ＫｄＶ方程Ｎ个纯孤子的碰撞由这Ｎ个孤子碰撞后的相移来描述，而位相的移动又依赖于无反射势初值－Ｎ（Ｎ＋１）ｓｅｃｈ２ｘ的散射参量．本文首先解出Ｎ为任意正整数时的散射参量表达式，然后根据逆散射变换（ＩｎｖｅｒｓｅＳｃａｔｔｅｒｉｎｇＴｒａｎｓｆｏｒｍａｔｉｏｎ，简记ＩＳＴ）得到了Ｎ个孤子相移的精确表达式。     

静不定桁架变形协调方程的解析表达式

在传统的几何作图法的基础上,导出了静不定桁架变形协调方程的解析表达式。     

使用卡诺图化简嵌套IF语句——以4变量卡诺图和VisualBasic为例

在程序设计时,多条件的IF语句采用多层嵌套方式会使源程序代码冗长,影响源程序的可读性,如果将嵌套IF语句转换成各条件之间的逻辑运算,可以缩短源程序代码,使源程序更加简洁.多条件嵌套IF语句直接改成各条件之间的逻辑运算比较困难,卡诺图是数字逻辑电路设计中常用的逻辑函数化简工具,在VB程序设计中引入卡诺图工具,讨论使用卡诺图简化嵌套IF语句的方法,说明该方法适用范围和注意事项.     

EXE文件的口令保护及其实现

本文讨论了不修改被保护程序的代码，而对，ＥＸＥ文件进行口令保护的通用方法。利用，ＥＸＥ文件的特性，通过保护和被保护程序的恰当链接的方法，实现口令保护，并给出实现保护的源程序代码。     

有界Petri网进程表达式与活性的关系

Petri网进程是对Petri网并发语义的一个刻画,是Petri网分析和验证的有效手段.该文针对有界Petri网研究进程表达式和活性性质之间的关系,给出了基于进程表达式的有界Petri网及其同步合成网的活性判定定理.同时研究了进程表达式与虹吸、陷阱间的关系,是Petri网活性研究的一个新的尝试.     

Banach空间中集值度量广义逆的形式表达式

在Banach空间中,利用Banach空间中对偶映射及对偶算子,给出Banach空间中线性算子的集值度量广义逆的形式表达式．     

表空间数据移动的实现

Oracle数据库的数据逻辑上分属于不同表空间,经常需要以表空间为单位进行大范围的数据移动,如何有效实现表空间的移动,已成为数据库管理中面临的重要问题.本文以Oracle 11g数据库管理系统为平台,通过Rman技术阐述表空间数据移动的实现方法.     

热力学的几何表述

本文依据几何图形，根据不同的规则，分别表达了热力学的基本微分方程，麦克斯韦关系式，麦克斯韦恒等式等基本关系式及热动平衡和特性函数。     

机器数的几何表示

介绍了机器数在数轴上的几何表示方法,并用此方法分析了补码运算的溢出问题.     

木材比热的理论表达式

从木材的微观结构出发,应用物理力学的基本原理,建立木材比热的理论表达式.对27种不同树种的木材,在不同含水率、不同温度下,比热的理论值与相同条件下的实验值相比较,最大误差不超过11%,平均误差在5%以内.     

真核生物中mRNA结构与基因表达调控

真核生物在翻译水平存在着多种调控机制.主要是通过控制mRNA的稳定性,对mRNA进行有选择地翻译等所实现.近年来.关于 mRNA结构在真核生物蛋白质合成过程中的调控作用屡见报道.除m~7G帽子结构.5＇UTR的长度.AUG的位置和上下文的关系外,mRNA的高级结构也是翻译调控的一个严格的参量.mRNA的结构当然也影响翻译的延伸和终止,但更重要的是影响其起始.本文就此加以综述.     

几丁质酶基因在转基因烟草中表达效率的检测

采用氨基葡萄糖法检测转基因烟草植株叶片几丁质酶活力，结果表明几丁质酶基因在转基因植株中酶活力增强，与β—1,3-葡聚糖酶基因的协同作用下酶活性最强，几丁质酶活力的测定对外源基因表达效率的检测是可行的．     

剩余定理及一次同余式组

孙子定理在国际数学界被称为中国剩余定理，它在数论及近世代数学领域是非常主要的理论，起着基础作用，且有着广泛的应用，所解决的问题是求未知量的系数为1，模两两素素的一次同余式的解，本文在孙子定理基础上，讨论一般一次同余式组，即模为任意正整数，系数为任意整数的一次同余式组，给出了有解的条件（定理4，同余式组等价定理）及求解方法（定理5）。