An implementation of the object-oriented concurrent programming language SINA

SINA is an object-oriented language for distributed and concurrent programming. The primary focus of this paper is on the object-oriented concurrent programming mechanisms of SINA and their implementation. This paper presents the SINA constructs for concurrent programming and inter-object communication, some illustrative examples and a message-based implementation model for SINA that we have used in our current implementation.     

X86汇编程序可视调试虚拟机的设计与实现

应用虚拟机构建技术与可视化技术相结合,设计一个汇编程序可视化集成开发环境X86VVM2.实现了一个可执行X86汇编程序的虚拟机内核,在此内核的基础上,进行对程序运行时数据及其执行过程的可视化研究,实现CPU寄存器值及寄存器之间的数据交换可视化、堆栈信息可视化、代码跟踪和调试可视化.同时也实现了一个可视化代码编辑器.经过实验与分析,具备可视调试特征的X86汇编程序集成开发环境可令程序设计者更为直观地理解汇编程序的执行过程,提高调试效率.     

Pinned OS/Services: A Case Study of XML Parsing on Intel SCC

Nowadays,we are heading towards integrating hundreds to thousands of cores on a single chip.However,traditional system software and middleware are not well suited to manage and provide services at such large scale.To improve the scalability and adaptability of operating system and middleware services on future many-core platform,we propose the pinned OS/services.By porting each OS and runtime system(middleware) service to a separate core(special hardware acceleration),we expect to achieve maximal performance gain and energy efficiency in many-core environments.As a case study,we target on XML(Extensible Markup Language),the commonly used data transfer/store standard in the world.We have successfully implemented and evaluated the design of porting XML parsing service onto Intel 48-core Single-Chip Cloud Computer(SCC) platform.The results show that it can provide considerable energy saving.However,we also identified heavy performance penalties introduced from memory side,making the parsing service bloated.Hence,as a further step,we propose the memory-side hardware accelerator for XML parsing.With specified hardware design,we can further enhance the performance gain and energy efficiency,where the performance can be improved by 20% with 12.27% energy reduction.     

The Argonne/GMD macros in FORTRAN for portable parallel programming and their implementation on the Intel iPSC/2

A macro package for expressing message passing functions within parallel FORTRAN program is presented. It makes the user program fully portable among all parallel computers where the macros are implemented. The implementation on the Intel iPSC/2 hypercube is discussed in more detail. New message passing primitives have been added to the iPSC/2 operating system, offering the user a broader functionality at no efficiency loss. The full macro set, using these primitives, works with the same performance as the original Intel primitives.     

Pearl at the age of five: Case study of development and application of a common high order realtime programming language

The Programming language PEARL for industrial process automation has been developed since 1969. After extensive studies its final definition was frozen in 1976. Since then considerable experience has been gained with some 25 implementations and 200 applications.With PEARL at the age of three, these experiences are offered as a case study in this paper.The paper starts with a characterization of PEARL by indicating the requirements for such a tool, by classifying it with respect to other language types and by pleading for embedded realtime features. As PEARL has been submitted to ISO for international standardization, the question of how it meets the requirements set up by ISO is more thoroughly answered in Appendix A.The report of experience is given separately for implementation, application, and standardization with as much quantitative results as possible, including compiler behaviour, application areas, and economical benefit.For readers not yet familiar with PEARL a tutorial introduction by means of a simple but completely programmed control problem is given in Appendix B.     

基于Intel PXA250处理器工作状态的功耗仿真模型及分析

设计了一个基于Intel PXA250处理器工作状态的功耗仿真模型，并且对SimIt-ARM的指令集模拟器进行修改，使其模拟Intel PXA250处理器，然后，为其添加上功耗分析模块，均用C 实现，试验结果表明，该模型在分析嵌入式处理器的工作状态变换引起的功耗变化方面具有良好的效果．     

多现场总线融合的实时中间件的设计与实现

