Search

Presents information on (SMART), a modular research World Wide Web-base tool, which allows rapid identification and annotation of signaling domain sequences. Details on the most informative techniques used to predict the annotation of novel genes or genomes; Construction of multiple sequence alignments in identifying signaling domain sequences.

The Joint Center for Satellite Data Assimilation (JCSDA) Community Radiative Transfer Model (CRTM) is a fast, 1D radiative transfer model used in numerical weather prediction, calibration/validation, etc., across multiple federal agencies and universities. The key benefit of the CRTM is that it is a satellite simulator. It provides a highly accurate representation of satellite radiances by using the specific sensor response functions convolved with a Line-by-Line Radiative Transfer Model (LBLRTM). CRTM covers the spectral ranges consistent with all present operational and most research satellites, from visible to microwave. The capability to simulate ultraviolet radiances and support space-based radar sensors is being added over the next 2 years in CRTM version 3.0. In addition to simulated radiances, the CRTM also provides Jacobian outputs needed to interpret satellite observations for numerical weather prediction. The Jacobian estimates how changes in geophysical parameters affect simulated measurements from satellite sensors. Using the Jacobian in modeling and weather prediction improves the accuracy and efficiency of data analysis, leading to better weather predictions. The CRTM model's success and growth depend on community contributions and evaluation. To facilitate this, we have made the CRTM highly accessible through modular programming, clear documentation and tutorials, public domain licensing, unfettered public access via GitHub, and a clear path to operational implementation for innovative research. We encourage and welcome contributions from the community to help us continue to improve the CRTM. [ABSTRACT FROM AUTHOR]

The Smart Readiness Indicator (SRI) is a newly developed framework that measures a building's technological readiness to improve its energy efficiency. The integration of data obtained from this framework with data derived from Building Information Modeling (BIM) has the potential to yield compelling results. This research proposes an algorithm for a Recommendation System (RS) that uses SRI and BIM data to advise on building energy-efficiency improvements. Following a modular programming approach, the proposed system is split into two algorithmic approaches linked with two distinct use cases. In the first use case, BIM data are utilized to provide thermal envelope enhancement recommendations. A hybrid Machine Learning (ML) (Random Forest–Decision Tree) algorithm is trained using an Industry Foundation Class (IFC) BIM model of CERTH'S nZEB Smart Home in Greece and Passive House database data. In the second use case, SRI data are utilized to develop an RS for Heating, Ventilation, and Air Conditioning (HVAC) system improvement, in which a process utilizes a filtering function and KNN algorithm to suggest automation levels for building service improvements. Considering the results from both use cases, this paper provides a solid framework that exploits more possibilities for coupling SRI with BIM data. It presents a novel algorithm that exploits these data to facilitate the development of an RS system for increasing building energy efficiency. [ABSTRACT FROM AUTHOR]

This high-level toolbox for the calculus with Taylor polynomials is named after L.F.A. Arbogast (1759-1803), a French mathematician from Strasbourg (Alsace), for his pioneering work in derivation calculus. Arbogast is based on a well-defined extension of the C programming language, Modular C, and places itself between tools that proceed by operator overloading on one side and by rewriting, on the other. The approach is best described as contextualization of C code because it permits the programmer to place his code in different contexts—usual math or automatic differentiation (AD)—to reinterpret it as a usual C function or as a differential operator. Because of the type generic features of modern C, all specializations can be delegated to the compiler. The higher order AD with arbogast is exemplified on families of functions of mathematical physics and on models for complex dielectric functions used in optics. [ABSTRACT FROM AUTHOR]

The development of computer simulation methods has proceeded in parallel with those in other areas of computing. Thus, interest in component-based approaches is evident both in general software engineering and in computer simulation, with advocates arguing that component-based approaches are far superior to more conventional ways of developing software and applications. Potential benefits are reduced cost and development time arising from reuse of components, as well as easier model adaptation due to the features of extensibility and evolvability. If these are to be realised, then organisations must develop ways to ensure that costs and benefits are shared and should ensure that suitable libraries and component distribution frameworks are available. In a simulation context it is also crucial to ensure that the issue of model credibility and validity is addressed even if the components are thought valid. [Copyright &y& Elsevier]

