Representation of Categorical Specification of Self-Configurations in Reactive Autonomic Systems Framework

Software complexity crisis brings huge obstacle to further progress in IT industry. To alleviate this problem, researchers are asked to build systems which can benefit from automation. With autonomic behavior, the real-time reactive systems can be more self-managed and adaptive to their environment. However, most of current formal approaches fail to specify such kind of system. In this paper, we proposed an approach to formally specify reactive autonomic systems. First, we used category theory to formalize reactive autonomic systems;then we focused on the categorization of self-configurations and work flows of reactive autonomic systems, and finally we used XML to specify the categorical models. In doing so, it can help to build the foundation of reactive autonomic systems with autonomic features and verify emergent behaviors.

Development and Application of Tree Configuration Information System for Urban Greenland in Xinjiang

A system of plants configuration for landscape in Xinjiang was established by Delphi7 and Server SQL 2000,with theory and method of information system,combined with computer technology.

Optimal Static Partition Configuration in ARINC653 System

ARINC653 systems, which have been widely used in avionics industry, are an important class of safety-critical applications. Partitions are the core concept in the Arinc653 system architecture. Due to the existence of partitions, the system designer must allocate adequate time slots statically to each partition in the design phase. Although some time slot allocation policies could be borrowed from task scheduling policies, no existing literatures give an optimal allocation policy. In this paper, we present a partition configuration policy and prove that this policy is optimal in the sense that if this policy fails to configure adequate time slots to each partition, nor do other policies. Then, by simulation, we show the effects of different partition configuration policies on time slot allocation of partitions and task response time, respectively.

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.

Preliminary Analysis of Advanced Equilibrium Configuration for the Fusion-Driven Subcritical System

The Fusion-Driven Subcritical System(FDS)is a subcritical nuclear energy systemdrived by fusion neutron source.In this paper,an advanced plasma configuration for FDS systemhas been proposed,which aims at high beta,high bootstrap current and good confinement.Afixed-boundary equilibrium code has been used to obtain ideal equilibrium configuration.In order

A Study of Performance Testing in Configurable Software Systems

Customizing applications through program configuration options has been proved by many open-source and commercial projects as one of the best practices in software engineering. However, traditional performance testing is not in synch with this industrial practice. Traditional performance testing techniques consider program inputs as the only external factor. It ignores the performance influence of configuration options. This study aims to stimulate research interest in performance testing in the context of configurable software systems by answering three research questions. That is, why it is necessary to conduct research in performance testing, what are the state-of-the-art techniques, and how do we conduct performance testing research in configurable software systems. In this study, we examine the unique characteristics and challenges of performance testing research in configurable software systems. We review and discuss research topics on the performance bug study, performance anti-patterns, program analysis, and performance testing. We share the research findings from the empirical study and outline the opening opportunities for new and advanced researchers to contribute to the research community.

Simulation of drop breakage in liquid–liquid system by coupling of CFD and PBM: Comparison of breakage kernels and effects of agitator configurations

This work focuses on drop breakage for liquid-liquid system with an adoption of numerical simulation by using computational fluid dynamics and population balance model (PBM) coupled with two-fluid model (TFM). Two different breakage kernels based on identical breakage mechanism but different descriptions of breaking time are take n into account in this work. Eight cases corresp on ding to distinct configurations of agitator are carried out to validate numerical predictions, namely agitators with different porosity and hole diameters, respectively implemented in Cases 1 to 5 and Cases 6 to 8. The results are compared with experimental data for testing the applicability of both kernels. Simulations are implemented, in this work, with an approach of class method for the solution of population balance model by the special-purpose computational fluid dynamics solver Fluent 16.1 based on finite volume method, and the grids used for meshing the solution domain are accomplished in a commercial software Gambit 2.4.6. The effects of configurations of agitator corresponding to different parameters mentioned above on final Sauter mean diameter are equally concentrated in this work. Analysis of both kernels and comparisons with experimental results reveal that, the second kernel has more decent agreement with experiments, and the results of investigations on effects of agitator configurations show that the in fluences of these parameters on Sauter mean diameter are marginal, but appropriate porosity and hole diameter are actually able to decrease Sauter mean diameter. These outcomes allow us to draw general conclusions and help investigate performances of liquid-liquid system.

Equilibrium configurations of the tethered three-body formation system and their nonlinear dynamics

This paper considers nonlinear dynamics of teth- ered three-body formation system with their centre of mass staying on a circular orbit around the Earth, and applies the theory of space manifold dynamics to deal with the nonlinear dynamical behaviors of the equilibrium configurations of the system. Compared with the classical circular restricted three body system, sixteen equilibrium configurations are obtained globally from the geometry of pseudo-potential energy sur- face, four of which were omitted in the previous research. The periodic Lyapunov orbits and their invariant manifolds near the hyperbolic equilibria are presented, and an iteration procedure for identifying Lyapunov orbit is proposed based on the differential correction algorithm. The non-transversal intersections between invariant manifolds are addressed to generate homoclinic and heteroclinic trajectories between the Lyapunov orbits. （3,3）- and （2,1）-heteroclinic trajecto- ries from the neighborhood of one collinear equilibrium to that of another one, and （3,6）- and （2,1）-homoclinic trajecto- ries from and to the neighborhood of the same equilibrium, are obtained based on the Poincar6 mapping technique.

