Zinc应用程序框架及其程序设计

应用程序框架是一种集成的面向对象的软件系统，它提供了一般应用程序所需的全部类和程序模型。介绍了一种系统开销小、适用于嵌入式系统的应用程序框架Zinc，并通过一个例子程序说明了其编程方法。此外还讨论了Zinc在应用中存在的问题。     

基于STM32L431RC微控制器实时操作系统驻留方法

实时操作系统在面向以微控制器的嵌入式系统的开发中越来越重要，为降低实时操作系统的编程难度和节省程序的编译时间，基于通用嵌入式计算机架构下实现实时操作系统的驻留，提出合理的程序框架设计和Flash、RAM空间的分配原则，利用应用程序编程接口的方式提供给用户进行应用程序的开发。实验结果表明，该方法有效地降低了编程难度，节省了编译时间，提高了程序的可移植性，具有可行性。     

为Qt/Embedded添加触摸屏驱动

Qt／Embedded(以下简称QtE)是发布Qt库的名公司Trolltech专门面向嵌入式系统的GUI开发库。它是一种C 图形用户界面应用程序构架,可以为开发提供其所需的在嵌入式环境中的、功能全面的图形界面开发工具。它把Qt的全部功能(包括强大的功能和不变的应用程序接口)带入Linux的嵌入式系统。QtE结合了小型     

嵌入式Linux与网络数据库通信功能的研究和实现

研究了在嵌入式Linux的平台上,如何利用ODBC(开放数据库连接),构建可以与网络数据库进行通信的系统,并利用多层次的编程接口,编写运行于嵌入式系统终端的应用程序,使该系统能对网络服务器上数据库进行操作.并将此应用于操作系统为嵌入式Linux的某手持医疗信息终端里,实现嵌入式Linux与网络中SQL Server数据库的通信功能.     

基于OpenCV的视频图像处理应用研究

以嵌入式ARM为硬件平台,以ARM-Linux为软件平台,在QT/Qtopia图形用户界面下,通过调用OpenCV图形处理库设计摄像头应用程序,最终实现把摄像头采集到的视频流数据显示在Qtopia图形用户界面窗体上.介绍了QT编程的基本原理,阐述了OpenCV图像处理库的工作机制与使用方法.     

基于嵌入式Linux系统的内核级线程库的研究与实现

在当前嵌入式系统应用中,性能问题一直是人们关注的重点.大多数嵌入式Linux应用往往运行在用户态,系统运行时需要经常在内核态和用户态之间反复切换,降低了关键业务的执行效率.以往的研究较少从内核态下的线程库出发来考虑性能优化的实现方法,影响了嵌入式系统的整体性能.对此,本文提出一种适用于嵌入式Linux系统的内核级线程库(LKTL),并且分析了实现的关键技术.LKTL提供了线程管理、信号量同步、内存的动态分配和回收、日志管理以及基本的GNU C库的功能,不但大大提高了应用程序的运行效率,还方便了应用程序的开发和移植.实验表明LKTL能够显著优化嵌入式Linux系统的整体性能.     

基于以太网络的应用程序开发

基于以太网络的应用程序开发,在嵌入式系统中比较常见的,我们将在本期介绍基于以太网络编程的基本原理与实现方法。     

Delphi环境下电话应用程序编程接口(TAPI)的应用

在非常适于监控系统应用程序开发的可视化编程环境Delphi中,把电话应用程序编程接口(TAPI)头文件转换成Delphi的单元(Unit)文件,为在Delphi中调用TAPI动态连接库(DLL)的输出函数提供编程接口.在此基础上设计一个TAPI可视化组件,把它应用于使用MODEM和公用电话网(PSTN)的远程监控系统应用程序设计中,可大大提高远程监控程序的开发速度和软件可靠性.     

嵌入式LabVIEW调用DLL实现数据采集

为了实现便携式高精度检波器测试仪的数据采集和信号处理,本文研究了嵌入式系统中开发LabVIEW应用程序的方法。本文以ARM+Windows CE为平台进行了检波器测试仪的软硬件设计。分析了基于24位地震勘探芯片组的数据采集模块的控制方法,开发了实现SPI总线通讯和GPIO控制的驱动程序,以及实现芯片组数据采集流程的接口函数。针对嵌入式LabVIEW应用程序编译和运行环境的跨平台问题,研究并验证了动态连接库的存根调用方法,最终在嵌入式系统中实现了LabVIEW应用程序的数据采集。     

嵌入式导航系统网络通信设计实现

介绍了嵌入式计算机的特点和一个嵌入式导航计算机系统;重点论述了该导航嵌入式计算机中导航信息高速网络通信协议的设计实现;对该系统的嵌入式结构和硬件特点,利用基于DOS下的socket库;在嵌入式导航计算机硬件环境下,运用TCP／IP协议,设计了导航信息帧格式,并用C／C＋＋编程,实现了DOS平台下网卡稳定、可靠、高速导航信息传输通信。     

Raising the standard—System-independent programming for educational software

This paper introduces the need for a hardware— and operating system—independent programming environment for educational software production. The proposed system is based upon the graphics library developed at ILECC using the GKS standard. As a result of adopting such a standard developers can expect to achieve software portability, and avoid the problems that were encountered when moving from 8 to 16 bit microcomputers.     

事务存储并行程序编程接口研究

事务存储并行程序编程接口按照实现方式和实现层次的不同,分为三种形式:库函数接口、语言扩展和编译器指导命令。本文以RSTM、英特尔C/C++软件事务存储编译器原型和OpenTM为例,讨论了三种事务存储编程接口的特点,对OpenTM编程接口进行了扩展和完善,并对未来编程接口的发展进行了展望。     

基于NXOpen的验证规则定制

