The application of the methodology for secure cyber–physical systems design to improve the semi-natural model of the railway infrastructure

The paper suggests a new methodology for secure cyber–physical systems design. The proposed methodology consists of two main cycles. The main goal of the first cycle is in design of the system model, while the second one is about development of the system prototype. The key idea of the methodology is in providing of the most rational solutions that are improving the security of cyber–physical systems. Such solutions are called alternatives and built according to functional requirements and non-functional limitations to the system. Each cycle of the methodology consists of the verification process and seven stages that are associated with the used cyber–physical system model. The objective of the verification process is in checking of constructed models and prototypes in terms of their correctness and compatibility. The model represents cyber–physical systems as sets of building blocks with network between them, takes elements internal structure into account and allows direct and reverse transformations. The novelty of the suggested methodology is in the combination of design, development and verification techniques within a single approach. To provide an example of the design methodology application, in this paper it is used to improve the semi-natural model of the railway infrastructure.     

Ontological reasoning in the design space exploration of advanced cyber–physical systems

Cyber–physical systems are becoming increasingly complex. In these advanced systems, the different engineering domains involved in the design process become more and more intertwined. Therefore, a traditional (sequential) design process becomes inefficient in finding good design options. Instead, an integrated approach is needed where parameters in multiple different engineering domains can be chosen, evaluated, and optimized to achieve a good overall solution. However, in such an approach, the combined design space becomes vast. As such, methods are needed to mitigate this problem.In this paper, we show a method for systematically capturing and updating domain knowledge in the context of a co-design process involving different engineering domains, i.e. control and embedded. We rely on ontologies to reason about the relationships between parameters in the different domains. This allows us to derive a stepwise design space exploration workflow where this domain knowledge is used to quickly reduce the design space to a subset of likely good candidates. We illustrate our approach by applying it to the design space exploration process for an advanced electric motor control system and its deployment on embedded hardware.     

Experimental investigation and thermodynamic modeling of the Mg–Sn–Sr ternary system

The isothermal sections of the Mg–Sn–Sr ternary system in the Mg-rich region at 415 and 350 °C have been determined using the scanning electron microscopy (SEM) equipped with energy dispersive X-Ray spectrometry (EDS). The existence of the MgSnSr ternary compound was confirmed in these two isothermal sections. Two new compounds, named Mg₅Sn₃Sr and Mg₂₅Sn₂₄Sr_14, were found in the present work based on the SEM/EDS results. Thermodynamic optimization of the Sn–Sr binary and Mg–Sn–Sr ternary systems were carried out using the CALPHAD (CALculation of PHAse Diagrams) technique. The Modified quasi-chemical model (MQM) was used for the liquid solution which exhibits a high degree of short-range ordering behavior. The solid phases were described with the Compound energy formalism (CEF). Finally, a self-consistent thermodynamic databases for the Mg–Sn–Sr ternary system has been constructed in the present work, which can be an efficient and convenient guidance to investigate and develop the Mg-based alloys.     

Effect of alloying on stability of grain boundary in γ phase of the U–Mo and U–Nb systems

U–Mo and U–Nb alloys are both extensively used in nuclear industry. γ phase in U–Mo or U–Nb alloy is a solid solution, being metastable in low temperature region. In this work, the effect of alloying on stability of grain boundary in meta-stable γ phase in U–Mo and U–Nb alloys are investigate through first-principles calculations. At first, crystal structure and elastic constants of Mo, Nb and γ-U metals are calculated and the obtain results show the mechanical unstable nature of γ phase at 0 K, no matter with GGA or GGA + U treatment, which agrees with most of the theoretical results in the literature. Furthermore, from the calculated symmetric tilt grain boundary (STGB) formation energies of Σ3[110]/(111) and Σ5[001]/(310) in Mo, Nb, and γ-U, it is found that due to the mechanical unstable character of the γ-U phase, negative GB formation energy is predicted at 0 K for Σ5[001]/(310) if the STGB model is relaxed with all degrees of freedom. Therefore, by using special quasirandom structure (SQS) method, Σ5[001]/(310) and Σ3[110]/(111) STGBs with different solute concentrations in U-rich side in U–Mo and U–Nb systems are further investigated. It is found that, when alloying with Mo or Nb, unlike Σ3[110]/(111), although the fixed-atom constraint is applied, the GB formation energy of Σ5[001]/(310) STGB is becoming negative when the solute concentration is in U-rich side. Only when the concentration of Mo or Nb is larger than 27 at.% or 30 at.%, respectively, or sufficient small, the GB formation energy is becoming positive, suggesting a cooperative effects of solute concentration, unstable character, and grain size on GB structures in γ phase. The predicted different stability of alloyed GB structures at 0 K suggest that although γ phase is metastable at low temperature, its metastability can be controlled through alloying with different solutes, or with different GBs. And grain refinement should be relatively easy in U-rich part than U-poor part of the U–Mo and U–Nb systems.     

A CALPHAD-type Young's modulus database of Ti-rich Ti–Nb–Zr–Mo system

