大规模多状态计算系统的容错性能分析

针对异构计算节点组成的大规模多状态计算系统的容错性能分析问题，提出了一种计算系统容错性能的评估方法。该方法采用自定义的两级容错性能形式化描述框架进行系统描述，通过构造多值决策图（Multi-value Decision Diagram，MDD）模型对系统进行容错性能建模，并基于构造的模型高效地计算出部件故障的条件下计算系统在特定性能水平上运行的概率，减少了计算的冗余性。实验结果表明，该方法在模型的大小和构建时间上均优于传统方法。该方法的提出将对系统操作员或程序设计者具有重要意义，使其确保系统适合预期应用。     

Effect of Li2O on the crystallization behavior of CaO-Al2O3-SiO2-Li2O-Ce2O3 mold slags

The effect of Li₂O on the crystallization properties of CaO-Al₂O₃-SiO₂-Li₂O-Ce₂O₃ slags was investigated. With increasing the Li₂O content, LiAlO₂ and CaCeAlO₄ were the main crystalline phases. LiAlO₂ formed for the charge compensating of Li⁺ ions to [AlO₄^5?]-tetrahedrons, and CaCeAlO₄ formed as a result of the charge balance of Ce³⁺ ions, Ca²⁺ ions, and [AlO₆^9?]-octahedrons. Increasing the content of Li₂O to 10%, the crystallization temperature was the highest, and the incubation time was the shortest. The crystallization ability was strong due to the three factors of strengthening the interaction between ions and ion groups, decreasing the polymerization degree, and increasing the melting temperature. Further increasing the content of Li₂O, the crystallization performance was obviously suppressed, because the melting temperature and the force between the cations and the anion groups decreased.     

基于GIS单线图的配网停电单模拟操作应用研究

配电网停电会造成电力系统供配电可靠性以及服务质量下降,研究基于地理信息系统(GIS)单线图的配网停电单模拟操作应用。利用网格长度作为基本单位建立坐标系,以选取起始点与终止点为基础,通过四参数法将GIS坐标映射至图纸网格内,实现配网内设备初步布局,将杆塔、站房和整体均匀分布作为优化目标,设置多目标优化目标函数实现GIS单线图最终优化。选取某电力公司配网作为单模拟操作应用对象,模拟结果表明,单模拟操作配网停电后,该配网各负荷点年故障率、次平均停电时间以及年停电时间均有所减少,可有效提升配网的供配电可靠性。     

网络展开图与符号网络分析

采用封闭网络模型,按照电路元件参数,采用开路、短路和着色运算,将电路图逐层分解,得到网络展开图.给出网络展开图的概念和运算规则,指出网络展开图中从根到末稍每个路径的值就是网络行列式展开式中的一个有效项,从而由网络展开图得到符号网络函数.该方法直接对电路图进行运算,不需要建立任何形式的电路方程和行列式,适用于一般的有源电路,而且能生成各种类型的网络函数.     

Deformation of Rodlike Elements of Composite Materials Subjected to Uniform Compression

On the basis of generalization of the results of investigation of the operation of rodlike elements of composite materials, we make a conclusion that the influence of various factors on the deformability of these elements is studied incompletely. The comparison of the stress-strain states for different models of concrete and reinforced-concrete elements makes it possible to describe the effect of longitudinal reinforcement (coefficient of reinforcement, strength and deformation characteristics) on the critical level of strains in the cross section. According to the results of our investigations, we give recommendations concerning the evaluation of the critical value of the coefficient of reinforcement above which one may observe the effect of reinforcement on the deformability of the analyzed sections. It is shown that the compression strength of the brittle base of the composite with inhomogeneous structure decreases as a result of the fracture processes. It is also demonstrated that the existing procedure used for the evaluation of the indicated decrease in strength requires significant improvement. The problem of evaluation of the ultimate value of the coefficient of reinforcement is also analyzed.     

Quantitative analysis of Ni effect on CCT diagrams of novel air-cooled bainite steels using artificial neural network models

The quantitative effect of Ni content on continuous cooling transformation （CCT） diagrams of novel air-cooled bainite steels was analyzed using artificial neural network models. The results showed that Ni may retard the high- and medium-temperature transformation and martensite transformation. The results conform to the materials science theories.     

Preparation of BaMgAl10O17∶Eu2+ and Its Phase Behavior in Microemulsion System

BaMgAl10O17∶Eu2 (BAM) was prepared in the microemulsion system and its phase behavior was studied. There exists a small region in the reverse microemulsion system where the dispersed particles are of spherical form. In this way, BAM blue phosphor with good dispersion can be synthesized. The microemulsion phase diagrams of the pseudo-ternary system (Triton X-100/cosurfactant-oil-BAM brine) were first established intuitively by the dilution method. The microstructure of microemulsions was determined through eyeballing, conductance technique, and polar optical microscopy. Its phase behavior is affected by various factors, such as temperature (room temperature, 30, 40 ℃), oil, surfactants, and cosurfactants in microemulsions. According to the phase diagrams, the microemulsion system of Triton X-100/1-hexanol-hexane-BAM brine was chosen to prepare the precursor. The BAM phosphor can be obtained via sintering the precursor at a comparatively low temperature. The phosphors were characterized by XRD and vacuum ultraviolet (VUV) spectra.     

丁集矿副井井架基础沉降变形分析

按井筒冻结施工的进度,选择合适的周期进行沉降变形观测,根据大量的实测资料对冻结施工前后丁集矿副井井架基础的沉降变形规律进行了分析,并预测其沉降变形趋势。     

Ready, Set, Go! The Voronoi diagram of moving points that start from a line

It is an outstanding open problem of computational geometry to prove a near-quadratic upper bound on the number of combinatorial changes in the Voronoi diagram of points moving at a common constant speed along linear trajectories in the plane. In this note we observe that this quantity is Θ(n²) if the points start their movement from a common line.