Component Library Research Articles

Simulation of an aircraft environmental control system

The environmental control system of a civil aircraft is a major driver of maintenance. Legacy systems, such as those on the Boeing 737, are particularly at risk, as they are not instrumented for health management. These systems degrade in operation and allow compensation within their operation for degrading components, until severe degradation or failure results. The required maintenance is then both costly and disruptive. The goal of this research is to produce a simulation environment that can model the aircraft environmental control system, in order that analysis for sensor placement and algorithms can be performed without extensive, and expensive, testing. A simulation framework called SESAC – Simscape Environmental Control System Simulation under All Conditions – has been proposed and implemented. It offers a library of components that can be assembled into specific aircraft environmental control system simulation configurations. It is capable of simulating the health state indicating parameters at sub-system and component levels under a wide-range of aircraft operating scenarios. The developed framework has been successfully implemented to simulate a Boeing 737-800 passenger air conditioner. Its verification and validation has been carried out against the actual data corresponding to a Boeing 737-800 passenger air conditioner operating at two different cruise operating points. An extensive comparison of the simulation is presented against the data for all the passenger air conditioner components. The overall acquired results suggest that changes in the aircraft ambient conditions can have a noticeable impact on the demanded passenger air conditioner outlet temperature, and a substantial impact on the heat transfer in the primary and secondary heat exchangers. The reported simulation capability serves as a first step towards formulating an environmental control system fault simulation and diagnostic solution.

Optimization of Sports Fitness Management System Based on Internet of Health Things

Due to the huge scale of the Internet of Health Things (IoHT), various research methods currently applied in the field of Internet of Health Things are limited to the technical problems themselves, which lack a macro grasp of the entire Internet of Things (IoT) system. The verification of the proposed technical scheme requires the purchase of a large number of hardware devices, but as a result, only relatively limited research models can be constructed, which makes the entire system long management cycle and high management cost. Based on the research of particle swarm optimization algorithm, this paper finds its shortcomings and makes corresponding improvements. A new improved method of particle swarm optimization algorithm is proposed. By introducing the method of average particle distance and population distribution entropy in the algorithm search process, the inertia weight is dynamically changed. This is conducive to the improvement of the optimization efficiency of the particle swarm optimization algorithm, and has a good optimization accuracy. A IoHTs modeling method for component collaboration is proposed, and the IoHTs component library is designed according to the proposed modeling method. At the same time, this article discusses the XModel modeling simulation platform, and builds a IoHTs component model based on this platform, and has completed the verification of the validity of the proposed modeling method and the feasibility of the IoHTs IPv6 communication scheme. The component library designed in the XModel platform is based on the functions of IoT devices, and the components have more complete network communication features. The XModel platform specifically customizes the CMIoT component library, and supports the continuous expansion of the component library and the continuous refinement of component functions, providing a new method for communication research in the Internet of Health Things field.

PaperClip DNA Assembly: Reduce, Reuse, Recycle.

Creating DNA constructs is a basic and fundamental step in molecular and synthetic biology. While prices for gene synthesis are decreasing, it is still more economical in most cases to assemble constructs from a library of components (Parts). Many methods for DNA assembly are available, but most require either a fixed and inflexible format for the construct, with all Parts first being cloned in specific donor plasmids, or remaking Parts with new homology ends for each specific assembly reaction, requiring large numbers of single-use oligonucleotides. PaperClip assembly allows Parts stored in any format (linear PCR products or synthetic DNA, or cloned in any plasmid) to be used in totally flexible assembly reactions; up to 11 parts can be assembled in a single reaction, in any order, to give a linear or circular construct, and the oligonucleotides required in the assembly process can be reused in any subsequent assembly. In addition to constructing plasmids for bacterial transformation, PaperClip is also well suited to generate linear products for direct transfection of yeast, mammalian, or cyanobacterial cell lines. Thus, PaperClip offers a simple, flexible, and economical route to multipart assembly of constructs for a wide variety of purposes.

Enabling Ordinary Users Mobile Development With Web Components

