并发进程的一种跟踪与重演算法

并发程序的执行具有“不确定性”,即在同样的输入条件下并发程序的执行结果不一定相同。这使得传统的对于顺序程序的循环调试方法对于并发程序的调试不再有效。通过对并行程序的执行情况进行跟踪和重演,可以保证并发程序在相同的输入时候两次执行完全一样。本文分析了基于消息传递的并发程序执行模型,并给出了相应的跟踪和重演算法及其实现。     

基于插桩技术的并行程序的重演方法

提出了一种新的跟踪、重演方法，采用插桩技术在源程序中插入控制程序执行的同步操作，使特定的同步事件序列再现．此方法将同步控制逻辑分散在源程序中，很好地适应了基于消息传递并行系统的运行特征，提高了重演执行的性能，并且不存在缓冲区溢出问题．     

并发程序验证器CPV的设计与应用研究

以以色列的并发程序验证器CPV1.1为蓝本,深入研究了并发程序检测的设计实现过程, 讨论了该软件的各种数据类的结构和它们之间的相互关系,以及并发程序的执行过程,在此基础上对其做了适当的改进,简化了输入方式和程序的执行. 提高了CPV的速度与效率,最后在CPV1.1下设计实现了8皇后问题的并发求解.     

并发CHILL源语言调试器的研究

CHILL 语言的重要功能之一就是支持并发。并发的引入使得 CHILL 语言的调试变得十分困难。本文讨论了并发程序调试的困难与问题,研究了一般并发程序调试器应具有的功能,说明了我们借助实时扩展 UNIX 操作系统(RTU)所设计的并发程序调试器结构,找到了扩充的传统调试法用于并发程序调试时一些重要功能的实现方法。实验性地实现了 CHILL 并发源语言调试器。为消除探测影响,本文提出了硬件辅助软件调试法的设想。     

跟踪调试与结构程序设计

介绍如何把程序跟踪调试工具作为结构程序设计的学习研究工具，给出了应用范例。还提出了Ｔｒｕｅ、ＢＡＳＩＣ扩展跟踪调试应用范围及提高跟踪执行速度的方法。     

并发程序切片方法综述

随着实际应用对并发软件需求的不断增加,并发程序的应用越来越广,程序切片的研究不再仅仅局限于顺序程序,并发程序切片的研究也越来越多.但是由于并发程序执行的不确定性,并发程序切片的研究还有许多问题有待解决.文中介绍了当前主要的几种并发程序切片方法及其主要特性,并对这些切片方法进行了比较分析,结果表明并发程序切片的效率和精度都达到理想的目标是不可能的,只能是在两者之间的均衡,最后简要介绍了并发程序切片的应用.     

基于一种新的S型函数快速凸组合最小均方算法

为解决传统凸组合自适应滤波算法在联合参数迭代计算量大、算法收敛速度慢、跟踪性能差等问题,提出了一种基于一种新的S型函数快速凸组合最小均方(SCLMS)算法;该算法用一种新的S型函数,代替Sigmoid函数,在保证和CLMS算法相同稳态误差情况下,避免了指数运算,减少了计算量;同时也提高了收敛速度和信号的跟踪性能。通过独立高斯白噪声作为输入信号算法仿真、相关噪声作为输入信号算法仿真;以及非平稳环境下算法仿真;并对三种仿真结果进行了分析,验证了该算法性能可靠有效。     

并发程序模型的可信性研究

讨论基于交替计算模式的并发程序执行行为的可信性问题。通过比较共享变量程序的交替计算与实际重叠执行，对并发程序的执行过程进行粒度分析－首先提出了种粒度细化、求精方法，限制单个原子转换包含的临界事件数目；继而引入一种限制临界引用（ＬＣＲ）条件，进上步限制每一与语名相关的转换至多执行一次临界引用；对任一程序，通过转换算法将其转化为与之等价的ＬＣＲ程序，且ＬＣＲ程序的交替计算结果与实际的重叠执行结果一致的     

CCSLink调试DSP跟踪算法程序

本文介绍了Matlab Link for CCS Development Tools的功能和特点，利用CCSLink对红外图像跟踪算法进行了仿真设计，给出了设计该算法的步骤和结果。在这个过程中体现了使用CCSLink调试开发DSP程序的方便，快捷。     

一类大型矩阵的快速输入方法

在科学研究和工程规划设计中，经常会遇到相同元素较多但又不规则的大型矩阵的计算机输入问题、常规的输入方法都有较多的缺陷。为此，对该类矩阵中任意一行进行分析，把它归结为两类序列的输入，并给出了其快速输入方法的算法及程序，然后用一实例给予验证。通过实践证明，此快速输入方法具有实现算法简便、灵活、快速、通用、校核方便等优点。     

全数字化锁相倍频器的设计

提出了一种高速、高精度、全数字化电路的锁相信频器的设计，该锁相倍频 器对于切换的输入信号能保证在两个周期内锁定。对于变频信号，其频率跟踪速度也 快。在环路中使用了单片机以对输入信号的频率变化进行预测，从而进一步提高其跟踪 精度。     

基于输入估计的机动目标跟踪方法

