F命题演算

本文在[1]的基础上,把普通命题推广到F命题,应用基本逻辑联结词,对F命题进行了逻辑演算。文中还推出了基本F公式,借以推证引出其它的为F的F函数。     

图中有边不交的3个1─因子的一个新充分条件

Ｗｉｎ于１９８２年证明了２ｎ阶Ｏｒｅ－（１）型图有边不交的３个１－因子．本文改进这个结果，得到一个新的充分条件：２ｎ（ｎ≥１０）阶２－连通Ｏｒｅ－（－２）型图Ｇ有边不交的１个Ｈａｍｉｌｔｏｎ图和１个１－因子，除非Ｇ是附图中所示的图之一．     

求解k阶线性递归方程组的一种更有效的并行算法

将求解ｋ（ｋ≥２）阶线性递归方程组问题转化为求矩阵序列部分积问题，在ＳＩＭＤ共享存储模型上提出了求解ｋ阶线性递归方程组的一种新的有效并行算法．研究表明，本算法的加速和效率比现有算法均有较大的改善．     

核桃奶的研究

核桃奶是一种保健型饮料，以核桃仁为主，添加多种保健辅料研制而成，产品营养丰富，饮后可润肠，滋补降低血压。     

枣园油田枣南孔二段测井资料数据标准化及应用

依据枣南孔二段地质特征，通过合理地选择局部标准层。利用直方图校正、均值校正和趋势分析校正技术，对工区５０多口井的测井资料进行了重新统一刻度。结果表明，正确的标准化处理，可提高多井间资料的可比性，使测井解释精度明显提高，为油藏描述、储层综合评价创造了有利的条件。     

γ─转移下（上）半连续函数及其在变分不等式问题中的应用

本文应用γ—转移下（上）半连续函数和γ—广义拟凸（凹）函数的概念，首先对ＦＫＫＭ定理进行了推广，然后利用所得结果讨论了Ｈａｕｓｄｏｒｆｆ线性拓扑空间中的变分不等式和鞍点问题，获得了一些新的结果，这些结果削弱了通常的鞍卢、和变分不等式问题中对函数的连续性和凸（凹）性要求。     

植物钙调素的分离纯化及其特性研究

本文以烟草愈伤组织和花椰菜这花序为材料，分离纯化钙调素。所得ＣａＭ的纯度用ＳＤＳ－ＰＡＧＥ鉴定；生物活性用其对牛心肌环腺苷酸磷二酯酶（ＰＤＥ）的激活作用测定（ＣａＭ）的产量用酶联免疫吸附法（ＥＬＩＳＡ）测定。并比较了上Ｐｈｎｅｙｌ－ＳｅｐｈａｒｏｓｅＣＬ－４Ｂ柱前对ＣａＭ溶液的不同处理。纯化的烟草愈伤组织和菜花ＣａＭ，具有牛脑ＣａＭ所特有的一些性质。它对牛心肌ＰＤＥ有明显激活作用，在含有Ｃａ＾２＋     

求解等式约束的二次规划问题

我们在此文中利用一类解决亚定相容线性等式与不等式组的直接方法，提出了一求解等式约束的二次规划问题的算法，讨论了算法的良好性质，实现步骤及收敛性，数值结果表明了算法的有效性。     

用金属有机溶液和浸渍法制备SiO_2和TiO_2光学薄膜

采用TiO_2和SiO_2的金属烃氧基在乙醇溶液中进行水解反应,制成胶状非晶态物质溶液.用浸渍法在玻璃基底上制备出多层TiO_2/SiO_2介质复合膜.它具有涂膜设备和工艺简单,成本低等特点.作者对溶液配制、涂膜工艺和膜的结构进行了初步研究.由实验得出膜厚d与溶液浓度C及提拉速度V的关系;给出了膜厚随其热处理温度的变化;并用扫描电镜对膜的表面结构进行了分析.     

汉-Ⅰ型智能机器人语声输出系统

本文研究了汉-Ⅰ型智能机器人的语声输出系统.该系统分为两部分:一部分由TMS5220和MCS-51为核心构成语音合成器,实现单词、词组和歌曲的合成;另一部分是一台由计算机控制的录音机,作为语声输出的辅助装置.文中还提出了歌曲合成的初步解决办法.