Carlos Cano-Genoves, Emilio Insfrán, Silvia Abrahão
Goal-oriented analysis tools are used to assess goal models and assist analysts in decision-making. We introduce the VeGAn-Tool, which prioritizes goals according to their qualitative importance for the stakeholders and propagates this information in the goal model according to the different types of relationships. The FTOPSIS technique is used to calculate the value of each intentional element by employing the fuzzified importance (importance level fuzzified and refined by a confidence level) and the impact among the related intentional elements. The result is a prioritized goal model according to the value of each intentional element from the stakeholders' point of view.
Gold and bitcoin are not new to us, but with limited cash and time, given only the past stream of the daily price of gold and bitcoin, it is a kind of new problem for us to develop a certain model and determine the best strategy to get the most return. Here, our team members analyzed the data provided and finally made a unified system of models to predict the price and evaluate the risk and return in our act of investment, and we name this series of models and measurements as CTP Model. This is a model which can determine and describe what transaction should the trader make each day and what is the certain maximum return he will get under different risk levels.
The idea of computational error correction has been around for over half a century. The motivation has largely been to mitigate unreliable devices, manufacturing defects or harsh environments, primarily as a mandatory measure to preserve reliability, or more recently, as a means to lower energy by allowing soft errors to occasionally creep. While residue codes have shown great promise for this purpose, there have been several orthogonal non-residue based techniques. In this article, we provide a high level outline of some of these non-residual approaches.
This paper shows how to manage null entries in pairwise comparisons matrices. Although assessments can be imprecise, since subjective criteria are involved, the classical pairwise comparisons theory expects all of them to be available. In practice, some experts may not be able (or available) to provide all assessments. Therefore managing null entries is a necessary extension of the pairwise comparisons method. It is shown that certain null entries can be recovered on the basis of the transitivity property which each pairwise comparisons matrix is expected to satisfy.
A distance-based inconsistency indicator, defined by the third author for the consistency-driven pairwise comparisons method, is extended to the incomplete case. The corresponding optimization problem is transformed into an equivalent linear programming problem. The results can be applied in the process of filling in the matrix as the decision maker gets automatic feedback. As soon as a serious error occurs among the matrix elements, even due to a misprint, a significant increase in the inconsistency index is reported. The high inconsistency may be alarmed not only at the end of the process of filling in the matrix but also during the completion process. Numerical examples are also provided.
This article presents a naturalist approach to cognition understood as a network of info-computational, autopoietic processes in living systems. It provides a conceptual framework for the unified view of cognition as evolved from the simplest to the most complex organisms, based on new empirical and theoretical results. It addresses three fundamental questions: what cognition is, how cognition works and what cognition does at different levels of complexity of living organisms. By explicating the info-computational character of cognition, its evolution, agent-dependency and generative mechanisms we can better understand its life-sustaining and life-propagating role. The info-computational approach contributes to rethinking cognition as a process of natural computation in living beings that can be applied for cognitive computation in artificial systems.
As IT grows the impact of new technology reflects in more or less every field. Education also gets new dimensions with the advancement in IT sector. Nowadays education is not limited to books and black boards only it gets a new way i.e. electronic media. Although with e-learning, the education having broader phenomena, yet it is in budding stage. Quality is a crucial issue for education as well as e-learning. It is required to serve qualitative and standardization education. Quality cannot be expressed and set by a simple definition, since in itself quality is a very abstract notion. The specified context and the perspectives of users need to be taken into account when defining quality in e-learning. It is also essential to classify suitable criteria to address quality.
Dynamical Systems theory generally deals with fixed point iterations of continuous functions. Computation by Turing machine although is a fixed point iteration but is not continuous. This specific category of fixed point iterations can only be studied using their orbits. Therefore the standard notion of chaos is not immediately applicable. However, when a suitable definition is used, it is found that the notion of chaos and fractal sets exists even in computation. It is found that a non terminating Computation will be almost surely chaotic, and autonomous learning will almost surely identify fractal only sets.
It is known that elementary cellular automaton rule 110 is capable of supporting universal computation by emulating cyclic tag system. Since the whole information necessary to perform computation is stored in the configuration, it is reasonable to investigate the complexity of configuration for the analysis of computing process. In this research we employed Lempel-Ziv complexity as a measure of complexity and calculated it during the evolution of emulating cyclic tag system by rule 110. As a result, we observed the stepwise decline of complexity during the evolution. That is caused by the transformation from table data to moving data and the elimination of table data by a rejector.
This paper presents comparative performance between Analog and digital controller on DC/DC buck-boost converter four switch. The design of power electronic converter circuit with the use of closed loop scheme needs modeling and then simulating the converter using the modeled equations. This can easily be done with the help of state equations and MATLAB/SIMULINK as a tool for simulation of those state equations. DC/DC Buckboost converter in this study is operated in buck (step-down) and boost (step-up) modes.
In this paper we propose an approach that uses homodyne receivers to design smart antenna systems. The receivers functions are to detect angles of arrivals of seven incoming RF signals using MUSIC or ESPRIT algorithms. The characteristics of each algorithm are critical for the systems precision as well as receivers types. Results are deduced from the simulation of each system, using the Advanced Design System (ADS) and MATLAB. These are compared to results deduced from real systems in the WIMAX (3.5GHz) domains.
Building smart grid for power system is a major challenge for safe, automated and energy efficient usage of electricity. The full implementation of the smart grid will evolve over time. However, before a new set of infrastructures are invested to build the smart grid, proper modeling and analysis is needed to avoid wastage of resources. Modeling also helps to identify and prioritize appropriate systems parameters. In this paper, an all comprehensive model of smart grid have been proposed using Generalized Stochastic Petri Nets (GSPN). The model is used to analyze the constraints and deliverables of the smart power grid of future.
It is well known that the discrete Sierpinski triangle can be defined as the nonzero residues modulo 2 of Pascal's triangle, and that from this definition one can easily construct a tileset with which the discrete Sierpinski triangle self-assembles in Winfree's tile assembly model. In this paper we introduce an infinite class of discrete self-similar fractals that are defined by the residues modulo a prime p of the entries in a two-dimensional matrix obtained from a simple recursive equation. We prove that every fractal in this class self-assembles using a uniformly constructed tileset. As a special case we show that the discrete Sierpinski carpet self-assembles using a set of 30 tiles.
In present paper, I propose a method for resolving the timing delays for output signals from an asynchronous sequential system. It will be used an example of an asynchronous sequential system that will set up an output signal when an input signal will be set up. The width of the output signal depends on the input signal width, and in this case it is very short. There are many synthesis methods, like using a RC group system, a monostable system in design of the asynchronous digital system or using an external clock signal, CK. In this paper will be used an external clock signal, CK.
The asynchronous systems are the models of the asynchronous circuits from the digital electrical engineering. An asynchronous system f is a multi-valued function that assigns to each admissible input u a set f(u) of possible states x in f(u). A special case of asynchronous system consists in the existence of a Boolean function Υsuch that for any u and any x in f(u), a certain equation involving Υis fulfilled. Then Υis called the generator function of f (Moisil used the terminology of network function) and we say that f is generated by Υ. The systems that have a generator function are called regular. Our purpose is to continue the study of the generation of the asynchronous systems that was started in [2], [3].
In this paper we present an electronic circuit for position or capacitance estimation of MEMS electrostatic actuators based on a switched capacitor technique. The circuit uses a capacitive divider configuration composed by a fixed capacitor and the variable capacitance of the electrostatic actuator for generating a signal that is a function of the input voltage and capacitive ratio. The proposed circuit can be used to actuate and to sense position of an electrostatic MEMS actuator without extra sensing elements. This approach is compatible with the requirements of most analog feedback systems and the circuit topology of pulsed digital oscillators (PDO).
We present and discuss the fabrication process and the performance of a flexible micro thermoelectric generator with electroplated Bi2Te3 thermocouples in a SU-8 mold. Demonstrator devices generate 278uWcm-2 at dTmeas=40K across the experimental set up. Based on model calculations, a temperature difference of dTG=21.4K across the generator is assumed. Due to the flexible design and the chosen generator materials, the performance stays high even for curved contact surfaces. The measurement results correlate well with the model based design optimization predictions.
Wireless sensor networks are often used for environmental monitoring applications. In this context sampling and reconstruction of a physical field is one of the most important problems to solve. We focus on a bandlimited field and find under which conditions on the network topology the reconstruction of the field is successful, with a given probability. We review irregular sampling theory, and analyze the problem using random matrix theory. We show that even a very irregular spatial distribution of sensors may lead to a successful signal reconstruction, provided that the number of collected samples is large enough with respect to the field bandwidth. Furthermore, we give the basis to analytically determine the probability of successful field reconstruction.