基础解系的一种算法

文章用矩阵理论得出几个新结论,从而应用新结论得出基础解系的一种算法.     

Atomic Electronic Contract Protocol Based on Convertible Signature

A new class of atomicity, namely contract atomicity is presented. A new technical strategy based on convertible signature and two-phase commitment is proposed for implementing atomicity of electronic contract protocol. A new atomic contract signing protocol is given out by using EIGamal like convertible undeniable signature and commitment ofconversion key, and another new atomic contract signing protocol is brought forward by using RSA based convertible undeniable signature scheme and commitment of conversion key. These two new protocols are proved to be of atomicity, fairness, privacy, non repudiation.     

全站仪线路纵、横断面测量

运用全站仪放样及对边测量功能，在已知控制点上设站，方便、快捷、精确的进行线路的纵、横断面测量。     

系统结构模型分部的底层要素法

本文从系统的底层要素出发，提出并证明了底层要素存在性、底层要素后果集并集的完全性以及它们在同一部分的充分必要条件，由此导出了系统结构模型分部的算法，实际应用进一步说明了这一方法的有效性。     

杨庄煤矿塌陷湖水资源勘查计算

通过对塌陷湖的实地勘查,运用水均衡原理,计算出该湖可供开采的水资源,认为该塌陷湖可作为淮北市供水后备水源地之一。     

芳醛电合成的研究—Ⅰ对甲苯甲醛电合成方法的改进

确定了用Ｐｂ（＋）－Ｐｂ（－）电极对使Ｍｎ（Ⅱ）电氧化成Ｍｎ（Ⅲ）的优选条件，并测定了在四丁基溴化铵催化下选用Ｍｎ（Ⅲ）氧化对二甲苯制对甲苯甲醛反应的动力学参数。     

RC线的角法

若ｅ（ｔ）是一列阵，将方程写为矩阵形式，可求解，因Ｍ是厄米的，将其对角化，通过本征方程，求其本征值。     

广义线性系统的输出反馈和极点配置

研究了广义线性系统的输出反馈和极点配置问题。引入“正常化”概念,从而推导出类似于正常线性系统有关输出反馈和极点配置问题的一些重要结论。     

离散大系统的多级控制

本文使用反馈控制和广义逆矩阵研究离散大系统的多级控制问题,即在局部控制器上加所谓“校正”控制器,达到中性关联作用,使整个系统的性能指标为极小,且得到较小的性能指标偏差的上界。