一种基于受限约束范围标签传播的半监督学习算法

提出一种基于受限约束范围标签传播的半监督学习算法。首先利用相似性矩阵计算得出概率转移矩阵,进而通过概率转移矩阵得出受限约束范围。然后在约束范围内利用半监督学习框架下的标签传播算法计算基于路径的相似性,路径相似性决定了标签传播的重要路径。由于只使用几条重要的传播路径使得算法中省去计算每一条路径的相似度,计算复杂度大大减少。最终使得标签在带标签数据与未标签数据之间通过几条重要的路径之间传播。实验已经证明此算法的有效性。     

Automatic verification for a class of distributed systems

Summary. The paper presents a new analysis method for a class of concurrent systems which are formed of several interacting components with the same structure. The model for these systems is composed of a control process and a set of homogeneous user processes. The control and user processes are modeled by finite labeled state transition systems which interact by means of enabling functions and triggering mechanisms. Based on this structure, an analysis method is presented which allows system properties, derived by reachability analysis for a finite number of user processes, to be generalized to an arbitrary number of user processes. A procedure for the automatic verification of properties such as mutual exclusion and absence of deadlocks is presented and is then used to provide for the first time a fully automated verification of the Lamport's fast mutual exclusion algorithm. Received: October 1998/Accepted January 2000     

单电子器件的仿真

该文介绍了一种利用正统理论与Ｍｏｎｔｅ Ｃａｒｌｏ方法模拟单电子隧空器件的认真程序。该程序可模拟电子通过包含小隧道结、电容和理想电压源的电路的输运过程,利用该程序,对单库仓岛和多库仓同的单电子晶体管（ＳＥＴ）系统进行了模拟。     

VRML虚拟场景跳转实现

基于VRML(Virtual Reality Modeling Language)构造复杂三维场景时,通常需要多个场景的组合和链接。如何实现三维场景空间的流畅跳转则十分关键。本文结合实例介绍了利用Anchor组节点实现虚拟场景间跳转的方法,从而有效服务于网络中复杂三维虚拟场景空间的跳转。     

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

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

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.     

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

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

The recombination of quasiparticles in x-ray superconducting tunnel detectors

The energy resolution of superconducting tunnel detectors is investigated from the point of view of the effect of recombination and boundary losses of nonequilibrium quasiparticles. Using the x-ray fluorescence method, the dependence of the signal on the energy of x-ray quanta is measured for Ti/Nb/Al/AlO_x/Al/Nb/NbN detectors. The form of the apparatus line is also investigated. The experimental data are analyzed using the diffusion model of tunnel detectors. __________ Translated from Izmeritel’naya Tekhnika, No. 8, pp. 59–64, August, 2006.     

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

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

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.