Background: The main claimed advantage of model driven engineering is the improvement of productivity. However, little information is available about its actual usage during software development and maintenance in the...
详细信息
ISBN:
(纸本)9781622762538
Background: The main claimed advantage of model driven engineering is the improvement of productivity. However, little information is available about its actual usage during software development and maintenance in the industry. Objective: The main aim of this work is investigating the level of maturity in the usage of software models and model driven engineering in the Italian industry. The perspective is that of software engineering researchers. Method: First, we conducted an exploratory personal opinion survey with 155 Italian software professionals. The data were collected with the help of a web-based on-line questionnaire. Then, we conducted focused interviews with three software professionals to interpret doubtful results. Results: Software modelling is a very relevant phenomenon in the Italian industry. Model driven techniques are used in the industry, even if (i) only for a limited extent, (ii) despite a quite generalized dissatisfaction about available tools and (iii) despite a generally low experience of the IT personnel in such techniques. Limitations: Generalization of results is limited due to the sample size. Moreover, possible self-exclusion from participants not interested in modelling could have biased the results. Conclusion: Results reinforce existing evidence regarding the usage of software modelling and (partially of) model driven engineering in the industry but highlight several aspects of immaturity of the Italian industry.
Load balancing is essential for efficient utilization of resources and enhancing the responsiveness of a computational grid, especially that hosts of services most frequently used, i.e. food, health and nutrition. Var...
详细信息
Load balancing is essential for efficient utilization of resources and enhancing the responsiveness of a computational grid, especially that hosts of services most frequently used, i.e. food, health and nutrition. Various techniques have been developed and applied;each has its own limitations due to the dynamic nature of the grid. Efficient load balancing can be achieved by an effective measure of the node's/cluster's utilization. In this paper, as a part of an NSTIP project # 10-INF1381-04 and in order to assess of FAQIH framework ability to support the load balance in a computational grid that hosts of food, health and nutrition inquire services. We detail the design and implementation of a proposed fuzzy-logic-based scheme for dynamic load balancing in grid computing services. The proposed scheme works by using a fuzzy logic inference system which uses some metrics to capture the variability of loads and specifies the state of each node per a cluster. Then, based on the overall nodes' states, the state of the corresponding cluster will be defined in order to assign the newly arrived inquires such that load balancing among different clusters and nodes is accomplished. Many experiments are conducted to investigate the effectiveness of the proposed fuzzy-logic-based scheme to support the load balance where the results show that the proposed scheme achieves really satisfactory and consistently load balance than of other randomize approaches in grid computing services.
This paper aims to present the design of a cloud computing-based equipment monitoring system (EMS), called CCEMS, for the CNC machine tool industry to illustrate the paradigm shift of EMSs from basing on the Internet ...
详细信息
In this paper, We analysis on the Model-Based Networked control System where the plant is continuous and the states are available (full state feedback). we consider the problem of having a sensor that is connected to ...
详细信息
In this paper, We analysis on the Model-Based Networked control System where the plant is continuous and the states are available (full state feedback). we consider the problem of having a sensor that is connected to the actuator/controller by a network. Two types of stochastic stability are discussed, namely Almost Sure or Probability-1 Asymptotic Stability and Mean Square or Quadratic Asymptotic Stability. The stochastic stability of NCS is analyzed and proved.
The supervisory controllers used in manufacturing processes to establish nominal sequences of production steps can theoretically be synthesized based on the supervisory control theory (SCT). The fact, that in practice...
The supervisory controllers used in manufacturing processes to establish nominal sequences of production steps can theoretically be synthesized based on the supervisory control theory (SCT). The fact, that in practice manual design procedures are preferred over the SCT, is (among other reasons) due to the fact that the models used in the SCT are of an abstract type rather than reflecting the signal flow within a discretely controlled process, and that sets of permissible behaviors are obtained rather than selected (optimal) behaviors within this set. This paper proposes a modeling and synthesis scheme for discrete control which aims at retaining the closed loop structure of the controlled process. An algebraic representation of the discrete event dynamics is chosen to enable the transfer of concepts from continuous control to the supervisory control task. In addition, the scheme considers that the plant to be controlled often comprises continuous quantities (from which events need to be extracted), and that larger manufacturing processes typically have a modular and hierarchical structure.
This study is concerned with the class of convex network optimisation problems forming the Network Utility Maximisation (NUM) framework. Dual decomposition is commonly used to decompose the NUM problem into smaller pr...
详细信息
This study is concerned with the class of convex network optimisation problems forming the Network Utility Maximisation (NUM) framework. Dual decomposition is commonly used to decompose the NUM problem into smaller problems that can be solved locally by the nodes. The typical dual descent techniques suffer however from slow convergence and require the distributed computations to be synchronised. Yet global node synchronisation is a difficult task in self-organised ad-hoc networks, where preference is given to asynchronous protocols. The algorithm proposed in this study proceeds sequentially and asynchronously for each node to local projected gradient descents, combined with local step-size selection routines of the type Armijo. Global convergence is ensured provided that the gradient of the dual function is Lipschitz continuous. Scaling the gradient to the local Newton directions accelerates the process and guarantees linear convergence. The proposed algorithm is tested on the problem of maximum-lifetime routing of a wireless sensor network.
10-23 DNAzyme can be used as a logical operation due to its amputation mRNA at the AU point. In this paper, a new DNA computing model using 10-23 DNAzyme was presented to solve 0-1 programming problem, which is an imp...
详细信息
10-23 DNAzyme can be used as a logical operation due to its amputation mRNA at the AU point. In this paper, a new DNA computing model using 10-23 DNAzyme was presented to solve 0-1 programming problem, which is an important problem in operation and has very widespread applications. Benefited from vast parallelism, extraordinary information density and easy manipulation of solution-based DNA computation, the designed model further simplified the read-out steps by DNAzyme. The result, verified by computer simulation, suggested the great potential of DNA computing on solving complex programming problems.
Statistical measures such as coherence, mutual information, or correlation are usually applied to evaluate the interactions between two or more signals. However, these methods cannot distinguish directions of flow bet...
详细信息
Statistical measures such as coherence, mutual information, or correlation are usually applied to evaluate the interactions between two or more signals. However, these methods cannot distinguish directions of flow between two signals. The capability to detect causalities is highly desirable for understanding the cooperative nature of complex systems. The main objective of this work is to present a linear and nonlinear time-varying parametric modeling and identification approach that can be used to detect Granger causality, which may change with time and may not be detected by traditional methods. A numerical example, in which the exact causal influences relationships, is presented to illustrate the performance of the method for time-varying Granger causality detection. The approach is applied to EEG signals to track and detect hidden potential causalities. One advantage of the proposed model, compared with traditional Granger causality, is that the results are easier to interpret and yield additional insights into the transient directed dynamical Granger causality interactions.
To enhance classification performance by making use of easily available unlabelled data to overcome the scarcity of labelled data, this paper proposes an Embedded Co-Adaboost algorithm that integrates multi-view learn...
详细信息
This paper considers anti-windup design for linear systems subject to actuator *** anti-windup gains are designed for activations immediately at the occurrence actuator saturation,after the saturation has reached a ce...
详细信息
This paper considers anti-windup design for linear systems subject to actuator *** anti-windup gains are designed for activations immediately at the occurrence actuator saturation,after the saturation has reached a certain level and in anticipation of the occurrence of saturation,*** design is based on the minimization of L 2 gain from the disturbance to the controlled output of the resulting closed-loop *** anti-windup scheme involves a single anti-windup loop for immediate activation.A recent innovation is to design a single anti-windup loop for delayed or anticipatory activation,as well as to design two anti-windup gains,one for immediate activation and one for delayed *** design of three anti-windup gains for three different activations is shown through simulation to lead to significant further performance improvement over the previous activation schemes.
暂无评论