负反馈放大器的噪声分析

提出了采用方框图法分析负反馈放大电路的噪声,得出了负反馈不影响基本放大电路噪声性能的结论,简化了分析的步骤和复杂的计算。举例给出了方框图法分析的具体步骤。讨论了负载电阻噪声对负反馈放大电路噪声性能的影响。     

混合试探作用量对三维格点规范场的研究

应用混合元格变量一链变量作用作为改进平均场理论的试探作用量，用变分法计算了３维时空中Ｚ（２），Ｕ（１）和ＳＵ（２）纯格点规范场的平均元格内能Ｅｐ，对于Ｚ（２）格点规范场得出具有范德瓦尔斯型曲线的一级相变的相图。对于３维Ｕ（１）和ＳＵ（２）规范场，所得Ｅｐ～β曲线是光滑的，显示理论禁闭性。计算结果与ＭＣ计算结果符合较好。     

弧焊光谱视觉传感技术初探

本文通过对弧焊区各部分发光情况及光谱辐射情况的分析和研究,提出了选用光谱窗口观察弧焊区的弧焊光谱传感法。     

扩散型真空电弧的弧后电流

研究了一种新的弧后电流测试方法;以较高的灵敏度和抗干扰能力测得了扩散型真空电弧的弧后电流值;给出了计算与实测的比较结果;分析了不同电源条件下的弧后电流.文中指出,扩散型真空电弧的分断极限是由电击穿决定的,而不由弧后电流引起的热击穿所定.     

开发多任务系统的一种方法：广义状态图方法

广义状态图方法包括广义状态图的设计方法和面向状态的过程设计方法两部分。广义状态图在传统状态图的基础上扩充了动作结点的概念，利用动作结点表示系统在状态转移过程中的动作，以及多任务之间的各种减产。顷向状态的过程设计方法以广义状态图的各元素与过程设计之间的相关关系为依据，直接由广义状态图生成多任务系统的过程设计。     

基于PVS的UML类图和序列图的一致性检验

针对UML类图和序列图的一致性问题,在充分考虑了类继承关系、关联关系、类方法的可见性以及类方法的前、后置条件等因素对一致性影响的基础上,给出了判定类图和序列图一致性的必要条件和PVS元理论,提出了一种基于定理证明器PVS的一致性检验方法.在检验UML模型一致性时,把一致性检验问题转化为逻辑定理证明问题.实践表明,该方法对于提高UML模型的可信度,减少系统实现阶段的错误起到了一定作用.     

拱坝坝上放线技术探讨

简述了“坝上等弦等角放线法”在古石水电站枢组大坝施工放线中的应用,总结了坝上放线法的应用效果,分析了在“三心拱坝”等其它坝型中的推广应用,对今后拱坝施工放线提供一种新的方法。     

The generalized inverse of singular integral operators on an open arc and its applications

After choosing weight functions suitably, we define a Banach spaceH _ω ^μ (L) and discuss the generalized inverse of singular integral operators on an open arc. Using the generalized inverse, we obtain the solutions for the following singular integral equation

"二元液系相图"实验中经验操作的数学表达

以杠杆规则为主要依据,对具有最低恒沸点的“二元液系相图”实验中的经验操作进行了详细的数学推导．推导结论与实验结果间的一致性,为实验中的经验操作提供了理论依据．     

UML类图到CPN转化方法的研究

UML（Unified Modeling Language）作为一种面向对象分析和设计的建模语言已被用在很多大型软件系统中,但UML缺乏精确的语义描述,难以直接用数学工具对UML模型进行分析、验证。而CPN（Coloured Petri Nets）作为一种建模工具,有着严格的形式化语义和分析方法。主要针对UML的类图,给出类图到CPN的转换方法,并以实例说明。