RT-Trace:基于指令步进识别的工控设备执行流采集技术

由于薄弱的安全措施和重要的军事、经济价值,现代工业控制设备迅速成为了网络攻击的重要目标。工控设备因其在人们生产生活中的作用以及当前严峻的不安全现状,引起了研究人员的重点关注。其中,固件作为工控设备的核心部分,其安全的重要性不言而喻。然而由于固件在烧录的过程中其烧录方法和固件安全性保护的标准、等级和措施均不相同,使得固件在提取过程中依赖专家经验。同时由于大部分工控设备为了能够应对极端环境通常使用定制化专有芯片,少有配备如嵌入式跟踪宏单元(Embedded Trace Macro cell,ETM)等执行跟踪组件,因此难以采集设备执行时的信息。提出一种基于指令步进识别的工控设备执行流采集技术RT-Trace,通过对工控设备进行硬件分析、固件提取和监控采集,将工控设备的固件整体安全情况进行分析和梳理。实验结果表明,该方法能够提取出大部分的工控设备固件并且能够对设备执行过程中的函数调用次数、服务开启情况、内存污染度进行较为全面的数据采集。

一种基于服务体/执行流的新型操作系统构造模型

在分析进程/线程模型内在缺陷的基础上,提出了一种新的操作系统构造模型———服务体/执行流模型.该模型以执行流为运行模型,以服务体为存储模型,两者相互分立,使得数据的计算独立于数据的存储,从而融合了单地址、多地址空间和单内核、微内核结构的优点,又摒弃了它们的缺点,并可有力支持分布式计算.实验数据验证了该模型的正确有效性.

基于服务体/执行流模型的操作系统

介绍一种新的操作系统抽象模型——服务体/执行流模型(SEFM)。在该模型中,数据存储抽象与数据运算抽象相互分离,计算模型直接对应于物理CPU执行程序的过程。给出一个基于SEFM的操作系统——MiniCore的功能结构。该系统与其他主流操作系统进行比较测试的结果表明,MiniCore的同步消息通信与Linux管道通信相比效率高出3倍多,比Win98管道高出62倍多,MiniCore的网络通信效率与Linux相当。通过不同负载下视频解码播放的时延分布可以看出,MiniCore比Linux具有更好的实时性。

从程序执行流重构入侵模型的有效方法

建立一种重构网络入侵模型的有效方法,依据入侵实例中所记录的入侵过程的消息流及受害软件实际执行的指令流,通过反编译并应用改进的形式分析及验证技术构建出充分一般的入侵模型。与目前绝大多数基于独立消息特征(signature)的入侵模型不同,该模型能精确给出恶意消息上下文之间的关联模式,表达出入侵过程的动态特征,效率可行并具有逻辑上可证明的精确性。在详细阐述方法的理论基础之后,也讨论了针对安全演化的应用。

服务体执行流模型中消息通信的时间可预测性分析

Minicore是基于服务体执行流模型的新型微内核,它有效的将操作系统中的存储模型和运行模型相分离.微内核的高度模块化的设计使Minicore对服务体(Minicore的基本单元)间的消息通信的依赖度极高.于是对于Minicore操作系统的时间可预测性分析也无可避免的依赖于通信模块的时间可预测性.本文的工作即是通过计算Minicore通信模块的WCET,分析消息通信的时间可预测性,为未来实现时间可预测的通信机制并分析Minicore的时间可预测性提供基础.对通信模块的WCET分析计算采用静态WCET分析中的基于路径的算法,应用到Minicore系统的通信模块,包括四个阶段:提取目标代码片段,程序控制流分析,处理器特征分析和WCET计算.基于WCET计算结果本文定义配置相关的时间可预测性(CIPr)作为评估消息通信时间可预测性的指标.

基于服务体/执行流模型的MiniOSEK操作系统

为解决现有OSEK操作系统实时性不高、效率低等问题,提出了一种新的OSEK操作系统——MiniOSEK。MiniOSEK是建立在服务体/执行流模型的基础上,并符合OSEK/VDX标准规范的嵌入式操作系统。其设计思想是将消息驱动的思想引入到传统OSEK操作系统中,即当一个任务调用OSEK操作系统规范规定的应用程序编程接口(API)函数时,只需要向该接口函数发送一个消息。这样可以减少上下文切换所需的时间,提高嵌入式系统的实时性。

