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.     

Systematic packaging design tools integrating functional and environmental consequences on product life cycle: Case studies on laundry detergent and milk

This study presents systematic packaging design tools integrating functional and environmental consequences on product life cycle. To design packaging for sustainability, the trade-offs between functional and environmental aspects of packaging throughout the product life cycle should be considered. However, it is difficult for packaging designers to understand the overall trade-offs because the extent of the design consequences on the entire life cycle of packaging and its contents is unclear. We developed two tools for packaging design: the Life Cycle Association Matrix (LCAM) and the Function Network Diagram (FND). The following three steps, based on literature reviews and interviews with industrial experts, were applied. Firstly, we listed the product functions and design variables related to the functions as the attributes allocated to the product life cycle. Secondly, the attributes were connected appropriately based on causal relationships. Lastly, we identified the factors to support decision making in the packaging design procedure. As a result, the LCAM depicts the design consequences on the life cycle, and the FND determines the stakeholders affected by the design consequences. Two case studies were demonstrated to analyze the trade-offs by using our tools. In the case studies, a liquid laundry detergent bottle and a milk carton were redesigned. The tools identified the design consequences and stakeholders affected by the redesign of the usability and protective function for the detergent and milk cases, respectively. The results showed the significance of understanding the design consequences on the product life cycle by integrating the functional and environmental aspects.     

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.     

Model checking temporal knowledge and commitments in multi-agent systems using reduction

Though modeling and verifying Multi-Agent Systems (MASs) have long been under study, there are still challenges when many different aspects need to be considered simultaneously. In fact, various frameworks have been carried out for modeling and verifying MASs with respect to knowledge and social commitments independently. However, considering them under the same framework still needs further investigation, particularly from the verification perspective. In this article, we present a new technique for model checking the logic of knowledge and commitments (CTLKC⁺). The proposed technique is fully-automatic and reduction-based in which we transform the problem of model checking CTLKC⁺ into the problem of model checking an existing logic of action called ARCTL. Concretely, we construct a set of transformation rules to formally reduce the CTLKC⁺ model into an ARCTL model and CTLKC⁺ formulae into ARCTL formulae to get benefit from the extended version of NuSMV symbolic model checker of ARCTL. Compared to a recent approach that reduces the problem of model checking CTLKC⁺ to another logic of action called GCTL¹, our technique has better scalability and efficiency. We also analyze the complexity of the proposed model checking technique. The results of this analysis reveal that the complexity of our reduction-based procedure is PSPACE-complete for local concurrent programs with respect to the size of these programs and the length of the formula being checked. From the time perspective, we prove that the complexity of the proposed approach is P-complete with regard to the size of the model and length of the formula, which makes it efficient. Finally, we implement our model checking approach on top of extended NuSMV and report verification results for the verification of the NetBill protocol, taken from business domain, against some desirable properties. The obtained results show the effectiveness of our model checking approach when the system scales up.     

Synergistic effect of co-alloying elements on site preferences and elastic properties of Ni3Al: A first-principles study

The site preferences of co-alloying elements (Mo–Ta, Mo–Re, Mo–Cr) in Ni₃Al are studied using first-principles calculations, and the effects of these alloying elements on the elastic properties of Ni₃Al are evaluated by elastic property calculations. The results show that the Mo–Ta, Mo–Re and Mo–Cr atom pairs all prefer Al–Al sites and the spatial neighbor relation of substitution sites almost has no influence on the site preference results. Furthermore, the Young's modulus of Ni₃Al increases much higher by substituting Al–Al sites with co-alloying atoms, among which Mo–Re has the best strengthening effect. The enhanced chemical bondings between alloying atoms and their neighbor host atoms are considered to be the main strengthening mechanism of the alloying elements in Ni₃Al.     

Elitist clonal selection algorithm for optimal choice of free knots in B-spline data fitting

Data fitting with B-splines is a challenging problem in reverse engineering for CAD/CAM, virtual reality, data visualization, and many other fields. It is well-known that the fitting improves greatly if knots are considered as free variables. This leads, however, to a very difficult multimodal and multivariate continuous nonlinear optimization problem, the so-called knot adjustment problem. In this context, the present paper introduces an adapted elitist clonal selection algorithm for automatic knot adjustment of B-spline curves. Given a set of noisy data points, our method determines the number and location of knots automatically in order to obtain an extremely accurate fitting of data. In addition, our method minimizes the number of parameters required for this task. Our approach performs very well and in a fully automatic way even for the cases of underlying functions requiring identical multiple knots, such as functions with discontinuities and cusps. To evaluate its performance, it has been applied to three challenging test functions, and results have been compared with those from other alternative methods based on AIS and genetic algorithms. Our experimental results show that our proposal outperforms previous approaches in terms of accuracy and flexibility. Some other issues such as the parameter tuning, the complexity of the algorithm, and the CPU runtime are also discussed.     

冷轧平整机机前甩尾轧制工艺的开发与应用

本文介绍了柳钢冷轧板带厂1550 mm单机架平整机机前甩尾轧制的工艺。改进前轧制每卷钢卷生产效率低,钢卷成材率低,改进后生产效率、成材率明显提高,部分规格的钢卷能实现带尾剪切长度为零。     

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

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

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

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

绿色化工技术在精细化工中的应用研究

社会经济快速发展,科学技术不断进步,针对我国现代工业化工行业发展,所产生的新型化工技术应用,促进我国化工生产效率的提升。工业的发展不可避免地会带来污染物的产生,如果不能有效控制化工排放污染物,温室效应问题会更加严重。本文对绿色化工技术在精细化工中的有效应用进行研究,降低工业废气污染物排放量,维护生态环境平衡。