并发面向对象语言COOLⅡ的语义模型

缺乏好的形式化语义模型使得并发面向对象语言的开发受到了很大的影响,本文设计了并发面向对象LISP语言COOLⅡ,给出了该语言的语法、基于配置的操作语义,并提出了并发对象演算CONOC,以此为基础讨论了COOLⅡ的变换语义。     

遗传算法求解邮递员问题的探讨

邮递员问题是目前一个尚未完全解决的图论问题,而遗传算法则是一个比较好的全局搜索算法,本文提出了一种换方法,以此为基础,用遗传算法实现了对有向图邮递员问题的求解,较传统方法更加容易实现,在求解大规模复杂网络时,其效率更高。     

The superconducting transition temperature of multilayered superconductors. The frustratedXY-Josephson model

The superconducting transition temperature of multilayered superconducting structures of the RVB theory for the S-N(D)-S type is defined taking into account the resonance pair tunneling between superconducting layers. The Josephson array defectivity is considered with the frustration parameters.     

执政党建设与当代执政文化转型

着重研究了马克思主义执政党建设如何应对当代世界政党政治的执政文化转型问题,认为应当正确认识和处理马克思主义执政党建设与当代世界政党政治的关系,深入研究世界上其他执政党治国理政的成功经验和有益做法,不断提高马克思主义执政党的执政能力和科学化水平。     

对甲基苯磺酸盐的合成与热重分析——碱土金属及过渡金属

合成了一系列碱土金属(Ca,Ba)和过渡金属(Fe,Mn,Co,Ni,Cu,Zn,Cd)对甲基苯磺酸盐,用热重分析仪在动态空气气氛下研究对甲基苯磺酸盐中结晶水个数和热分解产物,并探讨了其相对热稳定性。研究结果表明,除对甲基苯磺酸钙、对甲基苯磺酸钡和对甲基苯磺酸镉为无水盐外,其它对甲基苯磺酸盐都含有5或6个结晶水。碱土金属对甲基苯磺酸盐的最终热分解产物为金属硫酸盐,过渡金属对甲基苯磺酸盐的最终热分解产物为金属氧化物。并初步推断碱土金属和过渡金属对甲基苯磺酸盐的结构可能不同,但它们都具有较好的相对热稳定性。     

灯泡式贯流泵站机组起动过渡过程仿真计算

为掌握大型贯流泵站同步电动机起动过程中水泵动态流量、装置扬程等水力量及同步电动机的起动电压、起动电流、机组转速等电气量、机械量参数随机组起动历时的变化过程，对贯流泵机组起动过程进行了详细的理论分析并进行了仿真计算。从泵系统整体出发，运用刚体动力学、流体动力学、水力机械全特性理论，分析泵机组系统起动过程中同步电动机的电磁驱动力矩、水阻力矩及其它各种阻力矩动力学特性，建立了大型贯流泵站起动动态过程数学模型，以淮安三站贯流泵为算例，通过仿真计算，揭示大型贯流泵泵站起动过渡过程中各种重要参数如转速、流量、扬程、转矩等随时间变化关系，研究成果对贯流泵站合理设计和安全可靠运行具有重要理论指导意义。     

Calibration of the Weibull stress scale parameter, σu, using the Master Curve

This work proposes that the Weibull stress scale parameter, σ_u, increases with temperature to reflect the increasing microscale toughness of ferritic steels caused by local events that include plastic shielding of microcracks, microcrack blunting, and microcrack arrest. The Weibull modulus, m, then characterizes the temperature invariant, random distribution of microcrack sizes in the material. Direct calibration of σ_u values at temperatures over the DBT region requires extensive sets of fracture toughness values. A more practical approach developed here utilizes the so-called Master Curve standardized in ASTM Test Method E1921-02 to provide the needed temperature vs. toughness dependence for a material using a minimum number of fracture tests conducted at one temperature. The calibration procedure then selects σ_u values that force the Weibull stress model to predict the Master Curve temperature dependence of K_Jc values for the material. At temperatures in mid-to-upper transition, the process becomes more complex as fracture test specimens undergo gradual constraint loss and the idealized conditions of high-constraint, small-scale yielding assumed in E1921-02 gradually degenerate. The paper develops the σ_u calibration process to incorporate these effects in addition to consideration of threshold toughness effects and the testing of fracture specimens with varying crack-front lengths. Initial illustrations of the calibration process for simpler conditions, i.e. 1T crack-front lengths, use the temperature dependent flow properties and a range of toughness levels for an A533B pressure vessel steel. Then using the extensive fracture toughness data sets for an A508 pressure vessel steel generated recently by Faleskog et al. [Engng. Fract. Mech., in press], the paper concludes with calibrations of both m and σ_u over the DBT region and assessments of the Master Curve calibration approach developed here.     

同步和异步时序逻辑电路统一设计的新方法

介绍了一种新的时序电路的设计理论与方法,实现了同步、异步电路的设计过程的统一。该方法的特点是直接从时序电路的状态转换图(STD)获得触发器的激励条件和时钟脉冲;设计原理简单,易于理解,使设计更直观清楚,比传统方法简便、快捷,避免了对状态方程、驱动方程的复杂计算;该设计方法过程可以采用程序实现,实现了时序电路设计的程序化、自动化。     

Stability and Control of a Parametrically Excited Rotating System. Part I: Stability Analysis

This paper analyses the stability of a parametrically excited double pendulum rotating in the horizontal plane. The equations of motion for such a system contain time varying periodic coefficients. Floquet theory and the method of Hill's determinant are used to evaluate the stability of the linearized system. Stability charts are obtained for various sets of damping, parametric excitation, and rotation parameters. Several resonance conditions are found, and it is shown that the system stability can be significantly altered due to the rotation. Such systems can be used as preliminary models for studying the lag dynamics and control of helicopter blades and other gyroscopic systems.