一种基于三值电路的FT-TSC-FS二值数字系统

本文提出构成FT(容错)—TSC(完全白校验)—FS(失效保险)数字系统的一种新方案。这种系统是二值的,但由一类特殊的三值电路——三中取二值电路构成。电路中的所有单故障可以分为三类,分别称为掩蔽型故障、自校验型故障及安全型故障。对掩蔽型故障,本系统是容错的;对自校验型故障,本系统是完全自校验的;而对安全型故障,本系统是失效保险的。构成本系统的技术可称之为逻辑值冗余技术。作者认为这种技术将是达到可靠计算的一种有希望的途径。     

非线性电路和系统的故障诊断——一种新理论和方法

本文提出了关于非线性电路和系统的故障诊断的一种新理论——Volterra泛函级数理论,并以此为基础,发展了非线性电路和系统故障诊断的故障方程递归法和故障证明的决策法。它们是两种SAT方法,不但大大减小了仿真的工作量,而且适于线性与非线性系统、硬故障和软故障、参数识别和故障隔离。同时它们又是完全解析的频域中的符号法,因而适于任意动态非线性系统。     

Beale-Powell重开始算法的收敛性

用例子说明求解大规模无约束优化问题的一种有效算法———Beale Powell重开始算法不一定收敛 ;但经过适当修正 ,可以获得它在一定条件下的收敛性.     

超图的路和圈

超图是离散数学中最一般最复杂的结构 .无圈超图已被证明在数据库设计中非常有用 .从关系数据的结构出发 ,建立了关于超图的路、连通性和圈的新的公理系统 .该系统与特殊情形———图是符合的 .引入了虚圈和实圈的概念 ,这是一对相关联的概念 .虚圈在特殊情形———图中不存在 ,退化掉了 .定义了超图圈的相关性和独立性 ,给出了超图中最大独立实圈数目的计数公式 ,对特殊情形———图 ,这个公式就是Euler公式 .     

一种分析非线性电路的新方法——频域延拓交调波平衡法

本文系统地提出了一种分析非线性电路的新方法——频域延拓交调波平衡法,介绍了广义复交调矩阵、广义复矩阵卷积和频域延拓等新概念,给出了两个具体电路的分析和测量结果。     

应用Lagrange乘子法推导一般力学中的广义变分原理 *

应用对合变换建立了两类变量的经典变分原理———Hamilton原理 .灵活应用Lagrange乘子法 ,建立了完整系统和非完整系统的两类变量的广义变分原理和带有附加条件的广义变分原理 .推导了各类变分原理的驻值条件.     

森林文法(Ⅰ)

本文提出了一种高维文法——森林文法,森林文法中产生式的左部和右部都是树结构的并置,本文研究了森林文法的分类,特别研究了它的子类——上下文有关森林文法,并定义了上下文有关森林文法的一个子类——弱优先森林文法。     

淮北第四纪哺乳动物化石和一个有关的原则

本文对淮北第四纪哺乳动物化石进行了综合研究.文中首先描述了几个新种,继而对地层和动物群进行了综合分析,提出了一个新的地层名称,一个过渡型生物区和一个宿县动物群(古菱齿象——披毛犀动物群),并进行了论证. 最后,文中总结出一个原则——性状接引,它的部分内容受分子生物学的启示和运用,指出了“新征先驱”和“祖征孑遗”之间的关系.     

格点动力系统中的异宿环

讨论格点动力系统中空间混沌出现的一个判据——异宿环.证明了若格点动力系统有渐近稳定的异宿环,则系统有渐近稳定的同宿点,从而系统有空间混沌.     

串行运算向量化的下标追踪法

本文为电子计算机向量运算识别器研制了一种识别与构造算法,这种算法自成体系,被命名为“下标追踪法”。跟坐标方法和时性关系矩阵方法相比较,它不仅增强了对于赋值语句循环的识别能力,而且把识别范围扩张到IF与GOTO语句,正在诸如151-3/4大型序列机一类的系统上加以实施。 文中介绍下标追踪法的基本思想、基本理论和基本方法,主要提出构造时序层次的公理系统——繁衍规则,证明了年长顺序定理与判别准则。