Computational modeling occupies a unique niche in Earth and environmental sciences. Models serve not just as scientific technology and infrastructure but also as digital containers of the scientific community's understanding of the natural world. As this understanding improves, so too must the associated software. This dual nature – models as both infrastructure and hypotheses – means that modeling software must be designed to evolve continually as geoscientific knowledge itself evolves. Here we describe design principles, protocols, and tools developed by the Community Surface Dynamics Modeling System (CSDMS) to promote a flexible, interoperable, and ever-improving research software ecosystem. These include a community repository for model sharing and metadata, interface and ontology standards for model interoperability, language-bridging tools, a modular programming library for model construction, modular software components for data access, and a Python-based execution and model-coupling framework. Methods of community support and engagement that help create a community-centered software ecosystem are also discussed. [ABSTRACT FROM AUTHOR]

This paper deals with COTS evaluation and selection for developing a modular software system under single application development task. We consider both quantitative and qualitative criteria which fulfils the specific needs of a software system. We use analytical hierarchy process (AHP) technique for evaluating the fitness of COTS components based upon various criteria and sub-criteria thereby providing overall score of each COTS component. We develop optimization models integrating AHP and multi-criteria decision-making, which aim at: (i) maximize the total value of purchasing (TVP) subject to budget, compatibility and reliability constraints, and (ii) maximize TVP and minimize the total cost of purchase simultaneously subject to compatibility and reliability constraints. The efficiency of the models is illustrated by means of numerical illustrations. [ABSTRACT FROM PUBLISHER]

The scaling problem in Residue Number System was addressed in many publications. A significant focus was given to scale the three moduli set (2^n-1, 2^n, 2^n+1) by 2^n , where n is a positive integer. This paper presents a scaling structure design for the moduli sets (2^n-1, 2^n+p, 2^n+1) scaled by 2^n , where 0\leq p \leq n . The new design has the delay of a full-adder and a modular adder. The proposed structure is smaller, faster and more power-efficient than the most recent published work for the same moduli set and the same scaling factor. VLSI synthesis results showed an average area reduction of (9.8-27.9) percent, an average time reduction of (13.9-20.8) percent and an average power reduction of (15.9-22.3) scaled by 2^{n+p} , where 1\leq p \leq n$ . The delay of this structure is one half-adder more than the delay of the aforementioned structure. [ABSTRACT FROM AUTHOR]

Modular programming is a development paradigm that emphasizes self-contained, flexible, and independent pieces of functionality. This practice allows new features to be seamlessly added when desired, and unwanted features to be removed, thus simplifying the software's user interface. The recent rise of web-based software applications has presented new challenges for designing an extensible, modular software system. In this article, we outline a framework for designing such a system, with a focus on reproducibility of the results. We present as a case study a Shiny-based web application calledintRo, that allows the user to perform basic data analyses and statistical routines. Finally, we highlight some challenges we encountered, and how to address them, when combining modular programming concepts with reactive programming as used by Shiny. Supplementary material for this article is available online. [ABSTRACT FROM PUBLISHER]

Modern ways of device development use the concept of a digital twin. A digital twin is an accurate digital copy of something that exists or is planned to be realized in the physical world. The digital twin is not only a virtual model of the physical system, but also a dynamic data and status information carrier obtained through a series of IoT-connected sensors that collect data from the physical world and send it to machines. The digital twin provides an overview of what is happening to the device in real time. This is very important in industry as this information is helpful to reduce maintenance issues and ensure production performance. This work focuses on the design and creation of a cybernetic physical system and its digital twin, based on CAD system modeling in conjunction with simulation and programming tools connected to real and simulated control systems. This process accelerates the development of the application implementation with the possibility to create a PLC control program and tune the system already in the design phase. Thus, the physical realization can be done in parallel with the programming and creation of the HMI interface. Modular programming will further accelerate software development [1]. The created system and its digital twin serve as a unified teaching tool without the need for real devices to be used by many students and users. This approach allows testing of program algorithms without the risk of damaging physical devices and is also suitable for distance learning. [ABSTRACT FROM AUTHOR]