The rapid progress of the mobile internet has been promoting the popularity of mobile devices, and mobile application development is getting more pervasive. However, the state of the art development environments has a high learning barrier for users' lack of programming experience. In this paper, instead of traditional programming environments, we take consideration of ordinary users' requirements and propose a WYSIWYG cross-platform web-component-based mobile application creation environment for ordinary users. This environment has a visual editor with a drag-and-drop web component. A web component library model is proposed to standardize customized libraries. A cross-platform application model based on web components is implemented to build applications rapidly. It helps ordinary users generate installing packages within simple operations for multiple platforms. A native plugin model is proposed to assist web components to invoke native functionalities. The experiment result shows that ordinary users could quickly start to create mobile applications in our environment.

3D modeling design and rapid style recommendation of polo shirt based on interactive genetic algorithm

This paper proposes a design method for personalized 3D modeling and a rapid style recommendation of polo shirts based on interactive genetic algorithms. Through the research on the parametric multi-style design method of polo shirts, this paper proposes 3D design methods such as the conversion of 3D models, component splicing, and stripes matching mapping rules. In addition, we establish a coded component library of style parts and striped designs to realize the component modeling of tailor-made styles for polo shirts. Besides, the Interactive Genetic Algorithm (IGA) is introduced in the article. Through the algorithm coding, initial population generation, selection, using the scoring mechanism to obtain the user’s suitability evaluation of the program, crossover, and mutation, etc., gradually generating a user-satisfied polo shirt style model design plan, a personalized rapid style recommendation of the user-oriented polo shirt is established. This system can present tailored polo shirt style for customers, and WYSIWYG, to find the most favorite clothing styles for customers and lower the threshold of clothing design expertise.

Discovery of an all-donor aromatic [2]catenane.

We report herein the first all-donor aromatic [2]catenane formed through dynamic combinatorial chemistry, using single component libraries. The building block is a benzo[1,2-b:4,5-b′]dithiophene derivative, a π-donor molecule, with cysteine appendages that allow for disulfide exchange. The hydrophobic effect plays an essential role in the formation of the all-donor [2]catenane. The design of the building block allows the formation of a quasi-fused pentacyclic core, which enhances the stacking interactions between the cores. The [2]catenane has chiro-optical and fluorescent properties, being also the first known DCC-disulphide-based interlocked molecule to be fluorescent.

Real-time monitoring system for passive energy-saving houses in the internet of things environment

The real-time monitoring system can improve the management of passive energy-saving houses. Therefore, this paper proposes a real-time monitoring system for passive energy-saving houses in the internet of things. Construct the overall framework of the system, use DSP integrated signal processor to process real-time information; select PCI9054 bus as output bus transmission mode, control the local bus through PCI, use the transceiver conversion module to analyse the monitoring information in real time; use ADO.NET component library Interact with the database to realise IoT management and control of monitoring information, and implement system software design by wavelet transform algorithm. The simulation results show that the designed system has a monitoring delay of only 2s, and the overall stability is strong. It can process the monitoring information of energy-saving houses in real time.

Real-time monitoring system for passive energy-saving houses in the internet of things environment

The real-time monitoring system can improve the management of passive energy-saving houses. Therefore, this paper proposes a real-time monitoring system for passive energy-saving houses in the internet of things. Construct the overall framework of the system, use DSP integrated signal processor to process real-time information; select PCI9054 bus as output bus transmission mode, control the local bus through PCI, use the transceiver conversion module to analyse the monitoring information in real time; use ADO.NET component library Interact with the database to realise IoT management and control of monitoring information, and implement system software design by wavelet transform algorithm. The simulation results show that the designed system has a monitoring delay of only 2s, and the overall stability is strong. It can process the monitoring information of energy-saving houses in real time.

Integrated railway design using Infrastructure-Building Information Modeling. The case study of the port of Venice

