基于有限状态机的售卖机控制器的设计与仿真

自动售卖机是商业模式下自动化实现的典型应用之一,随着嵌入式系统和自动化技术的不断发展,其应用也越来越广泛。有限状态机作为一种反映状态间转移的数学模型,可以被用在嵌入式系统控制器的设计开发中。利用有限状态机技术对自动售卖机的控制器进行设计,利用Verilog HDL语言将控制器编程实现,并在Model Sim中进行了仿真,实验结果证明了该方法的可行性。     

浅谈基于浸润原理的事务安排算法

针对单个安排事务避免冲突的传统方法 ,提出一种基于浸润原理的事物安排算法。该算法采用漫布式将各个事务分摊到各个位置 ,根据条件计算权值 ,并有意造成冲突 ,从而发现冲突位置 ,最后从最不可能冲突的位置入手 ,逐步完成安排过程。该方法事务安排的复杂度为 O(n2× k× x) ,大大减少事务安排所需的时间 .     

交换生事务及流程探讨

介绍了交换生事务的由来和交换生的意义、类型、业务流程,提出了交换生需要注意的问题。     

分布式实时数据库系统中事务并发控制策略研究

本文主要对分布实时数据库系统中的事务并发控制进行探讨,结合虚拟锁和乐观法等思想,提出两种新的解决方案:2PL-HP协议和OPT-Sacrifice协议.前者可提高事务的并发度,减少阻塞的发生,从而满足实时性的要求;后者在提高事务并发度的基础上尽量保护那些己经进入提交状态的事务,降低无辜牺牲的几率,从而减少因为错过执行期限而被迫废弃的事务的数目,满足事务的实时性要求.     

香港高校学生事务工作的特色与启示

通过对香港五所大学的考察,简要探讨香港高校学生事务工作的特色,希望通过研究和借鉴香港高校的经验,对内地高校学生工作有积极的指导意义。     

基于CTV100平台的DPTV系统的研究与实现

从硬件和软件两方面详细阐述了基于CTV100平台的DPTV系统,并给出了总体设计框图和设计流程图。本项目采用意法半导体公司(ST)的CTV100解决方案,实现了对传统模拟电视信号的高效数字域处理,显著提高了电视画面的图像质量;并通过采用基于32bitCPU的OS20嵌入式操作系统,实现了多种传统模拟电视无法实现的功能。     

虚拟GDB远程调试技术及其在硬件仿真器中的应用

为了解决当前硬件仿真器采用测试激励与探针采样调试方法导致的额外硬件资源需求增加以及调试方法复杂死板的问题,研究出一种虚拟GDB远程调试技术提高硬件仿真器的调试能力。首先,使用JTAG的消息代理器与事务处理器进行软件与硬件的信息交互,实现计算机与硬件仿真器的通信;然后,通过VPI接口实现GDB与JTAG代理器的软件信息交互,完成虚拟GDB调试;最后,在硬件仿真器中进行应用实验。结果表明,虚拟GDB远程调试系统可支持断点插入、单步运行、寄存器读写等功能,与插入探针的调试方法相比,使用虚拟GDB调试提速近百倍。虚拟GDB远程调试技术丰富了硬件仿真器的软件调试手段,增强了硬件仿真器的调试能力,提升了芯片设计验证效率。     

基于OS20嵌入式系统的DPTV设计与实现

DPTV电视是近几年电视行业的发展重点．本系统通过在32bit CPU上运行OS20实时操作系统来实现DPTV电视的解决方案，高效地实现数字域的图像处理及各音、视频通道的管理功能．这是目前决大多数以单片机为内核的DPTV电视所不能完成的，此外该方案也能容易的移植为数字电视．     

电话会议系统中电话事件状态及状态转移设计

以一个电话会议汇接系统的设计开发为例，针对电话会议汇接系统的实时性多任务的特点、运用 有限状态机模型，从状态和状态转移的设计入手，结合面向对象程序语言编程，探讨此类系统的软件设计 的思路和方法。     

中间件(Midd1e Ware)技术在建立分布式系统中的应用

介绍了中间件技术以及它在建立分布式系统中的应用.中间件是处于操作系统软件与用户的应用软件中间的一类可复用软件.由于中间件屏蔽了底层操作系统的复杂性使得开发简便;开发周期缩短;系统的维护、运行和管理的工作量及计算机总体费用的投入减少;并使不同时期、不同操作系统上开发的应用软件可以协调工作,具有很好的发展前景.