为了能够实现不同现场总线设备之间的互联和互操作,简化基于现场总线的系统开发过程,同时又能保证系统的实时性能,研究并提出了一种新的嵌入式系统下多现场总线融合的实时中间件实现方案.该方案参照Minimum CORBA和Real-time CORBA中间件的规范,实现了基于RTLinuxPro实时操作系统的嵌入式实时中间件,同时借鉴了软插件的设计思想,不仅使该实时中间件系统的实时性能显著提高,而且使得该系统具备了良好的可扩展性,实现现场总线的热插拔.     

基于MELP的水下实时语音通信机的研究与实现

根据水声通信的复杂信道特性,对混合激励线性预测语音编码MELP算法和低密度奇偶校验码LDPC的结合进行了研究,设计了基于ARM+DSP的多载波水声实时语音通信样机。经水池实验测试,系统表现出良好的实时性和语音可懂度性能,可分辨出不同说话人的声音。     

基于口语学习的语言平台设计与实现

介绍了基于口语学习的语言平台的设计与实现;提出了以客观评测为主的企业级语言教育平台的构建方案,该方案引入了语音匹配分析识别技术,能够在电讯网、单机或互联网上开展教学活动,从而为更低廉更便捷的口语学习和大规模的口语评测提供了新的发展思路.     

基于URL的JAVA语言网络通讯系统的设计与实现

JAVA是一种应用比较广泛的网络编程语言,它具有简单、面向对象、安全等特点。文中对JAVA语言的URL网络通讯机制进行介绍,根据URL理论及方法创建一条和所选资源链接的通讯通道,提出JAVA语言通信网络资费系统的设计。     

基于TMS320C6678的语种识别并行算法设计与实现

针对语种识别在实际应用中的实时性需求,在分析语种识别算法原理和多核DSP任务并行的基础上,设计了一种基于TMS320C6678的语种识别算法并行实现方法.该方法实现了任务级并行流水和核间高效通信.实验结果表明,该方法可靠、有效,并且使该系统至少能够完成132路的实时识别任务.     

Multiprocessing ocean circulation: Modeling, implementation, and performance on the Intel Paragon

In this paper we present the modeling and implementation of a grand challenge problem in the field of scientific computation: the primitive-equation numerical ocean circulation model. We present the mathematical formulation of the model and propose a scheme for its parallel implementation. Optimizations are made through collective communications and various partitioning schemes. In our experiments, which use up to 100 processors on the Intel Paragon parallel computer, the proposed strategy yields an encouraging speedup and exhibits a sustained scalability with increasing problem and machine sizes. We consider barotropic continental shelf waves in a periodic channel as a test problem. The model has numerous applications in environmental studies and ocean sciences.     

基于移位变换的句子层自然语言信息隐藏算法

针对现有的句子层自然语言信息隐藏方法存在的问题,提出一种基于句子层移位变换规则的中文自然语言信息隐藏算法．首先利用汉字数学表达式对中文文本信号数字化;然后通过句子的移位变换改变句子词序以嵌入秘密信息．实验结果和分析表明,该算法实现简单、编码容量较大,同时秘密信息隐藏在自然语言文本句子层词序变换中,不改变文本语法、语义和风格,具有较好的隐蔽性．     

基于EtherCAT协议现场级实时以太网控制系统研究

针对工业现场级控制对实时性要求越来越高的问题,提出了采用新一代工业以太网协议标准—EtherCAT协议构建现场级控制系统的方案。为了验证方案的可行性,以海洋环境监测应用为背景设计了多路浪高数据采集与控制系统,并在实验室条件下对包括主站和从站的完整系统进行了测试。实验结果表明,该类系统能够实现响应时间为微秒级的实时数据监控,为现场级以太网高实时性监控的实现提供了可行的解决途径。     

Interval propagation to reason about sets: Definition and implementation of a practical language