The Infrastructure Building Information Modeling (I-BIM) is a digital information management system utilized in the transport infrastructures construction, becoming increasingly important. BIM modeling aims at bringing improvements to all design stages. The use of BIM modeling will also provide cost reduction and control, increase awareness to data, design information availability and usability in each phase of infrastructure life cycle. Although the advanced modeling of the building components and systems leads to advantages well highlighted by practice and literature, in case of transportation infrastructures a critical analysis could show if this design methodology carries out the same benefits. The limited availability of infrastructure components libraries and the difficulty in assigning parameters to the geometries of the objects (many of them with unique characteristics) have been frequently quoted as main obstacles to the BIM use for the transport infrastructures. With this background, the problem is to understand which BIM-for-building features must be preserved in the production and management practices of each infrastructure model (classes, information exchanges and relationship between the classes and the spatial decomposition). This work is focused on the study of the I-BIM methodologies for the transport infrastructures (in particular railway infrastructures), analyzing a case study related to the port of Venice. The upward trend of goods quantity daily passing through the port infrastructures, led to the need to expand the container loading/unloading ship areas and, at the same time, to find a new and faster goods exit from the port areas, compared to the existing railway infrastructures. The authors developed a pre-feasibility study to identify the railway connection between the new port station and the existing line Padova – Mestre and to evaluate the difficulties and the ripeness of available means for an integrated design with the BIM tools

Methods and means of increasing the reliability of computerized modular uninterruptible power supply system

The problem of development and implementation of a simple and effective method of the rectifiers operation control for the modular uninterruptible DC power supply unit in order to increase its reliability is considered in this paper. The main idea of the method is to control the process of cyclic shifting of the switched-on power modules of the uninterruptible power supply by series switching into operation of each subsequent module from their unloaded reserve and switching out the previous one. The paper presents the control system structure where in addition to the central control module, it is proposed to add the control unit for power modules, which is responsible for implementing the process of their switching on and monitors their condition. In order to investigate the effectiveness of the proposed method, computer simulation model describing the power modules control logic is developed. The Simulink visual modeling environment and the mathematical tools of the Stateflow library component using state and transition diagrams are used in order to develop the simulation model. The developed simulation model is tested and the simulation results are given in the form of time diagrams of state change. The іmplementation of the developed method, due to the uniform reduction of the period during which the power modules of the uninterruptible power supply are on the switched-on loaded state, makes it possible to increase their operating time to failure, which in turn increases its reliability without deteriorating energy efficiency. The simulation results demonstrate the efficiency of the developed algorithm in various system operation modes. Based on the proposed method, hardware and software which is implemented as a part of intelligent computerized control system for uninterruptible DC power supply is created.

Doo bee doo bee doo

AbstractWe explore the design and implementation of Frank, a strict functional programming language with a bidirectional effect type system designed from the ground up around a novel variant of Plotkin and Pretnar’s effect handler abstraction. Effect handlers provide an abstraction for modular effectful programming: a handler acts as an interpreter for a collection of commands whose interfaces are statically tracked by the type system. However, Frank eliminates the need for an additional effect handling construct by generalising the basic mechanism of functional abstraction itself. A function is but the special case of a Frankoperatorthat interprets no commands. Moreover, Frank’s operators can bemultihandlerswhich simultaneously interpret commands from several sources at once, without disturbing the direct style of functional programming with values. Effect typing in Frank employs a novel form of effect polymorphism which avoids mentioning effect variables in source code. This is achieved by propagating anambient abilityinwards, rather than accumulating unions of potential effects outwards. With the ambient ability describing the effects that are available at a certain point in the code, it can become necessary to reconfigure access to the ambient ability. A primary goal is to be able to encapsulate internal effects, eliminating a phenomenon we calleffect pollution. Moreover, it is sometimes desirable to rewire the effect flow between effectful library components. We propose adaptors as a means for supporting both effect encapsulation and more general rewiring. Programming with effects and handlers is in its infancy. We contribute an exploration of future possibilities, particularly in combination with other forms of rich type systems.

A Study on Architectural Spatial Composition According to the Functional Changes of Public Library

