一个可处处中断的LOCK和UNLOCK算法

一般的锁操作中Ｌｏｃｋ和Ｕｎｌｏｃｋ语句需作为原语整体实施，即主要要求加锁的锁状态检查和加锁动作不可中断，与一般的锁操作法不同，本文给出一个可以处处被其他进程任意中断的锁操作Ｌｏｃｋ和Ｕｎｌｏｃｋ的算法，并通过其在异构数据库系统中的一个应用，阐明了它在实现互斥操作和并发控制等方面的实用价值。     

Hardware-Software Co-Simulation for SOC Functional Verification

A hardware-software co-simulation method for system on chip (SOC) design is discussed. It is based on an instruction set simulator (ISS) and an event-driven hardware simulator, and a bus interface model that is described in C language provides the interface between the two. The bus interface model and the ISS are linked into a singleton program the software simulator, which communicate with the hardware simulator through Windows sockets. The implementation of the bus interface model and the synchronization between hardware and software simulator are discussed in detail. Co-simulation control of the hardware simulator is also discussed.     

嵌入式系统中CMOS图像传感器接口技术

提出了CMOS（互补金属氧化物半导体）图像传感器在嵌入式系统中的接口技术，通过设计软件驱动使嵌入式处理器能够控制CMOS图像传感器图像数据自动采集。并对CMOS图像传感器采集的数据进行插值和自动白平衡处理。此接口模块已经成功地应用于二维条码识读器的图像采集模块中，取得了良好的效果。     

一种复杂场景下建筑目标识别方法

提出了一种基于建筑目标的竖直线特征寻找图像中存在建筑目标区域的方法;考虑了目标特征的相互关系,给出了一种新的模板匹配算法。实验表明：利用该文提出的算法建立的识别系统与其它识别系统相比,大大减少了运算时间,有较好的抗噪声干扰和处理目标被遮挡问题的能力。     

面向高级综合验证的数据流图提取技术研究

该文主要讨论高级综合系统RTL(register transfer level)级综合结果正确性验证策略的确 定及验证系统设计中DFG(data flow graph)逆向获取算法的设计与实现.算法主要包括4个处 理阶段：FSM(finite state machine)动态分析及控制输出获取;FSM当前状态下数据通道有 效元件分析;数据通道结构到DFG操作结点转换;DFG结点间数据依赖关系分析、共享寄存器 变量分离及有向边的形成.     

基于主动轮廓线模型的海面运动目标跟踪

将主动轮廓线模型用于海面运动船只的跟踪,提出了一种自动选择主动轮廓线初始控制点的方法,增强了主动轮廓线模型的实用性：并将基于主动轮廓线模型的跟踪方法用于多个海面运动目标的跟踪。实验结果表明,提出的初始主动轮廓线自动选取方法可以准确地选择目标的轮廓线的特征点;基于主动轮廓线模型的跟踪方法可以比较准确地跟踪运动船只的主要轮廓特征。     

嵌入式系统中CMOS图像传感器接口技术

提出了CMOS(互补金属氧化物半导体)图像传感器在嵌入式系统中的接口技术,通过设计软件驱动使嵌入式处理器能够控制CMOS图像传感器图像数据自动采集.并对CMOS图像传感器采集的数据进行插值和自动白平衡处理.此接口模块已经成功地应用于二维条码识读器的图像采集模块中,取得了良好的效果.     

实时嵌入式系统协调设计的行为验证模型

嵌入式系统协调设计中,通常采用协同验证方法检验系统设计的正确性,目前比较常用的验证手段有行为验证和基于处理器结构的指令集模拟．指令集模拟从底层时序关系模拟CPU功能,通过建立与硬件模拟器连结关系来验证软硬件接口．指令集模拟的主要特点是模拟精度高,但模拟速度慢,对于不同的CPU结构需要构造不同的指令集模拟器．文中研究一种基于RTOS实时嵌入式系统行为验证模型,通过扩展RTOS功能,建立RTOS软件模拟器,实现RTOS模拟器和VHDL／VerilogHDL协同模拟交互．RTOS模拟器把嵌入式软件功能代码、CPU接口代码以及定制硬件驱动代码分开,实现嵌入式软件设计与硬件平台的弱相关,从更高层次验证系统功能。     

具有层次关系目标的显示控制方法

针对具有层次关系目标的特殊性，提出通过推拉镜头实施多分辨率智能显示控制的一种LOD方法．首先模拟人眼摄取信息的特点，提出人眼角分辨率及目标重叠率的概念；然后给出层次聚合和分裂的智能显示控制准则；最后提出LOD智能显示控制的方法，从而使大量目标集显示的同时具有全局综合和局部放大的视觉效果．该方法在某C3I系统中做了实验，并给出了实验结果。     

嵌入式系统软件模拟及硬件接口设计的快速验证

该文提出了一种面向宿主机器代码编译的嵌入式软件功能验证方法,该方法从系统行为级验证系统功能,通过建立RTOS软件模拟器,实现嵌入式软件功能及硬件接口设计的快速验证,并以椭圆滤波器为例,阐述如何使用该方法验证嵌入式系统软件和硬件接口功能。