the process-oriented design and implementation of concurrent systems have important advantages. However, it is challenging to verify the consistency of process communications between the design and the implementation....
详细信息
the process-oriented design and implementation of concurrent systems have important advantages. However, it is challenging to verify the consistency of process communications between the design and the implementation. To deal with such a challenge, we construct a formal framework for designing, implementing and verifying the consistency of process communications. In this framework, we use Failures in Communicating Sequential Processes (CSP), Erasmus and Category theory as the foundation. the framework is illustrated by using a running example. (C) 2016 the Authors. Published by Elsevier B.V.
Managing interest in collaborative data sharing involves determining interest of both owner and other parties. lnterest management method is bound to information such as user request, location, history, preferences an...
详细信息
ISBN:
(纸本)9781467389136
Managing interest in collaborative data sharing involves determining interest of both owner and other parties. lnterest management method is bound to information such as user request, location, history, preferences and data policies. Considering other researchers' works, managing data interest of sharing for its' constitutional adhered policy are rarely done in computerize manner. With attention that data shared are constituted with policy implieitly or explicitly, this paper proposes an automatie design of data poliey via poliey programming language in order to handle interest management. the study starts by analyzing secondary data through massive literature reviews. Two pertinent issues on interest management and data policy are explored, analyzed and summarized. Based on the research gap found in these analyses, an interest management for automated data poliey is designed. As a case study, a new set of programming constructs are implemented and embedded into an existing collaborative language called JACIE (Java-based Authoring language for Collaborative Interactive Environments) that acts as a policy programming language. the results of this study conform that automated data policy is feasible and functioning well. thus, this helps an interest manager to have flexible data policy in handling collaborative activities.
the problem of representing and learning complex visual stimuli in the context of modeling the process of conditional reflex formation is considered. the generative probabilistic framework is chosen which has been rec...
详细信息
the problem of representing and learning complex visual stimuli in the context of modeling the process of conditional reflex formation is considered. the generative probabilistic framework is chosen which has been recently successfully applied to cognitive modeling. A model capable of learning different visual stimuli is developed in the form of a program in Church (probabilistic programming language). NAO robot is programmed to detect visual stimuli, to point at selected stimuli in a sequence of trials, and to receive reinforcement signals for correct choices. Conducted experiments showed that the robot can learn stimuli of different types showing different decision-making behavior in a series of trial that could help arranging psychophysiological experiments.
In recent years, high power consumption in the cloud data center environment become major issue. Ever increasing resource demands increase the power consumption in cloud environment. High power consumption increase th...
详细信息
ISBN:
(纸本)9781450341790
In recent years, high power consumption in the cloud data center environment become major issue. Ever increasing resource demands increase the power consumption in cloud environment. High power consumption increase the operating budget, it responsible for co2 emissions which harmful to environment. So, we need to minimize the power consumption. Although several algorithms have been suggested to solve this problem, in this paper we present exhibit energy utilization assessment on the impacts of live migration of VMs. We proposed framework which objective is to combine the most extreme number of Virtual machines (VMs) on least number of Hosts. We used linear programming for optimal Virtual machine (VM) reallocation. As appeared by experimental results, minimize power consumption in cloud data center environment. Experiment performed using CloudSim Toolkit.
We investigate the possibility of extending some results of Pazman and Pronzato (Ann Stat 42(4):1426-1451, 2014) to a larger set of optimality criteria. Namely, the problems of computing D-, A-, and -optimal designs i...
详细信息
We investigate the possibility of extending some results of Pazman and Pronzato (Ann Stat 42(4):1426-1451, 2014) to a larger set of optimality criteria. Namely, the problems of computing D-, A-, and -optimal designs in a linear regression model are reformulated here as "infinite-dimensional" linear programming problems. the same approach is applied to combination of these optimality criteria and to the "criterion robust" problem of Harman (Metrika 60:137-153, 2004). Approximate optimum designs can then be computed by a relaxation method (Shimizu and Aiyoshi in IEEE Trans Autom Control 25(1):62-66, 1980), and this is illustrated on various examples.
Since maritime transportation is the most cost-efficient way to transport goods, it has experienced a significant growth in the last few decades due to global trade and economic development. Consequently, CO2 emission...
详细信息
ISBN:
(纸本)9781509034291
Since maritime transportation is the most cost-efficient way to transport goods, it has experienced a significant growth in the last few decades due to global trade and economic development. Consequently, CO2 emissions accounting for this sector have also risen. the purpose of this paper is to estimate and minimize the amount of CO2 emissions generated while a vessel is in the hoteling phase, both from the perspective of the vessel and the cranes servicing it, while providing an insight into the share of emissions from both sources and the potential solutions to reduce them. A Mixed Integer programming model was formulated using General Algebraic Modeling System (GAMS). the results of the study show that the quay crane emissions play a significant role of the total emissions during the hoteling phase, affecting quay crane workload distribution and bay allocation, and they should be taken into account when trying to minimize emissions at the terminal operations.
the aims of the article is to the study fuzzy multi-objective linear fractional programming (FMOLFP) problem by using goal programming approach. At first by using Charnes and Cooper [1] transformation, the FMOLFP prob...
详细信息
ISBN:
(纸本)9781509006120
the aims of the article is to the study fuzzy multi-objective linear fractional programming (FMOLFP) problem by using goal programming approach. At first by using Charnes and Cooper [1] transformation, the FMOLFP problem is transformed to fuzzy multi-objective linear programming (FMOLP) problem. the reduced problem is formulated by goal programming approach to find out the solution of FMOLFP problem. By using our proposed GP approach some pareto optimal solution is obtained for the FMOLFP problem. A numerical example is presented to demonstrate our approach.
Design by Contract (DbC) is a software engineering paradigm that aims to reduce the amount of source code in a computer program by avoiding redundant parameter checking. It is based on strict interface specifications,...
详细信息
Phasor Measurement Unit (PMU) provides the online state estimation and faster monitoring, protection and control of power system. However, PMU installation at every power system buses is an uneconomical decision. Vowi...
详细信息
ISBN:
(纸本)9781509045303
Phasor Measurement Unit (PMU) provides the online state estimation and faster monitoring, protection and control of power system. However, PMU installation at every power system buses is an uneconomical decision. Vowing to this, various methodologies have been suggested in past to determine the optimal locations of these devices in order to retain the observability of the system. However, the costs of communication infrastructure from Phasor Data Concentrator (PDC) to PMUs have not been given proper attention. In order to address this issue, the PMU placement problem has been formulated incorporating cost of communication infrastructure also in this paper. the resulting problem has been solved using Mixed Integer Linear programming (MILP) method. the results obtained for IEEE 14-bus and IEEE 30-bus systems have been compared with another method in the literature. the test results reveal that the proposed methodology produced the optimal PMU with higher observability and lesser path for establishing communication link compared to an existing method.
Software maintainability is one of the most factors that used to ensure software quality. It targets the structure of the software rather than its functionality. Hence, code readability is highlighted whenever maintai...
详细信息
ISBN:
(纸本)9781467389136
Software maintainability is one of the most factors that used to ensure software quality. It targets the structure of the software rather than its functionality. Hence, code readability is highlighted whenever maintainability is discussed. there is a huge difference between an organized code and a messy code, or between easy to read code and a difficult to read code. this difference can be very subjective but many efforts have been put together in order to formalize it. therefore, the result was a set of readability factors that have a direct or indirect impact on software readability. these factors measure to which extent readers can understand the text of the software code. Many metrics were developed to generalize the readability score across a set of pieces of code. Unfortunately, not all proposed metrics take into account the possibility of having variable readability factors. this paper tries to investigate to which extent the readability factors considering different application domains. Since readability is very subjective, it will be interesting to see whether it is useful to have specialized readability models that measure this attribute. this also implies looking into the impact of these readability models on measuring software quality.
暂无评论