Control of the particle microstructure during the synthesis of bulk-polymerized transparent methacrylate-acrylonitrile-butadiene-styrene resin

A series of methacrylate-acrylonitrile-butadiene-styrene (MABS) resins was prepared using bulk polymerization. The polarity of the continuous phase and the compatibility of two phases were changed by adjusting the methyl methacrylate (MMA) content, choosing values that were close to styrene-butadiene rubber solubility value. The possibility of controlling the microstructure of the MABS resin by changing the polarity of the components and the compatibility of two phases was assessed. The dynamic mechanical analysis shows that the compatibility of two phases varies with the MMA content. The morphological analysis shows that increasing MMA contents results in a gradual decrease in the sub-inclusion structure with a network skeleton of rubber particles, and that all the particles become solid rubber when the MMA content reaches 75%. The sub-inclusion structure reappears but does not have a network skeleton when the MMA content is 90%. The impact strength and morphological analysis indicate that the solid rubber particles and the sub-inclusion structure with a network skeleton provide excellent toughness, while the sub-inclusion structure without a network skeleton does not. In contrast, the transmittance of the ABS resin first increased and then decreased with increasing MMA content.     

Sensor network design based on system-wide reliability criteria. Part I: Objectives

Reliability based criteria are quite popular for optimal sensor network design. We present a modified definition of system reliability for sensor network design for two applications: reliable estimation of variables in a steady state linear flow process, and reliable fault detection and diagnosis for any process. Unlike the weakest-link based definition of system reliability in the literature, the proposed definition considers the entire system and is consistent with the reliability concept used in classical reliability literature. For each application, dual approaches for defining system reliability are proposed, and their analogy with the reliability problem in the classical reliability literature is established. Using examples and stochastic simulations, the advantage of using the proposed system reliability in contrast to the existing definition is illustrated. Part II of this series of articles presents methods for efficient generation of the system reliability function and its use in optimization-based approaches for designing optimal sensor networks.     

基于滑模的运载器主动段俯仰通道姿控系统设计

与传统比例-积分-微分（PID）控制方法相比，滑模控制（SMC）方法可以比较容易地将不确定性纳入控制器设计中，从而增强系统的鲁棒性。探索了SMC技术在运载器主动段姿态控制中的工程应用，首先通过分析基于趋近律的SMC系统，提出了降低不连续切换项系数的需求，然后研究了基于干扰上界的SMC方法。三通道小偏差仿真结果验证了两种方法的控制效果，表明第2种控制器的鲁棒性更好，稳态误差小，同时发动机喷管摆角需求较小。     

泛在电力物联网在北京经济技术开发区的应用探索

泛在电力物联网是物联网在电力领域的具体体现，建设泛在电力物联网是推进"三型两网"建设的关键环节，也是实现能源转型的必要手段。阐述了泛在电力物联网的定义，从供电公司角度出发，根据北京经济技术开发区实际情况，讨论了依托地区特点的泛在电力物联网实施策略和实际应用场景，分析了可能遇到的问题。得出结论：随着泛在电力物联网的深入建设，供电公司能够为电力客户提供多元化服务，提高客户满意度；地市供电公司能够依托泛在电力物联网开展更多电力相关业务；泛在电力物联网的安全性、实用性、有效性是发展面临的首要问题。     

嵌入式实时操作系统内核混合代码的自动化验证框架

"如何构造高可信的软件系统"已成为学术界和工业界的研究热点.操作系统内核作为软件系统的基础组件，它的安全可靠是构造高可信软件系统的重要环节.为了确保操作系统内核的安全可靠，将形式化方法引入到操作系统内核验证中，提出了一个自动化验证操作系统内核的框架.该验证框架包括：（1）分别对C语言程序和混合语言程序（C语言和汇编语言）进行验证；（2）在混合语言程序验证中，为汇编程序建立抽象模型，并将C语言程序和抽象模型粘合形成基于C语言验证工具可接收的验证模型；（3）从规范中提取性质，基于该自动验证工具，对性质完成自动验证；（4）该框架不限于特定的硬件架构.成功地运用该验证框架对两种不同硬件平台的嵌入式实时操作系统内核μC/OS-II进行了验证.结果显示：利用该框架在对两个不同的硬件平台上内核验证时，框架的可重复利用率很高，高达到88%，虽然其抽象模型需要根据不同的硬件平台进行重构.在对基于这两种平台的操作系统内核验证中，分别发现了10~12处缺陷.其中，在ARM平台上两处与硬件相关的问题被发现.实验表明，该方法对不同硬件平台的同一个操作系统分析验证具有一定的通用性.     

Calorimetric study and thermodynamic description of Ga-Ge-Li liquid alloys

This publication contains the thermodynamic results received by the drop calorimetry method. The experiments were conducted for four different cross sections, at the temperature of 1080 K. The investigated alloys were as follows: (Ga_0.75Li_0.25)_1-xGe_x, (Ge_0.50Li_0.50)_1-xGa_x, (Ga_0.50Li_0.50)_1-xGe_x, (Ga_0.25Li_0.75)_1-xGe_x. The mixing enthalpy changes measured for all four cross sections of the Ga-Ge-Li system are characterized by negative deviations from the ideal solutions. The Muggianu model with the ternary interaction parameters was applied to elaborate the experimental data of the mixing enthalpy change with the use of the optimized thermodynamic parameters of the binary systems available in the literature.     

A公司C产品研发项目范围管理研究

通过分析A公司在研发项目范围管理中所存在问题,提出研发项目范围管理的方法及其在C产品的应用实例,通过运用研发项目范围管理的工具和方法,改善产品开发流程,从而缩短新产品开发周期,提高响应市场的速度,并提高企业研发项目的管理能力。     

Global optimization for power dispatch problems based on theory of moments

Non-convex of an optimal power dispatch problem makes it difficult to guarantee the global optimum. This paper presents a convex relaxation approach, called the Moment Semidefinite Programming (MSDP) method, to facilitate the search for deterministic global optimal solutions. The method employs a sequence of moments, which can linearize polynomial functions and construct positive semidefinite moment matrices, to form an SDP convex relaxation for power dispatch problems. In particular, the rank of the moment matrix is used as a sufficient condition to ensure the global optimality. The same condition can also be leveraged to estimate the number of global optimal solution(s). This method is effectively applied to {0,1}-economic dispatch (ED) problems and optimal power flow (OPF) problems. Simulation results showed that the MSDP method is capable of solving {0,1}-ED problems with integer values directly, and is able to identify if more than one global optimal solutions exist. In additional, the method can obtain rank-1 moment matrices for OPF’s counterexamples of existing SDP method, this ensures the global solution and overcomes the problem that existing SDP method cannot meet the rank-1 condition sometimes.