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

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

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

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

一个基于电路结构分析的测试产生系统——SABATPG

本文首次介绍一个基于电路结构分析的测试产生系统——SABATPG.该系统从局部产生测试和后效作用两个新概念出发,以FAN算法为基础,采用局部蕴涵利用已知不可测故障加速测试产生和故障信号的共同敏化三项新技术.对ISCAS’8510个组合电路的测试产生结果表明,SABATPG与基于FAN算法的测试产生系统相比,测试产生效率提高近20％.     

时间分辨交叉相位调制方法研究非线性色散介质中的飞秒脉冲的自频移

提出了一种时间延迟交叉相位调制(XPM),并利用包含非线性色散效应的非线性Schrodinger方程,以共轭聚合物PPQ为基础分析了XPM光谱随着时间延迟的动态变化,不同的时间延迟导致了脉冲正常自频移——红移和反常自频移——蓝移的同时存在,从理论上进行了较为合理的解释。     

双非对称双自旋航天器的姿态运动

本文将渐近法、平均法与文献[1—3]的方法相结合,讨论了双非对称双自旋航天器的姿态运动稳定性,并研究消旋过程中转子自转角速度接近相对转动角速度时航天器所产生的非线性姿态运动响应——陷阱状态,指出该状态是由于双非对称耦合所引起的.     

地极和日长的29.8年波动与内核振动

本文讨论了地极和日长的29.8年波动及其最可能的成因——内核振动。求出了它们的振动参数,并说明了内核振动对地球质心、极移、台站的质心距、重力和纬度变化的影响。     

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

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

超图的路和圈

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

基于传输函数理论的四值CMOS电路

本文提出了传输函数理论。在这一理论中,四值变量与逻辑变量被区分,同时,三种新运算——阈比较运算、传输运算及并运算被引入。由于这些运算能描写MOS晶体管的工作原理,因此用它们及逻辑运算表示的传输函数能直接指导四值CMOS电路的实现。文中提出了若干基本传输函数的CMOS电路设计,它们经计算机模拟被证明具有正确的逻辑功能与理想的DC传输特性。此外,本文还介绍了四值CMOS传输网络的综合技术。     

森林文法(Ⅰ)

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

液晶四波混频特性的探讨

本文提出并分析了液晶简并与二重简并四波混频的两种物理机制——来源于分子重新取向的非线性极化以及热致位相光栅。提出了区分两种机制的偏振鉴别法,获得了单纯来源于分子重新取向机制的简并与二重简并四波混频讯号。     

一类非线性反应-扩散方程组的奇摄动

本文研究了更广泛的一类非线性反应-扩散方程组:其中的初始——边值问题。引入了多重尺度变量,利用比较定理得到了任意次近似精度的一致有效的渐近解。     

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

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

可回溯点跟踪包含配选法印刷汉字识别

在汉字识别的包含配选法、双重包含配选法以及点跟踪包含配选法的基础上,提出了一种新的汉字识别的方法——可回溯点跟踪包含配选法。本文论述了该方法的基本原理及用此方法,在C1000光导摄象机与HP-9000小型机所组成的图象处理系统上,对4种印刷汉字的识别实验,其结果表明这种识别方法设计合理,具有较强的适应能力。     

应力途径、岩石的强度和体积膨胀

在以下三种应力途径实验中,研究了济南辉长岩和房山花岗岩的强度和体积膨胀:A型——增加最大主应力σ₁使岩石破坏;B型—从某一应力状态开始,保持σ₁不变而减小围压,直至岩石破坏;C型——保持σ₁不变增加围压,这时岩石不发生破坏,结果表明,岩石强度与体积膨胀及应力途径有关,在一定条件下,B型实验岩石强度较A型为低,与A型实验中岩石的体积膨胀相比较,B型实验中岩石处于一种过密状态,而在C型实验中处于一种超膨胀状态。     

白云鄂博矿床和石碌矿床

我国两个著名矿床——白云鄂博矿床和石碌矿床,尽管在地理位置、成矿时代,特别在物质成分上有很大差别.但通过对它们的沉积岩性组合、分布特征、古地理气候条件、后期地质作用的迭加及矿床形成环境与成因等方面的对比,作者认为这两个矿床基本上属于一种类型.可与国外苏必利尔型矿床在某些方面进行对比,但存在着重要差别.     

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

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

任意旋成面叶栅杂交型气动命题的变分原理与广义变分原理

本文建立了任意旋成面叶栅一种杂交型命题——在叶型周线的某段上给定叶型形状,而在其余段上则给定流速分布——的两族气动变分原理与广义变分原理,从而使正命题与反命题的处理完全统一起来,并加以推广.文中充分发挥了“自然边界条件”和“人工分界面”的有力作用,以简化各种复杂边界条件的处理,并提出了一个新的短函数.本文为在叶轮机叶栅的气动问题中引进和推广有限元法、变分-差分解法以及变分直接解法,提供一个更广泛、更完密的理论基础.     

分子轨道的图形理论——邻接矩阵行列式的计算和分子稳定性

本文在文献[1—3]的基础上,对本征多项式的常数项——邻接矩阵行列式作了处理,提出了一种简便可行的图形收缩计算法.结合各类共轭分子,包括复杂的点阵稠环体系等的计算,给出了一些同系列α_N的封闭公式,并对共轭分子的稳定性作了讨论.     

数值求解对流占优问题的分步预估校正有限差分——拟谱杂交方法

提出了数值求解对流占优问题的一种无条件L²稳定和误差L²指数地趋于零的分步预估校正有限差分——拟谱杂交方法;对非线性的对流占优问题,在数学上严格证明了这种格式的稳定性和收敛性,给出了解的误差估计式,并通过数值实验考核了方法的优越性.