冲击试验测量分析系统LabVIEW程序设计

本文介绍了用虚拟仪器设计语言LabVIEW构建冲击测量分析系统的程序设计方法。对于高速数据采集和曲线显示,LabVIEW设计语言有其他程序设计语言无法比拟的技术优势。通过针对专用系统的优化设计,程序运行可靠、使用方便、修改快捷。本文涉及的程序经过简单修改,可以应用到其他类似的测试系统,具备很强的可扩展性。     

在FORTRAN中调用C语言的库函数

本文介绍了在FORTRAN程序中调用C语言库函数的全过程,从如何编写接口到如何根据硬件配置输入编译和连接命令,并给出了两个实例。本文对于习惯于FORTRAN而又想扩充其功能的读者有一定的帮助。     

PASCAL与C指针形参辨析

指针是计算机语言中重要而又难以理解的概念 ,指针变量作为函数参数更是难以掌握。本文通过对PASCAL与C两种语言中的指针形参作一详尽辨析 ,使我们加深对指针的理解 ,进一步明确两种语言的细微差异 ,从而充分灵活应用两种语言进行程序设计     

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

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

Smalltalk-80 的形式语义研究

Smalltalk-80是原型的面向对象程序设计语言和环境。本文简要地介绍了Smalltalk-80的基本概念和抽象文法,给出了其形式模型,并基于该模型描述了Smalltalk-80的静态指称语义和动态指称语义。     

并行程序设计语言在串行机上的编译实现

目前,诸如Fortran 8x 程序设计语言中已经引入了并行运算成份。这给普通串行(标量)机上实现编译器带来了困难。本文提出了数组(矩阵)运算串行化的概念,并给出了串行化的判别准则及算法。     

逻辑程序设计与关系数据库集成的一种基于预编译的解释方法

本文在研究逻辑程序设计与关系数据库的两种集成方法(解释和编译)的基础上,提出了一种新的基于预编译的解释方法,该方法保持了前两种方法的优点,克服了它们的不足。基于此方法,文中介绍了一个相应的集成系统的原型及主要实现技术,其中包括物理级的耦合连接,逻辑级的语言合成,源程序级的部分计算和静态优化,以及动态执行过程中的事实调度和版本管理等。目前,该原型作为知识库管理系统GKBMS 的内核,已投入实际应用。     

支持社会技术系统构造的程序设计模型和语言

互联网上越来越多软件系统呈现出社会与技术交融、环境多样和开放、系统动态和演化等特点,如何支持这类复杂软件系统的构造是软件工程面临的一项重要挑战。通过将社会技术系统视为多Agent组织,把社会组织学的概念和思想引入到面向Agent程序设计范畴,提出了以Agent、组织、角色和职位为核心的基于组织程序模型来支持社会技术系统的开发;通过对多Agent组织不同层次动态性的识别和分析,设计了一组程序设计机制来实现社会技术系统的动态演化;包括角色绑定和组合机制、基于角色的交互机制以及组织的自我管理机制。基于上述模型和机制,提出了社会技术系统程序设计语言OragentL,给出了OragentL程序在组织、角色和组合三个层次的语法形式定义,介绍了OragentL的编译器及其运行支撑环境OragentBurg,并通过案例分析和演示展示了研究成果的有效性。     

基于组织的社会技术系统程序设计模型及语言

互联网上越来越多软件系统呈现出社会与技术交融、环境多样和开放、系统动态和演化等特点,如何支持这类复杂软件系统的构造是软件工程面临的一项重要挑战。本文将社会技术系统视为多Agent组织,把社会组织学的概念和思想引入到面向Agent程序设计范畴,提出了以Agent、组织、角色和职位为核心的基于组织程序模型ORAP来支持社会技术系统的开发;通过对多Agent组织不同层次动态性的识别和分析,设计了一组程序设计机制来实现社会技术系统的动态演化,包括角色绑定和组合机制、基于角色的交互机制以及组织的自我管理机制;论文提出了基于上述模型和机制的社会技术系统程序设计语言OragentL,给出了OragentL程序在组织、角色和组合三个层次的语法形式定义,介绍了OragentL的编译器及其运行支撑环境OragentBurg,并通过案例分析和演示展示了本文研究工作的有效性。     

基于Camlp5的泛型编程“缺省情况”研究