基于服务体/执行流模型的MiniCore系统的容错设计

空间环境中的计算机系统要求高可靠性.针对存储受限的空间嵌入式实时系统,从内存可靠性和任务容错调度两个角度出发,提出了一种两级容错设计方案.该方案由系统级的周期性内存检错纠错机制和任务级的一种改进的主/副版本容错调度机制组成.方案的实验验证在一款基于服务体/执行流模型(SEFM)设计的嵌入式操作系统Mini Core中进行.加入两级容错机制后,内存数据准确性得到保证,Mini Core内核代码空间增加了约33%,时间性能指标略微下降,任务的执行成功率和调度质量显著增加.

基于执行流完整性的Windows进程挂钩检测与实现

论文对windows系统用户层上传统的挂钩技术和检测方法进行了研究,分析了一种经过Mov指令进行跳转的用户层挂钩技术,提出了一种基于执行流完整性的进程挂钩检测方法。该方法通过对进程内存的执行流和进程对应可执行文件的执行流进行分析比较,验证进程内存执行流的完整性,进而在用户层上检测用户进程可能存在的钩子。最后与流行的Rootkit检测工具OSHI Un Hooker比较,本方法可有效检测出深层次和复杂的用户层钩子。

适用于力反馈的圆筒式磁流变液执行器的设计

力/触觉反馈是虚拟现实交互技术中一种重要的交互形式。磁流变液执行器是最具发展潜力的力/触觉反馈装置。提出了一种适用于手指力反馈的便携式圆筒磁流变液执行器的设计方法,导出了基于B ingham塑性模型的阻力矩公式,分析了磁流变液特性和执行器结构参数对阻力矩的影响,并通过有限元分析进行优化设计,执行器的直径为31 mm,高度为38 mm,重200 g。实验测定了阻力矩和输入电流之间的关系,并采用二次多项式拟合。输入电流为0.6 A时,执行器产生的阻力矩为255 N.mm,结果表明,该执行器产生的阻力矩足以阻止手指抓取虚拟物体。

图形处理器的流执行模型

图形处理器极高的流计算能力使其成为实现实时流应用的有效方案。该文抽象出图形处理器的流执行模型,描述图形处理器流处理机制的执行过程,在图形处理器上实现了二维离散余弦变换。实验结果表明,图形处理器对标清格式的视频压缩编码效率可达70 fps。

适用于力反馈的三圆盘磁流变液执行器工作机理及建模

为了提高磁流变液执行器力学模型的精度,建立了适用于电流随机变化且包含磁滞特性的三圆盘磁流变液执行器的分段线性力矩-电流模型.分析了执行器的工作原理,推导了基于Bingham塑性模型的力矩公式.磁路由铁磁物质和磁流变液组成,说明了这2种物质的磁特性,分析了铁磁物质中存在磁滞以及在磁流变液中观察不到磁滞的原因.铁磁物质的磁滞特性影响了执行器的力矩-电流特性,实验表明力矩和电流之间存在磁滞.当电流变化过程为0-1.2-0 A时,不包含磁滞特性的二次多项式模型的残余标准差分别为8.2和11.2 N.mm,分段线性模型的残余标准差分别为5.9和6.2 N.mm,分段线性模型的精度比较高.

磁流变复合液压执行器及其效率研究

介绍了一种可同时实现定位(驱动)与可控阻尼的磁流变复合液压执行器的原理及系统结构,研究了在入口压力较高时磁流变阀不可能完全理想关闭情况下桥式磁流变阀路的效率问题,建立了基于桥式磁流变阀路的磁流变复合液压执行器定位(驱动)时的效率模型。

磁流变液执行器分段线性力矩-电流模型研究

