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

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

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

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

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

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

超图的路和圈

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

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

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

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

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

森林文法(Ⅰ)

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

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

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

格点动力系统中的异宿环

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

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

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

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

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

缺初值估计的最优性

当随机能观测条件成立时,在文献[1—3]中分别对离散时间和连续时间系统用极限过渡的办法得到了对状态和初值的无偏估计——缺初值估计,同时得到了估计误差的协方差阵.本文证明缺初值估计就是不用初始统计特性的线性无偏最小方差估计.熟知的Gauss估计就是对离散时间量测噪声非退化这一特殊情形的缺初值估计.     

彩色图象边缘检测的新算法——广义模糊算子法

给出了广义模糊集合的定义,并提出用一个广义模糊算子将广义模糊集合变换成普通模糊集合,从而为二维图象边缘检测的最新算法——广义模糊算子法奠定了充分的理论依据.实践表明,这是一个简单、快速且定位精度很高的算法;此外,文中还就彩色图象的边缘检测问题,提出了具体的实施步骤.     

咔唑及其衍生物的核磁共振谱

本文报道了14个咔唑衍生物的¹H和¹³C核磁共振谱及某些衍生物中¹³C的自旋-晶格弛豫时间.用NMRCAL程序对14个衍生物中咔唑环质子的核磁共振谱进行了理论计算,讨论了咔唑环对取代基R中³H及¹³C的化学位移和偶合常数的影响.计算了R为烷基时咔唑环对其中α-H,β-H和α-C,β-C及γ-C的取代效应.在R-一CH₂—R¹(R¹=C_nH_2n+1),—CH₂—?,—CH₂—CH₂—Br及—CH₂—CH=CH₂等衍生物中,找出与N直接成键的CH₂中¹J_CH值具有加和性.     

高能强子-强子碰撞多粒子末态纵向相空间的研究

对高能强子-强子碰撞多粒子末态高度各向异性的相空间(称为“纵向相空间”)进行了深入的研究。指出,相空间的各向异性除了表现在纵横两个方向上平均动量的大小悬殊之外,也应表现在这两个方向上的动力学起伏各向异性,导致相空间中的粒子分布有自仿射分形性质。给出了一种用实验检验自仿射分形和测量自仿射的特征量——Hurst指数的方法。此外,还讨论了纵向分形和横向动量之间的关联,给出了表征碰撞事件性质(硬、软、超软)的一个新特征量——单事件平均横动量Pt.将所得到的结果和实验作了比较。     

拟双线性方程的展开算法及其求解

本文定义了一类范围很广的非线性泛函型——拟双线性型,并定义了相应的拟双线性方程和证明了一些方程等价交换定理,然后利用这些定理设计了一个逐项无穷展开拟双线性方程的算法。最后证明了相应的基础定理,保证由此算法所得到的展开式即为方程的解。     

言语知觉反映论

本文对汉语辅音的知觉混淆进行了分析,并对不同语言作了对比研究.在此基础上提出了言语知觉反映论. 研究结果表明:1.对不同的语言,语音特征都是重要的知觉线索,并且物理特性差别较大的语音特征——发音方法,在言语知觉中占优势;2.不同的语言所具有的语音特征系统是不同的;3.语言的社会特性——语言结构对语音的主观识别有着明显的影响.言语的知觉过程是以语音刺激的自然特性为基础,结合语音的社会特性进行的统一过程。 文中还给出了汉语辅音的主要特征及其在不同传递条件下传递信息的能力.通过对比研究看出,汉语音节结构有助于提高音节清晰度.     

解非对称线性方程组的不完全广义最小残量法

研究了求解大规模非对称线性方程组常用的广义最小残量法 (GMRES)的截断版本———不完全广义最小残量法 (IGMRES)的收敛性 .该方法基于Krylov向量的不完全正交化 ,从而在Krylov子空间上求出一个近似的或拟最小残量解 .理论结果和数值实验证明 ,当由不完全正交化生成的Krylov子空间的基向量强线性无关时 ,IGMRES完全可以同GMRES相比并经常更有效 .同时 ,建立了不完全正交化方法 (IOM)和IGMRES的残量范数之间的关系式 .     

纳米ZrO2固体低温内耗谱的研究

本文系统研究了不同颗粒度的纳米ZrO₂块状固体从室温至-200℃的内耗和模量.发现三个内耗峰(P₁,P₂和P₃——对应升温测量或P''₁,P''₂和P''₃——对应降温测量),通过这些内耗峰行为的研究,可以看出,P₃或P''₃峰可以归因于晶界的弛豫,即它是由于纳米ZrO₂固体中晶界的滑动产生的.P₂(或P''₂)与纳米ZrO₂在低温下的相变有关.随着退火温度的升高,能量耗散迅速减小,模量明显增大.     

超网络的主子超图分析法

本文引入了超网络、混合超图及其主子超图的概念,提出了分析线性有源超网络的一种新的拓扑方法——主子超图法的原理和算法。它产生的符号网络函数表达式很紧凑,而且不含对消项。它的计算时间复杂度为O(m³eⁿh+m₁u_GΣn₁),比文献[1,2]的降低两三个数量级。本法最适合于要求符号网络函数表达式按所有受控源互导纳集项的场合。