多线程同步数据处理方法研究

线程处理使C#程序能够执行并发处理,以便可以同时执行多个操作。描述了线程状态,阐述了利用C#进行程序设计时线程同步数据处理的几种方式：使用监视器来同步变量的访问、使用事件来同步线程和使用Mutex同步多个对象并避免锁死,多线程同步数据处理方法能避免多线程数据处理时出现的线程同步错误．     

面向GPU并行编程的线程同步综述

并行计算已成为主流趋势. 在并行计算系统中, 同步是关键设计之一, 对硬件性能的充分利用至关重要. 近年来, GPU (graphic processing unit, 图形处理器)作为应用最为广加速器得到了快速发展, 众多应用也对GPU线程同步提出更高要求. 然而, 现有GPU系统却难以高效地支持真实应用中复杂的线程同步. 研究者虽然提出了很多支持GPU线程同步的方法并取得了较大进展, 但GPU独特的体系结构及并行模式导致GPU线程同步的研究仍然面临很多挑战. 根据不同的线程同步目的和粒度对GPU并行编程中的线程同步进行分类. 在此基础上, 围绕GPU线程同步的表达和执行, 首先分析总结GPU线程同步存在的难以高效表达、错误频发、执行效率低的关键问题及挑战; 而后依据不同的GPU线程同步粒度, 从线程同步表达方法和性能优化方法两个方面入手, 介绍近年来学术界和产业界对GPU线程竞争同步及合作同步的研究, 对现有研究方法进行分析与总结. 最后, 指出GPU线程同步未来的研究趋势和发展前景, 并给出可能的研究思路, 从而为该领域的研究人员提供参考.     

WIN32线程同步方法分析与实现

文章分析了WIN32线程同步的一般方法,并提出了一种新的经实践证实也是切实可行的线程同步方法.     

线程同步技术及其应用

在水情电话自动报警、查询系统软件开发中使用的线程同步技术,比较了MFC中线程同步的几种方法。     

如何利用MFC实现线程间的同步

利用MFC提供的几个线程同步对象类,编写了几个线程安全类.采用这几个线程安全类可以实现不同情况下的线程同步问题.     

如何利用MFC实现线程间的同步

本文利用了MFC提供的几个线程同步对象类,编写了几个线程安全类,利用这几个线程安全类可以实现不同情况下的线程同步问题。     

Java语言中的线程与线程控制

Ｊａｖａ语言中线程的含义，线程的结构，线程的几个重要状态及其状态转换图，线程的调度原则和线程同步的方法。并给出了相应的程序     

QNX环境下多线程编程

介绍了QNX实时操作系统和多线程编程技术，包括线程间同步的方法、多线程程序的分析步骤、线程基本程序结构以及实用编译方法。     

基于全同步对覆盖的线程调度序列生成方法

针对多线程并发程序生成覆盖同步语句的线程调度序列(TSS)效率低问题,提出了一种基于全同步对覆盖(APSC)准则的TSS生成(TGBA)方法。首先,对并发程序中的同步语句,定义了同步对及APSC;然后,给出了一个同步对-线程关联图(SPTG)构建方法;在此基础上,生成满足APSC的TSS;最后,使用JPF检测工具,对4个Java类库并发程序进行了TSS生成实验,并与常用的默认线程调度(DS)、抢占式线程调度(PS)和交叉线程调度(CS)序列生成方法在生成效率方面进行了对比分析。实验结果表明,与DS、CS方法相比,TGBA方法生成的TSS能够覆盖全部同步对;当满足APSC时,与PS方法相比,TGBA方法测试生成所需要的状态数、迁移数至少减少了19889和44352,并且生成效率平均提升了1.95倍,因此TGBA方法能够降低状态空间的规模开销,提高TSS的生成效率。     

基于多线程技术的双缓冲信息存取

分析了分布式防空C^3I的分布仿真的通信信息的特点：信息的多样性和时效性，分析了线程同步方法和防死锁方法。利用VJ 6．0的多线程技术，建立了缓冲类、存信息线程类和取信息线程类，利用VJ 6．0的多线程技术实现了网络通信信息的双缓冲存取。通过线程的同步、并发处理，提高了信息存取的时效性。此方法在仿真程序中得到了很好的应用。     

动态菜单和窗口的自动创建与管理

为了提高通用分布式显控软件的通用性和灵活性，显控软件基于控制文件进行设计，本文介绍了根据控制文件自动生成并管理动态菜单的技术，介绍了利用动态数组窗口进行管理，对窗口关闭时的线程进行同步的技术。     

Synchronizing automata with finitely many minimal synchronizing words

