Functionality evaluation of system of systems architecture based on extended influence diagrams

System of systems architecture（SoSA） has received increasing emphasis by scholars since Zachman ignited its flame in 1987. Given its complexity and abstractness, it is critical to validate and evaluate SoSA to ensure requirements have been met.Multiple qualities are discussed in the literature of SoSA evaluation, while research on functionality is scarce. In order to assess SoSA functionality, an extended influence diagram（EID） is developed in this paper. Meanwhile, a simulation method is proposed to elicit the conditional probabilities in EID through designing and executing SoSA. An illustrative anti-missile architecture case is introduced for EID development, architecture design, and simulation.

A Triple Human-Digital Twin Architecture for Cyber-Physical Systems

With the development of information and communication technology and the advent of the Internet of Things(IoT)era,cyber-physical system(CPS)is becoming the trend of products or systems.The deep integration and real-time interaction between the physical world and the virtual world expand system functions.Although there are some CPS implementation guidelines,the virtual world is still relatively abstract compared to the concrete physical world that can be touched through the IoT.Besides that,human is a non-negligible CPS endogenous interactive intelligent component.In this paper,we propose a triple human-digital twin architecture,where the physical objects and the digital twins that are the projections of the physical entities establish the cornerstone of human functioning together.And the hierarchically distributed digital twins grow dynamically with the physical entities along the lifecycle.Furthermore,the interaction and collaboration among the physical objects,the digital twins,and the humans in their respective worlds(the expected world,the interpreted world,and the physical world)integrate the full value chain of the products in anticipation of seamless synergy.Finally,we present a power management digital companion platform for the lunar probe to demonstrate the efficacy of the architecture.

Distributed MPC for Reconfigurable Architecture Systems via Alternating Direction Method of Multipliers

This paper investigates the distributed model predictive control(MPC)problem of linear systems where the network topology is changeable by the way of inserting new subsystems,disconnecting existing subsystems,or merely modifying the couplings between different subsystems.To equip live systems with a quick response ability when modifying network topology,while keeping a satisfactory dynamic performance,a novel reconfiguration control scheme based on the alternating direction method of multipliers(ADMM)is presented.In this scheme,the local controllers directly influenced by the structure realignment are redesigned in the reconfiguration control.Meanwhile,by employing the powerful ADMM algorithm,the iterative formulas for solving the reconfigured optimization problem are obtained,which significantly accelerate the computation speed and ensure a timely output of the reconfigured optimal control response.Ultimately,the presented reconfiguration scheme is applied to the level control of a benchmark four-tank plant to illustrate its effectiveness and main characteristics.

DESIGN OF RECONFIGURABLE MANUFACTURING SYSTEMS WITH STRONGLY COUPLED NATURE

Today＇s manufacturing cnvironmem forces manufacturing companies to make as many product variations as possible at affordable costs within a short time. Mass customisation is one of most important technologies for companies to achieve their objectives. Efforts to mass customisation should be made on two aspects： （1） To modularize products and make them as less differences as possible; （2） To design manufacturing resources and make them provide as many processes variations as possible. This paper reports our recent work on aspect （2）, i.e. how to design a reconfignrable manufacturing system （RMS） so that it can be competent to accomplish various processes optimally; Reconfignrable robot system （RRS） is taken as an example. RMS design involves architecture design and configuration design, and configuration design is further divided in design analysis and design synthesis. Axiomatic design theory （ADT） is applied to architecture design, the features and issues of RRS configuration design are discussed, automatic modelling method is developed for design analysis, and concurrent design methodology is presented for design synthesis.

Analysis Markov Delay Control Strategy for Smart Home Systems

with the development of science and technology, smart home systems require better, faster to meet the needs of human. In order to achieve this goal, the human-machine-items all need to interact each other with understand, efficient and speedy. Cps could unify combination with the human-machine-items; realize the interaction between the physical nformation and the cyber world. However, information interaction and the control task needs to be completed in a valid time. Therefore, the transform delay control strategy becomes more and more important. This paper analysis Markov delay control strategy for smart home systems, which might help the system decrease the transmission delay.

CALL FOR PAPERS Special Section of JCST on Computer Architecture and Systems for Big Data

Introduction Research on computer architecture and systems is typically driven by technology and applications. Big data has emerged as an important application domain which has shown its huge impact on scientific research, business, and society. Big data is known for its large volume, high velocity, and a variety of formats. The collection, storage, retrieval, processing, and visualization of big data issues many challenges to computer architecture and systems. This special section is an effort to encourage and promote research to address the big data challenges from the computer architecture and systems perspectives.

Economic Feasibility Evaluation of Building Passive Houses

The research presents an improved method of rational design of energy-efficient low-rise residential buildings according to their life cycle. The mathematical model for finding the optimal version of draft power-efficient residential building has been developed. For conditions of Ukraine the optimization problem has been set and solved （finding the optimal version of the draft energy-efficient buildings）. The calculations prove the fact that the construction of passive houses in Ukraine today is economically feasible. Scientific and practical regulations, outlined in the research, can be used by all participants of the investment programs, and energy-efficiency projects, renovation projects and developing normative-technical documents.

Research and application of the virtual simulation system teaching method in NC machining course

Virtual simulation technology has become one of the most popular technologies in the field of engineering education after the multimedia information technology in recent years.This paper,based on the comprehensive integrated simulation and verification module of UG NX software,describes and discusses a novel virtual simulation system teaching(VSST)for numerically controlled machining to support the student engineering training to achieve the theoretical knowledge and practical techniques in numerically controlled machining.The findings of a study designed to evaluate the impact of VSST for the development of numerically controlled machining course are presented here.In addition,analysis of the follow-up surveys indicates that the VSST method enables to provide the concrete experience of interaction between the students and the simulation environment and to further stimulate students’interest in learning,so that the students who used VSST achieve significantly higher results than their co-workers.

A Practical Approach to Representation of Real-time Building Control Applications in Simulation

Computer based automation and control systems are becoming increasingly important in smart sustainable buildings,often referred to as automated buildings(ABs),in order to automatically control,optimize and supervise a wide range of building performance applications over a network while minimizing energy consumption and associated green house gas emission.This technology generally refers to building automation and control systems(BACS)architecture.Instead of costly and time-consuming experiments,this paper focuses on development and design of a distributed dynamic simulation environment with the capability to represent BACS architecture in simulation by run-time coupling two or more different software tools over a network.This involves using distributed dynamic simulations as means to analyze the performance and enhance networked real-time control systems in ABs and improve the functions of real BACS technology.The application and capability of this new dynamic simulation environment are demonstrated by an experimental design,in this paper.