具有并发事件的离散事件系统的动态监控

本文用受控Ｐｅｔｒｉ网为具有并发事件的离散事件系统建模，研究了该模型了的离散事件系统的禁止并发事件串的控制问题，利用合法语言及合法语言的最大可控子语言来规范监控器，并提出了一种动态监控的方法。．     

并发矢量离散事件系统的状态反馈控制

以自动机为模型 ,利用形式语言讨论了并发事件存在的情况下 ,矢量离散事件系统的非确定状态反馈控制 ,对所得结论给出了证明     

基于UNIX多线程的数据处理模型的研究与应用

从多线程的概念出发,探讨了Unix环境下多线程的基本理论。提出了基于多线程技术的数据处理模型,并通过重庆电信计费审核系统,给出了在IBMAIX环境下该模型的应用实例。     

WITNESS环境下基于改进型IDEF3方法的离散事件仿真建模

针对WITNESS仿真环境下，复杂离散事件仿真建模过程中出现的大量顺序、并行、同步、冲突及因果依赖等关系，提出采用改进型IDEF3方法进行仿真建模．采用仿真规则与交汇点集成、行为单元与仿真信息数据集成的原则进行建模；同时在IDEF3方法的基础上，建立新的行为单元，达到了仿真单元的可重用和可重构性，大大提高了仿真建模的速度，减少了建模难度．最后，给出了在改进型IDEF3方法下进行离散事件仿真的框架，并在仿真软件WITNESS的基础上，通过实例详细描述了建模过程．     

离散事件系统仿真建模与仿真策略

离散事件系统仿真是现代仿真技术的主要研究热点之一．离散事件系统是一类在工程技术、经济、军事等领域常见的系统，它们的状态在一些不均匀的离散时刻发生变换且状态变换的内部机制比较复杂，往往无法用常规的数学方法来描述．离散事件系统仿真是当前研究这一类系统的最有用处的方法之一．要对系统进行仿真研究，首先需要建立系统的仿真模型．笔者比较详细地探讨了离散事件系统仿真建模的核心一仿真流程管理、离散事件系统的三种仿真建模策略，即：事件调度法、活动扫描法、进程交互法．     

具有硬实时上限的离散事件系统的建模

实时离散事件系统中有两种具有硬实时上限的离散事件———有界事件和有效期事件,它们比基本实时离散事件———无界事件和强迫事件具有更强的时间约束,对包含这两类事件的系统进行研究就变得十分复杂．文中给出了基于基本实时离散事件的Ｐｅｔｒｉ网模型,并为有界事件和有效期事件找到了由基本实时离散事件构成的Ｐｅｔｒｉ网模型,从而使文中的模型能够描述更广泛的离散事件系统．     

离散事件控制系统规则化描述方法的研究

离散事件控制系统(DECS)是离散事件系统(DES)在控制领域的一个应用类别,具有并发性、多值性、时序性和需求易变等特点。文章分析了现有的各类逻辑层DES建模方法在DECS建模和分析方面存在的缺陷,在此基础上,运用专家系统中的规则表达方法和递阶DECS简约技术,从逻辑层角度,建立了一套规范、简洁、贴近自然语言和易于理解的DECS规则化描述方法。     

离散事件系统的一种分布式仿真算法

本文针对串行同步仿真方法及Chandy-Misra异步分布式仿真方法所存在的优缺点,采用折衷方案,提出了一种新的离散事件系统分布式仿真方法。这种方法首先将系统分解为N个子系统,它们分别在N个微处理机上基于串行事件驱动仿真方法进行仿真,而在各微处理机间存在着异步性。为了避免仿真死锁,引入了一中央控制器来协调子系统间的异步仿真。最后,建立了0-1整数规划模型以实现系统的最优分解。     

基于Java语言的多线程实现技术

当今的大多数操作中已采用了多线程技术，文章论述了进程和多线程的基本概念，Java语言中的多线程实现机制，探讨了不同平台对多线程的影响。     

分布式离散事件系统的安全可诊断性算法

采用有限状态自动机对分布式离散事件系统建模, 提出一种分布式离散事件系统的安全可诊断性算法. 首先, 获得系统的全局模型, 剪枝并确定系统是否可诊断. 若系统可诊断, 则构建该系统的安全诊断器, 在全局模型中添加安全标签, 判断系统是否安全可诊断. 实验结果表明: 该算法可判断分布式离散事件系统是否安全可诊断, 缩小了求解空间; 最好情况下实例状态数约缩减至7倍, 平均情况下实例状态数约缩减5.45倍.     

基于Java多线程的并行计算技术研究及应用

针对高可靠、高质量Java并行多任务程序设计,分析了Java多线程的同步机制、调度算法和通信机制的原理,探讨了多线程并行计算程序的设计方法,构造了一个具有一定实用价值的多线程并行计算应用的实例,最后指出了Java多线程的不足。     

基于数据分割的二维离散余弦变换并行算法及其在图像压缩中的应用

针对算法运行时间随问题规模增大而迅速增加这一特性,探讨了一种基于WIN32环境搭建PVM并行虚拟机的具体方法,设计了一种基于数据分割的二维并行DCT算法,并把该算法应用于基于JPEG的图像压缩实际,同时设计了相应的实验方案.通过在串行和并行环境下进行对比实验,结果表明:在运算量随着问题规模增加的时候,并行方案能有效地改善算法运行性能.     