Public libraries are becoming resident-friendly spaces and important regional cultural facilities that provide diverse cultural services. According to the functional changes that require diversity, the complexity of programs in public libraries is not simply an extension of existing functions with new functions, but a demand for a new space where various functions are mixed. In other words, it is possible to accommodate complex programs through the change in the interrelationship of the spatial components of public libraries. The architectural elements(openness, accessibility, connectivity) representing the publicness in public libraries and the type of spatial combination(remote, touched, connected, meshed, unified), are set as criteria for the analysis of this study. In other words, this study attempts to find out how the spaces for various functions are combined for the pursuit of publicness, and to analyze the architectural approaches in detail. In this study, Seattle Central Library is selected as the case study which proposed a new method of organizing spaces according to the complex and diverse functions of the library, and is compared to regional central libraries in Korea. As a result, although domestic public libraries are recently designed, new programming of complex spaces for the spatial composition of public libraries still needs to be accommodated. The results of this study suggest that it is necessary to set up the main design guidelines for architectural spatial composition that can combine user-oriented various functions from the schematic design stage of public library construction.

Research on Ocean Government Data Extraction and Clustering Based on XML Document Similarity Technology

Yao, B.; Wang, L., and Liu, S., 2019. Research on ocean government data extraction and clustering based on XML document similarity technology. In: Li, L.; Wan, X., and Huang, X. (eds.), Recent Developments in Practices and Research on Coastal Regions: Transportation, Environment and Economy. Journal of Coastal Research, Special Issue No. 98, pp. 259–262. Coconut Creek (Florida), ISSN 0749-0208.In component clustering, a recursive algorithm for computing the similarity between components based on extensible markup language (XML) description is proposed, which can effectively measure the structure and semantic information contained in the XML description document. The document similarity matrix is constructed. The high-dimensional samples are mapped to the two-dimensional plane by a genetic algorithm, and the k-means algorithm is used to cluster to obtain the global optimal component clustering. Finally, experiments are carried out on the component library test model. The experimental results show that the component clustering algorithm based on XML similarity is feasible and effective in component query practice.

A Component-Based Formal Language Workbench

The CBS framework supports component-based specification of programming languages. It aims to significantly reduce the effort of formal language specification, and thereby encourage language developers to exploit formal semantics more widely. CBS provides an extensive library of reusable language specification components, facilitating co-evolution of languages and their specifications. After introducing CBS and its formal definition, this short paper reports work in progress on generating an IDE for CBS from the definition. It also considers the possibility of supporting component-based language specification in other formal language workbenches.

Dynamic performance comparison of different cascade waste heat recovery systems for internal combustion engine in combined cooling, heating and power

The internal combustion engine is an important prime mover in combined cooling, heating and power systems. However, approximately 30–40% of the input energy is discharged by exhaust; thus, it is significant to recover the exhaust waste heat. Cascade energy-utilisation systems have high efficiencies for exhaust recovery with a large temperature drop. However, waste heat-recovery systems usually work under different conditions and therefore, it is meaningful to study the dynamic performance of cascade systems. In this work, by developing a model library of common components in thermodynamic systems, dynamic simulation models of three cascade systems are established: an electric-cooling cogeneration system (ECCS), a double-effect absorption refrigeration system, and a double-stage organic Rankine cycle. The dynamic response speed and off-design performance of each system are analysed and compared. The results indicate that all the cascade systems respond considerably more slowly than any single-stage cycle, and the ECCS achieves the best off-design performance because both its upper and lower stages (high-temperature organic Rankine cycle and absorption refrigeration) exhibit perfect working condition adaptability, especially the lower stage. Furthermore, the structure of the ECCS is more beneficial for the lower stage to maintain satisfactory off-design performance.

Program extraction for mutable arrays

We present a lightweight method to represent, verify, and extract efficient programs involving mutable arrays in the Coq proof assistant. Our method mainly consists of a library for handling mutable arrays and an improved extraction plugin. Our library provides a monadic domain specific language for modeling computations involving mutable arrays, a simple reasoning method based on the Ssreflect extension and the Mathematical Components library, and an extraction method to efficient OCaml programs using in-place updates. Our extraction plugin improves the performance of our extracted programs, or more appropriately, through the application of simple program transformations for purely functional programs, it reduces both construction and destruction costs of inductive and coinductive objects and function call costs. As concrete applications for our method, we provide efficient implementations, correctness proofs, and benchmarks of the union–find data structure and the quicksort algorithm.

Mimicking Chemotactic Cell Migration with DNA Programmable Synthetic Vesicles.

