On modeling approach for embedded real-time software simulation testing

Modeling technology has been introduced into software testing field. However, how to carry through the testing modeling effectively is still a difficulty. Based on combination of simulation modeling technology and embedded real-time software testing method, the process of simulation testing modeling is studied first. And then, the supporting environment of simulation testing modeling is put forward. Furthermore, an approach of embedded real-time software simulation testing modeling including modeling of cross-linked equipments of system under testing （SUT）, test case, testing scheduling, and testing system service is brought forward. Finally, the formalized description and execution system of testing models are given, with which we can realize real-time, closed loop, mad automated system testing for embedded real-time software.

A p-version embedded model for simulation of concrete temperature fields with cooling pipes

Pipe cooling is an effective method of mass concrete temperature control, but its accurate and convenient numerical simulation is still a cumbersome problem. An improved embedded model, considering the water temperature variation along the pipe, was proposed for simulating the temperature field of early-age concrete structures containing cooling pipes. The improved model was verified with an engineering example. Then, the p-version self-adaption algorithm for the improved embedded model was deduced, and the initial values and boundary conditions were examined. Comparison of some numerical samples shows that the proposed model can provide satisfying precision and a higher efficiency. The analysis efficiency can be doubled at the same precision, even for a large-scale element. The p-version algorithm can fit grids of different sizes for the temperature field simulation. The convenience of the proposed algorithm lies in the possibility of locating more pipe segments in one element without the need of so regular a shape as in the explicit model.

Four-Beam Model for Vibration Analysis of a Cantilever Beam with an Embedded Horizontal Crack

As one of the main failure modes, embedded cracks occur in beam structures due to periodic loads. Hence it is useful to investigate the dynamic characteristics of a beam structure with an embedded crack for early crack detection and diagnosis. A new four-beam model with local flexibilities at crack tips is developed to investigate the transverse vibration of a cantilever beam with an embedded horizontal crack; two separate beam segments are used to model the crack region to allow opening of crack surfaces. Each beam segment is considered as an Euler-Bernoulli beam. The governing equations and the matching and boundary conditions of the four-beam model are derived using Hamilton＇s principle. The natural frequencies and mode shapes of the four-beam model are calculated using the transfer matrix method. The effects of the crack length, depth, and location on the first three natural frequencies and mode shapes of the cracked cantilever beam are investigated. A continuous wavelet transform method is used to analyze the mode shapes of the cracked cantilever beam. It is shown that sudden changes in spatial variations of the wavelet coefficients of the mode shapes can be used to identify the length and location of an embedded horizontal crack. The first three natural frequencies and mode shapes of a cantilever beam with an embedded crack from the finite element method and an experimental investigation are used to validate the proposed model. Local deformations in the vicinity of the crack tips can be described by the proposed four-beam model, which cannot be captured by previous methods.

Modeling and Analysis of Scheduling for Distributed Real-time Embedded Systems

Aimed at the deficiencies of resources based time Petri nets （RBTPN） in doing scheduling analysis for distributed real-time embedded systems, the assemblage condition of complex scheduling sequences is presented to easily compute scheduling length and simplify scheduling analysis. Based on this, a new hierarchical RBTPN model is proposed. The model introduces the definition of transition border set, and represents it as an abstract transition. The abstract transition possesses all resources of the set, and has the highest priority of each resource; the cxecution time of abstract transition is the longest time of all possible scheduling sequences. According to the characteristics and assemblage condition of RBTPN, the refinement conditions of transition border set are given, and the conditions ensure the correction of scheduling analysis. As a result, it is easy for us to understand the scheduling model and perform scheduling analysis.

A discrete model for response estimation of soil-structure systems with embedded foundations

The need for simplified physical models representing frequency dependent soil impedances has been the motivation behind many researches throughout history. Generally, such models are generated to capture impedance functions in a wide range of excitation frequencies, which leads to relatively complex models. That is while there is just a limited range of frequencies that really influence the response of the structure. Here, a new methodology based on the response-matching concept is proposed, which can lead to the development of simpler discrete models. The idea is then used to upgrade an existing simple model of surface foundations to the case of embedded foundations. The applicability of the model in both frequency domain and time domain analyses of soil-structure systems with embedded foundations is discussed. Moreover, the accuracy of the results is compared with another existing discrete model for embedded foundations.

Study on a Dual Embedded Discrete Fracture Model for Fluid Flow in Fractured Porous Media

Simulation of fluid flow in the fractured porous media is very important and challenging.Researchers have developed some models for fractured porous media.With the development of related research in recent years,the prospect of embedded discrete fracture model(EDFM)is more and more bright.However,since the size of the fractures in the actual reservoir varies greatly,a very fine grid should be used which leads to a huge burden to the computing resources.To address this challenge,in the present paper,an upscaling based model is proposed.In this model,the flow in large-scale fractures is directly described by the EDFM while that in the small-scale fractures is upscaled through local simulation by EDFM.The EDFM is used to simulate the large-and small-scale fractures independently two times,so the new model is called dual embedded discrete fracture model(D-EDFM).In this paper,the detailed implementation process of D-EDFM is introduced and,through test cases,it is found the proposed model is a feasible method to simulate the flow in fractured porous media.

