实时嵌入式系统程序设计语言发展

设计一个实时嵌入式系统时,程序设计语言的选择是至关重要的。决策者常常不从技术的角度考虑,而仅仅以其经济基础权衡,或者一味地追赶时髦,其结果往往适得其反。就软件开发人员来说,必须深刻了解一些与语言本身的技术内含有关的问题,才能在选择语言时做到有的放矢。本文详细分析了实时嵌入式系统程序设计语言的特征,系统介绍了实时嵌入式系统程序设计语言的发展历程和现状,分析和比较了当前几种主流语言各自的性能特点,并就其应用前景作了简要推测。     

Ada95——一个功能强大的军用程序设计语言

美国国防部历时七年在ADA83基础上修订而成的Ada95语言几乎提供了现代程序设计范型及程序设计实践所需要的一切设施,它可以支持面向对象的程序设计、大型程序设计、实时与并行程序设计等等。本文将介绍Ada95的研制背景、修订过程,分析Ada95的主要特色。     

程序设计类课程案例演示系统的设计与开发

程序设计类课程是电子信息工程专业的主干专业基础课程,本系统根据案例教学的需要,按照软件工程的思想,研发了一个针对程序设计类课程(C语言程序设计、面向对象程序设计、VC++程序设计),以教学案例开发过程为主线的教学演示系统。     

面向对象仿真概述

随着过去十年中面向对象仿真(OOS)的研究、开发以及应用领域的巨大发展,很显然这项技术正在成为建立大型、复合以及/分布系统模型的选择对象。本文讨论了用于建立这些类型系统模型的OOS特征,并把OOS方法与传统仿真方法相比较。在回顾OOS语言和环境之后我们将讨论目前有关面向对象仿真的问题。     

仿真语言自动排序器

连续系统高级仿真语言是一种非过程的程序设计语言,程序的书写顺序与执行顺序无关。为了将仿真语言程序编译成能在计算机上正确执行的程序,必须对源程序进行排序。本文在讨论分析了高级仿真语言动力学段特性的基础上,给出了并行仿真软件PAR-SIM中高级仿真语言PARCSSL编译器的自动排序器的实现算法。     

结合逻辑和面向对象范例的一种新模型（SCKE)

逻辑语言和面向对象语言是两种引人注目的知识程序设计语言。如何结合它们各自的优点以支持复杂的知识处理,已成为许多研究者关注的问题。本文首先提出了结合逻辑和面向对象范例的一种新模型SCKE,其特点是在统一的逻辑语义和对象语义解释的基础上,同时支持逻辑语言的描述性特征和面向对象语言的结构化、信息隐藏、继承等性质。本文推广了逻辑语言的Herbrand解释,并由此探讨了SCKE模型的形式语义。文中讨论了实现该模型的基于预编译的元级扩充方法,并论述了SCKE模型的主要特点。     

TSR程序及其编制要点

在本篇文中介绍了ＴＳＲ程序的组成及其编制原理和要点,并给出了一个用Ｃ语言编制ＴＳＲ程序的通用例子。     

基于分离逻辑的程序分析技术

分离逻辑是John C Reynolds和Peter O’Hearn于2000年提出的基于Hoare逻辑分析程序中动态分配内存和指针别名的逻辑理论。首先回顾了分离逻辑系统的理论框架,然后讨论了分离逻辑在程序分析领域中符号执行、形态分析和并发程序分析验证这些领域中的应用成果,最后介绍了分离逻辑在程序分析技术中当前主要的研究方向。     

数据并行程序设计语言中分布数组的地址计算

本文讨论了在大规模并行计算机上实现数据并行程序设计语言的关键问题──分布数组的地址计算问题。文中详细给出了维分布数组的下标地址计算公式,分布数组的内情向量结构以及分布数组映射函数算法,并对有关编译实现技术进行了探讨。     

YFRIO 实时I/O语言与YFSIM 仿真语言的同步关系

本文介绍ＹＦＲＩＯ语言和ＹＦＳＩＭ语言的同步关系,阐述了两者同步的硬件、软件机制,以及如何进行程序设计。     

单片微型计算机的最新开发技术

本文以 MCS-51系列单片微型机为例,讨论了当前单片机最新编程技术 MBASIC 语言编程和在 IBM-PC 机及兼容机中直接进行模拟/调试,文中给出相应的例子。     

Turbo C与Microsoft FORTRAN混合编程的实现

本文通过研究Borland公司的Turbo C与Microsoft公司的FORTRAN混合编程时出现的问题,提出了修改初始化模块及函数库的原理与方法,并利用TLINK的动态连接功能,实现了这两种语言在源程序级的混合编程,最后说明了实现过程与注意事项。     

论英语幽默的文化色彩及语义基础

将英语中的幽默界定为“情景幽默”和“语言幽默” ;通过实例分析 ,着重探讨了修辞格在幽默语言中的作用、幽默语言的语义学基础 ,以及研究幽默对感受英语语言文化的意义     

Approximate dynamic programming methods for an inventory allocation problem under uncertainty

We propose two approximate dynamic programming methods to optimize the distribution operations of a company manufacturing a certain product at multiple production plants and shipping it to different customer locations for sale. We begin by formulating the problem as a dynamic program. Our first approximate dynamic programming method uses a linear approximation of the value function and computes the parameters of this approximation by using the linear programming representation of the dynamic program. Our second method relaxes the constraints that link the decisions for different production plants. Consequently, the dynamic program decomposes by the production plants. Computational experiments show that the proposed methods are computationally attractive, and in particular, the second method performs significantly better than standard benchmarks. © 2006 Wiley Periodicals, Inc. Naval Research Logistics, 2006     

面向对象计算机系统若干问题的研究

现有面向对象的软件环境大都建立在传统的Von Neumann 型计算机结构上,其执行效率很低。传统系统是无法支持面向对象风格高效实现的。很有必要开发新型的体系结构以支持这种良好的程序设计风格。本文从介绍面向对象程序设计的基本思想入手,建立面向对象思想与计算机系统的联系,阐述有关研究问题并给出初步的解决办法。     

机器人力反馈依从控制器多机系统分布式程序设计的实现

本文介绍在机器人力反馈依从控制器多机系统中采用程序设计语言C 与分布式库函数相结合实现分布式程序设计的方法,论述了分布式库函数形式,支持分布式库函数设计的多机操作系统功能及其在设计过程中应予以重视的某些问题,并给出了分布式程序设计的一个简例。     

一种基于多目标优化的QoS路由交互式算法

为了满足通信网络中一些特定业务对于多个网络指标性能的同时要求 ,研究了一类基于多目标决策的QoS路由算法。通过选取带宽作为约束条件 ,把时延和丢失率作为优化目标 ,建立了QoS路由选择的多目标非线性整数规划模型 ,并给出了一种求解模型的交互式算法。该算法通过逐步调整目标函数的上界 ,压缩目标函数的搜索空间来满足决策者的要求和网络条件。实例计算结果表明了算法的可行性     

高级程序设计语言综述

为读者选择语言提供了总体思路,给出了高级语言的发展的趋势。     

远程反舰导弹弹道规划研究

以保证远程反舰导弹迅速捕捉目标为出发点,以远程反舰导弹的作战需求为牵引,论述了对远程反舰导弹进行弹道规划的重要意义;从战术和技术两个方面探索了对远程反舰导弹进行弹道规划的主要依据、基本原则、规划思路和基本方法。