关于数理逻辑在解决数学命题中的探讨

在解决、论证数学命题过程中 ,准确使用逻辑思维方法 ,可使具体解题步骤严谨周密 ,条理清晰 ,形成完整的推理体系     

高效液相色谱法测定制剂中生长抑素的含量

介绍了一种用高效液相色谱法测定制剂中生长抑素含量的新方法,该法测定准确,操作简便,重现性好.     

采用变频调速的恒压供水系统

阐述了恒压供水的基本概念 ,介绍了一种采用变频调速技术实现恒压供水的系统组成、工作原理及设计和系统调试方法 .理论分析表明 ,该系统能显著提高供水质量 ,节能效果明显 .     

在胎儿发育过程中人MK基因的组织差异性表达

MK是肝素结合因子家族中的一个成员，用RT－PCR研究了第11－16周胎儿龄的胎儿的神经组织与非神经组织中MK基因的组织差异性表达，随着胎儿龄的增加，在神经组织中，MK呈现出规律性的从无互有和从低表达到高表达的趋势，提示它可能在胎儿脑的发育中起着重要的作用，在其他非神经组织中，尽管各组织中MK的表达呈现不同的规律，但看起来总的趋势是趋向活跃。     

大惯性转台准确定位的自调整控制方法

对于大惯性转台的控制 ,提出了自调整控制算法 ,利用历史信息实现转台减速点的智能调整 ,给出了减速点计算公式 ,解决了大惯性转台快速运行与准确定位的矛盾 .利用Matlab对系统进行了建模仿真研究 ,得到了满意效果 ,证明了自调整算法的有效性 .     

书评定义研究

文章比较了国内外文献中有关书评的定义 ,指出书评应是一种与图书相关的评论信息 ,信息特性、图书相关性、评论性构成了书评的基本特征。     

高阶相关调制分类原理、判决门限与仿真研究

信号的自相关函数由傅里叶变换与其功率谱相联系。Beidas和Weber揭示了自相关函数与似然函数的关系 ,并建立了高阶相关调制分类方法。推导了用信号高阶相关代替似然比进行MFSK调制分类的基本原理 ,推导了截断似然比检测性能分析的基本公式 ,研究了高阶相关调制分类门限设置方法 ,进行了MFSK调制分类计算机仿真试验。结果表明该方法是可行的 ,并可望用于其它问题中。     

在不同维数下用麦克斯韦分布律求平均速率、方均根速率和最概然速率

用麦克斯韦分布律讨论了气体分子分别作三维、二维和一维运动时的速率分布函数，并求出了这三种情况下气体分子的平均速率、方均根速率和最概然速率。     

用CryptoAPI生成密钥的方法

加密技术是电子商务信息安全的重要手段，而密钥生成算法是加密能否安全的关键技术。本文通过程序例子详细介绍了用微软的加密应用程序接口(CryptoAPI)来生成和管理密钥的方法。     

论网络时代高校图书馆的思想道德教育

网络对大学生的思想道德修养具有重要而深刻的影响。高校图书馆应充分认识到加强大学生思想道德教育的重要意义和自己在其中应负的责任，采取积极有效的措施，培养和提高大学生的思想道德素质。