基于Erlang的混合语言编程及其实现

Erlang是一门诞生于世界通信巨头瑞典爱立信公司CS-Lab的函数式编程语言,面向高并发和高可靠性的电信级工业级应用,它同样适合于混合语言编程的软件开发。介绍了Erlang语言的特点,分析并给出了混合运用Erlang语言和其他编程语言进行开发的四种软件结构模型,结合四种模型的优缺点以及适用范围之后最终选用了基于端口机制的模型来达到快速构建软件的目的,并在此基础上开发了一个随机运动点的仿真应用。     

并发进程模型CSP与CCS

并发性是当前最活跃的研究领域之一。已经出现了众多并发进程模型。一个好的并发模型应该概念清晰简单,以便于理解;有丰富的表达能力、演绎能力,以反映并发性的各主要方面;有好的构造性质及动态性质,以支持复杂多样的系统构成;有坚实的数学基础,以支持稳固的发展与深刻的洞察。以此来衡量,GSP 模型及 CCS 模型都属于最成功的模型。本文介绍了它们的基本观点,主要结果,理论背景,模型的意义及一些相关的研究工作。     

Java并发系统的ACP模型

Feasibility and efficiency of analyzing concurrent programs mostly rely on the programs′ representations.This paper proposes a model of Java concurrent system by using ACP,so that Java concurrent system can be trans-formed to process algebra expressions which facilitate model checking or some further analysis.     

Erlang——一种支持大规模并发处理的高可靠性编程语言

简要介绍了Erlang编程语言一些主要特征。该语言的最初目的是进行大型电信交换设备的软件开发,是一种适用于大规模并行处理环境的高可靠性编程语言。随着多核处理器技术的日渐普及,以及互联网、云计算等技术的发展,该语言的应用范围也有逐渐扩大之势。     

一种基于MPI的并发面向对象模型

1.引言面向对象程序设计方法是当今最有前途的软件设计技术之一。面向对象方法是与现实模型相对应的,而现实模型中的对象是并发活动的,因此面向对象方法被认为具有潜在的并发性。将面向对象技术和并发技术结合起来的并发面向对象技术是近几年才兴起的,是一个比较新的研究领域。近年来,国内外提出了许多并发面向对象模型,文[1]提出了Actor模型,在该模型中,对象被称为actor,它是自含的、交互的和独     

一种新型的编程模型——CAR事件编程模型

“和欣”操作系统是一个新型的面向构件的操作系统,其上的运行时环境被称之为CAR(CarefreeApplicationRuntime)。在CAR上开创了一种新型的事件编程模型。该文详细介绍了这种事件编程模型,并与传统的Windows消息模型和现有的其他几种事件模型作了比较,指出CAR事件编程模型在现代大型网络应用中的优势。     

基于Python的混合语言编程及其实现

Python是一种被广泛使用的脚本语言,它特别适用于混合语言编程的软件开发。本文介绍了Python语言的特点,给出了混合运用Python语言和系统编程语言开发的软件结构,并在此基础上开发了一个类似Logo语言的交互式绘图应用。     

一种基于虚拟机技术的并发程序实现方法

基于一种虚拟机设计思想,用C语言实现了一个虚拟机平台,通过在虚拟机中加入管理程序以实现对用户作业的并发控制。该方法提供了利用串行程序设计语言进行并发程序开发的一种实现方法。通过实验证明不通过机器低层及硬件的手段也能有效地在顺序执行的平台上实现并发程序。     

并发行为推理的一种进程代数方法

在人工智能领域，动态系统的行为推理是一个非常热门的研究课题，其中最重要的问题是如何描述系统以及如何进行推理。在这一方面，人们已经提出很多形式化的方法。典型的描述动态系统的方法是引进一个取值随系统进化而改变的“事实”(fact)的集合，以及定义行为对“事实”的影响函数，以方便描述由执行特定的动作引起的状态转移；典型的推理问题是逻辑蕴涵，即寻找一种特定的适合描述动态系统的逻辑，在此逻辑下，系统状态的属性可以由有关系统的一些假设出发推导出来。     

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.     

