Jacobi矩阵的广义特征值反问题

在综合分析矩阵论中的某些反问题和 Ｊａｃｏｂｉ矩阵特征值反问题的基础上，提出Ｊａｃｏｂｉ矩阵的广义特征值反问题解的存在性定理，并给予证明。     

基于自然语言理解的书本知识获取系统TKAS

利理自然语言理解技术，研究了由书本获取知识的方法，并研制了－个面向领域 的书本知识获取的实验系统ＴＫＡＳ（Ｔｅｘｔ Ｋｎｏｗｌｅｄｇｅ Ａｃｑｕｉｓｉｔｉｏｎ Ｓｙｓｔｅｍ）． ＴＫＡＳ在给定领域中，通过基于自然语言理解来达到有效的正文知识的获取，并用命 题语义网络作为其内部知识表示形式。该系统可作为智能系统开发过程中知识获取的 辅助工具。     

F命题演算

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

鲨鱼肠道蛋白酶的分离纯化及性质的初步研究

以鲨鱼肠为材料，经柠檬酸缓冲液抽提，硫酸铵分级分离，ＣＭ－纤维素离子交换柱层析纯化，获得蛋白酶（Ⅰ）和蛋白酶（Ⅱ），研究了蛋白酶Ⅱ性质，酶经聚丙烯酰胺凝胶电泳鉴定为单一蛋白纯，酶的紫外吸收特征峰在２７５ｎｍ处，测得酶的分子量为１８ｋｄ，在ＰＨ８．０、３７℃下酶催化酪蛋白水解的Ｋｍ值为６．９×１０＾－５ｍｏｌ／Ｌ。酶水解酪蛋白的最活温度为５２℃，活化能为７６．５３ｋＪ／ｍｏｌ。几种金属离子对酶活力的     

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

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

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

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

碳原子数估算有机物的热力学函数

以文献报道的部分正烷烃、正烯烃、正炔烃、正烷基苯、正烷硫醇２９８Ｋ下气态化合物标准生成焓、标准生成自由能、标准熵的数据为基础，通过计算机进行回归分析，得到了这些有机物的标准生成焓，标准生成自由能，标准熵均与碳原子数（ｎ）呈良好的线性关系．即据这些关系式分别计算了一系列直链有机物的，其结果与文献值相吻合．     

核桃奶的研究

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

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

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