PCMSolver is an open‐source library for continuum electrostatic solvation. It can be combined with any quantum chemistry code and requires a minimal interface with the host program, greatly reducing programming effort. As input, PCMSolver needs only the molecular geometry to generate the cavity and the expectation value of the molecular electrostatic potential on the cavity surface. It then returns the solvent polarization back to the host program. The design is powerful and versatile: minimal loss of performance is expected, and a standard single point self‐consistent field implementation requires no more than 2 days of work. We provide a brief theoretical overview, followed by two tutorials: one aimed at quantum chemistry program developers wanting to interface their code with PCMSolver, the other aimed at contributors to the library. We finally illustrate past and ongoing work, showing the library's features, combined with several quantum chemistry programs. PCMSOLVER is an open‐source library for continuum electrostatic solvation. It can be combined with any quantum chemistry code and requires a minimal interface with the host program, greatly reducing programming effort. Communication and data movement between the two is limited to the molecular electrostatic potential and apparent surface charge. This affords a significantly streamlined interface, with minimal loss of performance. A standard single point self‐consistent field implementation requires no more than 2 days of work. [ABSTRACT FROM AUTHOR]

Modularity is a key concern in programming. However, programming languages remain limited in terms of modularity and extensibility. Small canonical problems, such as the Expression Problem (EP), illustrate some of the basic issues: the dilemma between choosing one kind of extensibility over another one in most programming languages. Other problems, such as how to express dependencies in a modular way, add up to the basic issues and remain a significant challenge. This article presents a new statically typed modular programming style called Compositional Programming. In Compositional Programming, there is no EP: It is easy to get extensibility in multiple dimensions (i.e., it is easy to add new variants as well as new operations). Compositional Programming offers an alternative way to model data structures that differs from both algebraic datatypes in functional programming and conventional OOP class hierarchies. We introduce four key concepts for Compositional Programming: compositional interfaces, compositional traits, method patterns, and nested trait composition. Altogether, these concepts allow us to naturally solve challenges such as the Expression Problem, model attribute-grammar-like programs, and generally deal with modular programs with complex dependencies. We present a language design, called CP, which is proved to be type-safe, together with several examples and three case studies. [ABSTRACT FROM AUTHOR]

In view of the complex working environment, inconvenient operation and low efficiency of agricultural intelligent equipment, the application prospects of voice technology in agricultural intelligence were prospected. The overall architecture of the software and hardware of the voice system in agricultural equipment was proposed, and the voice technology was divided into four parts with voice prompt, voice alarm, voice control and visual voice. In the ROS development environment, the python compilation language was used to establish the control software system framework, and the complete set of control software was divided into crop information detection unit, operation information detection unit, voice signal receiving unit, operation command control unit and voice broadcast-alarm unit. Each modular programming of functional units was conducted to realize multi-functional synchronous and coordinated operation of the entire system. Taking the grape picking robot as example, the voice prompt function of the picking robot operation information, the voice control of the picking robot movement function, the field grape variety and maturity information recognition and storage and voice broadcast function were realized. It has a certain value for promoting the application of voice technology in agricultural intelligence. [ABSTRACT FROM AUTHOR]

Computational modelling occupies a unique niche in Earth and environmental sciences. Models serve not just as scientific technology and infrastructure, but also as digital containers of the scientific community's understanding of the natural world. As this understanding improves, so too must the associated software. This dual nature-models as both infrastructure and hypotheses-means that modelling software must be designed to evolve continually as geoscientific knowledge itself evolves. Here we describe design principles, protocols, and tools developed by the Community Surface Dynamics Modeling System (CSDMS) to promote a flexible, interoperable, and ever-improving research software ecosystem. These include a community repository for model sharing and metadata, interface and ontology standards for model interoperability, language bridging tools, a modular programming library for model construction, modular software components for data access, and a Python-based execution and model-coupling framework. Methods of community support and engagement that help create a community-centered software ecosystem are also discussed. [ABSTRACT FROM AUTHOR]