Research on Beijing-Tianjin-Hebei Integration Higher EducationResource Optimization Configuration Status and Evaluation System

京津冀协同发展对于京津冀三地的高等教育是一个极好的发展契机,但是三地的高等教育发展水平呈现了不平衡的态势,资源拥有量的差距较大D 因此,高等教育资源的优化配置是当下高等教育发展亟待解决的问题.在分析京津冀高等教育资源配置现状的基础上,立足于协同发展的视角,从影响高等教育资源配置的背景、师资资源、教育经费、教育基础设施、教育质量及成就等方面构建了京津冀高等教育资源配置评价指标体系.

Research on Configuration Optimization of Escalator Assembly Profiles based on SAP System

A new method for quantity configuration of escalator linear profile in SAP system is proposed. This method is to create the calculation formula of the assembly length of escalator linear profile according to the characteristic value of escalator, the requirements of assembly process and the technical specification of packaging and transportation,and then optimize the configuration method in SAP system. It avoids the waste caused by the SAP system configuration of 6 m long profile that needs to be cut to the actual length,which reduce the scrap rate of escalator assembly profiles. It provides an example to reduce manufacturing cost by improving the configuration in SAP system without change of assembly process.

A Molecular Description of Superconductivity of Sulfur Hydride and Related Systems under High-Pressure Conditions

It has been shown that the recently discovered sulfur trihydride (H3S) can be considered as a superconductor with a transition temperature Tc of 203 Kelvin (K) at 155 GigaPascals (GPa). This is the highest Tc value reported for any superconductor. The established superconductivity occurs via the formation of a molecular system with sulfur atoms arranged on a body-centered cubic lattice. It has been generally accepted that the high Tc value is the result of an efficient electron-phonon interaction. The responsible substance formed by H2S under high pressure, may be considered as a compound with H3S stoichiometry creating an impressive network with hydrogens. We will focus on the hydrogen bonding between sulfur and hydrogens demonstrating a symmetrical arrangement. The geometry of the individual radical compound in relation to corresponding systems will be discussed. Ab initio calculations based on a linear three-center two-, three- and four-electron type of bonding clearly visualized in combination with the dynamics of the Van’t Hoff concept, as described by us in various papers, give a good description of this exclusive network. We also discuss the superconductivity of related phosphorus hydrides and focus on the stability and geometrical differences with respect to the H3S system. These differences are significant, demonstrating the diversity in various structures in showing superconductivity.

Cooperative Optimization of Reconfigurable Machine Tool Configurations and Production Process Plan

The production process plan design and configurations of reconfigurable machine tool （RMT） interact with each other. Reasonable process plans with suitable configurations of RMT help to improve product quality and reduce production cost. Therefore, a cooperative strategy is needed to concurrently solve the above issue. In this paper, the cooperative optimization model for RMT configurations and production process plan is presented. Its objectives take into account both impacts of process and configuration. Moreover, a novel genetic algorithm is also developed to provide optimal or near-optimal solutions： firstly, its chromosome is redesigned which is composed of three parts, operations, process plan and configurations of RMTs, respectively; secondly, its new selection, crossover and mutation operators are also developed to deal with the process constraints from operation processes （OP） graph, otherwise these operators could generate illegal solutions violating the limits; eventually the optimal configurations for RMT under optimal process plan design can be obtained. At last, a manufacturing line case is applied which is composed of three RMTs. It is shown from the case that the optimal process plan and configurations of RMT are concurrently obtained, and the production cost decreases 6.28% and nonmonetary performance increases 22%. The proposed method can figure out both RMT configurations and production process, improve production capacity, functions and equipment utilization for RMT.

Research on Data Management and Configuration in RBC Simulator

The Radio Block Center(RBC) is the key component of CTCS-3 which is responsible for monitoring the safe operation of all trains within its control area A complete RBC system shall have data configuration capability to support the application function of RBC,and shall be able to generate the data flow needed by the system.This paper focuses on the research of data management and data configuration in RBC on the basis of RBC simulator.Based on the analysis of the RBC simulator and its external interface,the requirements of the RBC database are analyzed and models of RBC databases are designed. The key technical issues concerning the data configuration and data flow generation are introduced.

Environmental Analysis Using Integrated GIS and Spatial Configurations in Israel

The scope for environmental analysis constitutes a critical factor in recent times, yet demanding importance due to the concerns of environmental sustainability. The study aims at analysing the prospects of implementing an integrated GIS and spatial configuration for environment analysis in Israel. The study adopts an empirical study design to consider the multi-dimensional utilisation of an integrated GIS and spatial configuration for environment analysis. The study considers the materials and methods of the GIS system modelling as well, consisting of satellite imagery, GPS-based location identification, Esri ArcGIS, CyberGIS, and BIM integration to present a comprehensive system for the environmental analysis of Israel. The results of the study indicate that the threats of natural disasters and climate change can be identified based on the synergy of spatial data within an integrated GIS modelling. In many cases, it is also used in collaboration with a BIM to ensure that planning and decision-making processes are sustainable, economically beneficial and environmentally considered. Thus, it is concluded that environmental analysis through the projection of visually represented satellite imagery within an integrated GIS with spatial configurations in Israel can minimise the conflicts between the infrastructural designs, human activities, and environmental sustainability.

