The concept of smartness in cyber–physical systems and connection to urban environment

The next-generation systems are expected to be largely cyber–physical systems (CPSs) that autonomously control physical processes, through sensors and actuators typically in real-time feedback and cooperative control loops distributed among physical and cyber environments. The rapid technological advancements enhance the smartness of these CPSs, pushing their boundaries of performance and efficiency by embedding new information and communication technologies. However, to what extent CPSs should be smarter so that they do not compromise safety and security of safety critical systems? is an open research question. Towards this goal, the purpose of this study is to establish a grounded theory to analyse what makes these systems smart? and eventually, how to find a balance between smartness and safety risks? In this precinct, this article aims to develop a conceptual framework, define the dimensions and derive the characteristics that make CPSs smart. The proposed approach combines an automated informetric and systematic analysis of literature pertinent to the topic of smartness across anthropology, science, engineering and technology. The analysis of a case study building and the discussions presented herein support the connection between the existing understanding of CPSs and smartness offered by the building design approach in urban environment.     

门架式堆取料机在铜冶炼中的生产实践

针对铜冶炼工艺的特点,从门架式堆取料机对前后工序衔接、结构、原理出发,介绍了其在熔炼炉系统和吹炼炉系统中的应用情况。经过试生产期的生产实践证明,门架式堆取料机具有场地利用率高、取料量大,自动化程度高和安全环保等优点。     

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

"如何构造高可信的软件系统"已成为学术界和工业界的研究热点.操作系统内核作为软件系统的基础组件，它的安全可靠是构造高可信软件系统的重要环节.为了确保操作系统内核的安全可靠，将形式化方法引入到操作系统内核验证中，提出了一个自动化验证操作系统内核的框架.该验证框架包括：（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 bat-neural network multi-agent system (BNNMAS) for stock price prediction: Case study of DAX stock price

Creating an intelligent system that can accurately predict stock price in a robust way has always been a subject of great interest for many investors and financial analysts. Predicting future trends of financial markets is more remarkable these days especially after the recent global financial crisis. So traders who access to a powerful engine for extracting helpful information throw raw data can meet the success. In this paper we propose a new intelligent model in a multi-agent framework called bat-neural network multi-agent system (BNNMAS) to predict stock price. The model performs in a four layer multi-agent framework to predict eight years of DAX stock price in quarterly periods. The capability of BNNMAS is evaluated by applying both on fundamental and technical DAX stock price data and comparing the outcomes with the results of other methods such as genetic algorithm neural network (GANN) and some standard models like generalized regression neural network (GRNN), etc. The model tested for predicting DAX stock price a period of time that global financial crisis was faced to economics. The results show that BNNMAS significantly performs accurate and reliable, so it can be considered as a suitable tool for predicting stock price specially in a long term periods.     

Quality and Emulsion Stability of Milk from Ettawah Crossed Bred Goat During Frozen Storage

Goat milk has specific chemical composition and physical properties. The purpose of this study was to investigate the change of milk quality and emulsion stability during 60 d frozen storage. Milk sample was taken from three Ettawah Crossedbred goats that were divided into three groups. Samples were frozen and stored for 0, 30 and 60 days. At the end of each storage periode, milk sample was thawed in the refrigerator and analyzed for total number of bacteria, chemical (acidity, pH, free fatty acids), physical (alcohol test, clot on boiling test) quality, and emulsion stability. The microbiological and chemical data were analyzed statistically using one way ANOVA, whereas physical quality and emulsion stabilty were expressed qualitatively. There were no change in the total bacteria, acidity, pH and free fatty acid (FFA) of milk during storage, whereas the assessment by 70% alcohol showed positive since 0 d. Emulsions stability changed after 30 d of storage. While, the clot on boiling (COB) test of milk was positive at 60 d of storage. Recommendation is frozen storage of goat milk should not longer than 30 d.     

Review on zirconate-cerate-based electrolytes for proton-conducting solid oxide fuel cell

