利用虚拟化平台进行内存泄露探测

文中利用虚拟机管理器,透明地记录应用程序对资源的申请、释放以及使用情况,提供了探测内存泄露的辅助信息.此机制首先不需要修改或重新编译源程序;其次,带来的性能损失很小.两者结合可以构建在线内存泄露探测和汇报机制.不仅如此,基于虚拟机环境的内存泄露探测还具备通用性,且不需要特殊的硬件支持.所有这些特性,是已有的解决方案所不能兼有的.实验结果表明:基于虚拟机环境的内存泄露探测机制具有实用性,性能损失也被控制在10%以内,能够运用在实际的生产环境中.     

Iterative support vector machine with guaranteed accuracy and run time

Abstract: Using a conjugate gradient method, a novel iterative support vector machine (FISVM) is proposed, which is capable of generating a new non‐linear classifier. We attempt to solve a modified primal problem of proximal support vector machine (PSVM) and show that the solution of the modified primal problem reduces to solving just a system of linear equations as opposed to a quadratic programming problem in SVM. This algorithm not only has no requirement for special optimization solvers, such as linear or quadratic programming tools, but also guarantees fast convergence. The full algorithm merely needs four lines of MATLAB codes, which gives results that are similar to or better than that of several new learning algorithms, in terms of classification accuracy. Besides, the proposed stand‐alone approach is capable of dealing with instability of classification performance of smooth support vector machine, generalized proximal support vector machine, PSVM and reduced support vector machine. Experiments carried out on UCI datasets show the effectiveness of our approach.     

An axiom system for sequence-based specification

This paper establishes an axiomatic foundation and a representation theorem for the rigorous, constructive process, called sequence-based specification, of deriving precise specifications from ordinary (informal) statements of functional requirements. The representation theorem targets a special class of Mealy state machines, and algorithms are presented for converting from the set of sequences that define the specification to the equivalent Mealy machine, and vice versa. Since its inception, sequence-based specification has been effectively used in a variety of real applications, with gains reported in quality and productivity. This paper establishes the mathematical foundation independently of the process itself.     

Theory of one-tape linear-time Turing machines

A theory of one-tape two-way one-head off-line linear-time Turing machines is essentially different from its polynomial-time counterpart since these machines are closely related to finite state automata. This paper discusses structural-complexity issues of one-tape Turing machines of various types (deterministic, nondeterministic, reversible, alternating, probabilistic, counting, and quantum Turing machines) that halt in linear time, where the running time of a machine is defined as the length of any longest computation path. We explore structural properties of one-tape linear-time Turing machines and clarify how the machines’ resources affect their computational patterns and power.     

Measurement of enterprise knowledge by state characterization

Abstract: Enterprise production is becoming more and more knowledge oriented nowadays and knowledge management is playing a key role in making commercial profit and maintaining enterprise competence. Knowledge characterization and measurement are the bases of knowledge management, and this paper aims to develop a method for characterizing and measuring knowledge in a comprehensive and practical way. Knowledge in its static state is modelled as a vector, whose values vary with the situation, and changes in state are modelled as a finite state machine.     

SignMT: An alternative language learning tool

Learning a second language is very difficult, especially, for the disabled; the disability may be a barrier to learn and to utilize information written in text form. We present the SignMT, Thai sign to Thai machine translation system, which is able to translate from Thai sign language into Thai text. In the translation process, SignMT takes into account the differences between Thai and Thai sign language in terms of both syntax and semantic to ensure the accuracy of translation. SignMT was designed to be not only an automatic interpreter but also a language learning tool. It provides meaning of each word in both text and image forms which is easy to understand by the deaf. The grammar information and the order of the sentence are presented in order to help the deaf in learning Thai, their second language. With SignMT, deaf students are less dependent on a teacher, have more freedom to experiment with their own language, and improve their knowledge and learning skill.     

Transient model of induction machine using rotating magnetic field approach

Most simulation models of electric machines use the coupled circuit approach, where the machine is considered as an electric circuit element with time-varying inductances (abc model) or with constant inductances (dq0 model). On the other hand, the rotating magnetic field approach, which considers the electric machine as two groups of windings producing rotating magnetic fields and can give insight into internal phenomena of the machines, has not yet received much attention in electric machines modeling, especially for machine transient analysis. Based on the rotating magnetic field approach, this paper presents a transient model of the induction machine including main flux saturation effect. Based on the direct computation of the magnetizing fluxes of all machine windings, the model represents instantaneous main flux saturation by simply introducing a main flux saturation factor. No iteration process is involved to incorporate the saturation effects. The model combines the advantages of the dq0 and abc models advantages, such as rapid computation time and nonsymmetrical conditions simulation, respectively. The simulation results and the experimental tests show advantages and verification of the model.     

基于支持向量机的作战方案评估

作战方案评估是当今军事领域一个急需解决又具有相对难度的课题。针对目前的作战方案大多是由专家评估这一现实状况,提出了基于支持向量机的方案评估方法。以某次作战为研究背景,客观分析了影响作战方案实施的各因素,建立方案评估指标体系,将支持向量机的回归方法应用于作战方案评估模型的建立中。最后,通过实验验证了评估模型的可行性。     

基于IC卡支付的GPRS网络自动售货机的设计实现

针对目前自动售货机都存在的只能接受硬币和小额面值钞票的缺点,提出采用智能IC卡与GPRS网络通信技术相结合的方案,并在此基础上设计了基于IC卡支付的无线网络自动售货终端。它包含了自动售货机终端的硬件设计与软件设计两部分。采用MDB总线与自动售货机控制器通讯。实际应用证实了其可行性,在自动售货业有广泛的应用前景。     

如何在嵌入式系统上运行OSGI架构

嵌入式计算应用已经广泛运行在各种平台,普遍应用于各个领域,文中主要介绍在嵌入式系统上运行OSGI架构的相关操作和运行。