基于TEMU的进程间通信过程逆向

传统的逆向分析方法在分析多进程架构软件时具有较多难以克服的困难, 针对这个问题提出了基于TEMU的进程间通信过程逆向方法。利用动态二进制分析平台TEMU记录多进程程序函数调用信息, 结合进程间通信函数的关联规则从函数调用信息中提取进程间通信的通信方法、通信数据和通信协作机制。根据该方法设计并实现了一个原型系统, 对多款多进程架构软件进行测试, 测试结果表明, 该方法能够准确提取多进程架构软件的进程间通信过程, 对多进程架构软件逆向起到了很大的辅助作用。     

分布式实时信息处理系统的核心执行软件的设计与研究

本文讨论面向过程控制应用的分布式实时信息处理系统(DRIPS)操作系统软件的重要部分——核心执行软件.DRIPS操作系统由核心执行软件和通信执行软件组成.核心执行软件管理处理机上的资源,为应用软件提供实时服务,并通过通信执行软件实现进程间的同步与通信.本文给出DRIPS核心执行软件的功能和结构:并讨论分布式系统中几个典型问题在DRIPS系统中的解决办法;如进程的调度和处理机管理:进程之间的同步和通信:数据的一致性等.     

航天飞控软件的二维容错体系结构设计

介绍航天飞控软件系统的主要功能及其常规体系结构。设计开发航天飞控软件系统的一个二维容错体系结构。版本维A包括所有应用软件功能的完整功能进程,版本维B仅包括部分关键软件功能进程的二版本设计与实现,其中有原功能进程的全功能冗余设计,以及原功能进程的降级冗余设计。版本维主要实现进程级程序的容错功能。关键等级维实现的是不同关键等级进程之间的数据容错。如果数据从较高关键等级进程流向较低或相同关键等级进程,则数据交换可以直接进行,如果数据从较低关键等级进程流向较高关键等级进程,则必须由容错处理进程经过容错处理,才能流向目的进程。     

基于眨眼持续时间的司机疲劳检测方法

介绍航天飞控软件系统的主要功能及其常规体系结构.设计开发航天飞控软件系统的一个二维容错体系结构.版本维A包括所有应用软件功能的完整功能进程,版本维B仅包括部分关健软件功能进程的二版本设计与实现,其中有原功能进程的全功能冗余设计,以及原功能进程的降级冗余设计.版本维主要实现进程级程序的容错功能.关键等级维实现的是不同关键等级进程之间的数据容错.如果数据从较高关键等级进程流向较低或相同关键等级进程,则数据交换可以直接进行,如果数据从较低关键等级进程流向较高关键等级进程,则必须由容错处理进程经过容错处理,才能流向目的进程.     

一种软件演化过程模型的代数语义

随着大量的软件演化过程模型被软件演化过程元模型建模产生,如何验证过程模型的正确性,是摆在人们面前的一个重要任务.针对软件演化过程元模型,引入进程代数ACP(algebra of communicating processes)对其扩展,提出软件演化过程元模型代数,使用进程项指定软件演化过程模型的代数语义,在进程代数的统一框架下,基于等式推理验证软件演化过程模型的行为,使行为验证方式从模型推导变为代数推导这种方法充分结合了Petri网和ACP的长处,可以有效地支持软件演化过程的形式验证.     

一种软件容错技术

本文提出一种软件容错技术,它由下列七种软件容错功能组成:软件进程监控,软件文本监控,软件文本测试,软件文本定位,软件文本修复,软件文本重构和软件进程重构。软件进程重构由多级系统结构重构和多级系统性能重构组成。用这种技术可以开辟下列四种用途:(a)自动测试自动修复的软件维护工具;(b)容错操作系统;(c)自动重构步机系统;(d)自动重构存储系统。     

基于访问关系的进程重启相关性判定

执行细粒度的进程级软件抗衰，可以进一步降低抗衰成本，提高软件可靠性。本文根据软件系统中进程间控制、调用及数据访问的关系，分析了进程间的耦合度，确定了寻找直接耦合进程的途径，并在此基础上判定了进程重启相关性，从而为实现系统进程级软件抗衰提供了支持。     

嵌套的计算系统进程级自适应抗衰重启策略研究及模型分析

执行细粒度的进程级软件抗衰可以进一步降低抗衰成本，提高软件可靠性。本文针对软件系统中进程间交互频繁多变且交互关系难以判定的特点，分析进程间控制、调用及数据访问的关系，重新定义了进程重启相关度，提出了自适应进程相关拓扑图的算法理论，从而制定了嵌套的进程级软件抗衰重启策略，并在此基础上构建了策略实施模型，从而为全面实现智能化的软件系统细粒度软件抗衰提供了支持。     

多线程软件执行效率与改进方法研究