A modular software framework design that allows flexible implementation of eye-in-hand sensing and motion control for agricultural robotics in dense vegetation is reported. Harvesting robots in cultivars with dense vegetation require multiple viewpoints and on-line trajectory adjustments in order to reduce the amount of false negatives and correct for fruit movement. In contrast to specialised software, the framework proposed aims to support a wide variety of agricultural use cases, hardware and extensions. A set of Robotic Operating System (ROS) nodes was created to ensure modularity and separation of concerns, implementing functionalities for application control, robot motion control, image acquisition, fruit detection, visual servo control and simultaneous localisation and mapping (SLAM) for monocular relative depth estimation and scene reconstruction. Coordination functionality was implemented by the application control node with a finite state machine. In order to provide visual servo control and simultaneous localisation and mapping functionalities, off-the-shelf libraries Visual Servoing Platform library (ViSP) and Large Scale Direct SLAM (LSD-SLAM) were wrapped in ROS nodes. The capabilities of the framework are demonstrated by an example implementation for use with a sweet-pepper crop, combined with hardware consisting of a Baxter robot and a colour camera placed on its end-effector. Qualitative tests were performed under laboratory conditions using an artificial dense vegetation sweet-pepper crop. Results indicated the framework can be implemented for sensing and robot motion control in sweet-pepper using visual information from the end-effector. Future research to apply the framework to other use-cases and validate the performance of its components in servo applications under real greenhouse conditions is suggested. [ABSTRACT FROM AUTHOR]

Achieving robustness and energy efficiency in nanoscale CMOS process technologies is made challenging due to the presence of process, temperature, and voltage variations. Traditional fault-tolerance techniques such as N-modular redundancy (NMR) employ deterministic error detection and correction, e.g., majority voter, and tend to be power hungry. This paper proposes soft NMR that nontrivially extends NMR by consciously exploiting error statistics caused by nanoscale artifacts in order to design robust and energy-efficient systems. In contrast to conventional NMR, soft NMR employs Bayesian detection techniques in the voter. Soft voter algorithms are obtained through optimization of appropriate application aware cost functions. Analysis indicates that, on average, soft NMR outperforms conventional NMR. Furthermore, unlike NMR, in many cases, soft NMR is able to generate a correct output even when all N replicas are in error. This increase in robustness is then traded-off through voltage scaling to achieve energy efficiency. The design of a discrete cosine transform (DCT) image coder is employed to demonstrate the benefits of the proposed technique. Simulations in a commercial 45 \rmnm, 1.2 \rm V, CMOS process show that soft NMR provides up to 10\times improvement in robustness, and 35 percent power savings over conventional NMR. [ABSTRACT FROM AUTHOR]

I present a method for developing extensible and modular computational models without sacrificing serial or parallel performance or source code readability. By using a generic simulation cell method I show that it is possible to combine several distinct computational models to run in the same computational grid without requiring modification of existing code. This is an advantage for the development and testing of, e.g., geoscientific software as each submodel can be developed and tested independently and subsequently used without modification in a more complex coupled program. An implementation of the generic simulation cell method presented here, generic simulation cell class (gensimcell), also includes support for parallel programming by allowing model developers to select which simulation variables of, e.g., a domain-decomposed model to transfer between processes via a Message Passing Interface (MPI) library. This allows the communication strategy of a program to be formalized by explicitly stating which variables must be transferred between processes for the correct functionality of each submodel and the entire program. The generic simulation cell class requires a C++ compiler that supports a version of the language standardized in 2011 (C++11). The code is available at https://github.com/nasailja/gensimcell for everyone to use, study, modify and redistribute; those who do are kindly requested to acknowledge and cite this work. [ABSTRACT FROM AUTHOR]

We develop a new large-scale hydrological and water resources model, the Community Water Model (CWatM), which can simulate hydrology both globally and regionally at different resolutions from 30 arcmin to 30 arcsec at daily time steps. CWatM is open source in the Python programming environment and has a modular structure. It uses global, freely available data in the netCDF4 file format for reading, storage, and production of data in a compact way. CWatM includes general surface and groundwater hydrological processes but also takes into account human activities, such as water use and reservoir regulation, by calculating water demands, water use, and return flows. Reservoirs and lakes are included in the model scheme. CWatM is used in the framework of the Inter-Sectoral Impact Model Intercomparison Project (ISIMIP), which compares global model outputs. The flexible model structure allows for dynamic interaction with hydro-economic and water quality models for the assessment and evaluation of water management options. Furthermore, the novelty of CWatM is its combination of state-of-the-art hydrological modeling, modular programming, an online user manual and automatic source code documentation, global and regional assessments at different spatial resolutions, and a potential community to add to, change, and expand the open-source project. CWatM also strives to build a community learning environment which is able to freely use an open-source hydrological model and flexible coupling possibilities to other sectoral models, such as energy and agriculture. [ABSTRACT FROM AUTHOR]

