一种针对SoC的嵌入式系统软/硬件协同综合算法

嵌入式系统是软件和硬件共存的系统,多数功能部件可以由软件来完成,也可以由硬件来完成,为了综合考虑系统功能和多项性能指标（如成本、硬件面积、功耗和时间性等）来合理划分系统,提出了一种针对SoC的嵌入式软/硬件协同综合方法,建立了对应的数学模型,将嵌入式系统软/硬件协同综合问题转换成为有向图中求最优路径问题,并用条件遍历法得出整个解空间上的可行解。本方法能够同时评价多项性能指标,融入了SoC设计IP核与软件构件重用的思想,是一种自动方法,克服了传统方法的缺陷。通过一个PDA手机平台音频和视频发方系统的实际例子证明了本方法的实用性和有效性。     

基于有限状态机的指针解引用静态检测方法

为了产生高质量和高可靠性代码,提出一种指针解引用静态检测方法,该方法给出了指针状态转换的有限状态机定义。通过对源代码进行语义分析,得到指针指向信息,建立指针与内存单元之间的映射关系,并根据有限状态机中的指针状态判断指针解引用是否合法。本方法不仅记录了变量的作用域和指针集,还分析了指针的确定指向和可能指向,并对部分控制块采取延迟写入指向的方法,提高了指针解引用分析的精度,同时还可以检测内存释放异常的问题。实验结果表明该方法能有效检测非法指针解引用和内存释放异常。     

可信嵌入式系统中可靠且能量有效的任务调度

针对可信嵌入式系统对实时、可靠和能量有效等性能的需求,提出一种新的非周期实时任务调度算法.基于非周期实时任务的本质特性,该算法巧妙利用任务的调度空闲,通过动态电压/频率调整机制来降低任务的运行能耗.该算法具有线性时间复杂度,能够实现在线最小化系统能量消耗,并且不牺牲任务的高可靠和强实时需求.实验表明了本文算法在可靠性和能量有效性方面的优越性.     

JMX动态管理服务的研究与设计

在JMX规范1.0的基础上,分析了JMX的技术背景及其体系结构,提出了一种MBean对象的实现方法和Java管理服务核心模块的设计模式。讨论了远程管理通信接口以及基于Java事件模型Notification机制的设计,并对标准管理服务器进行相关扩展,实现持久化对象管理和远程对象管理。     

基于EDA和回译的导游投诉文本混合增强方法

近年来,使用机器学习算法从导游投诉文本数据中识别出导游违规行为,辅助旅游监管人员工作,为旅游监管提供依据,成为一个必然趋势。然而导游投诉文本存在着语料单一、难以获取等困难,如何对这些导游投诉文本进行文本增强以满足导游违规行为识别需要,是一个迫切需要解决的问题。针对这一问题,提出了一种基于EDA(easy data augmentation)和回译的导游投诉文本混合增强方法。从EDA和回译两个角度对导游投诉文本进行增强,将两种方法返回的增强投诉语料进行混合,得到最终的增强文本;并将该方法在实际的导游违规行为识别系统中进行了应用与验证。通过大量实验对该方法与传统的EDA文本增强方法、回译文本增强方法进行了分析与对比,实验数据表明,基于EDA和回译的导游投诉文本混合增强方法相对于其他两种传统文本增强方法具有更高的准确率和更优秀的文本增强效果,应用在实际的导游违规行为识别系统中得到了87.54%的准确率,相比原始数据集准确率提升了7.4%。     

数字逻辑课程教学方法研究与探讨

针对高等学校计算机专业数字逻辑课程教学中存在的问题,在分析计算机专业课程结构和数字逻辑课程特点的基础上,本文提出帮助学生克服"欺软怕硬"心理、转变思维方式、将孤立知识点连成线、理论教学与实践教学相结合、以学生为主体提高教学质量的观点,作为解决目前高等学校计算机专业数字逻辑课程存在问题的对策,在课程教学和实验方面都取得了一定的效果。     

基于CORBA集群进程管理服务的研究与设计

1 引言 CORBA作为一种流行的中间件平台,通过定义一系列规范屏蔽了异构网络的底层差别,为灵活开放的系统应用提供了技术基础,使分布计算环境中的构件可以很好地协同工作。然而现有的CORBA 2.X规范中并没有定义一种独立的服务,来管理和控制客户请求访问服务器对象(服务器进程)的过程,以灵活简便地部署企业应用系统服务器集群。传统CORBA客户访问服务器一般是通过对象引用文件或直接网络访问的方式,前者多适用于单服务器系统,并且和系统结合紧密而且很难在系统运行过程中动态扩展服务器,而后者则使用复杂,在一定程度上丧失了服务器的“透明性”。本文根据     

嵌入式系统软/硬件协同设计技术综述

随着微电子技术和计算机技术的飞速发展，嵌入式产品广泛应用于消费电子、智能家电、通信设备等多个领域。介绍了嵌入式系统现状，分析了今后的发展趋势，阐述了传统方法的缺陷，介绍了一个新的设计方法学——SoC(片上系统)嵌入式系统软/硬件协同设计，并较详细分析了支撑该方法学的相关技术。     

系统级芯片测试调度最优总线指定方法

为了缩短采用系统级芯片设计的电子产品的测试时间，提出了一种基于遗传算法的系统级芯片测试调度总线指定方法。在该方法中，建立了最优测试调度的遗传算法模型。为了使算法过程更稳健，更快地趋近于全局最优解，在传统遗传算法的基础上引入了差分进化、精英策略、自适应变异等几种机制，并通过实验与基于整数线性规划的测试调度方法进行比较，结果表明，所需的测试时钟周期数较少，适应于测试大规模系统级芯片。     

基于DM的入侵检测系统结构方案

介绍了入侵检测系统和数据挖掘技术的概念、特点和关键技术,分析了入侵检测系统中信息收集的主要数据来源,结合传统的入侵检测方案的缺点,提出了一种基于数据挖掘技术的具有自我学习、自我发展能力的入侵检测系统的体系结构模型,此模型针对不同的信息来源应用不同的数据挖掘方法进行识别。