新型4自由度并联机构的动力学建模与分析

对虚拟轴工作台并联机构做了静力分析和动力分析.采用分析静力学的虚位移原理建立静力平衡方程,并用该方程计算了机构处于某种静力平衡状态下的平衡驱动力及力矩.采用影响系数矩阵及应用达朗贝尔原理建立了机构的动力学模型,并对并联机器人做了虚拟样机动力学仿真.机构的力分析为虚拟轴工作台样机的主动副驱动力设计提供了参考.     

Financial data modeling by using asynchronous parallel evolutionary algorithms

In this paper, the high-level knowledge of financial data modeled by ordinary differential equations (ODEs) is discovered in dynamic data by using an asynchronous parallel evolutionary modeling algorithm (APHEMA). A numerical example of Nasdaq index analysis is used to demonstrate the potential of APHEMA. The results show that the dynamic models automatically discovered in dynamic data by computer can be used to predict the financial trends. Biography: Wang Chun ( 1969-), male, Ph. D candidate, research direction: e-business.     

基于CFD-DEM耦合并行算法的锥形喷动床内离散颗粒数值模拟

基于FLUENT软件的MPI平台,在二次开发框架内通过用户自定义函数文件实现了CFD-DEM耦合并行算法.该并行算法具有随CPU核数增加的较佳扩展性能和良好加速性能.通过构建空隙率标量场、重组基于局部平均并考虑气-固相互作用的气相控制方程,提高了气相控制方程的求解稳定性与收敛性;通过软球模型确定颗粒-颗粒及颗粒-壁面间的相互作用,以曳力模型为基础建立了相间相互作用关系.将该CFD-DEM耦合并行模型应用于锥形喷动床气固两相流动的数值模拟中,结果表明:该CFD-DEM耦合并行模型能较好地模拟锥形喷动床内气固流动行为;锥形喷动床内的颗粒流动经历了鼓泡阶段和稳定流态化阶段;在稳定流态化阶段,物料流动具有明显的周期性.基于锥形喷动床内颗粒相的瞬时速度场,获得了稳定流态化阶段颗粒的时均速度分布规律.     

低信噪比下的并行多延时相关帧同步算法

为提高正交频分复用(OFDM)在低信噪比环境下的同步性能和抗噪能力,提出了一种并行多延时相关帧同步算法。该算法充分利用帧的前导训练符号周期重复的特点,在接收端滑动窗中并行处理多种延时相关运算,通过阈值判决进行帧检测,同时完成载波频率同步,进而实现OFDM帧同步。该算法无须改动现有系统的物理帧结构,也不增加系统延时。理论分析和在加性G auss白噪声信道下的误帧率(FER)性能仿真证明:该算法的误帧率约为现有参考方案的1/10,信噪比(SNR)比参考方案提高约7 dB,能够工作在信噪比小于-1 dB的环境。     

受控赋时Petri网在批处理系统建模中的应用

将受控赋时Ｐｅｔｒｉ网用于批处理生产过程中离散事件系统的建模,并通过为动作库所赋予不同的时间参数,对化工批处理过程中特有的零等、有限时间等待的中间存储策略进行建模和分析。控制库所的引入,可消除资源争用冲突．。     

2.5维直流电法正演中Fourier逆变换离散波数的最优化选取

从优化模型和计算方法2方面改进点源2.5维直流电法正演中Fourier逆变换离散波数的最优化选取方法.首先利用均匀半空间点源电位的精确解,基于最小二乘法给出计算离散波数的改进非线性最优化问题;然后,利用差分进化(DE)算法进行求解;最后,研究参与计算的电极距数对模拟精度的影响.对具有解析解的典型地电模型,通过与已有文献计算结果进行比较,验证方法的可行性.研究结果表明:增加参与计算的电极距数可有效提高视电阻率曲线近源处的计算精度,并能保证较大电性差异情形下的计算精度;与现有离散波数相比,本文方法得到的波数具有更高的精度和更大的适用范围.     

时变结构动力响应分析的粗粒度并行算法

在线性时变以及非线性周期时变系统的响应计算问题中,由于在每个时间步上都需要更新系统矩阵、形成等效矩阵并对其进行三角分解,相对定常系统响应逐步积分,时变系统的计算量成倍增加。本文针对工程中的线性时变系统以及非线性周期系统,在分布式网络并行计算机群环境下设计并实现了一个粗粒度并行Ｎｅｗｍａｒｋ法,并将其应用于大型岸边起重机／运行小车系统以及直升机旋翼／机身耦合气弹响应问题,获得了较高的并行效率。     

基于WIA-PA协议的时间同步算法的研究与实现

基于时分多址的WIA-PA(wireless networks for industrial automation-process automation)网络中,高精度的时间同步是保证系统可靠、安全、无误、实时地传输的重要条件。通过分析WIA-PA协议以及现有经典时间同步算法的特点,提出了一种适用于WIA-PA协议的时间同步算法。该算法在WIA-PA协议单向时间同步方式的基础上,引入了延迟时间同步算法作为具体的同步算法,通过修改标记时间戳的位置和加入线性回归补偿对其进行改进,从而减少了不确定性因素的影响。在CC2530上得到实现验证,实验结果表明,该同步算法在满足WIA-PA协议规范的情况下,能达到较高的时间同步精度。