We present a unified methodology, models, and design methods for optimal modular information control systems for a special class of objects, namely space vehicles. We develop methods and instruments for creating modular software and dataware for an onboard control unit on a space vehicle. [ABSTRACT FROM AUTHOR]

We develop a new large-scale hydrological and water resources model, the Community Water Model (CWatM), which can simulate hydrology both globally and regionally at different resolutions from 30 arc min to 30 arc sec at daily time steps. CWatM is open-source in the Python programming environment and has a modular structure. It uses global, freely available data in the netCDF4 file format for reading, storage, and production of data in a compact way. CWatM includes general surface and groundwater hydrological processes, but also takes into account human activities, such as water use and reservoir regulation, by calculating water demands, water use, and return flows. Reservoirs and lakes are included in the model scheme. CWatM is used in the framework of the Inter-Sectoral Impact Model Intercomparison Project (ISIMIP), which compares global model outputs. The flexible model structure allows dynamic interaction with hydro-economic and water quality models for the assessment and evaluation of water management options. Furthermore, the novelty of CWatM is its combination of state-of the-art hydrological modeling, modular programming, an online user manual and automatic source code documentation, global and regional assessments at different spatial resolutions, and a potential community to add to, change, and expand the open-source project. CWatM also strives to build a community learning environment which is able to freely use an open-source hydrological model and flexible coupling possibilities to other sectoral models, such as energy and agriculture. [ABSTRACT FROM AUTHOR]

In order to realize the control of multi-function industrial robot, TCP and Profinet are used to construct the system structure of “server-based multi-master station-multi-slave station” based on OPC According to the principle of centralized management and decentralized control, the hardware configuration and software programming of the system are designed. The communication of client software with OPC Server is through TCP, and Profinet communication is adopted between OPC Server and multiple s7-1200 PLC of the master station layer, and Profinet communication is also adopted between the master station layer and the slave station layer. On the TIA Portal software platform, modular programming technology and OPC Server data exchange technology are used to design the automatic control program of multiple s7-1200plc at the main station layer, including the modularization program OBI, subprogram fbl-fb2, subprogram fcl-fc2, fault interrupt program, data processing and conversion, etc. The control program design of ABB industrial robots is mainly carried out at the station layer. The key technical point is to establish the connection between the corresponding main station PLC receiving data/sending image area and the operation control of the robot. The performance of the system is stable and reliable. [ABSTRACT FROM AUTHOR]

In the era of well-developed electronic technology, in order to improve the efficiency of experiment data processing, realize the automation of data processing in physical experiment, this paper takes Millikan oil drop experiment as the carrier, uses efficient, structured and modular programming language and object-oriented programming technology, a Java language program is written to apply to the Millikan oil drop experiment. The elementary charge is calculated as 1 . 619 x 10-19C and the relative error is only 1.038%. Through comparisons with Visual Basic, Matlab, C language, Java has advantages in data processing of physical experiment. This paper further expounds the superiority of the Java programming language in data processing of physical experiment and scientific calculation. [ABSTRACT FROM AUTHOR]

