作者：
HIRAISHI, KSchool of Information Science
Japan Advanced Institute of Science and Technology Hokuriku 15 Asahi-dai Tatsunokuchi Nomi-gun Ishikawa 923-12 Japan
The aim of this research is to utilize constraint logic programming (CLP) far solving decision making problems in Operations Research/Management Science. In this research, a new constraint logic programming language K...
详细信息
The aim of this research is to utilize constraint logic programming (CLP) far solving decision making problems in Operations Research/Management Science. In this research, a new constraint logic programming language Keyed CLP is developed. Keyed CLP has some characteristic features for solving problems in OR/MS. Key arguments can be attached to each predicate, where each key represents the functional dependency in the predicate, and is used for improving computational efficiency and readability of programs. In addition, Keyed CLP has built-in predicates for solving linear optimization problems. To illustrate these features, several examples of decisions making problems are solved by Keyed CLP.
This article introduces the research on how to comprehensively consider various factors to design the parking space of the parking lot, so that it can obtain a larger parking capacity. This article solves the followin...
详细信息
The modern information technology designers are working to increase the performance of any system by reducing the effects of distortion through determining the type of the system first, and then reducing the distortio...
详细信息
ISBN:
(纸本)9781467324892
The modern information technology designers are working to increase the performance of any system by reducing the effects of distortion through determining the type of the system first, and then reducing the distortion. Multi-tone analysis of nonlinear systems contributes to understand distortion and the mechanism through which distortion is introduced in communication signals. This paper illustrates the performance of Multi-tone in nonlinear systems.
While fossil fuels supplied around 90% of the developed world's energy in 2008, the resulting CO2 emissions took a tremendous toll on the environment. As power plants, factories, and oil refineries are the largest...
详细信息
ISBN:
(纸本)9781424465200
While fossil fuels supplied around 90% of the developed world's energy in 2008, the resulting CO2 emissions took a tremendous toll on the environment. As power plants, factories, and oil refineries are the largest CO2 emitters, it is vital to fmd greener ways to extract, refme and utilize fossil fuels. In this paper, we introduce a nonlinear mixed-integer programming model which is intended to help decision makers evaluate the operational cost of different alternatives for reducing CO2 emissions at petroleum refmeries such as powering the refineries using renewable energy sources. To validate our model, we solve several small-size instances of the problem using the BARON solver in GAMS.
This paper argues how online shared editing can benefit teaching/learning intro-programming courses like CS1 and CS2. Various available tools supporting online shared editing are surveyed. A simple but novel Java base...
详细信息
ISBN:
(纸本)9789896740238
This paper argues how online shared editing can benefit teaching/learning intro-programming courses like CS1 and CS2. Various available tools supporting online shared editing are surveyed. A simple but novel Java based online shared editing framework named Olshed is also presented and demonstrated. Olshed is a suite of Swing-based Java classes that supports easy development of online shared editing applications or extension of existing applications for online shared editing. As a proof-of-concept example, DrJava (an educational Java IDE) is extended with Olshed to provide real-time online shared editing facility.
For finite convergent term-rewriting systems it is shown that the equational unification problem is recursively independent of the equational matching problem, the word matching problem, and the 2nd-order equational m...
详细信息
For finite convergent term-rewriting systems it is shown that the equational unification problem is recursively independent of the equational matching problem, the word matching problem, and the 2nd-order equational matching problem. Apart from the latter these results are derived by considering term-rewriting systems on signatures that contain unary function symbols only (i.e., string-rewriting systems). Also for this special case 2nd-order equational matching is shown to be reducible to Ist-order equational matching. In addition, we present some new decidability results for simultaneous equational matching and unification. Finally, we compare the word unification problem to the 2nd-order equational unification problem. (C) 1998-Elsevier Science B.V. All rights reserved.
Based on the hyperstability criterion and the continuous models method, the paper considers a robust control law for nonlinear non-affine single channel or so called "singleinput single-output" (SISO) system...
详细信息
ISBN:
(纸本)9781509013227
Based on the hyperstability criterion and the continuous models method, the paper considers a robust control law for nonlinear non-affine single channel or so called "singleinput single-output" (SISO) systems. Development of the robust control algorithm for this nonlinear systems class is carried out under priori uncertainty conditions.
暂无评论