AVR单片机实时系统内存分配算法的研究

由于AVR单片机存储资源十分有限,因此对内存的分配及使用会直接影响到整个系统的性能.对设计并实现的嵌入式操作系统iDCX 128的内存分配进行了测试,结果表明由于系统采用首次适应算法,在进行多次内存分配后,内存空间利用率不高.因此对其内存分配算法进行改进,通过修改内存区存储任务的堆栈结构及分配机制,使其成为最佳适应算法.实验结果表明改进后算法虽然浪费少量存储单元,并相应地增加了算法执行时间,但内存的整体利用率却得到了较大的提高.     

一种实时系统进程调度方法探究

针对μC/OS-Ⅱ嵌入式实时系统中进程调度的时间复杂度高的问题,通过修改系统进程调度数据结构,建立一种嵌入式实时系统的进程调度模型,保证系统的调度实时性和关键实时进程的执行,同时有效降低进程调度时间复杂度,而且不失进程间的公平性,满足低优先级进程的需求,不至于使低优先级进程长时间等待或者因截止时间到而无法执行.     

一种改进的基于RTCOM的实时系统设计方法

对传统的TCSP进行了改进和扩充,并在改进的TCSP描述语言和业已实现的实时构件模型RTCOM的基础上,提出了一种基于构件且适合实时系统设计的五步构造方法:系统角色及业务功能描述、时间约束规范设计与业务功能的TCSP描述、功能性事件提取与转换、构件获取与生成、代码生成.给出了一个实时系统分析与设计的例子.结果表明了该设计方法正确性和实用性.     

实时系统的一种定量时态逻辑描述方法

针对Ｍａｎｎａ－Ｐｎｕｅｉｌ命题线性时态逻辑（ＰＬＴＬ）在描述实时性方面的不足，本文扩充ＰＬＴＬ，引入物理时间因子，提出一种用于实时系统的定量时态逻辑，并给出一个实例－监视器计时网（ＷＩＮ）的定量时态逻辑描述。     

一种链式结构在内存管理中的应用

内存泄漏－程序设计中的一个毒瘤，往往会在我们不经意之间滋长蔓延开来，其后果就是系统内存被吃光，程序过早夭折。单链表，一种最为简单但也最为常用的链式结构，在计算机程序设计中有着重要的地位。针对以上两点，本介绍单链表达种链式结构在内存管理方面的应用，并给出一种利用该理论来防止内存泄漏（memory leak)的方法。     

非受限任务优先级逆转防范方法

本文分析了实时系统中不受限任务优先级逆转问题和传统的预防策略。基于抢占阈值实时调度策略,提出一种避免优先级逆转的新方法,并重新定义了抢占阈值下优先级逆转问题及避免协议,有效提高了任务的可调度性。     

一种利用内存保护技术实现程序踩内存的检测方法

提出了一种程序踩内存的检测方法。利用内存保护技术,在应用程序申请内存后根据情况将其所申请的内存页面属性设置为只读。如果应用程序发生不当的内存访问,将极有可能踩到属性为只读的内存页面,从而引发内存访问冲突异常。提示发现程序踩内存事件并准确定位错误代码。通过进行针对性的维护操作,达到优化程序、提高软件可靠性和安全性的目的。     

分布式实时系统的一种转化设计方法

介绍了实时分布式系统的一种转化设计方法。系统的形式化需求规范用时段演算DC（Duration Calculus)描述，系统的设计用规范语言SL（Specification Language)表示。一组标准的转换规则可将系统从形式化需求规范转化为设计规范。系统设计的正确性可由转换过程本身得以保证。多用户多媒体通信系统的设计实例展示了转换设计方法的具体过程。     

分布式实时系统设计的一种扩展方法

介绍了分布式实时系统设计的一种扩展方法。在转化设计的基础上，支持系统的扩展及系统规范的改变。新的系统需求规范使用轨迹逻辑（Trace logic）描述系统轨迹，用DCI（Duration calculus implementalble）描述其对时间的要求，在原有的系统设计规范的基础上应用一组标准的扩展规则得到新的设计规范。系统设计的正确性可由扩展过程本身得以保证。多用户多媒体通信系统的设计实例展示了扩展设计方法的具体过程。     

一种基于时间自动机网络的实时系统形式化验证方法

