键合多项式p-不可约的一些结果

在生物化学研究领域，对键舍多项式p-不可约性的判定是一个重要问题．已有结果主要考虑四次或四次以下多项式．应用实代数几何和多项式稳定性等理论，借助计算机代数系统Maple9．5，对键舍多项式p-不可约问题进行了进一步的研究，给出了五次键合多项式p-不可约的二组充分条件．同时，从正分解角度重新考虑了四次键合多项式，给出了四次键舍多项式一种正分解的充要条件．所有条件都是用多项式的系数构成的不等式组显式表示的．     

软土地基圆形板沉降的非线性有限元分析

采用Drucker弹塑性模型,用SAP91非线性有限元程序计算、分析基础沉降与基础几何尺寸、基础刚度、地基土层分布的关系,得出相关的结论.     

高频地波雷达OSMAR2000同步控制器

根据高频地波雷达（OSMAR2000）的时序要求,给出了利用可编程序间隔定时器82C54产生各种控制信号和同步信号的方法。同步控制器采用可编程器件,所有信号的时间关系均由软件设定,以计数方式产生,不但电路简单,调试修改方便,更重要的是使各信号间的时序关系准确、稳定、可靠。减少了雷达系统的相位误差。     

土层对油垢厚度测量影响的实验与模拟探讨

本文利用γ射线散射法研究了土层厚度对测量原油管道内油垢厚度的影响.实验装置由60Coγ射线的准直束、NaI(Tl)探测器和BH1324多道谱仪组成.同时结合蒙特卡洛(MCNP)程序模拟与之对比.发现放射源与探测器的合理布局以及适当的探测距离对提高线性度有很大关系.本实验测得γ射线束距离探测器中心14.5cm,准直器出口到铁板5cm时有最佳线性相关系数平方值0.999,最佳测量精度0.169mm.     

李欣并代数的性质及其应用

通过讨论李欣并代数X=X1U1X2与它的两个子代数X1、X2之间的关系,其中X1是BCK-代数,X2是BCI-代数,得到了李欣并代数X分别是交换、正关联、关联的BCI-代数的充要条件.从而确定了所有阶n≤5的真BCI-代数按交换性、正关联和关联性的分类.     

精确的堆内存使用量上界分析

基于符号执行框架分析了程序堆内存使用量的符号化上界.首先扩展了经典符号执行技术中的内存模型,针对堆内存分配与释放操作进行建模,维护堆内存的使用量信息,然后针对＂平板循环＂、带分支循环等常见循环结构给出了特殊处理策略,并采用程序切片技术缩减程序分析的规模.最后基于开源符号执行工具KLEE设计实现了一个堆内存使用量上界分析原型工具.实验结果证明,该工具能够针对很多常见程序给出精确可靠的堆内存使用量上界.     

S-Index:一种面向大规模RDF数据的高效率语义索引方案

大规模RDF数据的高效查询和推理是语义Web研究中关键问题.通过研究RDFS推理规则,结合ORDPATH编码机制,提出了一种新的大规模RDF数据的索引构建方案——S-Index.S-Index的一个显著特点是,通过对RDF数据的查询即可得到RDFS蕴含知识,实现了离线推理.对RDF数据中的ABox和TBox进行区分,通过ORDPATH编码,分别构建TBox中的Class和Property子父关系,以及domain和range关系的语义信息.将构建的语义编码信息持久化到RDF三元组索引中,使得三元组索引承载有语义信息,也即构成语义索引并最终持久化到底层数据库.设计并进行了一系列实验,对比了语义索引与一般索引在存储和查询时的性能.实验结果表明,S-Index语义索引在没有给不支持语义的传统RDF索引增加显著额外负担和开销的情况下,获得了在查询时对推理的有效支持.     

逻辑函数的布尔除/符合展开在固定极性下化简的表格方法

阐述了用逻辑函数的布尔除/符合展开的3种表示形式:代数表示,图形表示和表格表示,讨论了变量极性改变与0值布尔除项表变化的关系.在此基础上提出了逻辑函数的布尔除/符合展开在固定极性下化简的两种表格方法:串行表格方法和串并行表格方法,指出了它们各自的优缺点,并以实例展示具体化简程序.     

用Java实现网上结构图实验仿真

