改进型时间触发嵌入式系统编程模式

对于成本敏感的嵌入式系统,通常因为资源有限而难以采用抢先式实时多任务操作系统。传统的基于超级循环的前后台编程方法和基于时间触发的合作式多任务编程方法对任务的划分需要较高的技巧。本文通过对基于时间触发合作式调度器的改进,建立了一种适用于小型嵌入式系统的通用编程模式,使这类系统的编程变得清晰、简单。     

Efficient design of SIW filters with knowledge‐embedded space mapping technique

This article presents an optimization technique for the design of substrate‐integrated waveguide (SIW) filters using knowledge‐embedded space mapping. An effective coarse model is proposed to represent the SIW filter. The proposed coarse model can be analyzed in the available commercial software ADS. The embedded knowledge includes not only formulas but also extracted design curves, which help to build the mapping between the coarse and fine models. The effectiveness of the proposed method is demonstrated through a design example of a six‐pole SIW filter. © 2012 Wiley Periodicals, Inc. Int J RF and Microwave CAE, 2012.     

压力容器CAD绘图软件包的研究

本文结合压力容器计算机辅助设计软件的研制,研究了利用AUTOCAD开发计算机辅助设计专用软件的几个关键性问题;主要有程序绘图,汉字信息、绘图数据的显示和选择以及与绘图程序的连接、专用软件的控制结构设计和内存管理等问题;提出了一整套设计新颖,使用方便,运行高效的解决方法。     

Higher-Order and Modal Logic as a Framework for Explanation-Based Generalization

Certain tasks, such as formal program development and theorem proving, fundamentally rely upon the manipulation of higher-order objects such as functions and predicates. Computing tools intended to assist in performing these tasks are at present inadequate in both the amount of knowledge they contain (i.e., the level of support they provide) and in their ability to learn (i.e., their capacity to enhance that support over time). The application of a relevant machine learning technique—explanation-based generalization (EBG)—has thus far been limited to first-order problem representations. We extend EBG to generalize higher-order values, thereby enabling its application to higher-order problem encodings.Logic programming provides a uniform framework in which all aspects of explanation-based generalization and learning may be defined and carried out. First-order Horn logics (e.g., Prolog) are not, however, well suited to higher-order applications. Instead, we employ Prolog, a higher-order logic programming language, as our basic framework for realizing higher-order EBG. In order to capture the distinction between domain theory and training instance upon which EBG relies, we extend Prolog with the necessity operator of modal logic. We develop a meta-interpreter realizing EBG for the extended language, Prolog, and provide examples of higher-order EBG.     

Rapid software integration using structured methods

In this paper we discuss an approach to organizing the integration of 110,000 lines of C, SQL, Assembler, and microcode distributed over a network of 36 processors of four types so that it could be accomplished in six months. The software runs on a test system architecture consisting of a LAN-based workstation group and a set of VME-based embedded processors. By using structured methodology, parallelism in the integration process was achieved. The necessary stub tools were identified and developed before integration began. The principles followed and experiences of integrating the system are discussed.     

基于嵌入式技术的倾角传感器检测系统设计

介绍了加速度传感器MMA7260的工作原理、结构及功能,设计了一个基于ARM的实时嵌入式自动检测系统,使用μC/OS-II操作系统,构造一个具有角度测量、相关数据处理以及与上位机通信等功能的现场角度测量单元,上位机则主要完成系统监控和人机交互等功能。     

Hopen机顶盒软件平台设计与实现*

针对IBM STBX25XX机顶盒的硬件结构特点,设计了Hopen机顶盒软件平台.通过对Hopen嵌入式实时操作系统内核的移植、各功能部件驱动的定制和开发,使得Hopen机顶盒软件平台可以运行在PowerPC架构的硬件上,完成了数字电视节目的播放功能,从而拓宽了Hopen的应用领域.     

基于U boot构建嵌入式Linux的Bootloader*

介绍Uboot功能和特点,并以ARM9板MagicArm2410和嵌入式Linux为背景,探讨Uboot的移植方法与要点。     

逆变埋弧焊机控制系统软件设计

介绍了IGBT逆变埋弧焊机控制系统的总体设计。采用模块化方法设计了电源外特性控制、送丝、小车行走速度调节、引弧与收弧控制软件；分析了PI控制算法、电源外特性控制算法、送丝速度控制算法，以及控制程序的优化设计。说明了系统软件各部分的功能和原理、程序的设计要点和实现方法．