In the process of developing picking robot prototype, the traditional picking tests are usually performed in orchard, which are limited by certain factors such as the harvesting season, weather condition and venue. So, the investigated and designed algorithm for the vision and control system of picking robots can't be verified effectively and timely, and the prototype development cycle has to last longer. To test the vision and control algorithm of picking robot, a hardware-in-the-loop virtual experimental system based on binocular stereo vision for grape-picking robot was designed in this paper, which was composed of hardware and software units. The hardware units consisted of binocular camera, grape clusters, grape imitative leaf and stems, support structure of grape clusters and its guide rail, calibration board, and so on. The software units included vision processing part and virtual picking robot. Firstly, the spatial information such as the picking point and the anti-collision bounding volume of the grape cluster was extracted by binocular stereo vision. The picking point on the peduncle of the grape cluster was detected by using a minimum distance restraint between the barycentre of the pixel region of grape cluster and the detected lines in the ROI (region of interest) of peduncle. The anti-collision bounding volume of the grape cluster was calculated by transforming the spatial coordinates of the picking point and all detected grape berries into the coordinate system of grape clusters. Secondly, the three-dimensional models of the picking robot were constructed according to the picking robot prototype with 6 degrees of freedom which already existed in our laboratory. The Denavit-Hartenberg (D-H) method was adopted to establish the robot coordinate transformation. The direct and inverse solutions of the robot kinematics were solved by using the inverse transformation method, and then the only inverse solution was obtained. Thirdly, the moving path of picking robot was planned based on the artificial potential field theory. The collision between the robot manipulator and the grape clusters in the virtual environment was detected by using the hierarchical bounding box algorithm which can validate the reasonability of path planning. The motion simulation of the virtual picking robot was programmed by combining the modular programming and the routing communication mechanism. Finally, the spatial information of the grape clusters was extracted by programming the application code using Visual C++ and OpenCV (open source computer vision library), and the path planning and the motion simulation of the virtual picking robot were performed based on the virtual reality platform EON, Visual C++ and JavaScript. The hardware-in-the-loop virtual experimental platform was established by combining the binocular stereo vision and virtual picking robot. On this platform, 34 tests were performed by changing the position of the grape clusters under laboratory environment while the binocular cameras kept still. And every test included 3 steps, the first step was vision locating, the second was path planning and the last was clamping and cutting operation. In all the tests, 29 tests were successful in vision locating, and 5 tests were failed in vision locating. Among those 5 failed tests, 2 tests were wrong in picking point detection and 3 tests were failed in stereo matching on the picking point. There was one test failed in path planning when the grape clusters were located correctly, and all of the clamping and cutting operation for the grape clusters ran smoothly when the anti-collusion path was planned successfully. In general, the success rates of the tests on visual localization, path planning, clamping and cutting operation were 85.29%, 82.35%, 82.35%, respectively. The results showed that the method developed in this study can be used to verify and test the visual location and behavior algorithm of the picking robot, and then provide the support to the harvesting robot development, test and continuous improvement. [ABSTRACT FROM AUTHOR]

The development of new control algorithms in vehicles requires high economic resources, mainly due to the use of generic real-time instrumentation and control systems. In this work, we proposed a low-cost electronic control unit (ECU) that could be used for both development and implementation. The proposed electronic system used a hybrid system on chip (SoC) between a field-programmable gate array (FPGA) and an Advanced RISC (reduced instruction set computer) Machine (ARM) processor that allowed the execution of parallel tasks, fulfilling the real-time requirements that vehicle controls demand. Another feature of the proposed electronic system was the recording of measured data, allowing the performance of the implemented algorithm to be evaluated. All this was achieved by using modular programming that, without the need for a real-time operating system, executed the different tasks to be performed, exploiting the parallelism offered by the FPGA as well as the dual core of the ARM processor. This methodology facilitates the transition between the designing, testing, and implementation stages in the vehicle. In addition, our system is programmed with a single binary file that integrates the code of all processors as well as the hardware description of the FPGA, which speeds up the updating process. In order to validate and demonstrate the performance of the proposed electronic system as a tool for the development and implementation of control algorithms in vehicles, a series of tests was carried out on a test bench. Different traction control system (TCS) algorithms were implemented and the results were compared. [ABSTRACT FROM AUTHOR]

This paper presents the development, application and performance assessment of a fast-running NCAP (NSSS Control & Analysis Platform) in MATLAB/Simulink environment. First, a nodal core model, a lumped parameter dynamic steam generator model with moving boundary, a non-equilibrium two-regions-three-volumes pressurizer model, and the relevant pipe and plenum models were proposed based on the fundamental conservation of mass, energy and momentum. Then, these first order nonlinear models and the NSSS control systems were implemented in the Simulink by the predefined library blocks. Based on the developed NCAP, three types of typical operational transients, namely the 10% step load change, the 5%/min ramp load change and the daily load follow were simulated to study the dynamic behavior and control characteristics of the AP1000 NSSS. It has been demonstrated that the dynamic responses of the selected key parameters agree well with the general physical rules. In addition, the comparison of load regulation simulation results obtained by NCAP and CENTS shows a good agreement in terms of the changing trends. With the adoption of modular programming techniques, the NCAP facilitates easy modification and runs quickly, which easily allows the control system designer to test and compare various ideas efficiently. [ABSTRACT FROM AUTHOR]