Accurate Young's modulus is the necessity for the design of biomedical Ti alloys. A combinatorial method of the diffusion couple, nanoindentation, electron probe microanalysis (EPMA), and CALculation of PHAse Diagrams (CALPHAD) techniques has been utilized to construct the Young's modulus database of Ti alloys with various compositions in the present work. Two groups of body-centered cubic (bcc) Ti–Nb–Zr–Mo quaternary diffusion couples annealed at 1273 K for 25 h were experimentally prepared. Subsequently, the composition-dependent mechanical properties in the wide compositional range of Ti-based alloys were obtained by using EPMA and nanoindentation probes. Finally, on the basis of the measured Young's moduli in the present and previous work and the modeling parameters of Young's modulus of Ti–Nb–Zr system, the Young's modulus database of bcc Ti–Nb–Zr–Mo system was established through the CALPHAD approach. The CALPHAD-type database of bcc Ti–Nb–Zr–Mo system can provide the accurate Young's moduli of Ti alloys with wide compositions.     

Improving human robot collaboration through Force/Torque based learning for object manipulation

Human–Robot Collaboration (HRC) is a term used to describe tasks in which robots and humans work together to achieve a goal. Unlike traditional industrial robots, collaborative robots need to be adaptive; able to alter their approach to better suit the situation and the needs of the human partner. As traditional programming techniques can struggle with the complexity required, an emerging approach is to learn a skill by observing human demonstration and imitating the motions; commonly known as Learning from Demonstration (LfD). In this work, we present a LfD methodology that combines an ensemble machine learning algorithm (i.e. Random Forest (RF)) with stochastic regression, using haptic information captured from human demonstration. The capabilities of the proposed method are evaluated using two collaborative tasks; co-manipulation of an object (where the human provides the guidance but the robot handles the objects weight) and collaborative assembly of simple interlocking parts. The proposed method is shown to be capable of imitation learning; interpreting human actions and producing equivalent robot motion across a diverse range of initial and final conditions. After verifying that ensemble machine learning can be utilised for real robotics problems, we propose a further extension utilising Weighted Random Forest (WRF) that attaches weights to each tree based on its performance. It is then shown that the WRF approach outperforms RF in HRC tasks.     

Safe and intuitive manual guidance of a robot manipulator using adaptive admittance control towards robot agility

Key areas of robot agility include methods that increase capability and flexibility of industrial robots and facilitate robot re-tasking. Manual guidance can achieve robot agility effectively, provided that a safe and smooth interaction is guaranteed when the user exerts an external force on the end effector. We approach this by designing an adaptive admittance law that can adjust its parameters to modify the robot compliance in critical areas of the workspace, such as near and on configuration singularities, joint limits, and workspace limits, for a smooth and safe operation. Experimental validation was done with two tests: a constraint activation test and a 3D shape tracing task. In the first one, we validate the proper response to constraints and in the second one, we compare the proposed approach with different admittance parameter tuning strategies using a drawing task where the user is asked to guide the robot to trace a 3D profile with an accuracy or speed directive and evaluate performance considering path length error and execution time as metrics, and a questionnaire for user perception. Results show that appropriate response to individual and simultaneous activation of the aforementioned constraints for a safe and intuitive manual guidance interaction is achieved and that the proposed parameter tuning strategy has better performance in terms of accuracy, execution time, and subjective evaluation of users.     

Infants' sensitivity to optical flow for controlling posture.

Infants' sensitivity to optical flow for controlling sitting and standing was tested using a "moving room" in which all of the walls moved together, or only the side walls or front wall moved. Two questions motivated this research. (a) is the optical flow necessary for inducing postural compensations spatially distributed in the optic array? (b) Do visually induced compensations follow a developmental progression, or alternatively, emerge all at once? Experiment 1 was designed to test postural compensations by 14-month-old infants capable of standing in the moving room. Experiment 2 was designed to test postural compensations by 5- to 9-month-old infants who were passively supported while sitting in the moving room. The results revealed that partial flow is generally sufficient for inducing postural compensations, but that the amplitude and consistency of the response depend on the location of the flow in the optic array. In addition, there was evidence suggesting that compensatory responses become increasingly systematic during the second half of the first year. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

Editorial: January 1992.

Explains changes in the American Psychologist (AP) and reveals plans for 3 special issues in 1992 and 1993 (including a commemorative issue to observe the American Psychological Association's (APA's) centennial year. AP's standard editorial procedure, reasons for some rejections, and reconsideration of submissions are discussed. The editor notes that APA's new building (already a financial success) and its highly successful publications program can become an additional source of income to APA. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

凝胶燃烧法合成LiCoO2超细粉体的研究

以LiNO3和Co(NO3)2@6H2O为原料,柠檬酸为燃料.采用凝胶低温燃烧技术合成了LiCoO2超细粉体.并利用各种分析技术对柠檬酸和硝酸盐形成的凝胶及凝胶燃烧合成的粉体进行了研究柠檬酸硝酸盐凝胶在350-400℃之间发生燃烧反应,得到黑色疏松粉体X射线衍射分析表明.适当提高柠檬酸在凝胶中的含量.燃烧后得到的粉体晶粒尺寸显著减小未经燃烧的粉体中除含有LiCoO2外.还有CoO,Li2CO3等杂质相.但在450℃下经短时间煅烧后.杂质相消失,其晶相为层状岩盐结构的高温LiCoO2相扫描电镜和透射电镜观察发现.随着煅烧温度的提高.LiCoO2粉体的粒径有所增大.但远小于在相同煅烧条件下用固相反应法制备的LiCoO2粉体.这表明采用燃烧法更适于合成具有单一相结构的,可在低温条件下烧结的超细LiCoO2粉体.