An ARM-based debugging system for multipole array acoustic logging tools

This paper presents a debugging system for multi-pole array acoustic logging （MPAL） tools. The debugging system proposed in this study can debug the MPAL tool system, sub-system and local electronics. In the test equipment, we have used principal and subordinate structures, and interconnected the host computer and the front-end machine via Ethernet. The front-end machine is based on the ARM7 （advanced reduced instruction set computing （RISC） machine） technique, the processor of which runs an embedded operating system, namely, uClinux OS. We have analyzed the system telecommunication, human-machine interface circuit, transmitter mandrel interface circuit, receiver mandrel interface circuit, and board-level test interface circuit. The software used in the system consists of the embedded front-computer software and the host application software. We have explained in detail the flow chart of the boot loader in the embedded front-computer software. The host application software is composed of four application subroutines, which match with the functional modules of the system hardware. A net communication program based on the server^client mode is implemented by means of socket programming and multi-thread programming. Test results indicate that the data transmission rate of the system is higher than 1 MB/s, which completely meets the current requirements of the data transmission rate between the tool system and the wireline telemetry device. Application of the debugging system, which includes multiple level test methods, shows that the proposed system can fully meet the test requirements of MPAL at various levels.

Study on the Configuration of Towed Flexible Cables

Based on the fundamental equation of flexible cable dynamics for a towed system, an easily solved mathematical model is set up in this paper by means of appropriate simplification. Several regular patterns of spatial motion of towed flexible cables in water are obtained through numerical simulation with the finite difference method, and then modification and verification by trial results at sea. A technical support is provided for the towing ship to maneuver properly when a flexible cable is towed. Furthermore, the relations between two towed flexible cables, which are towed simultaneously by a ship, are investigated. The results show that the ship towing two flexible cables is safe under the suggested arrangement of two winches for the towing system, and the coiling/uncoiling sequences of the cables as well as the suggested way of maneuvering.

Automatic Synchronization of Common Parameters in Configuration Files

In an information system, applications often make use of services that they access using the parameters described in their configuration files. Various applications then use different codes to denote the same parameters. When access parameters of a service are modified, it is necessary to update them in every configuration file using them. These changes are necessary, for example because of security policies involving regular changes of passwords, or departure of some system administrators. The database password could be changed for example. When system administrators can not immediately identify all services affected by a change or when they feel they don’t have the skills to edit these files, these parameters remain unchanged, creating critical security flaws. This was observed in more than 80% of the organizations we studied. It then becomes necessary to ensure automatic synchronization of all affected files when changing certain settings. Conventional synchronization solutions are difficult to apply when the relevant applications have already been developed by third parties. In this paper, we propose and implement a solution to automatically update all configuration files affected by a change, respecting their structure and codification. It combines a parameters database, a mapping between the configuration files parameters codes and those of the database, and templates for the generation of files. It achieves the objective for all non-encrypted configuration files.

Development of Self-Configuring Simulation System for Propelling AAA Fire Control

In this paper,the overall structure design of the Ethernet-based and distributed simulation system for propelling(AAA) fire control is proposed with introducing the concept of system self-configuring pattern.The advantage of this system self-configuring pattern is easy and flexible to configure the modules of the simulation system without doing much more reprogramming work,when the simulation system is needed to add or reduced the modules and simulation computers,and the scale of simulation system is needed to changed.Also the system is structured with standardized and modularized design procedures on the Windows OS platform.

双回路控制下拖拉机发动机管理系统的设计

随着拖拉机发动机控制系统的复杂性在不断增加,拖拉机发动机扭矩管理系统需要满足多种工况需求,配备多种传感器和执行器,同时具备高效能和燃油经济性。为此,设计了基于双回路速度跟踪控制的拖拉机发动机扭矩管理系统,通过两个回路实现对发动机扭矩的精确控制,其中一个回路用于速度跟踪,另一个回路用于调节发动机扭矩。通过精确的速度控制和扭矩管理,系统可以在不同工况下实现高效的能量利用和优化的运行性能。试验结果表明:系统能够有效地实现发动机扭矩的准确控制,提高了拖拉机的整体性能和燃油经济性。研究结果旨在改进拖拉机发动机控制系统的性能,提高其适应多种工况的能力,并实现更高的燃油经济性。

基于SystemVerilog DPI的ARM SoC虚拟调试验证平台的设计

提出和实现了一种基于System Verilog直接编程接口(DPI)的SoC调试系统验证平台.该平台利用DPI将GDB调试器和目标芯片的验证Testbench集成在一起,实现了ARM7 SoC调试系统的RTL级调试验证.验证平台能够在FPGA原型验证之前发现和定位调试系统的错误点,缩短验证周期和提高验证效率.