重型车床专用喷吸钻的设计

主要介绍了喷吸钻装置的工作原理、结构设计和使用特点,并对其运行的可靠性作简要分析.此喷吸钻的设计目的主要是为了解决大型轴类(轧辊类)工件的深孔加工问题,提高实际生产中的深孔加工效率.     

南洋河水库粘土心墙风化料坝设计与施工控制

结合南洋河水库大坝为粘土心墙风化料坝坝址的自然地形条件，心墙土料不均匀、坝壳料渗透性差的特点，从坝体剖面结构设计、各坝料设计、质量控制标准及基础处理等方面作了分析介绍，以期对类似条件的工程有所借鉴。     

IPA模型对Hopfield模型神经网络的改进

考虑Ｈｏｐｆｉｅｌｄ模型中假态之间的布尔逻辑关系，提出利用ＩＰＡ模型对神经网络中的假态进行抑制，并和原网络的性能进行了比较，结果表明：改进后的网络性能比Ｈｏｐｆｉｅｌｄ模型和ＩＰＡ模型均有较大提高。     

4-氰基苯甲酸酐的合成

以偏苯三甲酸酐和氯化亚砜为原料 ,其摩尔比为 1:1 2 ,在回流状态下首先合成中间体 4 -氯甲酰基苯甲酸酐Ⅱ ,产率可达 98%。Ⅱ经过胺化、减压脱水制得 4 -氰基苯甲酸酐 ,其沸点为 175～ 180 C/ 0 2 6KPa ,各反应物摩尔比为n (Ⅱ ) :n (NH3 ) :n (P2 O5) =1 0 :4 7:2 1。通过红外分析、1H -NMR分析及元素分析证明 ,所得到的化合物即为目标物。     

毫米波谐波振荡器的Volterra级数分析法

本文基于Ｖｏｌｔｅｒｒａ级数法和非线性转移函数理论，提出了一种分析毫米波谐波振荡器的新方法，给出了描述其非线性特性的决定方程，通过求解一组非线性代数方程，便可计算出谐波振荡器的振荡频率和幅度。文中给出了具体分析实例，并与谐波平衡法等进行了比较，结果表明：这种方法具有理论严密、准确性高、适用范围广等特点，特别是利用一次决定方程的结果作为其它非线性数值分析方法的初始估值，则可大大地节约计算时间，并容易     

On the monotonicity of (LDL) logic programs with set

LDL is one of the recently proposed logical query languages, which incorporate set, for data and knowledge base systems. Since LDL programs can simulate negation, they are not monotonic in general. On the other hand, there are monotonic LDL programs. This paper addresses the natural question of “When are the generally nonmonotonic LDL programs monotonic?” and investigates related topics such as useful applications for monotonicity. We discuss four kinds of monotonicity, and examine two of them in depth. The first of the two, called “ω-monotonicity”, is shown to be undecidable even when limited to single-stratum programs. The second, called “uniform monotonicity”, is shown to implyω-monotonicity. We characterize the uniform monotonicity of a program (i) by a relationship between its Bancilhon-Khoshafian semantics and its LDL semantics, and (ii) with a useful property called subset completion independence. Characterization (ii) implies that uniformly monotonie programs can be evaluated more efficiently by discarding dominated facts. Finally, we provide some necessary and/or sufficient, syntactic conditions for uniform monotonicity. The conditions pinpoint (a) enumerated set terms, (b) negations of membership and inclusion, and (c) sharing of set terms as the main source for nonuniform monotonicity.     

硫酸生产中内喷文氏管的设计

从分析内喷文氏管喷头旋流特征入手 ,建立有关数学模型或表达式 ,提出对内喷文氏管喷头、收缩管支管内径、喷嘴与喉管距离进行设计的方法 ,并对设计中值得注意的问题进行理论和实践上的讨论。     

钢筋混凝土烟囱有井架整体爬模施工技术

本文主要 根 据三 明 钢铁 厂130m~2 烧 结机 改造 工 程 60m 和 100m 烟 囱 的施 工实 例 ,详 细介 绍 了钢 筋 混凝 土烟 囱 有井架 整 体爬 模的 施 工新 方 法,并 取 得了 良好 的 效果 。     

电子天平用于外标法标准系列精确配制方法的研究

研究了用电子天平对外标法标准系列配制过程中吸管加入溶液体积进行计量的方法。结果表明,电子天平计量法可以将吸管加入溶液体积的计量精度提高2个数量级,从而大大提高了工作曲线的准确性和线性。该方法可推广应用于各种需要对吸管加入溶液体积进行精确计量的实验室工作。     

虚拟装配环境中的一种碰撞干涉检测方法

提出了在虚拟装配过程中零件与装配体碰撞干涉检测的一种方法。用投影轴算法检测出装配对象的碰撞,用坐标跟踪检测方法确定干涉余量值,并用连续包围盒对复杂和不规则的模型进行分割,通过这三种方法的配合使用,虚拟装配系统对干涉体进行了有效的、实时的、精确的检测。