基于线性系统仿真的连接矩阵方法，用Java语言开发面向结构图的实验仿真程序，以Applet小应用程序的形式插入网页中运行，实现了信号与系统网上实验教学中的结构图实验仿真。经试用，程序在浏览器中运行正常，可以完成一般线性系统仿真，与以MATLAB，LABView等程序开发的实验仿真程序相比，该程序运行环境简单，几乎所有常用的Web浏览器都支持Java运行，不需另行安装相应组件。对于线性系统结构图，实现了所见即所得的图形化编程环境，具有较好的人机交互性。     

关于体上矩阵的对合函数

讨论体上矩阵的对舍函数．给出对合函数的一种表征．并利用给出的对舍函数的表征,刻画体上矩阵的几类广义逆．     

多元代数方程组解的重数的计算

本文利用多项式理想对偶基的理论给出了当代数方程组只有孤立解(即零维理想的零点)时解的重数的一个算法,同时得到了零维理想有重零点的几个判定准则.     

三棱镜折射率测量结果的不确定度评定

根据不确定度的有关概念及具体实验教学模型 ,提出了测量不确定度的简化模式. 结合分光计 测三棱镜折射率的例子 ,进行了具体分析 ,给出了其测量不确定度的最终评定.     

2-氨基嘧啶标准摩尔生成焓的测定

采用量热法,用RBC Ⅱ型精密转动弹完全燃烧2 氨基嘧啶(AP),测定其恒容燃烧热,并根据热化学方程式和盖斯定律计算其标准摩尔燃烧焓ΔcH○———m(AP,s)为(-2334.51±1.62)kJ·mol-1,标准摩尔生成焓ΔfH○———m(AP,s)为(-45.90±1.70)kJ·mol-1,为进一步研究嘧啶类化合物的性质提供了理论基础.     

再论Γ-环由元素性质确定的根

本文在 Γ-环中继续研究由元素性质确定的根性质 .首先证明了文献 [1]中主要定理的逆定理 , 从而使满足某些条件的元素所具有的性质 P与根性质 R可互相确定 .进而讨论确定的唯一性问题.利用 这些结果可得出 Γ-环的 Baer根是由元素的 m-幂零性所确定的根.     

图书质量评估定量分析探讨

本文应用数量化理论———成对比较、九级分制和相关分析法,探讨了图书质量评估的问题, 为今后的 图书质量评估实践提供了一些理论依据     

Banach空间的凸性模与光滑模

定义了TC凸性模，TC光滑模，刻划了一致凸性与一致光滑性，并研究了取值于Banach空间的特殊鞅不等式与一致凸性，一致光滑性的关系。     

声屏障衍射声场的近似计算

本文利用Huygens-Fresnel原理和Kirchoff近似理论,研究了声波通过屏障后的衍射声场,导出计算衍射声场的声压和声屏障插入损失的近似公式。计算表明,理论值和实验值基本一致。本文所提供的公式可以作为在噪声控制技术中预测声屏障衍射声场的一种方法。     

一类0.1矩阵变换图的边连通性

Let U (R, S) denote the class of all m×n matrices of 0's and 1's havingrow sum vector R and column sum vector S. The interchange graph G (R,S)is the graph where the vertices are the matrices in U (R, S) and where twomatrices are joined by an edge provided they differ by an interchange. Brualdishowed that the connectivity of G(R, S) is at least two. In the present paperwe prove that the edge connectivity of G(R, S) is equal to the minimum degreeof vertices of G(R, S)     

一类中立型拟线性抛物方程组解的振动性

针对垂直相加法无法讨论泛函偏微分方程组的强迫振动性的不足，直接利用振动的定义、Green公式以及齐次Neumann边界条件把中立型抛物微分方程组的振动问题转化为泛函微分不等式不存存最终正解的问题，然后利用最终正解的定义及上下极限得到了在齐次Neumann边界条件下判别其所有解振动或全振动的充分条件。     

几类循环矩阵的对数矩阵及其计算

循环矩阵的对数矩阵的结构,之后对这些对数矩阵进行了分类,并设计了计算这几种循环矩阵对数矩阵的算法,这些算法与基于Schur分解的反scaling and squaring算法相比,在计算效率上有较大提高.