Software configuration management computes the diff between the old version and new version of the program and represents the diff as added, deleted and updated text lines. the source code change represents the change...
详细信息
ISBN:
(纸本)9781467302395
Software configuration management computes the diff between the old version and new version of the program and represents the diff as added, deleted and updated text lines. the source code change represents the change type of code revisions in fine-grained levels such as class or field but rather to added, deleted and updated text lines. Atomic change is the minimal source code change. An atomic change can not be decomposed into other atomic changes. this paper defines the atomic change and the atomic change set of Java programming language. It analyzes properties of the atomic change set of Java programming language. It also emphasizes the differences of the binary compatibility and source compatibility of atomic changes of Java programming language. Finally, it gives a method for computing all source compatible atomic changes of Java programming language.
this paper contributes to the area of inductive logic programming by presenting a new learning framework that allows the learning of weak constraints in Answer Set programming (ASP). the framework, called Learning fro...
详细信息
this paper contributes to the area of inductive logic programming by presenting a new learning framework that allows the learning of weak constraints in Answer Set programming (ASP). the framework, called Learning from Ordered Answer Sets, generalises our previous work on learning ASP programs without weak constraints, by considering a new notion of examples as ordered pairs of partial answer sets that exemplify which answer sets of a learned hypothesis (together with a given background knowledge) are preferred to others. In this new learning task inductive solutions are searched within a hypothesis space of normal rules, choice rules, and hard and weak constraints. We propose a new algorithm, ILASP2, which is sound and complete with respect to our new learning framework. We investigate its applicability to learning preferences in an interview scheduling problem and also demonstrate that when restricted to the task of learning ASP programs without weak constraints, ILASP2 can be much more efficient than our previously proposed system.
We consider a new semidefinite programming (SDP) relaxation of the symmetric traveling salesman problem (TSP) that may be obtained via an SDP relaxation of the more general quadratic assignment problem (QAP). We show ...
详细信息
We consider a new semidefinite programming (SDP) relaxation of the symmetric traveling salesman problem (TSP) that may be obtained via an SDP relaxation of the more general quadratic assignment problem (QAP). We show that the new relaxation dominates the one in [D. Cvetkovic, M. Cangalovic, and V. Kovacevic-Vujcic, Semidefinite programming methods for the symmetric traveling salesman problem, in Proceedings of the 7thinternational IPCO conference on Integer programming and Combinatorial Optimization, Springer-Verlag, London, UK, 1999, pp. 126-136]. Unlike the bound of Cvetkovic et al., the new SDP bound is not dominated by the Held-Karp linear programming bound, or vice versa.
How to develop students' "capacity for computational thinking during the teaching process of computer programming, is one of the basic goals of computer fundamental education. Using C program language as exam...
详细信息
ISBN:
(纸本)9781467302395
How to develop students' "capacity for computational thinking during the teaching process of computer programming, is one of the basic goals of computer fundamental education. Using C program language as example, this paper discusses how to train thinking capability of students during the programming language teaching. Computer programming languages have the features of mass content and practical techniques, and it is difficult for students to master one in short period of time. We provide some advices about how to organize the teaching content and experiments are proposed for improving the teaching results, and human thinking characters are exploited for increasing creative capability. the teaching methods proposed have proved effective for training thinking capability of students.
Massively Multiplayer Online Human in the Loop Simulation (MMOHILS) is a novel simulation technique which borrows heavily from the field of gaming. this naturally raises the question: is a general-purpose programming ...
详细信息
ISBN:
(纸本)9781424417865
Massively Multiplayer Online Human in the Loop Simulation (MMOHILS) is a novel simulation technique which borrows heavily from the field of gaming. this naturally raises the question: is a general-purpose programming language such as Java (which has been used to program games) suitable for implementing a MMOHILS? Our work shows that, yes, Java can meet the demands of a real-time, multiple-man-in-the-loop simulation.
We investigate in this paper the applicability of the notion monad streams to media stream programming, and, more specifically, audio processing and control. Simply said, a monad stream is sort of a list guarded by a ...
详细信息
ISBN:
(纸本)9781450368117
We investigate in this paper the applicability of the notion monad streams to media stream programming, and, more specifically, audio processing and control. Simply said, a monad stream is sort of a list guarded by a monad action that returns either nothing when the stream is over, or, otherwise, just the current value of the stream and the guarding action of its continuation. Applied to the IO monad, it appears that monad streams can be used for modeling both input streams and output streams, with full control of the possibly synchronism between input and output streams in stream functions. this allows for defining both synchronous or asynchronous functions, or any combination of both notions. In the abstract, this opens quite intriguing and generic solutions towards programming systems that are globally asynchronous and locally synchronous (GALS). In the concrete, applied to real-time audio, this allows for combining, in a fairly simple and unified way, both (synchronous) audio processing and (asynchronous) audio control. As far as performance are concerned, our proposal allows non-trivial transformation of audio streams at 44100 Hz with a 10 ms latency, a performance comparable to functional programing languages dedicated to real-time audio processing such as Faust.
In the optimum coordination of Directional Overcurrent Relays (DOCRs), operational time of relays is minimized with maintaining coordination criteria between Primary and Backup (P/B) relay pairs. In the literature, a ...
详细信息
ISBN:
(纸本)9781538617892
In the optimum coordination of Directional Overcurrent Relays (DOCRs), operational time of relays is minimized with maintaining coordination criteria between Primary and Backup (P/B) relay pairs. In the literature, a range of Objective Functions (OFs) including constraints with various weightings are developed to obtain the optimum coordination of relays. In this paper, the performance of different OFs is evaluated on IEEE 30-bus system using Sequential quadratic programming (SQP). the comparative analysis is executed to find the best OF for the coordination problem of DOCRs.
programming Language has been a basic course for non-computer specialized students, however, using the traditional teaching method which focuses on knowledge system is difficult to stimulate students' interest in ...
详细信息
ISBN:
(纸本)9781467302395
programming Language has been a basic course for non-computer specialized students, however, using the traditional teaching method which focuses on knowledge system is difficult to stimulate students' interest in learning, making teach effects not satisfactory. Based on years of teaching practice, this article discusses about educational reforms of this course ranging from teaching methods, practical teaching to evaluation of teaching. An alternative teaching method based on the teaching content of project organization is introduced as a key point in the article and how to strengthen the practical teaching of the course is also included.
this paper involves an unrelated parallel machine scheduling problem. Setup times are sequence dependent. A mixed integer linear programming model that represents the system is formulated. Two measures of performance,...
详细信息
ISBN:
(数字)9781728167855
ISBN:
(纸本)9781728167855
this paper involves an unrelated parallel machine scheduling problem. Setup times are sequence dependent. A mixed integer linear programming model that represents the system is formulated. Two measures of performance, makespan, total tardiness, and a combination of both measures, are minimize Results from a numerical example show that, with a proper weight between the two measures, a compromise solution can be found.
暂无评论