OSEK/VDX OS服务调用的规范一致性检测方法

OSEK/VDX(open systems and the corresponding interfaces for automobile electronic/vehicle distributed execu-tive)OS规范描述了一个嵌入式实时操作系统,对系统服务调用的上下文做了严格的限制。违反系统服务调用规范是一种很隐蔽的错误,不会被编译器发现。提出一种OSEK/VDX OS系统服务调用规范一致性的检测方法,利用森林图描述用户自定义代码中的函数及其调用关系,采用矩阵描述OSEK/VDX OS系统服务调用的规则,遍历该森林图的函数调用路径,对于每条路径,结合该规则矩阵判断其规范一致性。实验和分析表明该方法能有效地检测用户自定义代码中隐藏的违反OSEK/VDX OS系统服务调用规范的错误。     

基于本体增量学习的主题爬行

在面向领域的信息搜索中,本体作为相关的领域知识往往有助于改善搜索效果,在信息检索中被广泛应用.基于本体增量学习的主题爬行技术的研究工作主要包括:首先,利用本体对领域概念及关系的描述作为网页主题判定的依据;其次,在爬行过程中,将学习得到的新概念和关系加入到本体中,以丰富完善领域本体,进而提高主题爬虫的收获率;最后,经过大量的实验数据分析,在词条提取准确率、收获率和响应速度等多个指标方面,证明了所提出的方法是可行的并且是高效的.     

基于ARM的嵌入式系统教学平台的设计与实现

基于ARM的嵌入式系统教学平台的设计与实现以低功耗、低成本、高性价比的32位RISC ARM7TDMI系列嵌入式微处理器S3C44B0为核心,设计嵌入式系统教学实践硬件平台,包括硬件电路原理图设计和PCB板图设计,使用免费开源的Linux作为操作系统完成uclinux在教学实践硬件平台上面的移植,并为嵌入式系统教学实践平台配套设计一个综合应用实验.     

信息家电万能遥控器的研究与设计

随着未来家庭中信息家电种类的增多,必然造成“一机一遥控器”、多种遥控器并存的现象,给用户使用信息家电带来不便．为解决上述问题,采用结合嵌入式系统、网络技术、无线通信技术以及手持移动终端技术,设计一个能够在未来家庭中管理和控制所有信息家电的、可直接与用户交互的可视化嵌入式智能设备——信息家电万能遥控器．最后通过实验验证了该方案的可行性．     

基于嵌入式WinCE的USB摄像头驱动开发

介绍了USB视频规范,给出WinCE环境下USB摄像头驱动模块的层次结构以及摄像头驱动的开发流程。文章主要对摄像头驱动中的重点函数进行了分析介绍,最后将该驱动移植到了WinCE嵌入式操作系统上,并在PXA270硬件平台下进行了测试。在实验葙上使用罗技快看Pro5000和快看S5500两种型号的摄像头,测试成功。结果表明该文编写的驱动符合USB视频规范,不依赖于摄像头的硬件,适用于所有符合USB视频规范的摄像头。     

基于二代证的嵌入式门禁系统的设计

 随着中国换发第二代居民身份证（简称二代证）计划的推广,目前二代证已得到普及。作为射频卡的一种,二代证继承了射频卡的优点,并采用了数字防伪技术和印刷防伪技术,其安全性得到了较大程度的提高。鉴于其安全性、普及性且唯一性,二代证可以应用在安防系统中作为个人身份识别的唯一标识。在分析门禁系统发展现状的基础上,设计了一款符合当前门禁系统发展趋势、集现代化和智能化于一体的二代证门禁控制系统。目前,已完成该软件的需求分析、设计、实现及测试工作。针对该系统的功能及性能测试表明,该系统满足设计要求,且具有安全性高、实时性强、识别效率高等特点。     

基于ZigBee网络的民族特需品保存展示环境监控系统

 设计了一种基于ZigBee网络的民族特需品保存展示环境监控系统.该系统以ZigBee无线网络为基础,对采集到的特需品所在环境信息进行实时传输和监控,当数据超标时,监控中心发出指令开启终端节点的风机,进行反向控制,并使用GSM发送报警短信.用户也可通过PC机、嵌入式手持终端及手机短信查看并控制整个网络里任意节点的状态.该系统具有稳定性高、成本低、应用范围广、可移植性强等特点,具有较强的推广意义.     

基于方向性S变换的多分量FM信号瞬时频率估计

针对复杂多分量调频信号的瞬时频率估计问题,提出一种基于方向性S变换的瞬时频率估计方法。首先,在S变换中引入变趋势窗,有效改善了高频区的频率分辨率;其次,提出了方向性S变换,该变换在引入方向性参数的基础上,利用最大化准则实现了复杂调频信号的时频方向匹配;最后,由于传统时频脊线及相应的均方根误差准则无法适用于多分量信号瞬时频率估计的性能评估,提出一种基于支撑域的置信度准则。仿真实验通过线性与非线性的多分量混合调频信号证明了该方法的有效性。     

次正规嵌入子群与有限群的可解性（Ⅰ）

证明了,设 P是群G的Sylow 2-子群,若 P的极大子群都在G中次正规嵌入,则 G可解;若群 G的Sylow 2-子群的循环子群均在G中次正规嵌入,则G可解;设M为群G的幂零极大子群或M为群G的内2-幂零极大子群,若 M的Sylow 2-子群的极大子群都在G中次正规嵌入,则G可解。     

嵌入式Linux系统内存优化使用方法研究

嵌入式系统功能的不断增加,将直接导致系统内存的不足.从用户层的角度出发,针对应用程序由于内存不足而造成系统的无法响应问题,对系统内存和单个进程内存使用情况进行分析,通过修改系统参数和对可执行文件elf的研究,提出了从系统和进程两方面对内存进行优化,以使更多的程序得到响应,提高系统的并发性.实验证明,这些方法的使用可以增加系统空闲内存5%左右,有效地提高了系统性能.