A synchronizing word for a given synchronizing DFA is called minimal if none of its proper factors is synchronizing. We characterize the class of synchronizing automata having only finitely many minimal synchronizing words (the class of such automata is denoted by FG). Using this characterization we prove that any such automaton possesses a synchronizing word of length at most 3n-5. We also prove that checking whether a given DFA A is in FG is co-NP-hard and provide an algorithm for this problem which is exponential in the number of states A.     

基于操作系统调用的容错计算机系统同步技术研究

同步是实现基于表决的容错计算机系统的关键过程．现有的采用基于硬件或应用软件同步技术的系统存在设计和制造困难、兼客性差和难以使用等问题．提出了一种基于操作系统调用的同步机制；描述了其同步算法；介绍了在Linux操作系统上的实现．该同步机制对应用程序完全透明，同步点无需人工设置，同步算法由软件和硬件结合的方式实现．实验结果表明该同步机制是可行的，较好地达到了系统易设计和好使用的目标．     

Shortest synchronizing strings for Huffman codes

Most complete binary prefix codes have a synchronizing string, that is a string that resynchronizes the decoder regardless of its previous state. This work presents an upper bound on the length of the shortest synchronizing string for such codes. Two classes of codes with a long shortest synchronizing string are presented. It is known that finding a synchronizing string for a code is equivalent to finding a synchronizing string of some finite automaton. The Černý conjecture for this class of automata is discussed.     

拟陷阱同步自动机的最短同步字的长度

既非陷阱也非强连通的同步自动机称为拟陷阱同步自动机。对于任意的拟陷阱同步自动机A,利用其强连 通子自动机的状态数给出了A的最短同步字的长度的一个上界,进而获得了A满足Lcrny猜想的一个充分条件。     

Some Aspects of Synchronization of DFA

A word w is called synchronizing （recurrent, reset, directable） word of deterministic finite automata （DFA） if w brings all states of the automaton to a unique state. According to the famous conjecture of Cerny from 1964, every n-state synchronizing automaton possesses a synchronizing word of length at most （n - 1）2. The problem is still open. It will be proved that the Cerny conjecture holds good for synchronizing DFA with transition monoid having no involutions and for every n-state （n 〉 2） synchronizing DFA with transition monoid having only trivial subgroups the minimal length of synchronizing word is not greater than （n - 1）2/2. The last important class of DFA involved and studied by Schutzenberger is called aperiodic; its automata accept precisely star-free languages. Some properties of an arbitrary synchronizing DFA were established.     

手语合成中的多模式行为协同韵律模型

利用大量真实多模式行为数据进行学习训练、获取单模式行为的韵律模型以及多模式行为之间的协同关联模型的方法,来实现虚拟人多模式行为之间的协同.重点给出了多模式行为的韵律模型描述,同时给出基于手语韵律参数与语音韵律特征融合的协同控制韵律模型以及韵律参数获取方法,并运用于多模式行为协同控制中,取得了较好的实验结果.与传统的规则法相比,该学习方法更能刻画多模式之间协同关联的复杂性,更好地实现虚拟人多模式行为合成的逼真性.     

关于同步部分规约的有限自动机的优化问题的近似难度

自动机是可同步的是指它具有满足以下性质的同步字:不论自动机当前所处的状态,以同步字为输入执行后它一定会到达某个特定状态。同步自动机问题的核心是计算最短同步字。聚焦于这一核心问题,文中就一类称为部分规约的确定的有限自动机的最短同步字问题,研究了近似计算这类自动机的最短同步字的复杂性,即近似计算它的难度,该工作有助于其近似算法的分析与设计。通过建立由两个优化问题(MAX SAT问题以及MAX FA-INT问题)到最短同步字长度计算这一问题(即Shortest-Syn)的归约,利用与概率可检验证明(Probabilistically Checkable Proofs,PCP)定理和概率可检验辩论(Probabilistically Checkable Debate,PCD)定理有关的若干结果证明了文中的主要结论:对于部分规约的确定的有限自动机,在某个近似因子内Shortest-Syn的近似难度是NP-难的和PSPACE-难的,除非NP和PSPACE分别坍塌到P。     

Stochastic chaos synchronization using Unscented Kalman-Bucy Filter and sliding mode control

This paper presents an algorithm for synchronizing two different chaotic systems by using a combination of Unscented Kalman-Bucy Filter (UKBF) and sliding mode controller. It is assumed that the drive chaotic system is perturbed by white noise and shows stochastic chaotic behavior. In addition the output of the system does not contain the whole state variables of the system, and it is also affected by some independent white noise. By combining the UKBF and the sliding mode control, a synchronizing control law is proposed. Simulation results show the ability of the proposed method in synchronizing chaotic systems in presence of noise.     

深入解析ASF文件在多媒体间同步中的应用

在分析ASF文件的组成及结构并介绍一些常见的同步方法的基础上,给出了一种基于参考点的多媒体间同步方案,并分析了此方案的优缺点。