A Multi-Interface Remote Monitoring and Control System Architecture Based on Embedded Server

This paper presents a multi-interface embedded server architecture for remote real-time monitoring system and distributed monitoring applications. In the scheme,an embedded microprocessor( LPC3250 from NXP) is chosen as the CPU of the embedded server with a linux operation system( OS) environment. The embedded server provides multiple interfaces for supporting various application scenarios. The whole network is based on local area network and adopts the Browser / Server( B / S) model. The monitoring and control node is as a browser endpoint and the remote node with an embedded server is as a server endpoint. Users can easily acquire various sensors information through writing Internet protocol address of remote node on the computer browser. Compared with client / server( C / S) mode,B / S model needs less maintain and can be applicable to large user group. In addition,a simple network management protocol( SNMP) is used for management of devices in Internet protocol( IP) networks. The results of the demonstration experiment show that the proposed system gives good support to manage the network from different user terminals and allows the users to better interact with the ambient environment.

EFFECTIVE ELASTIC MODULI OF INHOMOGENEOUS SOLIDS BY EMBEDDED CELL MODEL

An embedded cell model is presented to obtain the effective elastic moduli for three-dimensional two-phase composites which is an exact analytic formula without any simplified approximation and can be expressed in an explicit form. For the different cells such as spherical inclusions and cracks surrounded by sphere and oblate ellipsoidal matrix, the effective elastic moduli are evaluated and the results are compared with those from various micromechanics models. These results show that the present model is direct, simple and efficient to deal with three-dimensional two-phase composites.

A Solution Based on Modeling and Code Generation for Embedded Control System

With the development of computer technology, embedded control system plays an important role in modern industry. For the embedded system, traditional development methods are time-consuming and system is not easy to maintain. Domain-specific modeling provides a solution for the problems. In this paper, we proposed development architecture for embedded control systems based on MIC. GME is used to construct meta-model and application model, model in-terpreter interprets model and stores model information in xml format document. The final cross-platform codes are automatically generated by different templates and xml format document. This development method can reduce time and cost in the lifecycle of system development.

Software/Hardware Integrating Model of Embedded Reconfigurable Computing System for Digital Signal Processing

The system model of embedded reconfigurable system is discussed firstly, followed by the construction of the soft- ware and hardware platform. Based on the platform, the function trait and control models of digital signal processing tasks are described. According the functional unit model and control model, a software/hardware integrating model with dataflow control infrastructure is constructed. The software/hardware partition is carded out in the experiments of ultrasonic signal processing, and the results show that the system model is practicable.

An Embedded Software Modeling and Process by Using Aspect-Oriented Approach

In recent years, mobile devices have become widespread and refined, and they have offered increased convenience in human life. For these reasons, a variety of embedded systems have been designed. Therefore, improving methods for developing of embedded software systematically has become an important issue. Platform-based design is one example of an embedded-system design method that can reduce the design cost via improving a design’s abstraction level. However, platform-based design lacks precise definitions for platforms and design processes. This paper provides an approach that combines the aspects and platform-based design methods for developing embedded software. The approach is built on platform-based design methodology and uses the separating of concerns (SoC) concept to define the aspects and to reduce the crosscutting concerns in embedded system modeling. For aspect issues, we use the extended UML notation with aspects to describe both the static structure and the dynamic structure of the embedded system. We used an example of a digital photo frame system to demonstrate our approach.

Based on the ISM model embedded geriatric rehabilitation nursing facility development restriction factor analysis

This article through to new embedded geriatric rehabilitation care development present situation, pointed out that in the popularization of its restriction factors, and then asked a further analysis of various factors, constructed the obstacle factors explanation structure model （ISM）.According to the result of classification model and find out the problem, the most direct factors and put forward the corresponding Suggestions, facilities for embedded geriatric rehabilitation nursing mode to find out the key points of development, provide a reference value to scientific basis.

Multi-agent Based Hierarchy Simulation Models of Carrier-based Aircraft Catapult Launch

With the aid of multi-agent based modeling approach to complex systems, the hierarchy simulation models of carrier-based aircraft catapult launch are developed. Ocean, carrier, aircraft, and atmosphere are treated as aggregation agents, the detailed components like catapult, landing gears, and disturbances are considered as meta-agents, which belong to their aggregation agent. Thus, the model with two layers is formed i.e. the aggregation agent layer and the meta-agent layer. The information communication among all agents is described. The meta-agents within one aggregation agent communicate with each other directly by information sharing, but the meta-agents, which belong to different aggregation agents exchange their information through the aggregation layer first, and then perceive it from the sharing environment, that is the aggregation agent. Thus, not only the hierarchy model is built, but also the environment perceived by each agent is specified. Meanwhile, the problem of balancing the independency of agent and the resource consumption brought by real-time communication within multi-agent system （MAS） is resolved. Each agent involved in carrier-based aircraft catapult launch is depicted, with considering the interaction within disturbed atmospheric environment and multiple motion bodies including carrier, aircraft, and landing gears. The models of reactive agents among them are derived based on tensors, and the perceived messages and inner frameworks of each agent are characterized. Finally, some results of a simulation instance are given. The simulation and modeling of dynamic system based on multi-agent system is of benefit to express physical concepts and logical hierarchy clearly and precisely. The system model can easily draw in kinds of other agents to achieve a precise simulation of more complex system. This modeling technique makes the complex integral dynamic equations of multibodies decompose into parallel operations of single agent, and it is convenient to expand, maintain, and reuse the program codes.

