Cloud computing providers in the infrastructure as a service (IaaS) layer provide their utility computing and IT services as virtual machines to customers, who then pay for resources based on time usage. One of the mo...
详细信息
ISBN:
(纸本)9781467395601
Cloud computing providers in the infrastructure as a service (IaaS) layer provide their utility computing and IT services as virtual machines to customers, who then pay for resources based on time usage. One of the most subtle challenges is pricing stagnant resources dynamically, which combines the static pricing strategy of active resources to maximize cloud computing profits. this paper investigates cloud dynamic pricing and proposes an efficient model that manages virtual machines in regards to revenue management, formulating the maximum expected reward under discrete finite horizon Markovian decisions, characterizing model properties under optimum controlling conditions, approximating optimal dynamic programming policy using a linear programming approach, developing a new algorithm based on this approximation, and finally presenting evaluation results. Our results provide fundamental insights into cloud computing revenue.
In this paper, we propose a new approach for determining the unknown quantities in Banker-Charnes-Cooper models for data envelopment analysis by developing the marginal model synthesization algorithm. In this algorith...
详细信息
ISBN:
(纸本)9781479959556
In this paper, we propose a new approach for determining the unknown quantities in Banker-Charnes-Cooper models for data envelopment analysis by developing the marginal model synthesization algorithm. In this algorithm, several marginal fractional programming models are first constructed based on a simple numeric optimization. then, a set of synthetic Banker-Charnes-Cooper models is obtained by compounding the marginal fractional programming models. the marginal model synthesization algorithm is straightforward and computationally efficient. We also present an application of the proposed approach for analyzing the efficiency of industries in Japanese prefectures.
Denotational semantics is an approach for giving a mathematical meaning to programming languages and systems. It gives the language designers a tool for high level abstract definitions. In aspect oriented programming,...
详细信息
ISBN:
(纸本)9781467386142
Denotational semantics is an approach for giving a mathematical meaning to programming languages and systems. It gives the language designers a tool for high level abstract definitions. In aspect oriented programming, advice is weaved in designated locations of an underlying program specified by a pointcut expression. It is the job of the language implementer to specify how weaved code gets to be inserted into the proper location. Current denotational semantics of languages do not have the necessary constructs for accepting this weaved code. In this paper, we preset a denotational semantics formal description that embodies the representation of constructs to be woven by some aspect. It illustrates the a formal description of the mechanism of where and how woven advice is inserted. the semantics presented are intended to be a general baseline for the use of any advice in any random joinpoint.
the implementation of a flexible and intuitive programming system is a basic requirement for the efficient usage of robotic applications in real industrial environments. this paper focuses on the development and imple...
详细信息
ISBN:
(纸本)9781665490511
the implementation of a flexible and intuitive programming system is a basic requirement for the efficient usage of robotic applications in real industrial environments. this paper focuses on the development and implementation of a programming system that enables an industrial worker to program the robot without writing a single line of code. therefore, the worker can compound the robot program by choosing different movement sequences out of a list of operations. By using the ISA88 standard of the process industry, the considered application can be subdivided into smaller units that only have to be parameterized. thus, the worker only has to be aware of the industrial workplace itself, but not of writing robot source code. Furthermore, we implemented a human-machine interface (HMI) on an industrial computer that is connected to the robot controller via TCP/IP. the evaluation shows that our programming system is characterized by a great versatility for robotic applications in real industrial environments.
Central to many sentiment analysis tasks are sentiment lexicons (SLs). SLs exhibit polarity inconsistencies. Previous work studied the problem of checking the consistency of an SL for the case when the entries have ca...
详细信息
ISBN:
(纸本)9781941643723
Central to many sentiment analysis tasks are sentiment lexicons (SLs). SLs exhibit polarity inconsistencies. Previous work studied the problem of checking the consistency of an SL for the case when the entries have categorical labels (positive, negative or neutral) and showed that it is NP-hard. In this paper, we address the more general problem, in which polarity tags take the form of a continuous distribution in the interval [0, 1]. We show that this problem is polynomial. We develop a general framework for addressing the consistency problem using linear programming (LP) theory. LP tools allow us to uncover inconsistencies efficiently, paving the way to building SL debugging tools. We show that previous work corresponds to 0-1 integer programming, a particular case of LP. Our experimental studies show a strong correlation between polarity consistency in SLs and the accuracy of sentiment tagging in practice.
Traditional method of FPGA updating system is programmingthe bitstream file into SPI Flash through JTAG interface. this operation needs professional personnel to do, and it needs to dismantle the machine, which takes...
详细信息
ISBN:
(纸本)9798400708305
Traditional method of FPGA updating system is programmingthe bitstream file into SPI Flash through JTAG interface. this operation needs professional personnel to do, and it needs to dismantle the machine, which takes time and effort. To meet the requirement of flight control computer system updating, a new method of dynamic reconfiguration without special tools, dismantling and adding external circuits is designed. the design, experiment and verification of this method are introduced in detail. the application results show that this method can work normally and configuration can be loaded even if the programming process exits unexpectedly due to power failure and so on. We've also introduced a user-friendly graphical interface for online programming, making the process accessible even to non-experts, thus substantially reducing updating costs.
Until now there has been no support for specifying and enforcing contracts within a lazy functional program. that is a shame, because contracts consist of pre- and post-conditions for functions that go beyond the stan...
详细信息
ISBN:
(纸本)9781450310543
Until now there has been no support for specifying and enforcing contracts within a lazy functional program. that is a shame, because contracts consist of pre- and post-conditions for functions that go beyond the standard static types. this paper presents the design and implementation of a small, easy-to-use, purely functional contract library for Haskell, which, when a contract is violated, also provides more useful information than the classical blaming of one contract partner. From now on lazy functional languages can profit from the assurances in the development of correct programs that contracts provide.
this paper investigated evolutionary programming with operator adaptation at both population level and individual level. the fitness distributions were employed to update operators at population level while the immedi...
详细信息
ISBN:
(纸本)9780769529837
this paper investigated evolutionary programming with operator adaptation at both population level and individual level. the fitness distributions were employed to update operators at population level while the immediate reward or punishment from the feedback of mutations was applied to change operators at individual level. Experimental results had shown that long jump operators could actually have smaller average winning step sizes. through observing the evolution of step sizes and fitness distribution values for each mutation operator it was discovered that small-stepping operator could become the only dominant operator while other more capable operators with long jumps had only been applied at rather low probabilites.
the higher incidence of under-prepared students in the South African education institutions has a particular significance for introductory programming courses which rely heavily on the use of technological tools as co...
详细信息
ISBN:
(纸本)9781424404056
the higher incidence of under-prepared students in the South African education institutions has a particular significance for introductory programming courses which rely heavily on the use of technological tools as components of the teaching model. Difficulties experienced by novice programmers in introductory programming courses include deficiencies in problem-solving strategies, misconceptions relating to programming language constructs and the use of traditional programming environments. An introductory programming course should offer students problem solving analysis and design experience as well as exposure to the basic ideas of algorithmic thinking. Generally, introductory programming courses tend to concentrate on the syntax of a programming language at the expense of developing problem solving skills. Coupled to this are the ever-increasing complexity of modern programming languages and the user interfaces of their IDEs. A strategy that addresses the difficulties experienced by novice programmers in introductory programming courses is one that modifies the teaching model, specifically within the context of technological support. One way of implementing this strategy is withthe use of visual programming languages, of which the iconic flowchart approach is one. Further, iconic programming environments traditionally attempt to simplify the programming task by reducing the level of precision and manual typing usually required in the conventional textual programming languages. these environments also attempt to increase the speed at which problem-solving and implementation efforts occur. Consequently, B# was developed in order to provide an environment in which programs can be developed using iconic flowcharts. Basic programming concepts such as assignments, conditions, loops, inputs and outputs are supported. Automatic code generation, debugging and program execution is also supported by the system. this paper reports on the development of B#, focussing on insi
AC load maximization problems are challenging to solve in their nonconvex form. Second-order cone programming relaxations facilitate an efficient solution but often result in infeasible solutions especially for meshed...
详细信息
暂无评论