虚拟仪器软件Labview和数据采集

Labview系统是著名的虚拟仪器开发平台.和传统的编程语言C,Fortran等用于虚拟仪器的开发平台相比,Labview开发平台程序编写简单、灵活,易于掌握,用户不必花费大量的时间用于程序编写,可以将更多的精力投入到数据的分析、处理中.Labview开发平台使用图形语言,界面友好、直观,非常适合试验数据采集.文中阐述了Labview的开发环境,结合USB9100ms数据采集卡介绍了Labview如何进行数据采集.     

虚拟仪器软件Labview和数据采集

Labview系统是著名的虚拟仪器开发平台。和传统的编程语言C,Fortran等用于虚拟仪器的开发平台相比,Lab view开发平台程序编写简单、灵活,易于掌握,用户不必花费大量的时间用于程序编写,可以将更多的精力投入到数据的分析、处理中。Labview开发平台使用图形语言,界面友好、直观,非常适合试验数据采集。文中阐述了Labview的开发环境,结合USB9100ms数据采集卡介绍了Labview如何进行数据采集。     

面向对象设计模式的C语言实现

介绍了C语言成为嵌入式技术领域主要的程序设计语言的原因,及当前用C语言所编写的程序仍然存在的问题,然后介绍了面向对象的设计模式的概念及优点.并提出将面向对象的思想与C语言结合起来,接着用C语言实现了部分面向对象的设计模式,给出了其代码,并做了相应的注释,为优化C程序的结构提供了途径.最后总结了在C程序中使用这些设计模式的价值.文中所指的C语言均为标准C(ANSIC).     

函数式语言编译实现技术的研究

章分析了编译实现函数式程序设计语言的主要技术，总结出函数式语言实现方法的两条设计准则：（１）简化函数高用处理的同时，减少瞎迟求值参数所占用存储空间及其占用时间；（２）通过程序变换减少函数程序的特殊语言现象，使其适应冯．偌依曼机的结构特征。中介绍了几种新的编译技术以及采用这些技术实现的一个函数语言编译系统。     

EAST ICRH天线移动远程监控系统设计

应用Labview串口通信功能,构建了基于工控机、PLC为硬件平台的上下位机远程监控系统。系统通过在串口加装RS232/485转换芯片实现远距离监控,同时上下位机间采用欧姆龙系列PLC的上位机链接通信。详细讨论了上下位机间的通信过程以及在Labview中的实现方法和具体编程细节。表明应用Labview串行通信功能开发监控系统不仅可以较好地实现监控功能,而且可以充分发挥Labview这一图形化语言的优点,得到界面元素丰富、交互性良好的人机界面。     

面向对象设计模式的C语言实现

介绍了C语言成为嵌入式技术领域主要的程序设计语言的原因,及当前用C语言所编写的程序仍然存在的问题,然后介绍了面向对象的设计模式的概念及优点.并提出将面向对象的思想与C语言结合起来,接着用C语言实现了部分面向对象的设计模式,给出了其代码,并做了相应的注释,为优化C程序的结构提供了途径.最后总结了在C程序中使用这些设计模式的价值.文中所指的C语言均为标准C（ANSIC）.     

基于表单的业务系统界面逻辑模型获取的研究

为了支持界面设计的自动化,国内外的研究提出了基于语言的设计工具、交互式图形描述工具和基于模型的生成工具.但是这些工具都只是从界面本身考虑设计和编码的自动化,没有从用户需求出发考虑界面的设计.该文从需求模型出发设计用户界面逻辑,使得界面是依据用户需求设计的,并且是可以进行需求验证的.该文给出了从需求模型得到界面逻辑模型的算法,以及从界面逻辑模型反向推导需求模型元素的算法.     

函数式语言编译实现技术的研究*

文章分析了编译实现函数式程序设计语言的主要技术，总结出函数式语言实现方法的两条设计准则：(1)简化函数调用处理的同时，减少被延迟求值参数所占用存储空间及其占用时间;(2)通过程序变换减少函数式程序的特殊语言现象．使其适应冯·偌依曼机的结构特征．文中介绍了几种新的编译技术以及采用这些技术实现的一个函数式语言编译系统．     

汉字dBASEⅢ应用生成器实现技术分析与设计

应用生成器这种新型的程序设计系统是近年来刚刚出现的,它的实现主要是将数据库理论与语言理论相结合而形成较完整的应用程序开发环境.本文介绍了汉字 dBASE Ⅲ应用生成器的基本设计思想,并就汉字 dBASEⅢ应用生成器设计中某些关键性技术,诸如数据库结构生成及修改技术,输入输出界面处理技术,功能调度技术,命令文件生成技术做了分析设计.     

程序模型检查器综述

模型检查实际程序设计语言编写的程序是近年来程序验证领域的研究热点之一,出现了一批针对C,C++或Java语言的程序模型检查器原型.总结了程序模型检查中的主要问题及相关技术,以是否使用中间建模语言为标准,对现有程序模型检查器进行了分类,并具体地介绍了一些代表性工具中的模型获取及化简技术,最后展望了程序模型检查器未来的研究方向.