基于Java NIO的高校心理咨询系统的研究与设计

分析了高校心理咨询系统采用多线程技术实现网络通信存在的不足,简述了Ja-va非阻塞通信的基本原理,分析了应用非阻塞通信技术实现心理咨询系统的几个关键技术。系统采用非阻塞I/O通信技术只使用一个线程并行实现大量客户无阻塞地通信,有效地减少了系统开销,较好地提升了系统的性能。     

Java非阻塞I/O在乡村可视化远程医疗系统中的应用

分析了乡村可视化远程医疗系统采用多线程技术实现网络通信存在的不足,阐述了Java非阻塞I/O的基本原理.系统采用非阻塞I/O通信技术只使用一个线程并行实现大量客户无阻塞的通信,有效地减少了系统开销,较好地提升了系统的性能.     

输液泵阻塞报警性能检测系统的研究

开发了一种以计算机为平台的输液泵阻塞报警性能检测系统,以实现对输液泵阻塞报警性能的检测。本系统以计算机为核心,采用PCI-1710数据采集卡,ADAM-3014信号调理模块和MPX2200压力传感器对输液泵阻塞报警性能进行检测,并以VC＋＋6．0作为上位软件开发工具,编制了人机交互界面友好的输液泵阻塞压力检测软件。利用标准压力器对本系统进行的试验测试数据表明：本系统具有较高的检测精度,在0-200kPa量程范围内最大误差为2．2％,满足精确检测输液泵阻塞报警性能要求。     

基于时序的单片机多任务系统驱动策略

在单片机系统开发中，多任务系统容易出现调度阻塞。本文分析了产生任务阻塞的原因，提出了一种基于时序逻辑的多任务驱动策略，通过具体案例设计了常用外围模块的多任务驱动模板。实验结果表明，该多任务系统调度策略能够有效保证多任务系统运行流畅，有效解决了多任务阻塞问题，为基于单片机执行多任务系统开发提供了一个新思路。     

基于机器视觉系统的非阻塞型链式复合缓冲队列设计

在机器视觉在线检测系统中,使用数据缓冲队列技术可以提升系统检测速度的上限.但由于队列在同步数据过程中,可能发生满阻塞和互斥阻塞的情况,这样又降低了数据缓冲队列带来的性能提升.为此提出一种链式复合结构,消除队列在同步数据时的阻塞问题.针对机器视觉系统中,相机成像与图像处理之间的单生产者/单消费者并发模型,实现了对图像数据的非阻塞同步,运行效率达到了wait-free级别,避免了各类阻塞给队列带来的性能损失.将该复合结构应用于雪糕棒表面缺陷在线检测系统中,经测试该方法可有效提高视觉检测系统的运行效率和鲁棒性.     

基于状态树结构的离散事件系统模块化监督控制

在状态树结构(State tree structures, STS)的基础上提出了离散事件系统的模块化监督控制方法. 该方法中, 系统模型是状态树结构模型, 控制指标以谓词形式给出. 把控制指标分解为几个子控制指标的合取形式, 对每个子控制指标分别设计非阻塞最优监督控制器, 并保证闭环系统行为满足控制指标要求且是非阻塞最优的. 本文研究了模块化监督控制器存在性条件, 给出了模块化监督控制器的综合过程; 当闭环系统阻塞时, 引入协调器来解决闭环系统阻塞问题并且给出了协调器的设计方法.     

基于Rabbit 2000的Socket网络编程

介绍了Rabbit2000微处理器和Dynamic C开发系统的优点，并对基于RCM2200模块开发的交换式以太网测控系统进行了说明。分析了使用阻塞型函数实现通信的方式和使用非阻塞型函数实现通信的方式，并给出了两种编程方式的主要流程，结合实际通信控制系统给出了使用阻塞型函数实现通信的仿真结果。     

冲突减弱型LEO多址协议性能仿真分析

针对PRMA-HS协议中系统阻塞概率较大的问题,引入微时隙概念,提出了具有冲突减弱功能的MPRMA-HS协议,通过对可用时隙的再划分,增加系统竞争时隙数量,以降低系统拥塞。建立了协议模型,利用平衡点分析法对协议的接入阻塞概率、系统丢包率和吞吐率进行了理论推导。通过计算机仿真给出了协议的性能曲线,并与PRMA-HS进行了对比。结果表明,MPRMA-HS协议所能支持的最大用户终端数比PRMA-HS协议提高11.9%,而接入阻塞概率和丢包率均小于PRMA-HS协议。     

MPI技术在胶州湾水质预报系统的应用研究

为了能够更高效的提高胶州湾水质预报系统的运行速度,在原有基于串行模式的预报系统中引入了消息传递接口MPI (message-passing interface)并行处理技术,并在该系统中分别采用组通信模式和非阻塞通信模式,把整个水质预报系统分解为多个子任务,在基于MPI消息传递模式的集群系统中分别进行运算,通过实验表明了两种通信模式在运算速度上的差异,在预报系统中非阻塞通信模式比组通信模式更加优化.因此,非阻塞通信模式对水质预报模式的改进具有很大的潜力.     

基于P2P技术的BT系统阻塞算法分析

随着Bit Torrent系统的广泛使用,Bit Torrent引起了学术界的极大关注。已有的研究工作主要集中于Bit Torrent测量、建模和算法等方面。该文通过对BT系统的阻塞算法的分析研究,指出存在的问题,为提高阻塞算法研究提供依据。     