Local consistency techniques have been introduced in logic programming in order to extend the application domain of logic programming languages. The existing languages based on these techniques consider arithmetic constraints applied to variables ranging over finite integer domains. This makes difficult a natural and concise modelling as well as an efficient solving of a class of NP-complete combinatorial search problems dealing with sets. To overcome these problems, we propose a solution which consists in extending the notion of integer domains to that of set domains (sets of sets). We specify a set domain by an interval whose lower and upper bounds are known sets, ordered by set inclusion. We define the formal and practical framework of a new constraint logic programming language over set domains, called Conjunto. Conjunto comprises the usual set operation symbols (, , \), and the set inclusion relation (% MathType!MTEF!2!1!+-% feaafiart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn% hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr% 4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9Lq-Jc9% vqaqpepm0xbba9pwe9Q8fs0-yqaqpepae9pg0FirpepeKkFr0xfr-x% fr-xb9adbaqaaeaacaGaaiaabeqaamaabaabaaGcbaGaeyOHI0maaa!37EA!\[ \subseteq \]). Set expressions built using the operation symbols are interpreted as relations (s s ₁ = s ₂, ...). In addition, Conjunto provides us with a set of constraints called graduated constraints (e.g. the set cardinality) which map sets onto arithmetic terms. This allows us to handle optimization problems by applying a cost function to the quantifiable, i.e., arithmetic, terms which are associated to set terms. The constraint solving in Conjunto is based on local consistency techniques using interval reasoning which are extended to handle set constraints. The main contribution of this paper concerns the formal definition of the language and its design and implementation as a practical language.     

An XML-based modeling language for the open interchange of decision models

These days, a modeling tool or environment has to know about the others on the market and build bridges to them with which their customers insist on sharing models and data. When it is based on a closed architecture, a tangle of import/export point translators is required. Using an exchange standard, we can design an open architecture for the interchange of models and data. XML (Extensible Markup Language) provides a framework for describing the syntax for creating and exchanging data structures. The explosive growth of XML-based proposals and standards reflects the urgent requirements and its strength. This paper proposes an XML-based language for sharing models within the MSOR/DSS community. The language is able to allow applications and on-line analytic processing tools to models obtained from multiple sources without having to deal with individual differences between those sources.     

Windows平台下的实时仿真计算机系统PCRTSim

普通微型计算机由于各种相互兼容的标准硬件及丰富的应用软件支持而获得了广泛的应用,但它们之上往往都是运行多任务、多用户的Windows操作系统,一般不能满足半实物仿真的实时性要求。详细介绍了一个Windows平台下的实时仿真计算机系统PCRTSim,重点研究了PCRTSim下的实时时钟获取问题、帧时间不稳定问题,提出了保证实时仿真帧时间的具体思路,并通过一个简单例子探讨了PCRTSim的具体应用。     

The design and implementation of K: a high-level knowledge-base programming language of OSAM*.KBMS

The OSAM*.KBMS is a knowledge-base management system, or the so-called next-generation database management system, for non-traditional data/knowledge-intensive applications. In order to define, query, and manipulate a knowledge base, as well as to write codes to implement any application system, we have developed an object-oriented knowledge-base programming language called K to serve as the high-level interface of OSAM*.KBMS. This paper presents the design of K, its implementation, and its supporting KBMS developed at the Database Systems Research and Development Center of the University of Florida. Edited by Dennis McLeod. Received July 1992 / Accepted August 1995     

基于CPL脚本语言的软交换应用服务器的研究

在软交换应用服务器的各种实现方案中；基于业务逻辑描述清晰，实现简单，以及同样在开放第三方业务支持上的便捷的考虑，本文提出了对基于CPL脚本语言的应用服务器的研究。用CPL脚本实现的应用可以达到业务逻辑可以和呼叫控制相分离的目的，为满足应用服务器频繁的业务逻辑修改以及丰富的新业务开发提供了最大便利，也为服务器的可靠性提供了很大的支持。