Chemotactic cell motility plays a critical role in many biological functions, such as immune response and embryogenesis. Constructing synthetic cell-mimicking systems, such as a dynamic protocell, likewise requires molecular mechanisms that respond to environmental stimuli and execute programmed motility behaviors. Although various molecular components were proposed to achieve diverse functions in synthetic protocells, chemotactic motility on surfaces has not been reported thus far. Here we show directional motility in synthetic lipid vesicles capable of chasing each other by programming DNA components. We demonstrate that the "follow" vesicle recognizes and migrates along the moving trajectory of the "lead" vesicle with an enhanced speed, thus mimicking natural chemotaxis in cell migration. This work provides new possibilities for building synthetic protocells with complex functions such as programmed morphogenesis and cooperative motion. With the vast library of dynamic DNA components, we envision that this platform will enable new discoveries in fundamental sciences and novel applications in biotechnology.

Development and Analysis of a Multi-Node Dynamic Model for the Simulation of Stratified Thermal Energy Storage

To overcome non-programmability issues that limit the market penetration of renewable energies, the use of thermal energy storage has become more and more significant in several applications where there is a need for decoupling between energy supply and demand. The aim of this paper is to present a multi-node physics-based model for the simulation of stratified thermal energy storage, which allows the required level of detail in temperature vertical distribution to be varied simply by choosing the number of nodes and their relative dimensions. Thanks to the chosen causality structure, this model can be implemented into a library of components for the dynamic simulation of smart energy systems. Hence, unlike most of the solutions proposed in the literature, thermal energy storage can be considered not only as a stand-alone component, but also as an important part of a more complex system. Moreover, the model behavior has been analyzed with reference to the experimental results from the literature. The results make it possible to conclude that the model is able to accurately predict the temperature distribution within a stratified storage tank typically used in a district heating network with limitations when dealing with small storage volumes and high flow rates.

Economic Optimization of the Energy Supply for a Logistics Center Considering Variable-Rate Energy Tariffs and Integration of Photovoltaics

The energy supplied by photovoltaic (PV) panels connected to the grid creates more flexibility for energy management; however, oversizing the PV system may result in an energy surplus, an essential factor to be considered during energy efficiency optimization. The economic analysis of energy supply systems for buildings and industry should include a detailed feasibility analysis and a life cycle perspective. Simulations were performed to quantify the potential savings when the excess of PV energy (surplus) is supposed to be exported to the grid by considering the net metering and net billing approaches. Our objective was to evaluate the electrical demand of a logistics center with pre-design modeling and simulation, and determine the adequate system configurations by considering the life cycle costing (LCC). We established a baseline and three alternative economic scenarios for optimization. Combining the use of TRNSYS 180 Simulation Studio and its optimization library component, GenOp (Generic Optimization Program), we simulated different options of grid energy contracts considering the variable tariffs and the integration with PVs. Based on the LCC, a single-objective optimization (SOO) process was performed. This approach allowed us to envisage possible configurations, reducing up to a quarter of annual grid energy consumption that represents savings of around 21% for the LCC in a timeframe of 20 years, reaching up to 39% when the export of the PV surplus energy is considered. The payback period of investments is below six years for the optimal scenarios.

Design and optimization of prefabricated component system based on BIM technology

Building industrialization is a new trend in the development of the construction industry, which is characterized by the implementation of standardized design, industrialized production, mechanized construction and information management in the process of building production. The combination of BIM technology and the design and construction of prefabricated structure can give play to the advantages of BIM information integration and realize the integration of design, production, construction and operation and maintenance. In this context, in order to maintain the good functional characteristics of the prefabricated component system and enhance its potential application value in practice, it is necessary to realize the design and optimization of the system under the support of BIM technology, so as to meet the requirements of the sustainable development of the prefabricated component system. This method with prefabricated library as a starting point, choose the component library of prefabricated assembly design, form a whole structure BIM model, along with analytical review, collision checking, etc., inspection, adjustment and optimization of BIM model, according to the proposed file encryption algorithm to encrypt files, and eventually form a reasonable design scheme of BIM model guide production, transportation and assembly of prefabricated construction.