将软件进行多线程改进,可以解决软件并行性问题,能够显著提升软件的运行效率。但如果软件改进的方法不当很容易造成系统不稳定。该丈简要介绍了线程与进程的特点与差异,对在Linux操作系统环境下软件多线程与多进程的执行效率进行了对比,分析了产生这种执行效率差异的原因以及多线程与多进程技术应用在软件各方面改进时的优劣,并提出了实施软件改进的策略与实现方法。     

用于工控监测系统的多进程软件看门狗

在工控机内置硬件看门狗的基础上,运用Windows系统的消息机制进行多进程通信,设计并实现用于多进程系统的软件看门狗,当某个进程出现异常时,只重新启动该进程或协商重新启动工控机;当整个系统出现异常时,由工控机内置硬件看门狗重启工控机.该多进程软件看门狗成功运用在高压设备在线监测系统中,充分保证了系统不出现"死机"、"跑飞"等异常的情况.     

多种燃料锅炉效率曲线的辨识方法

多种燃料锅炉的运行优化是钢铁联合企业节约能源的一个主要方法,但是这种锅炉的效率曲线的辨识却是一个复杂而困难的非线性最小二乘问题。借鉴大系统递阶算法的思想,本文提出了一种新的两级递阶辨识的算法。这种算法通过预估关联量,将非线性最小二乘问题转化为两级线性最小二乘问题。实验的结果证明:这种算法是一种有效的算法。     

智能优化策略的比较

智能优化是从诸多新兴学科衍生出来的前沿科学，本文研究了智能优化的策略，对计算智能策略进行了分析比较，并举出了在工程实践中用这些策略进行智能优化的实例，从中得出有意义的结论。     

表的等价性的NP完全性的讨论

本文给出了表的等价性判定的一些结果：三元可满足性问题，表达式的ＮＰ完全性，表的ＮＰ完全性，还给出了函数依赖对表的影响，强等价性的复杂性的一些讨论。为对表的进一步研究屯指出了方向。     

独立边界自增强方法

提出了独立边界的自增强算法.使用反复随机搜索获得各种可能的独立边界轨迹;使 用搜索轨迹的自增强代替过去的固定点的领域增强方法;采用搜索轨迹的积累技术代替过去的 迭代操作.实验证明:该方法克服了过去的方法对噪声和局部错误极度敏感的缺点,能够在进行 边缘增强的同时有效地抑制噪声.     

人体三围特征计算的研究与实现

文中提出了一个基于多边形逼近和凸包球取的人体三围特征计算方法。首先给出了一个具有确定性的高效的多边形逼年算法，运用该算法对人体横截面边界进行特征化处理，再通过特征识别抽取人体三围的特征多边形，最后通过计算凸包的方法获取人体三围特征值。文中提出的方法已运用于一个综合化的服装ＣＡＤ系统中。     

利用关联矩阵的秩判断Petri网的公平性

本文对有界Ｐｅｔｒｉ网的公平性与分组公平性以及无界Ｐｅｔｒｉ网的公平性分别得到了利用关联矩阵的秩进行判断的一组充要条件，这些条件使用起来是非常方便的．     

机构影响系数统一计算模型

基于机构矩阵型式运动学方程和速度加速度统一模型,讨论了机构运动影响系数通用 计算公式的结构和自动构造算法,得出的一组运动影响系数统一计算公式具有普遍的意义, 并可以方便地由计算机程序自动构造并求解．本文内容建立了机构速度及加速度分析和动力 学自动分析的基础,为通用计算机辅助分析系统的研制创造了先决条件．     

THE CONCEPT OF STABILITIES OF GENERAL SYSTEMS

In this paper, the concepts of the stability and uniform stability of input-output systems introduced in Ref. 1 are generalized to the model of general systems. Several equivalent conditions are given. The relation between the concepts and that of continuity of mappings from a topological space into a general topological space is studied. In the last section, some mapping properties of stable systems and uniformly stable systems are studied. Some open questions are posed.     

航天飞机操作器的运动学研究

本文考虑了航天飞机与操作器之间的耦合运动,建立了航天飞机机器人的运动学方程,并提供了一种新的迭代计算法.使用该方法可方便地认操作器所握住的负载的位置和姿态求解操作器各关节的位移,从而顺利地解决了被认为较困难的运动学逆问题.     

蛇形机器人侧向运动的研究

本文提出了一种新型蛇形机器人机构，建立了其空间运动学模型，实现了蛇形 机器人的两种侧向运动：侧向蜿蜒运动和侧向滚动，前者通过调节两个异相波的频率比，实 现了任意方向的侧向运动．后者通过控制运动波的幅值变化，实现了各种形式的纯侧向移动 ，当幅值足够大时，这种侧向滚动可以跨越障碍．