Construction and programming of an autonomous focus stacker

Focus stacking is a technique of photomacrography and photomicrography that produces images of small three-dimensional subjects with an arbitrarily high depth of field, unencumbered by diffraction, by combining the in-focus portions of a stack of images of the subject recorded at different focal planes. Software packages are available for postprocessing an image stack into the final image, but the stack images are normally shot either with (typically expensive) automated equipment or by a manual, time-consuming, and error-prone procedures. This paper discusses the construction of an autonomous stacker with inexpensive preassembled electronics and a moderate amount of mechanical construction, and its C++ software.     

Multi-level substructuring and its implementation in programming

With the development of the finite element method, FEM, increasing complex structures are being studied and the number of simultaneous equations to be processed is considerable. For many such complex structures, CPU-time, memory storage and data preparation can be reduced by means of multi-level substructuring. Multi-level substructuring and its implementation in computer software are the subject of this paper. With the program developed by authors, any-level of substructuring problem can be conveniently solved.     

Using an entity model to drive physical database design

Logical relational database design, because of its implementation-independent nature, has been successfully formalized. Physical relational database design, because of its implementation-dependent nature, has remained largely unformalized and disconnected, not only from logical design but also from conceptual database design. The paper suggests a model for the physical design process that has proven useful in a number of practical development projects. The model demonstrates that a seamless join between conceptual, logical and physical design work is feasible. It illustrates how the process of annotating a conceptual model with physical detail provides a useful framework for driving the process of physical relational database design.     

基于遗传规划的服务匹配算法研究

将服务组合的问题视为一个Agent动作规划的问题，给出了一个基于动作规划的服务组合模型。进而结合遗传规划的可变分层结构，提出了一个适应于上述模型的服务匹配算法。仿真实验表明，在具有关联特征的服务选择空间中，该算法比其他算法具有更好的寻优能力和更快的速度。     

The programming language ‘PEARL’ and its implementation

This paper describes the real time programming language PEARL, its history and design principles and the portability techniques involved in the implementation of a subset of the language on four computer systems.     

Distributed programming languages: design and implementation

Considerable discussion has appeared in recent literature about ‘distributed programming’. One area of discussion concerns the design of programming languages which support distributed algorithms. This paper examines the important issues in programming language design for distributed computing, and presents an example of a language philosophy which supports program development for a distributed environment. It also discusses experiences with the STARMOD distributed programming language.     

Underwater docking of an under-actuated autonomous underwater vehicle: system design and control implementation

Underwater docking greatly facilitates and extends operation of an autonomous underwater vehicle (AUV) without the support of a surface vessel. Robust and accurate control is critically important for docking an AUV into a small underwater funnel-type dock station. In this paper, a docking system with an under-actuated AUV is presented, with special attention paid to control algorithm design and implementation. For an under-actuated AUV, the cross-track error can be controlled only via vehicle heading modulation, so both the cross-track error and heading error have to be constrained to achieve successful docking operations, while the control problem can be even more complicated in practical scenarios with the presence of unknown ocean currents. To cope with the above issues, a control scheme of a three-hierarchy structure of control loops is developed, which has been embedded with online current estimator/compensator and effective control parameter tuning. The current estimator can evaluate both horizontal and vertical current velocity components, based only on the measurement of AUV’s velocity relative to the ground; in contrast, most existing methods use the measurements of both AUV’s velocities respectively relative to the ground and the water column. In addition to numerical simulation, the proposed docking scheme is fully implemented in a prototype AUV using MOOS-IvP architecture. Simulation results show that the current estimator/compensator works well even in the presence of lateral current disturbance. Finally, a series of sea trials are conducted to validate the current estimator/compensator and the whole docking system. The sea trial results show that our control methods can drive the AUV into the dock station effectively and robustly.