Experimental Research on Multi-lateral Wells by the Electric Field Analogue Model

There is a close theoretical similarity between water pressure gradients in aquifers and applied voltage gradients in aqueous solutions. A series of electric field analogue experiments has been conducted by focusing on symmetrical multi-lateral wells and dual-lateral wells of arbitrary angles between laterals. This research not only evaluates the productivity equations of a symmetrical multi-lateral well showing the effect of angles on productivity, but also proposes the concept of the multi-lateral productivity coefficient. Moreover, the multi-lateral productivity coefficient equation is designed to calculate the productivity of dual-lateral wells of variable angles, which is in turn supported by experiment. It also helps provide the experimental basis for optimizing the configuration, and building the semi-analytic productivity model, of multi-lateral wells.

Multi-model comparison of CO2 emissions peaking in China:Lessons from CEMF01 study

The paper summarizes results of the China Energy Modeling Forum's(CEMF)first study.Carbon emissions peaking scenarios,consistent with China's Paris commitment,have been simulated with seven national and industry-level energy models and compared.The CO2 emission trends in the considered scenarios peak from 2015 to 2030 at the level of 9e11 Gt.Sector-level analysis suggests that total emissions pathways before 2030 will be determined mainly by dynamics of emissions in the electric power industry and transportation sector.Both sectors will experience significant increase in demand,but have low-carbon alternative options for development.Based on a side-by-side comparison of modeling input and results,conclusions have been drawn regarding the sources of emissions projections differences,which include data,views on economic perspectives,or models'structure and theoretical framework.Some suggestions have been made regarding energy models'development priorities for further research.

采用STAMP-24Model的多组织事故分析

安全生产事故往往由多组织交互、多因素耦合造成,事故原因涉及多个组织。为预防和遏制多组织生产安全事故的发生,基于系统理论事故建模与过程模型(Systems-Theory Accident Modeling and Process,STAMP)、24Model,构建一种用于多组织事故分析的方法,并以青岛石油爆炸事故为例进行事故原因分析。结果显示:STAMP-24Model可以分组织,分层次且有效、全面、详细地分析涉及多个组织的事故原因,探究多组织之间的交互关系;对事故进行动态演化分析,可得到各组织不安全动作耦合关系与形成的事故失效链及管控失效路径,进而为预防多组织事故提供思路和参考。

Modeling on Residence Time Distribution in Subsurface Flow Constructed Wetlands by Multi Flow Dispersion Model

As an important design factor for constructed wetlands,hydraulic retention time and its distribution will affect the treatment performance.Instantaneously injected sodium chloride tracers were used to obtain residence time distributions of the lab scale subsurface flow constructed wetland.Considering the presence of trailing and multiple peaks of the tracer breakthrough curve,the multi flow dispersion model(MFDM)was used to fit the experimental tracer breakthrough curves.According to the residual sum of squares and comparison between the experimental values and simulated values of the tracer concentration,MFDM could fit the residence time distribution(RTD)curve satisfactorily,the results of which also reflected the layered structure of wetland cells,thus to give reference for application of MFDM to the same kind of subsurface flow constructed wetlands.

Virtual 5G Network Embedding in a Heterogeneous and Multi-Domain Network Infrastructure

The pursuit of the higher performance mobile communications forces the emergence of the fifth generation mobile communication(5G). 5G network, integrating wireless and wired domain, can be qualified for the complex virtual network work oriented to the cross-domain requirement. In this paper, we focus on the multi-domain virtual network embedding in a heterogeneous 5G network infrastructure, which facilitates the resource sharing for diverse-function demands from fixed/mobile end users. We proposed the mathematical ILP model for this problem.And based on the layered-substrate-resource auxiliary graph and an effective six-quadrant service-type-judgment method, 5G embedding demands can be classified accurately to match different user access densities. A collection of novel heuristic algorithms of virtual 5G network embedding are proposed. A great deal of numerical simulation results testified that our algorithm performed better in terms of average blocking rate, routing latency and wireless/wired resource utilization, compared with the benchmark.

Support vector machine-based multi-model predictive control

In this paper, a support vector machine-based multi-model predictive control is proposed, in which SVM classification combines well with SVM regression. At first, each working environment is modeled by SVM regression and the support vector machine network-based model predictive control （SVMN-MPC） algorithm corresponding to each environment is developed, and then a multi-class SVM model is established to recognize multiple operating conditions. As for control, the current environment is identified by the multi-class SVM model and then the corresponding SVMN-MPC controller is activated at each sampling instant. The proposed modeling, switching and controller design is demonstrated in simulation results.