磁流变液执行器通过控制输入电流控制输出力矩，精确地确定输出力矩和输入电流之间的关系是关键。提出了一种新的包含磁滞特性的分段线性力矩-电流模型，导出了基于Bingham塑性模型的圆筒式磁流变液执行器的力矩公式，研究了铁磁物质和磁流变液的磁特性。实验表明磁流变液执行器的力矩和电流之间存在磁滞，二次多项式模型、分段线性模型和实验数据比较的结果证明了分段线性模型的有效性。

不改变程序执行流实现缓冲区溢出攻击

大部分内存破坏（memory corruption）攻击和蠕虫病毒的基本原理是通过篡改程序控制数据来实现系统控制权的窃取，比如通过覆盖栈中存放的函数返回地址实现程序控制流的跳转。

OpenCL的动态执行模式在静态编译支持下的实现

OpenCL的动态执行模式要求底层平台支持device文件的动态生成、编译和加载运行。对于不具备这些特性的平台,必须从软件层面考虑支持方法。通过采用函数更名技术解决同名函数正确识别问题,基于动态执行流的predo策略可以在静态编译环境下实现OpenCL的动态执行模式。

基于流演算的多Agent请求/服务协作模型的研究

为了刻画多Agent环境中的交互特性,基于流演算理论和GoFlux语言,吸收了ConGolog语义,提出了CFlux语言。CFlux语言能有效地处理MAS中的For循环、并发、优先级并发、中断等操作,从而可以实现多Agent程序的并发交互执行。在此基础上,基于CFlux和一组通信动作提出一个请求/服务协作模型。最后,通过一个智能日程安排实例表明了上述理论。

浅谈饲料企业的执行力——执行过程篇

国内众多专家、学者仁者见仁，从饲料企业的各个角度谈到了饲料企业执行力方面的问题，并提出了许多有针对性的建议。本篇文章，笔者根据多年对饲料企业的研究，从执行力执行的过程方面．对饲料企业指令下达的各成员要素进行分析．并对指令执行流程中的各参与要素进行初步研究．在此分析研究的基础上，从管理学角度给出一些合理化的建议，希望给相关的饲料企业在经营管理上能够有所帮助。

一种基于流演算的动态规划程序设计语言

提出了一种基于流演算的动态规划程序设计语言DPPLFC(dynamic planningprogramminglanguage basedon fluent calculus)。通过定义动作表达式来描述顺序、并发、非确定选择等复杂动作,解决了FLUX不方便用户编程的问题。DPPLFC的动态规划算子是当在线执行的状态与前一次离线执行相对应的状态不同时才进行再次离线执行,改进了基于情景演算的动态规划算子。采用了一种新颖的离/在线执行方式,能够及时处理外部动作;并给出了DPPLFC语言的组成,程序语义及其实现。最后,通过电梯实例验证了DPPLFC语言的可行性和高效性。

货币流通的规律

在现有条件下,消除货币流通中存在的问题,改善货币流通状况,尤为重要。最根本的问题是,在货币流通中货币投放过多,这会带来许多不良的后果。 货币投放过多,有多种原因。其中最主要的原因是,货币发行量的增加,超过了人们对商品要求的增加。这样,在1971年到1985年间,流通中货币的数量增长到原来的3.1倍。随后的几年内,包括1988年的前9个月也出现了类似的情况。

基于磁流变液的小型力反馈装置的设计①

针对现有力反馈装置安全性和灵巧性不足的问题，设计了一种适用于手指力反馈的小型三圆盘式磁流变液（MRF）执行器。导出了基于Bingham塑性模型的力矩公式，分析了MRF特性和执行器结构参数对力矩的影响。采用Maxwell软件对执行器进行了有限元分析。执行器的直径为32mm，高度为18mm，重120g，输入电流为1．2A时产生的力矩为260．7N·mm，达到了操作者抓取虚拟物体所需的抓取力。建立了不包含磁滞特性的二次多项式模型和适用于电流随机变化且包含磁滞特性的分段线性模型，当电流变化区间为0～1．2A和1．2～0A时，二次多项式模型的残余标准差分别为8．2N·mm和11．2N·mm，分段线性模型的残余标准差分别为5．9N·mm和6．2N·mm，分段线性模型的精度高。