In the deck monitored control system for controHed-source electromagnetic method, parameters of seaffoor electromagnetic acquisition station and parameters of transmitter should be set via the host, it is a very important part for the real-time monitoring and showing to the working status of the transmiUer by the returned transmiiter armored cable data. In view of this, the paper introduces a deck monitored control system designed by controHed source electromagnetic method and latitude coordinate conversion algorithm. The key research is the dynamic testing of realtime interactive interface data in deck monitored control system by the application of Socket, multithreading, GDIW and OpenGL technology and .NET Framework system platform. Based on the above method, the experimental and detectable results show that the deck monitored control system with controHed-source electromagnetic method are stable and the results are good to meet woth the use of modular programming designed, It can also be used for similar industrial applications. [ABSTRACT FROM AUTHOR]

The use of digital simulation has become an essential activity during the development and operation of launch vehicles, due to the complexity of such systems. Of particular interest is the flight dynamics simulation, which investigates the behavior of the vehicle in flight subjected to forces and moments. This work presents a simulation tool suited to perform six degrees-of-freedom flight dynamics investigations of launch vehicles. Developed at the Instituto Nacional de Pesquisas Espaciais (INPE) and the Instituto de Aeronáutica e Espaço (IAE) in Brazil, the tool was implemented following the requirement for flexibility, so that it can be used to simulate different types of launch vehicles. The assessment of the vehicle performance and the vehicle payload capacity are some examples of analysis that can be performed with the tool. A modular programming strategy was employed to assure the tool flexibility. Therefore, the models presented in the tool were implemented as separate modules. The combination of these models can originate flight models of different launch vehicles. Two flight scenarios of Brazilian rockets were simulated and the results were verified against simulation tools already employed by aerospace community. The developed tool showed good agreement with respect to the simulators used to perform the comparison. [ABSTRACT FROM AUTHOR]

The paper presents the advantages of the management regarding business objects in economical applications through SOA technologies. These business objects usually represent entities like clients, orders, resources, data access objects and services used in the logic of the economic applications. The economical flows are very important within these kind of applications because are dependent of each other so a good management leads at an increase of productivity and the profit. SOA (Service Oriented Architecture - Architecture-based software services) through the software architecture involves distributing application functionality into smaller units, distinct - called services - which can be distributed over a network and can be used together to create applications for business. Large capacity that can be reused in different applications such services is a characteristic of software architectures based services. These services communicate with each other by sending information from one service to another. SOA offers distributed programming and modular programming for the Business Tier that is represented by business objects and services that allow to store data and to define the business logic of applications. [ABSTRACT FROM AUTHOR]

Context: Over the last decade, design patterns have been used extensively to generate reusable solutions to frequently encountered problems in software engineering and object oriented programming. A design pattern is a repeatable software design solution that provides a template for solving various instances of a general problem. Objective: This paper describes a new method for pattern mining, isolating design patterns and relationship between them; and a related tool, DLA-DNA for all implemented pattern and all projects used for evaluation. DLA-DNA achieves acceptable precision and recall instead of other evaluated tools based on distributed learning automata (DLA) and deoxyribonucleic acid (DNA) sequences alignment. Method: The proposed method mines structural design patterns in the object oriented source code and extracts the strong and weak relationships between them, enabling analyzers and programmers to determine the dependency rate of each object, component, and other section of the code for parameter passing and modular programming. The proposed model can detect design patterns better that available other tools those are Pinot, PTIDEJ and DPJF; and the strengths of their relationships. Results: The result demonstrate that whenever the source code is build standard and non-standard, based on the design patterns, then the result of the proposed method is near to DPJF and better that Pinot and PTIDEJ. The proposed model is tested on the several source codes and is compared with other related models and available tools those the results show the precision and recall of the proposed method, averagely 20% and 9.6% are more than Pinot, 27% and 31% are more than PTIDEJ and 3.3% and 2% are more than DPJF respectively. Conclusion: The primary idea of the proposed method is organized in two following steps: the first step, elemental design patterns are identified, while at the second step, is composed to recognize actual design patterns. [ABSTRACT FROM AUTHOR]