Modeling problems of hybrid event dynamic systems

This paper is aiming at discussing modeling problems of hybrid event dynamic systems, which consist of continuous, discrete and inference-decision event dynamic systems. The event is the fundamental element of all kinds of event dynamic systems mentioned above. The very important meaning of the hybrid event dynamic system is that the large scale, complex and especially comprehensive systems could be abstracted as a hybrid event dynamic system, whose concept and theory are convenient for studying and analyzing them. Therefore, this paper discusses the problems about event, continuous, discrete, inference-decision and hybrid event dynamic systems and its modeling.     

Non‐blocking decentralized control of discrete event systems based on Petri nets

The non‐blocking property of discrete event systems can formulate many practical and important properties of manufacturing systems, such as deadlock freeness, liveness and reversibility. But it is difficult to guarantee non‐blocking control. This paper presents a hybrid approach to decentralized control of discrete event systems. More generalized constraints are considered in this approach, which gives a graphical way of designing coordinators to keep the non‐blocking property of the closed‐loop system with decentralized supervisors. This approach also guarantees that the closed‐loop system is maximally permissive. Copyright © 2010 John Wiley and Sons Asia Pte Ltd and Chinese Automatic Control Society     

非线性DEDS的标准结构

非线性DEDS是指由极大极小函数描述的系统, 常见于计算机科学、控制论、运筹学等领域, 考虑非自治非线性DEDS的结构问题, 通过引入白色图和凝白色图, 得到了系统能达和能观的两个充要条件以及系统的标准结构, 同时还给出了它们的矩阵表示.     

Stabilization and blocking in state feedback control of discrete event systems

We consider controlled discrete event systems modeled by the Ramadge-Wonham model, with a control specification given in terms of both admissible and target states. We define blocking in state feedback control using the notion of stability of discrete event systems. Intuitively, a system is said to be blocking if some trajectories of admissible states cannot reach target states. For control-invariant predicates we define two performance measures called a prestabilizing measure and a blocking measure. First, we present an algorithm to compute the minimally restrictive nonblocking solution. But the nonblocking solution may be restrictive. Then we present design methods to improve the two performance measures. And we show that the task of logical optimization of a blocking feedback can be done by two steps.     

基于模糊专家规则的离散事件辨识及其在交通诱导中的应用

传统离散事件动态系统中的离散事件状态的转换具有不确定性,其不确定性主要来自状态转向发生时刻的不确定性,而所转向的状态一般具有确定性。本文对具有状态转向时刻和转向状态的二重不确定性的离散事件动态系统进行了讨论,用模糊专家系统来对未来状态和状态迁移时刻二重不确定性的离散事件动态系统进行评价,并以智能交通系统中车辆诱导技术为例,说明了此类模糊专家规则的应用价值。本文提出了一种模拟淬火算法,通过模拟物质加温后急剧冷却的过程来求得目标函数的局部极值,以模拟淬火算法的转向概率作为模糊专家系统中的规则选择概率。该方法有效地保证了事件转换的实时性,提高了交通疏导的效率。     

参数摄动时一类离散事件动态系统的渐近性能估计和鲁棒性条件*

本文针对一类在极大代数上可表示为线性模型的离散事件动态系统,讨论了参数摄动对系统周期稳态性能的影响,给出了定量估计参数摄动下性能改变量的一个关系式,建立了性能对参数摄动不敏感的鲁棒性条件。本文的结果,对确定系统参数的允许摄动范围,使之不破坏离散生产过程的有序和协调运行,是有指导意义的。     

控制模态转移型系统的稳定切换

离散事件决策子系统和数值反馈子系统合成的混合控制系统呈现出复杂的稳定动态 特性.研究了在达到模态切换周期的控制规则下,相应的系统连续状态轨迹的平稳性.给出了具 有较少约束的李雅谱诺夫型判据,不要求全局一致的李雅谱诺夫函数,不要求每个模态下的能 量函数单调递减.     

离散事件动态系统的D-自动机模型

首先引入D-子集和D-语言的概念,在此基础上给出了一类离散事件动态系统的一般形式 化表述--D-自动机模型,并讨论了受控系统的动态行为.最后研究了系统的状态可达性问题.     

离散事件动态系统的D－B动机模型

首先引入Ｄ－子集和Ｄ－语言的概念，在此基础上给出了一类离散事件动态系统的一般形式化表述──Ｄ－自动机模型，并讨论了受控系统的动态行为．最后研究了系统的状态可达性问题．     

Adaptive event‐triggered control for nonlinear discrete‐time systems

This paper focuses on the analysis and the design of event‐triggering scheme for discrete‐time systems. Both static event‐triggering scheme (SETS) and adaptive event‐triggering scheme (AETS) are presented for discrete‐time nonlinear and linear systems. What makes AETS different from SETS is that an auxiliary dynamic variable satisfying a certain difference equation is incorporated into the event‐triggering condition. The sufficient conditions of asymptotic stability of the closed‐loop event‐triggered control systems under both two triggering schemes are given. Especially, for the linear systems case, the minimum time between two consecutive control updates is discussed. Also, the quantitative relation among the system parameters, the preselected triggering parameters in AETS, and a quadratic performance index are established. Finally, the effectiveness and respective advantage of the proposed event‐triggering schemes are illustrated on a practical example. Copyright © 2016 John Wiley & Sons, Ltd.