机动目标跟踪方法有变维滤波、输入估计和交互式多模等方法。由于输入估计法采用常速模型作为状态方程对目标进行滤波跟踪,避免了模型集设计而成为研究的热点,但传统输入估计方法跟踪机动目标时存在机动检测时延较长和估计精度不高的缺点。针对这些问题,对输入估计算法进行了改进。采用变检测窗长度提高机动检测的响应速度,通过对检测窗内信息序列的修正显著提高了估计精度。仿真结果表明所提出的算法比原有算法的跟踪性能有显著提高,且对加速度随时间变化的机动也有一定的跟踪性能。     

基于执行剖面过滤的分割测试

提出了一种基于执行剖面过滤的分割测试方法.该方法通过从大量的执行操作中过滤出包含容易引起错误输出的特殊执行操作的子集,并对子集的执行操作进行回放和检验,从而可以发现软件潜在的错误.从而使引起错误输出的输入元素集中分割在某些子域内,提高了发现错误的概率.实验结果表明,该方法分割错误元素的集中度以及命中错误的概率较高,相同条件下其效果要优于随机测试.     

基于版本管理的事故重演技术

针对工业企业能源管控系统中对于全厂能源事故重演和分析的需求,该文提出了基于版本管理技术,对电气和工控对象的数据库模型和画面按照版本进行统一管理,对遥测数据通过记录基准全数据和变化数据来进行管理。事故重演是对保存的事故重演按当时的情景进行重演,根据事故发生时间,通过画面的版本管理得到合适的历史版本画面,数据库系统也依照相同的原理获取合适的模型数据库,数据采集模块从重演控制器接收变化数据,进行各类数据的采集处理,实现对事故前后场景的重演。     

强跟踪滤波器在AUV执行机构故障诊断中的应用

建立了AUV的推力器及舵等执行机构的偏差型故障模型；引入强跟踪滤波器理论，采用SFEKF算法(一种采用时变渐消因子实现的强跟踪滤波器算法)在线估计AUV状态及执行机构故障偏差，利用贝叶斯决策方法对得到的残差进行分析，实现了AUV执行机构的故障诊断；仿真验证了强跟踪滤波器在AUV执行机构故障诊断中的有效性．     

基于粗神经网络的并行自适应滤波算法

讨论了机动目标跟踪问题，针对机动目标并行自适应滤波特点，结合粗神经网络特有的同一神经元可以双输入的特点，利用全状态反馈，提出了基于“当前”统计模型的粗神经网络并行自适应滤波算法，仿真表明该算法对机动目标具有较强的跟踪能力。     

具有两类时延的离散时间多智能体系统一致性跟踪

研究具有输入时延和通信时延的离散时间多智能体系统的一致性跟踪问题。利用频域分析方法和矩阵理论,给出拓扑为有向图的情况下系统具有较少保守性的一致性跟踪充分条件,并用仿真试验验证了该结果的有效性。与具有输入和通信时延的一致性问题不同的是,相同情况下的一致性跟踪问题不仅与输入时延有关,而且与通信时延有关。     

并发程序内部表示及静态切片算法的改进

通过分析Krinke切片算法对程序循环体内嵌套一个或多个线程结构会产生切片不精确现象,得出Krinke算法所基于的程序依赖图对线程间数据的依赖关系定义得过于粗糙,且对并发程序执行行为的合法性约束不够严格的结果.据此,提出一种新的并发程序依赖图,引入跨线程边界循环-承载数据依赖关系,并在此数据结构上改进了切片算法;引入区域化执行证据概念,进一步约束程序执行行为的合法性,并给出了添加跨线程边界循环-承载数据依赖关系的算法及新的并发程序切片算法的伪代码.实例分析与算法性能测试表明,改进的切片算法克服了Krinke算法的不精确现象,降低了时间开销,改善了算法的可伸缩性.     

基于模板的虚拟企业制造信息跟踪方法研究

针对虚拟企业制造执行过程中对进度跟踪、成本跟踪和质量跟踪的需求，提出了一种基于实例化模板（TIT）网络模型的制造信息跟踪方法．该方法采用模板封装制造信息，用模板结构树体现产品信息对于不同配置、不同组织结构的交叉，并用TIT网络模型体现了制造信息在时间坐标轴上的动态性．在TIT搜索算法的支持下，通过制造和管理数据的实时视图和历史视图，实现了制造信息的实时跟踪与历史跟踪，不仅满足了虚拟企业中不同人员跟踪制造执行过程的需求，而且为移动制造协同提供了数据源．     

计算机高级语言并发设施的比较

0 前言并发程序的开发是系统软件领域里的一个需要课题。并发程序可由同时执行的一组顺序进程通过共享变量来交换数据和信息,从而协同完成某些共同的任务。其功能就是实现进程的并发性和资源的共享性。这就需要解决同步与互斥问题。所谓同步指的是多个进程共享资源时有关配合时间的约定。所谓互斥,指的是在同一时刻,不允许多个进程调用同一资源对象。为了实现进程间的信息交换,为了确保进程间的同步与互斥,并发程序必须设立相应的通讯设施。