针对知识熔接(KF)函数功能不全面,影响Check-Mate验证规则定制的问题,提出了基于NXOpen二次开发技术定制Check-Mate验证规则的方法。对NXOpen的编程接口进行了综述,介绍了使用NXOpen实现验证逻辑,分别使用C++、C#、VB .NET及Java程序设计语言建立验证规则的程序库,用KF封装程序库中的函数,得到接口统一的KF函数。通过NXOpen二次开发技术建立验证规则类,并调用自定义验证规则的方法,从而提高了创建验证规则知识库的能力,有助于增强产品设计标准的执行。     

面向软件供应链的异常分析方法综述

软件在国民经济的各个领域占据越来越重要的地位.万物互联的大背景下,信息之间的交互、分析、协同变得越来越普遍,程序/软件之间的依赖关系逐渐增多,这使得人们对系统可靠性和健壮性提出了更高的要求.由开源组件和第三方组件构成的软件供应链,其所面临的安全问题近年来成为了学术界和工业界共同关注的焦点.库函数作为开源软件的重要组成部分,与软件供应链安全有着密切的联系.为了提高软件开发效率,软件库或应用程序编程接口(API)在程序编写过程中会被频繁使用,但库函数中存在的错误或漏洞可能会被攻击者利用,从而损害软件供应链安全.这些错误或漏洞往往与库函数中存在的异常有关,因此本文对适用于库函数的异常分析方法从精度和效率两方面分别进行总结归纳,对于每种异常分析方法的基本思想和重要过程进行阐述,并针对库函数异常分析面临的挑战给出了初步解决思路.对软件供应链中的库函数进行异常分析有助于增强软件系统的健壮性,进而保障软件供应链的安全.     

FILiC:一种CUDA上的交互型库函数框架

CUDA是NVIDIA公司推出的GPU编程模型,它为高效利用GPU计算能力提供了强大的支持。但CUDA线程无法直接访问I/O设备、网卡等外围设备,在CUDA线程与外围设备的交互功能方面,目前CUDA的支持十分有限,仅支持非实时的屏幕打印(printf)。因此提出了一种交互型库函数框架FILiC,它通过设备和主机之间的巧妙交互,高效实现了CUDA线程实时的较完整I/O等函数;并且该框架具有很好的可扩展性,CUDA程序员或者编译器开发者可基于该框架按需求开发新的CUDA线程交互功能。     

C库函数在短信过滤系统设计中的选取和运用

短信过滤系统从短信中心等数据源提取系统分析所需的数据,再经由预处理机、过滤模块、数据库、用户管理程序等的协调动作,达到对海量短信数据进行有效过滤的目的.系统设计时,预处理机与短信中心的接口程序以及过滤模块可由C语言实现,对库函数的选取和运用是否合理,直接影响到系统的稳定性和效率.本文对其中几个常用函数如何选取和运用,进行了分析,对功能相近的函数进行了比较.     

PRAM programming: in theory and in practice

That the influence of the PRAM model is ubiquitous in parallel algorithm design is as clear as the fact that it is technologically infeasible for the forseeable future. The current generation of parallel hardware prominently features distributed memory and high‐performance interconnection networks—very much the antithesis of the shared memory required for the PRAM model. It has been shown that, in spite of communication costs, for some problems very fast parallel algorithms are available for distributed‐memory machines—from embarassingly parallel problems to sorting and numerical analysis. In contrast it is known that for other classes of problem PRAM‐style shared‐memory simulation on a distributed‐memory machine can, in theory, produce solutions of comparable performance to the best possible for such architectures. The Bulk Synchronous Parallel (BSP) model accurately represents most parallel machines—theoretical and actual—in an execution and cost model. We introduce a scalable portable PRAM realization appropriate for BSP computers and a methodology for usage. Our system is fast and built upon the familiar sequential C++ coupled with the new standard BSP library of parallel computation and communication primitives. It is portable to and predictable on a vast number of parallel computers including workstation clusters, a 256‐processor Cray T3D, an 8‐node IBM SP/2 and a 4‐node shared‐memory SGI Power Challenge machine. Our approach achieves simplicity of programming over direct‐mode BSP programming for reasonable overhead cost. We objectively compare optimized BSP and PRAM algorithms implemented with our C++ PRAM library and provide encouraging experimental results for our new style of programming. Copyright © 2000 John Wiley & Sons, Ltd.     

JSetL: a Java library for supporting declarative programming in Java

In this paper we present a Java library—called JSetL—that offers a number of facilities to support declarative programming such as those usually found in logic or functional declarative languages: logical variables, list and set data structures (possibly partially specified), unification and constraint solving over sets, non‐determinism. The paper describes the main features of JSetL and it shows, through a number of simple examples, how these features can be exploited to support a real declarative programming style in Java. Copyright © 2006 John Wiley & Sons, Ltd.     

Sequential algorithms on concrete data structures

We provide a sequential denotational semantics for sequential programming languages, based on a new notion of sequential algorithm on the Kahn-Plotkin concrete data structures. Intuitively an algorithm may be seen either as a concrete object—a “program” in a simple output-driven language — or as an abstract object — the pair of a sequential function and of a computation strategy for it. The concrete and abstract presentations are equivalent, as shown by a representation theorem. The algorithms form a cartesian closed category with straightforward solutions to recursive domain equations. Hence they may replace functions in the denotational semantics of any sequential language. An applicative programming language based on sequential algorithms is presented in a companion paper.     

基于LabVIEW的运动控制系统的研究

阐述了运动控制系统的硬件架构,分析了利用LabVIEW与硬件优秀的接口性能和丰富的函数库功能,以及虚拟仪器的模块化编程思想,对系统的软件部分进行模块划分,实现模块化编程和实时的运动控制的目的.