"泛型编程"旨在编写一般化并可重复使用的算法,主要目的是提高程序的复用性,其效率与针对某特定数据类型而设计的算法相同。在书写泛型函数时经常会出现新的数据结构或类型,这些数据类型往往并不符合已有通用函数的计算方式,而要计算这些新的数据类型需要修改原有通用函数的定义,从而极大降低了程序的复用性。通过定义新函数来操作新的数据类型可以避免频繁修改原有通用函数。但是,新函数定义中必然会有大量与原有通用函数功能相似的重复冗余代码,因此,引入"缺省情况"使得新函数的定义可以通过调用原有通用函数而获得,这样即不对原有函数造成影响,又极大简化了针对新类型书写相关函数的复杂程度。文中利用Camlp5工具对O′Caml语法进行扩展,在原有"泛型编程"的基础上引入了"缺省情况",使该语言书写的泛型函数更加清晰、不易出错,从而极大提高了O′Caml中"泛型编程"的稳定性和复用性。     

文学语言形象性探微

文学的生命在于形象。文学形象,是语言的形象,语言的艺术。语言丰富是语言形象的基础,语言生动是语言形象的生命。学好口语亦有助于语言形象美。     

英汉委婉语的语用共性与差异

委婉语（Euphemism）是人类语言使用过程中的一种普遍现象。英汉两种语言都有大量的委婉语，它们在使用领域、语用功能及特点方面具有颇多相同之处。但因为它们分别属于不同的语系，以不同文化背景和历史传统为生存基础，所以在其使用方面又有很大不同，折射出明显的文化痕迹，主要表现在宗教信仰、历史传统和社会价值观三个方面。     

文化视域下的跨文化交际能力培养

跨文化交际日益频繁的时代特征为外语教学提出了新的要求,培养学习者的跨文化交际能力成为当今外语教学的最终目标。即通过目的语言和目的文化知识的学习以及交际能力的训练,提高学习者的外语交际能力。在此基础之上,通过普遍文化的学习,比较文化异同,消除偏见,对异域文化采取包容、开放、移情的态度,根据不同的文化群体、交际场合、交际风格,灵活、恰当地调整自己的言语和非言语行为,培养学习者在认知、情感、行为三个层面的跨文化交际能力。     

直接藕合多种语言编程模块的MTS的设计与实现

以通用菜单工具作为应用软件系统的用户界面、多种语言编程模块的藕合接口已成为一种趋势。本文提出一种可在操作系统和foxBASE环境下组合(或嵌入)运行的、支持DBMS授权扩充机制、实现多种语言混合编程模块直接藕合的通用菜单工具(MTS)。同时,又对MTS中的菜单对象、授权,菜单文件的数据结构、菜单驱动(维护)模块设计和基于批处理文件的模块藕合方法进行了讨论。     

把构件动态转换为Web Service的架构研究

WEB服务使得网络上跨平台操作以及由不同语言开发的应用程序相互之间进行操作成为可能，并具有高度的互操作性。WEB服务为基于构件开发提供了一个相对容易的方法来适应公开的网络标准。对于C＋＋和JAVA这两种构件，提出了一个能够把不同语言开发的构件动态地转换为WEB服务的架构：当客户希望调用WEB服务器上的构件时，构件将在服务器端被动态地转换为WEB服务，然后WSDL文件的URI将被传送回客户，那么用户就可以像访问WEB服务一样，通过使用SOAP消息去访问网络上的构件而不用再去考虑构件原本的开发语言和开发平台。     

大整数乘除运算在PC机上的实现

大整数在要求高精度的应用中非常有用.特别是大质数和一般大整数有一个极为重要的应用,就是关于计算机数据加密.在计算机数据加密技术中,常会遇到大整数的算术运算问题.由于所使用的机器和所用语言的限制,大整数的"乘""模"两种运算很难运用高级语言中的"乘""除"运算.提出了一种逐位存储、按字节运算的方法,并用C 实现了大整数的十进制乘除法运算,之后将提出的算法与类似算法的时间复杂度进行了比较,最后给出了算法的运行时间.     

汇编语言动态分析工具中的程序插装技术

根据8086/8088语言的结构化特点,提出了程序插装的概念及其实现方法,并基于插装研制出一种动态分析工具,从而实现了对程序分支及语句的自动测试功能.     

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

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

探讨英语多义词和同形异义词引起的语义含糊现象

讨论了由多义词和同形异义词引起的语义含糊现象以及两者的区别 .了解它们有助于我们更好地进行语言交际和英语词汇教学 .