The performance of low-to-intermediate temperature (400–800?°C) solid oxide fuel cells (SOFCs) depends on the properties of electrolyte used. SOFC performance can be enhanced by replacing electrolyte materials from conventional oxide ion (O^2-) conductors with proton (H⁺) conductors because H⁺ conductors have higher ionic conductivity and theoretical electrical efficiency than O^2- conductors within the target temperature range. Electrolytes based on cerate and/or zirconate have been proposed as potential H⁺ conductors. Cerate-based electrolytes have the highest H⁺ conductivity, but they are chemically and thermally unstable during redox cycles, whereas zirconate-based electrolytes exhibit the opposite properties. Thus, tailoring the properties of cerate and/or zirconate electrolytes by doping with rare-earth metals has become a main concern for many researchers to further improve the ionic conductivity and stability of electrolytes. This article provides an overview on the properties of four types of cerate and/or zirconate electrolytes including cerate-based, zirconate-based, single-doped cerate–zirconate and hybrid-doped cerate–zirconate. The properties of the proton electrolytes such as ionic conductivity, chemical stability and sinterability are also systematically discussed. This review further provides a summary of the performance of SOFCs operated with cerate and/or zirconate proton conductors and the actual potential of these materials as alternative electrolytes for proton-conducting SOFC application.     

A new perspective of co-doping and Nd segregation effect on proton stability and transportation in Y and Nd co-doped BaCeO3

Bulk and surface properties of proton stability and transportation in Y and Nd co-doped BaCeO₃ (BCYN), especially the effect of Nd segregation, were investigated by first-principles calculations. Since the structure of doped BaCeO₃ at the operating temperature of proton-conducting has been unclear for a long time, we have summarized the latest experimental results and calculated the structure of the asymmetric BCYN for the first time. The results show that compared with Y, Nd doping promotes oxygen vacancy formation, however reduces proton stability. Our calculation can also provide a possible explanation for the formation of space charge layer at the grain boundary of doped BaCeO₃ in experiment. Unlike the stable Y in BCYN, Nd is calculated to be easily segregated, which can facilitate both proton hydration and proton transportation near the surface. Moreover, Nd segregation at the grain boundary is predicted to be beneficial for proton transportation between grains.     

Microstructural and electrical changes in Ca0.9R0.1CeNbMoO8 (R = Y,Sm, Nd,La) ceramics induced by rare-earth ion doping

Rare-earth ions doped Ca_0.9R_0.1CeNbMoO₈ (R = Y, Sm, Nd, La) ceramics have been successfully prepared by solid-state method, and their modifications to the microstructure and electrical properties are also investigated. The rare-earth ions doped ceramics exhibit the scheelite structure. With the increase in the radius of rare-earth ions, the lattice distortion and bond interaction will be enhanced, and the consistency of grain size will be reduced. The ceramics exhibit negative temperature coefficient (NTC) thermistor characteristics in the temperature range of 473 K-1273 K, and the activation energy decreases with the increase of the radius of rare-earth ions. Rare-earth ions doping can increase the content of Ce³⁺ ions and promote the conductivity of ceramics. Except for Sm³⁺-doped ceramics, the high-temperature aging rate of other ceramics is less than 2%. The existence of some metastable Sm²⁺ ions in Sm³⁺-doped ceramics not only increases the activation energy, but also reduces the high-temperature stability of the ceramics.     

无失效数据机载多余度EWIS可靠性研究

针对高可靠度机载多余度EWIS各组成部分寿命服从指数分布但参数未知的情况，提出采用无失效数据可靠度分析方法评估EWIS的可靠度水平。通过Monte-Carlo仿真方法对连接形式为“先并联、后串联”EWIS各组成部分寿命进行抽样，利用“最小最大值”方法获得系统寿命的抽样值，用概率纸检验法初步判断EWIS寿命是否服从威布尔分布，再用Pearson拟合优度检验法判断EWIS寿命是否服从威布尔分布。结合无故障飞行时间的样本值与EWIS寿命服从威布尔分布的假设，采用无失效数据分析方法评估EWIS的可靠度水平。研究方法对机载多余度EWIS无失效数据可靠度分析有一定的贡献。