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.
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.
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.
An innovative inheritable Fisher vector feature (IFVF) method is presented in this paper for kinship verification. Specifically, Fisher vector is first derived for each image by aggregating the densely sampled SIFT fe...
详细信息
ISBN:
(纸本)9781479987771
An innovative inheritable Fisher vector feature (IFVF) method is presented in this paper for kinship verification. Specifically, Fisher vector is first derived for each image by aggregating the densely sampled SIFT features in the opponent color space. Second, a new inheritable transformation, which maximizes the similarity between kinship images while minimizes that between non-kinship images for each image pair simultaneously, is learned based on the Fisher vectors. As a result, the IFVF is derived by applying the inheritable transformation on the Fisher vector for each image. Finally, a novel fractional power cosine similarity measure, which shows its theoretical roots in the Bayes decision rule for minimum error, is proposed for kinship verification. Experimental results on two representative kinship data sets, namely the KinFaceW-I and the KinFaceW-II data sets, show the feasibility of the proposed method.
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.
In this paper, we propose a linear programming based interactive method for multiobjective linear programming problems, in which fuzzy coefficients and random variable coefficients are involved in the objective functi...
详细信息
ISBN:
(纸本)9781479959556
In this paper, we propose a linear programming based interactive method for multiobjective linear programming problems, in which fuzzy coefficients and random variable coefficients are involved in the objective functions simultaneously. In the proposed method, it is assumed that the decision maker has a fuzzy goal for each objective function, and such a fuzzy goal can be quantified by eliciting the membership function. through the possibility measure and a fractile optimization model, the original problem is transformed to the well-defined multiobjective programming problem. then, a generalized Pareto optimal concept is defined, and a linear programming based interactive algorithm is proposed to obtain a satisfactory solution from among a generalized Pareto optimal solution set.
Withthe rapid development of UAV technology, its applications in various fields have become increasingly widespread, especially in navigation and path planning in complex environments, which have become key issues. T...
详细信息
ISBN:
(纸本)9798350377040;9798350377033
Withthe rapid development of UAV technology, its applications in various fields have become increasingly widespread, especially in navigation and path planning in complex environments, which have become key issues. this paper proposes a new UAV navigation system design based on behavioral programmingtheory, utilizing a modular design approach to achieve flexible path planning and obstacle avoidance. the system design focuses on the control algorithms of behavioral programming, path planning algorithms, and dynamic adjustment and optimization of UAV behavior. Experimental results demonstrate that the system achieves high navigation accuracy and obstacle avoidance capability in complex environments, enhancing the autonomy and safety of the UAV. Finally, the performance of the system is evaluated, and future research directions and optimization suggestions are proposed.
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.
暂无评论