FORTH语言在控制中的应用

本文以球磨制粉系统的控制为例,论述了FORTH语言在控制中的应用,还探讨了FORTH在铁路自动化系统中应用的前景。     

面向实时控制的FORTH语言在8098单片机上的实现

作者通过对FORTH系统的特点、功能及其内部结构的分析,提出了一种用于MCS-8098单片机上的实现方法。文中还详细叙述了一种中断管理方法,并用实例介绍了中断程序的设计特点。     

嵌入式软件调试器的设计与实现

嵌入式软件调试环境为嵌入式软件的开发提供了一个友好的软件调试平台．从一种新的角度探讨了一种面向嵌入式软件的调试环境，即基于嵌入式系统目标机机内调试器的嵌入式软件调试环境．介绍了一种面向程序设计语言的符号化调试技术，并重点剖析调试环境内核的设计与实现技术．     

嵌入式软件组件模型的研究与设计

根据嵌入式系统及其应用的需求，分析了当前嵌入式软件组件技术的发展现状，设计一种新的嵌入式组件模型SECOM，给出了模型的组成元素及其形式化定义，并对组件组合进行详细的描述，同时，通过分析，总结了SECOM模型的多样性、语言无关性和可扩展性等优点，且指出下一步的工作目标。     

采用CY7C68013芯片的系统固件程序设计

随着USB2.0版本的发布,USB越来越流行.讨论了基于USB2.0的数据采集卡中固件程序和应用程序的开发.首先就该数据采集卡的设计,尤其是对支持USB2.0的接口芯片CY7C68013进行了简单的介绍,进而根据该芯片的固件程序框架的结构,深入研究了固件程序的开发以及应用程序的实现.     

FORTH语言并行编译的研究

本文着重分析在多微处理机系统上,对用 FORTH 语言编写的源程序进行并行编译的原理和方法。在一般的多处理机系统中,都要求处理对象能分成若干独立部分,然后由各台处理机对各独立部分进行并行处理。对无法分成若干独立部分的处理对象则无能为力。本研究的目的是在多微处理机系统上,对“无法分成若干独立部分的处理对象”——FORTH 源程序进行同时编译,以发挥整个系统的潜在能力,提高编译的速度。在微处理机为六台的多微处理机系统上对三个用 FORTH 语言书写的源程序进行了测试,编译时间缩短了三倍,取得较好的效果。     

基于数字证书识别及校验的物联网固件安全检测系统的设计与实现

设计并实现了一种基于数字证书识别及校验的物联网固件安全检测系统。针对下载的不同厂商的固件，研究了在固件中识别公钥、私钥、签名等数字证书文件的方法，设计了对证书内容进行有效性校验的模型，构建了证书管理数据库，在此基础上实现了完整的固件安全检测系统。实验结果表明，该系统可对固件中的证书进行高效识别和有效性校验，并对样本外存在数字证书安全缺陷的固件进行了成功检测。     

嵌入式数据分析类仪器软件应用框架的开发

基于嵌入式数字化仪器的领域分析,提出了数据分析类仪器嵌入式软件的体系结构和框架描述,并采用构件化技术进行框架设计,开发了一系列针对该类仪器软件的可配置、可扩展的通用构件库和专用构件库.同时,在构件库设计和框架设计中使用了多种设计模式,使框架设计更合理、更易于使用.应用该框架,用户可以按照应用需求选择构件库进行分析类仪器软件系统的构建,以提高开发效率和软件质量,同时获得极短的开发周期.     

证明嵌入式系统设计的UML-B规约

本书介绍了贯穿整个模块系统设计方法论的系统性质形式证法。该方法沦将子系统的共同验证与虚拟系统部件的系统精化和复用性相结合，通过规约的形式与非形式方法相结合，由UML和B语言来完成。这样就允许通过经证明的子系统的合成来验证系统规约（对于接口则给予某些特别的注意，符合VSIA／SLIF方法）。将B语言与C、VHDL和SystemC语言相连。将通过构造校正设计的过程扩展到较低的单片系统开发阶段。因此证明嵌入式软件产品是与证明硬件产品相配套的。书中开发了用于从UML和B语言产生代码的原型工具，现有的B语言验证工具被拓展成支持IP的再使用，这部是根据VSIA的推荐。书中所涉及的方法论及工具是通过开发三个工业应用来验证的，即无线移动终端、建立在HIPERLAN／2协议基础上的电信单片系统、以及汽车的防碰撞组件。     

基于模拟的嵌入式系统开发环境

