一阶逻辑中的扩展子句消去原则

对于一阶逻辑定理证明器，子句集化简一直是必不可少的步骤，这将有助于提高后续一阶逻辑定理证明器的证明效率. 针对子句冗余性的判断，提出了一种评估子句冗余性的原则:集合蕴涵模归结原则. 并且证明了该原则在不带等词一阶逻辑上的可靠性，根据该原则删除子句，不会影响原始子句集的不可满足性或者可满足性. 此外，依据该原则提出了两种新型的一阶逻辑预处理方法:集合归结包含消去（set resolution subsumption, SRSE）方法和集合归结不对称恒真消去（set resolution asymmetric tautology elimination, SRATE）方法，并证明了这两种子句消去方法在不带等词一阶逻辑子句集上的可靠性. 最后在理论上比较了SRSE方法和归结包含消去（sesolution subsumption elimination, RSE）方法以及SRATE方法和归结不对称恒真（sesolution asymmetric tautology elimination, RATE）方法之间的有效性，结果表明SRSE方法和SRATE方法分别比RSE方法和RATE方法更为有效.      

基于极大代数的城际高速列车晚点传播研究

长三角城际铁路网客流量大、行车密度高,初始晚点产生概率增大,列车不能及时恢复正常运行,会造成大规模的列车连带晚点。通过对晚点传播基础特性的分析,基于极大代数的离散事件动态系统晚点传播模型,以长三角城际铁路网为例,通过对晚点传播的描述和推演,评价给定的列车运行图稳定性和鲁棒性。在此基础上提出3个运行图的调整策略,通过模型计算和分析,评价策略的适用性。     

基于双代数的物体投影重建方法

基于双代数的物体投影重建方法是一种隐式重建方法。用双代数形式表示的不变量具有简洁、具体的表达式，可以由图像点坐标和基础矩阵直接求出。在投影重建过程中，必须选择射影坐标系的坐标基。本文利用双代数的方法进行物体的投影重建，并详细讨论了如何选择坐标基的问题。     

向量代数在路桥测量中的应用

利用复数的几何意义可明显、直观、方便地计算出控制点位的坐标。     

同余关系和相容关系的一些性质讨论和研究

交离散数学中的同余关系重新定义，对相关的一些代数结构特性作了研究，并用例子说明了其合理性，同时也对相容关系作了进一步的研究和讨论，得到一些定理结论。     

汽车继电器的控制原理及其检修

汽车电子控制电路中,继电器(Relay)是一个必不可少的器件,起着非常重要的作用。本文介绍了其控制原理及一些检修技巧,并例举了一些各车型之间汽车继电器的替换窍门,对汽车维修技术人员来说,这是一项非常重要的技巧。     

Properties of Quaternion Algebra over the Real Number Field and Zp

The ring of quaternion over R, denoted by R[i,j,k], is a quaternion algebra. In this paper, the roots of quadratic equation with one variable in quaternion field are investigated and it is shown that it has infinitely many roots. Then the properties of quaternion algebra over Zp are discussed, and the order of its unit group is determined. Lastly, another ring isomorphism of M2(Zp) and the quaternion algebra over Zp when p satisfies some particular conditions are presented.     

一个代数与几何证明实例

本文选用运筹学中的线性规划模型的最优性条件,运用高等代数和解析几何综合分析,得到kkt条件,来说明高等代数和解析几何是两个不可分割的整体,为我校代数与几何课程教学提供实例。     

基于极大代数的串行生产线相关运算的Matlab实现

利用Matlab实现基于极大代数的无限缓冲容量的串行生产线的建模和特性分析的相关运算.该方法为基于该运算的串行生产线理论研究提供了便捷的条件,并为极大代数的应用提供更优越的条件.通过一个算例说明如何利用这些命令函数实现串行生产线的建模和分析.     

矩阵广义逆的推广

广义逆矩阵在处理线性方程组与奇异值问题中的强大能力,使得这一理论得到广泛应用．本文将矩阵的广义逆推广到欧几里德若当代数中．首先,引入并刻画了欧几里德若当代数中元素的广义逆．然后,对该代数中一类重要的线性变换：Lyapunov变换的广义逆进行了刻画．最后,指出了欧几里德若当代数中广义逆理论的某些潜在应用．