Incremental composition process for the construction of component-based management

Cyber-physical systems (CPS) are composed of software and hardware components. Many such systems (e.g., IoT based systems) are created by composing existing systems together. Some of these systems are of critical nature, e.g., emergency or disaster management systems. In general, component-based development (CBD) is a useful approach for constructing systems by composing pre-built and tested components. However, for critical systems, a development method must provide ways to verify the partial system at different stages of the construction process. In this paper, for system architectures, we propose two styles: rigid architecture and flexible architecture. A system architecture composed of independent components by coordinating exogenous connectors is in flexible architecture style category. For CBD of critical systems, we select EX-MAN from flexible architecture style category. Moreover, we define incremental composition mechanism for this model to construct critical systems from a set of system requirements. Incremental composition is defined to offer preservation of system behaviour and correctness of partial architecture at each incremental step. To evaluate our proposed approach, a case study of weather monitoring system (part of a disaster management) system was built using our EX-MAN tool

Influence of near-fault effects and of incident angle of earthquake waves on the seismic inelastic demands of a typical Jack-Up platform

In this paper, the potential influence of near-fault effects and of the incident angle of earthquake waves to the seismic response of a typical jack-up offshore platform is assessed by means of incremental dynamic analysis involving a three dimensional distributed plasticity finite element model. Two horizontal orthogonal strong ground motion components of a judicially chosen near-fault seismic record is considered to represent the input seismic action along different incident angles. The fault-normal component exhibits a prominent forward-directivity velocity pulse pulse-like) whose period lies close to the fundamental natural period of the considered structure following a “worst case scenario” approach, while the fault-parallel component does not include such a pulse. Pertinent numerical data demonstrate that the fault normal component poses much higher seismic demands to the “prototype” jack-up structure considered compared to the fault parallel component. Further, significant variation in the collapse resistance/capacity values is observed among different incident angles especially for the “critical” fault normal component. It is concluded that the combined effect of forward-directivity phenomena and the orientation of deployed jack-up platforms with respect to neighbouring active seismic faults needs to be explicitly accounted for in site-specific seismic risk assessment studies. Further research is warranted to propose recommendations on optimum orientation of jack-up structures operating in the proximity of active seismic faults to minimize seismic risk

Adaptive business rules framework for workflow management

Changing scattered and dynamic business rules in Business Workflow Systems has become a growing problem that hinders the use and configuration of workflow-based applications. There is a gap in the existing research studies which currently focus on solutions that are application specific, without accounting for the universal logical dependencies between the business rules and, as a result, do not support adaptation of the business rules in real time. Design/methodology/approach – To tackle the above problems, this paper adopts a bottom-up approach, which puts forward a component model of the business process workflows and business rules based on purely logical specification which allows incremental development of the workflows and indexing of the rules which govern them during the initial acquisition and real-time execution. Results – The paper introduces a component-based event-driven model for development of business workflows which is purely logic based and can be easily implemented using an object-oriented technology together with a formal model for accounting the business rules dependencies together with a new method for incremental indexing of the business rules controlling the workflows. It proposes a two-level inference mechanism as a vehicle for controlling the business process execution and adaptation of the business rules at real time based on propagating the dependencies between the rules. Originality/value –The major achievement of this research is the universal, strictly logic-based event-driven framework for business process modelling and control which allows automatic adaptation of the business rules governing the business workflows based on accounting for their structural dependencies. An additional advantage of the framework is its support for object-oriented technology which can be implemented with enterprise-level quality and efficiency. Although developed primarily for application in construction industry the framework is entirely domain-independent and can be used in other industries, too

A comparative survey of integrated learning systems

This paper presents the duction framework for unifying the three basic forms of inference - deduction, abduction, and induction - by specifying the possible relationships and influences among them in the context of integrated learning. Special assumptive forms of inference are defined that extend the use of these inference methods, and the properties of these forms are explored. A comparison to a related inference-based learning frame work is made. Finally several existing integrated learning programs are examined in the perspective of the duction framework

An empirical learning-based validation procedure for simulation workflow

Simulation workflow is a top-level model for the design and control of simulation process. It connects multiple simulation components with time and interaction restrictions to form a complete simulation system. Before the construction and evaluation of the component models, the validation of upper-layer simulation workflow is of the most importance in a simulation system. However, the methods especially for validating simulation workflow is very limit. Many of the existing validation techniques are domain-dependent with cumbersome questionnaire design and expert scoring. Therefore, this paper present an empirical learning-based validation procedure to implement a semi-automated evaluation for simulation workflow. First, representative features of general simulation workflow and their relations with validation indices are proposed. The calculation process of workflow credibility based on Analytic Hierarchy Process (AHP) is then introduced. In order to make full use of the historical data and implement more efficient validation, four learning algorithms, including back propagation neural network (BPNN), extreme learning machine (ELM), evolving new-neuron (eNFN) and fast incremental gaussian mixture model (FIGMN), are introduced for constructing the empirical relation between the workflow credibility and its features. A case study on a landing-process simulation workflow is established to test the feasibility of the proposed procedure. The experimental results also provide some useful overview of the state-of-the-art learning algorithms on the credibility evaluation of simulation models

Integrated Process Simulation and Die Design in Sheet Metal Forming

During the recent 10-15 years, Computer Aided Process Planning and Die Design evolved as one of the most important engineering tools in sheet metal forming, particularly in the automotive industry. This emerging role is strongly emphasized by the rapid development of Finite Element Modelling, as well. The purpose of this paper is to give a general overview about the recent achievements in this very important field of sheet metal forming and to introduce some special results in this development activity. Therefore, in this paper, an integrated process simulation and die design system developed at the University of Miskolc, Department of Mechanical Engineering will be analysed. The proposed integrated solutions have great practical importance to improve the global competitiveness of sheet metal forming in the very important segment of industry. The concept described in this paper may have specific value both for process planning and die design engineers