介绍了时间自动机形式模型,在此基础上给出了时间自动机网络的形式语法和语义,然后给出一种基于时间自动机网络的实时系统形式化验证方法,并采用基于时间自动机网络的模型检测工具UPPAAL对一个经典的实时系统实例进行了验证．     

一种求解大规模优化的有限内存方法

在修正的拟牛顿方程的基础上，给出了一种适用于求解大规模问题的有限内存对称秩一算法，该算法充分利用了迭代过程所得到的函数值和相应的梯度值。同时，用有限内存技术改造一般对称秩一算法，给出了对称秩一矩阵的有限内存矩阵表示，从而大大节省了计算机的内存和计算量，使算法更适用于大规模优化问题的求解。     

改进的有限内存BFGS算法的二次终止性质

二次终止性质是一般拟牛顿法的一个重要性质,但为求解大规模优化问题而设计的有限内存拟牛顿法却不能都保持这种良好性质．为此,针对满足修正拟牛顿方程的有限内存BFGS方法加以研究,证明所提出的方法满足二次终止性质．这对于完善有限内存拟牛顿法的理论体系具有重要作用．     

ARTs－I：一个主动实时内存数据库系统

给出了一个主动实时内存数据库系统ＡＲＴＳ－Ⅰ，着重讨论了它的体系结构、新型主动机制、内存数据库管理和新型的执行模型．提出了一种新的实时事务调度算法和有效的内存数据库管理机制．     

C++中内存分区及堆、栈概念详解

使用C 编程时,内存分为五个区：堆、栈、自由存储区、全局/静态存储区与常量存储区。用new来分配堆,用delete来释放；它的操作灵活,可用空间大,但容易产生碎片。栈由编译器自动分配释放,有专门的入栈出栈指令,具有较高的效率。在编程时根据实际情况合理选择堆或者栈,可以提高程序的效率与可靠性。     

拟牛顿矩阵的紧凑表示及其在有限存储方法中的应用

提出一族紧凑格式的拟牛顿矩阵修正公式,适当选择其中某个向量情况下,该族可以很方便的用于构造求解大型无约束优化问题的有限存储拟牛顿算法．     

基于多新息限定记忆的永磁同步电机参数辨识

在永磁同步电机伺服控制系统中,为了抑制由电机参数变化导致的控制精度下降,引入了电机参数辨识修正调节器参数.为了增强辨识系统的抗干扰能力,提出将多新息方法与限定记忆最小二乘法相结合,增加单步递推数据量,对电机参数进行辨识.通过采集电机运行下的电压、电流及转速信号,对电机定子电阻、交直轴电感、转子磁链参数进行同时在线辨识....     

面向交易实时数据库内存数据的组织方法

研究面向大规模电子交易实时数据库中密集内存数据的高效组织方法.采用线性存储池实现内存数据的物理存储组织,并根据交易事务更新内存数据的update-in-place和append-only特点,采用T树索引实现元组固定数据的逻辑组织,采用缠绕的双向链式索引实现动态数据的逻辑组织.简化了物理空间的分配和调整算法,提高了数据更新和索引重构的效率,降低了内存数据查询访问的时间复杂度.结果表明,基于T-树索引和链式索引的数据查询算法的时间复杂度分别控制在O(lnN)和O(ln(N 1)-1),满足大规模电子交易的需要.     

多处理机实时分类调度算法研究

讨论了在多处理机实时系统中周期任务可调度性的充要条件和非周期任务的分布函数,并进行了任务调度模型设计。通过处理器利用率实现对实时任务的动态分类,并根据这些分类进行处理器分派。仿真结果表明,这种方法能有效提高实时任务的调度成功率;在处理器达到5个时,调度率可达98%以上,基本属于最优调度,平均负载达到最小且趋于平稳。     

UML在实时系统测试环境建模中的应用

针对实时软件测试中测试环境和数据的模拟问题,采用基于UML的实时系统软件测试程序设计方法,使测试程序模拟的环境和数据更逼真、可靠,以保证软件测试的有效性．并以ATC（空中交通管制系统）实时软件测试为例,分析了实时软件测试的特点和存在的问题．以及UML语言的应用特点,利用UML（统一建模语言）提供的面向对象建模机制建立雷达数据模拟的模型,并在此模型基础上设计和开发了雷达数据模拟程序、生成可靠的模拟雷达测试数据．该雷达数据模拟程序已在作者参与的ATC实时软件测试中得到了很好的应用．