在集成系统中为软件与硬件分别设计了ＥＳＤＬ语言和ＥＨＤＬ语言·ＥＳＤＬ是ＡＮＳＩＣ的超集,它为嵌入式编程增加了一些数据类型·ＥＨＤＬ语言是ＶＨＤＬ语言的子集·一个基于离散事件的模拟器被用来控制软件、硬件的模拟运行·开发人员可以利用调试器调试嵌入式软件及整个嵌入式系统·利用这个虚拟的集成环境,软件开发人员可以在设计初期发现与硬件相关的错误,硬件开发人员可以获得系统功能的真实描述·硬件、软件的设计错误可以在系统制造之前被发现、修改·     

一种新的四维地质信息系统架构

为开发出具有几何、拓扑与时间等属性综合查询功能的四维地质信息系统,提出了一种新的基于四维地质模型与地质数据管理系统的架构.该架构将几种不同的软件组件与地质数据模型有效地融合在一起,与同类的二维或三维地质信息系统相比,该架构更适合开发一套功能完整的四维地质信息系统.     

微机保护装置的通信系统研究

微机型保护网络化的发展趋势愈发凸显装置通讯功能的重要.本文结合保护装置的硬件特点,提出了一种适合微机保护系统的通用性内部通讯规约,该规约具有结构合理、可靠性高、扩展性强的特点.介绍了通信系统的软硬件设计,开发的通信系统对于提高电力系统综合自动化水平具有重要的现实意义.     

一种高效的嵌入式系统固件局部更新方法

为了解决资源紧缺型嵌入式系统(Resource-scarce Embedded System,RSES)在固件更新时所存在的效率低问题,提出了一种高效的固件局部更新(Efficient Local Firmware Update,EL-FU)方法:新的局部固件先由调试器写入内存,然后由驱动程序写入外存中预留的局部更新区...     

ASP.NET MVC框架在干部教育培训系统中的应用

采用传统的ASP.NET WEB框架开发软件系统,存在封装性太强、不易进行单元测试等弊端。本文在详细介绍了经典MVC(Model-View-Controller)设计模式的基础上,研究了ASP.NET MVC框架和三层模式的基础上,研究如何把ASP.NET MVC和三层架构模式结合起来,以实现在.NET平台下的一种新的分层方式。本文最后以重庆市干部教育培训系统为应用实例,来说明技术的实现方式,使开发周期明显减少,提高了系统的性能。     

基于DSP的励磁控制器USB通讯系统设计

由于励磁控制器精度和通讯功能要求的提高,DSP这种高精度处理器在电力行业应用逐渐广泛,各种新型的通讯模式也开始在电力系统应用.本文主要讨论以DSP作为主控制器的励磁控制器与流行的数据传输方式USB相结合,改造原来励磁系统主流的单片机 RS232通讯模式,使得无论在通讯速度还是灵活程度上都有很大进步.本文以TI公司的DSP2812和沁恒公司CH375为例,给出了硬件、固件、驱动开发和应用软件编写的基本方法.     

μC/OS-Ⅱ在STM32F103上移植的新方法

针对传统移植不涉及固件库的弊端,以STM32F103RB处理器为例,提出了适合习惯于固件库开发人员的移植μC/OS-Ⅱ的新方法。详细说明了该移植方法的主要步骤,并分析了移植的关键函数,既兼顾了传统移植深入底层函数的分析过程,又兼顾了从Micrium官方网站下载的移植程序包不适合直接使用的问题。提出的移植新方法非常符合嵌入式系统软件开发的潮流。     

数字万州规划管理应用示范系统研究

近年来随着社会经济的快速发展以及信息化建设的不断提高,城市规划和管理决策对城市空间地理信息的管理需求不断增加,有必要对规划管理应用示范系统进行研究.结合万州区实际需求,探讨了数字万州规划管理应用示范系统的总体构架、数据组成、功能应用等,并利用二维、三维联动等技术搭建了一个集地图、影像、规划信息于一体的辅助决策应用系统,实现了规划数据的科学管理与高效应用,可以为万州区政府部门的规划管理提供辅助决策支持.     

一种基于逻辑约束的软件设计过程验证方法及其工程实践

如何在软件设计过程中对软件需求加以正确描述和验证一直是软件开发过程中困扰开发者的重要问题之一.在传统UML面向对象的分析与设计方法的基础上,提出一种利用RSL对系统进行逻辑约束,在开发设计过程中不断进行系统逻辑规约验证的有效反方法.该方法提高了系统的稳定性与可靠性.我们还将该方法用于开发了一个教学管理系统以验证该方法的系统设计能力.     

组件在Web服务应用集成中的应用

基于构件的开发是一种软件开发方法,它对控制迅速增长的复杂性和业务信息系统成本是最有效的方法之一,Web service是计算机应用系统的主要形式,是面向服务的新的构造方法。介绍了构件开发搭建Web服务的基本方法,并给出一个基于J2EE架构的Web服务体系结构和应用集成。讨论了服务注册的架构形式。