基于至少满足弱硬实时限制的调度算法

提出了一种用于保证实时周期任务满足“至少满足”弱硬实时限制的算法.针对以往算法的缺点,扩充了弱硬实时限制的性质,定义了下确界限制并给出求解法.下确界限制用于保证任务满足“至少满足”弱硬实时限制,是任务满足限制的下确界.下确界限制的求解法计算负责度较低,因此在该求解法的基础上设计了调度算法MAA,用于保证任务满足“至少满足”弱硬实时限制.     

实时调度问题的形式化描述及分析

使用自动机理论建立了一个用于分析实时调度问题的、可化简归并的形式化方法。通过分析单个任务的状态变化过程来构造实时系统的自动机。对自动机的状态进行化简和归并,大大降低了讨论实时调度问题的复杂度。以优先级上限协议为例构造了确定有穷自动机并使用该自动机证明了优先级上限协议的性质。     

低温等离子体处理木材表面研究

利用不同类型常压放电产生的低温等离子体对合成木材表面进行了处理,测试放电处理后木材表面的水接触角和表面形貌的变化,并得到了处理前后木材的表面能的变化.结果表明,放电对木材表面结构和力学性质产生很大影响,可以有效提高木材的表面性能.     

影响油田采出液油水界面膜稳定性因素的研究

油田三次采油中二元复合驱(一般是石油磺酸盐和聚丙烯酰胺)技术的使用,在提高采出液中含油量的同时,也使油井采出液的破乳脱水变得复杂,而破乳脱水的效率与油水界面膜的稳定性密切相关,探索影响油水界面膜稳定性的因素对于三次采油生产中的破乳脱水具有重要理论指导意义.本文中利用Langmuir技术研究了油相中的石油磺酸盐以及水相中的部分水解聚丙烯酰胺(HPAM)、pH值、无机盐对油水界面膜稳定性的影响.结果表明,随着油相中石油磺酸盐浓度的增大,界面膜稳定性增大;水相中部分水解HPAM在较高浓度时,界面膜稳定性下降,进一步升高浓度,界面膜稳定性不变;而水相的pH值偏高或偏低以及无机盐的存在都会使界面膜的稳定性增大.     

浅述轻质混凝土空心砌块墙体裂缝形成及防治

本文阐述了轻质混凝土空心砌块墙体裂缝形成的原因、裂缝的防治措施，并介绍了裂缝的处理措施。     

C#中避免不必要装箱与拆箱的方法

装箱／拆箱操作是c#中较重要的操作,如果使用不当,开发出来的系统性能将受到较大影响．在具体分析了装箱／拆箱的原理后,通过对实际代码进行性能分析和MSIL反编译程序查看．exe程序的内部机理．提出了通过重载函数、接口方式和泛型来避免不必要的装箱／拆箱;对正在使用c#进行系统开发的人员将有一定的参考价值．     

嵌入式linux系统动态库小型化技术研究

分析了glibe系统库和ELF文件格式的结构,利用关系演算对glibe中的目标文件及其包含的符号进行解析,由此得到各个目标文件之间的依赖关系;通过这些依赖关系对应用程序所需要的符号进行分析,从而得到所需要的目标文件,在目标文件一级最大限度地完成对系统库的小型化．