数字电路测试生成的二元判定图方法

测试是保证电路系统可靠性的重要手段,已成为集成电路设计与生产的一个组成部分,研究了基于二元判定图的数字电路测试生成方法,对布尔函数的表示和操作的二元判定图进行研究,详细讨论了其中的ite算符;给出了基于二元判定图的电路测试生成方法的实现步骤,并用实例进行了说明。     

关于积分中值定理的一个注记

给出了积分中值定理的一个注记,证明了中值点的存在性与覆盖中值点的区间的存在性是相互对应的.     

Web页面藏文版式规范解决方案

浏览器的藏文字体显示的版式规范是建立在Microsoft提供的IE基础之上,利用IE的ActiveX Control扩展特性以及Windows操作系统对True Type字体的底层基础设施,在应用层上实现了浏览器中藏文字体信息的显示时的藏文版式规范.     

巷修锚杆支护的应用与探索

返修巷道时,应根据松动圈的发展特点,科学地、客观地设计支护方案.本文结合我矿三条巷道返修后的变形比较,从而证实了锚杆支护在我矿巷修中的成功应用.     

大跨度空间网格结构多维多点随机地震反应分析

对大跨度空间网格结构进行三向正交地震动的多点激励下的随机地震反应分析．建立了多维多点随 机地震动激励下的地震反应分析方法,并依据建筑抗震设计规范确定了平稳随机地震动功率谱密度的模型 参数．数值仿真分析了某柱距80 m的大跨度平板网架分别在一维地震动或三维地震动的一致激励、行波激 励和考虑部分相干效应的随机激励下的地震反应．结果表明:考虑地震动的空间效应后,关键杆件的内力 增幅可达30％;多维地震作用比单维地震作用下结构杆件的内力大．由此得出结论,对于大跨度空间网格 结构的地震反应分析,必须考虑多维地震动的多点激励．     

复函数微分中值公式的一个注记

利用极限理论，给出了复函数微分中值公式的“中值点”的渐近性的简洁证明．     

复杂电路中独立回路选择的新方法

利用图论思想方法,讨论了复杂电路中独立回路的选择,提出了断圈、避圈选择独立回路,使用实践表明:此方法适用于任何复杂电路的独立回路的选择.     

含一阶导数的奇异二阶两点边值问题的可解性

应用Leray—Schauder不动点定理考察了含一阶导数的奇异二阶两点边值问题的可解性。结论的主要条件都是局部的，即只要非线性项的主部在其定义域的某个有界子集上的“高度”是适当的，该问题必然存在解或者正解。     

关于图的哈密尔顿性的一些新的结果

关于哈密尔顿图和哈密尔顿连通的两个基本结果是Ore给出的:设G是一个n(n≥3)阶图,如果对于G的任意一对不相邻顶点u,v,有d(u) d(v)≥n或n 1,则G是哈密尔顿图或哈密尔顿连通的.设G是一个图,对于任意u∈V(G),令N(u)表示u的邻点集;对于任意U∈V(G),令N(U)=∪u∈UN(u).本文利用插点方法,给出了关于k或(k 1)-连通图(k≥2)G是哈密尔顿的,哈密尔顿连通的或1-哈密尔顿的统一证明.其充分条件是关于|N(S)| |N(T)|与n(S ∪T)的不等式,这里S,T是图G的任意两个不交的独立集,并且|S|=s,|T|=1,S∪T也是一个独立集,这里n(S∪T)=|{v∈V(G):dist(v,S∪T)≤2}|.     

积分第二中值定理的一个一般性结果

利用微积分的有关知识,研究积分第二中值定理＂中间点＂当积分区间长度趋于0时的渐近性,得到了两个结论,推广了已有的结果.