Abstract: In functional programming it is common to write programs as compositions of other simpler functions. This makes it possible to take advantage of the well-known benefits of modular programming. However, in many cases, the resulting programs have efficiency problems caused by the generation of data structures that are solely used for communication between the functions that take part in the compositions. Many of those intermediate structures can be eliminated by an appropriate combination of the codes of the involved functions using a technique called program fusion. In this work, we propose a program fusion technique for accumulations, which are recursive functions that use additional parameters, called accumulators, for keeping intermediate results. Accumulations are known to be difficult to be fused because of the presence of the accumulators and the fact that results are usually computed in those parameters. Our technique is based on a shortcut fusion approach which turns out to be effective in the case of accumulations. We present benchmarks that illustrate the impact of shortcut fusion on accumulations. [Copyright &y& Elsevier]

We present a modular approach to implementing dynamic algorithm switching for parallel scientific software. By using a compositional framework based on function call interception techniques, our proposed method transparently integrates algorithm switching code with a given program without directly modifying the original code structure. Through fine-grained control of algorithmic behavior of an application at the level of functions, our approach supports design and implementation of application-specific switching scenarios in a modular way. Our approach encourages algorithm switching to dynamically perform at the loop end of a parallel simulation, where cooperating processes in concurrent execution typically synchronize and intermediate computation results are consistent. In this way, newly added switching operations do not cause race conditions that may produce unreliable computation results in parallel simulations. By applying our method to a real-world scientific application and adapting its algorithmic behavior to the properties of input problems, we demonstrate the applicability and effectiveness of our approach to constructing efficient parallel simulations. [ABSTRACT FROM AUTHOR]

Abstract: In the present study, a thermal–hydraulic safety analysis code for AP1000 named RETAC (REactor Transient Analysis Code) has been developed using FORTRAN 90 language. A point reactor neutron kinetics model with six groups of delayed neutrons was adopted to describe the core thermal power transient. A distributed parameter model with two-phase drift flux model was used in the U-tube steam generator simulation. In the pressurizer simulation, the RETAC code was equipped with three-region non-equilibrium model and multi-region non-equilibrium model respectively. Similar to current large commercial codes such as RELAP5 and RETRAN series, the four-quadrant analogy curves were adopted for the solution of the transient behaviors of the main coolant pumps. In this paper, a new and reasonable model for the passive residual heat removal heat exchanger (PRHR HX) was proposed based on basic equations of mass, momentum and energy. Gear method and Adams predictor-corrector method were adopted alternately for a better solution to ill-condition differential equations corresponding to detail processes. The PRHR HX inadvertent operation accident and the ADS (automatic depressurization system) inadvertent operation accident were chosen in the transient accident analysis. Furthermore, the simulation results obtained by RETAC were compared with that by Westinghouse-developed LOFTRAN code. The comparison results showed a good agreement and thus proved the accuracy and reliability of the RETAC code. With the adoption of modular programming techniques, the RETAC code can be easily modified and applied to higher power passive safety reactors in the future. [Copyright &y& Elsevier]

Abstract  Recent research in nonmonotonic logic programming has focused on certain types of program equivalence, which we refer to here as hyperequivalence, that are relevant for program optimization and modular programming. So far, most results concern hyperequivalence relative to the stable-model semantics. However, other semantics for logic programs are also of interest, especially the semantics of supported models which, when properly generalized, is closely related to the autoepistemic logic of Moore. In this paper, we consider a family of hyperequivalence relations for programs based on the semantics of supported and supported minimal models. We characterize these relations in model-theoretic terms. We use the characterizations to derive complexity results concerning testing whether two programs are hyperequivalent relative to supported and supported minimal models. [ABSTRACT FROM AUTHOR]