非线性切换系统的异步事件驱动控制

事件驱动控制是一种减少通讯总量并能保持闭环系统性能的有效控制策略.在事件驱动控制中,由于取样时刻与切换时刻之间的异步会导致子系统与控制器之间的异步切换,造成切换系统的不稳定.因此,考虑非线性切换系统的异步事件驱动控制问题显得尤为重要.为了解决这一问题,首先从结构简单的线性部分和非线性部分级联的非线性切换系统入手,基于该...     

基于关系型数据库的工作流系统研究

提出了一个基于关系型数据库的、面向Web的工作流系统的设计方案。详细描述了系统独有的优点；给出了系统采用的完全事件驱动工作流引擎；介绍了工作流系统建模结构；最后给出了系统的关键技术和创新点.     

基于DSP—USB的运动控制器的开发与应用

结合数控系统典型功能开发了基于DSP和USB的运动控制器，给出了DSP与PDIUSBD12的接口电路,分析了USB的驱动程序结构和传输类型，提出了一种基于USB事件驱动的运动控制器通信方法,系统具有可靠性高，功能全，人机界面友好的特点，在实际应用中取得良好效果.     

VB MSOomm控件在幕墙抗风压检测系统中的应用

系统在VB环境下对MSCcomm控件进行编程，通过对MSComm控件属性的设置使其工作在事件驱动通信方式下，并设计AT90S2313单片机和计算机的通讯协议，使单片机能够通过MAX485串行接口电路把采集到的数据以中断的方式传送到计算机中，计算机对传送上来的数据进行低通滤波运算，保证数据的有效性，并对采集到的正确数据进行数学分析，根据计算后的结果分析幕墙抗风压性能的优劣．系统有效地减少了单片机处理数据的运算量，并且通过VB编程实现清晰明了的人机交互界面，方便用户的使用．     

面向图形化编程的事件触发并发数据流模型

目前的许多图形化编程语言（又称为可视化语言）多是基于动态纯数据流DHDF(dynamic homogeneous dataflow)。由于DHDF的自然属性（数据驱动）与操作系统事件驱动模型不能很好地结合，导致了两个明显的不足；运行效率低，CPU占用率高；对外部事件响应速度慢，系统实时性差，文中提出了一种事件触发并发数据流ECDF(event triggered concurrent dataflow)模型，并给出了基于该模型的图形化编程语言的构建技术。ECDF模型通过引入多优先级线程以及事件触发机制，在很大程度上提高了系统的实时性与运行效率，并且使得基于该模型的图形化编程语言能够实现事件驱动、阻塞调用及重叠I/O等各种操作模式，通过一个面向测试系统的图形化程序实例表明：ECDF模型确实大大提高了图形化程序的运行效率和对外部事件的响应速度。     

双协调简支界面模态综合法

本文提出了双协调简文界面模态综合法．该方法是在简支界面模态综合法的基础上，为进一步提高精度，除了采用主模态约束模态外，又计入高阶截尾模态的影响，用对应放松界面约束的界面力作为广义坐标．在综合系统方程时，利用界面位移，界面力协调条件消去了界面力广义坐标形成了系统的运动方程，将简支界面法发展为双协调简支界面法．     

基于事件驱动机制的多智能体系统协调控制研究综述

为了减少对网络带宽、通信成本及智能体自身能量等有限资源的不必要的浪费,近些年来,基于事件驱动机制的多智能体系统协调控制的问题受到大量学者的关注,成为了国内外研究的热点.本文集中讨论了几类典型的事件驱动机制,着重介绍了集中式、聚类式、分布式事件驱动机制,自驱动机制和基于边信息的分布式事件驱动机制的设计思想及研究进展.此外,排除芝诺行为作为事件驱动机制研究的关键性问题之一,本文指出了其早期研究存在的盲点,并总结了两类有效的分析方法.最后,给出了事件驱动机制研究亟待解决的问题,并对其理论和应用研究进行了展望.     

基于事件驱动的无人机强化学习避障研究

强化学习方法在避障研究中应用广泛,针对其需要消耗大量的计算资源问题,本文提出一种基于事件驱动的无人机强化学习避障算法.通过在强化学习中加入事件驱动的触发机制,减少无人机的动作决策的同时找到最优路径,既可以保证性能,又可以降低系统的通信频率.实验的仿真结果表明,该算法可以在学习过程中减少对计算资源的消耗,并且完成避障任务的同时可以明显加快收敛速度.     

TFSMIS的开发及其Client/Server结构实现策略

在对田径运动会涉及的各种信息流进行深入分析和研究的基础上,采用结构化方法开发了一个既适合于专业化又适合于群众性田径运动会的管理信息系统（ＴＦＳＭＩＳ）,提出了在Ｃｌｉｅｎｔ／Ｓｅｒｖｅｒ（客户机／服务器）结构下的实现策略．对运动会在分组和日程编排过程中遇到的各种复杂情况和冲突找出了解决算法,使系统能够自动分组、自动编排竞赛日程以及处理运动员兼项冲突．该系统利用功能强大的ＶＦＰ５．０作为实现工具,使其具有图形化界面和事件驱动的特点．系统具备以下７大功能：组织与章程管理、代表队和运动员注册、分组与日程编排、裁判员管理、检录管理、成绩统计和系统管理．     

TFSMIS的开发及其Client／Server结合实现策略

在对田径运动会涉及的各种信息流进行深入分析和研究的基础上,采用结构化方法开发了一个既适合于专业化又适合于群众性田径运动会的管理信息系统（TFSMIS）,提出了在Client/Server（客户机/服务器）结构下的实现策略。对运动会在分组和日程编排过程中遇到的各种复杂情况和冲突找出了解决算法,使系统能够自动分组、自动编排竞赛日程以及处理运动员兼项冲突。该系统利用功能强大的VFP5.0作为实现工具,使其具有图形化界面和事件驱动的特点。系统具备以下7大功能：组织与章程管理、代表队和运动员注册、分组与日程编排、裁判员管理、检录管理、成绩统计和系统管理。     

A unified linear-time temporal logic solution to the steam-boiler control specification problem

The TLL XYZ/E is a formal language able to represent the dynamic semantics and the static semantics in a unified framework. It supports the whole process of program development, i.e. from the abstract specification to the efficiently executable program in a formal, precise and convenient way. The steam boiler control specification problem, a large case study in the fields of real time, hybrid and communication systems, is discussed with XYZ/E. The approach covers physical model construction, formal specification, stepwise refinement, verification, executable program and visual user interface programming.     

基于指标适度标准化的界面风格美综合评价模型

为了客观、定量地评价界面布局的美度,从设计风格的角度,提出非线性审美综合评价模型. 以“活泼美”为例,基于已提出的美度指标体系,针对各美度指标的形式特征设计各组实验样本,计算各样本美度指标值,运用李克特量表法对“活泼美”进行调查评分;运用最小二乘法将各美度指标值与“活泼美”调查值进行曲线拟合,得出关系表达式,实现美度指标适度标准化;运用逼近理想解排序法和相关性定权法,建立界面布局“活泼美”的综合评价模型. 对10个界面样本进行实例研究,运用心理物理学中的两极递进式排序法对模型进行验证分析。结果表明,模型具有良好的精度,可以作为界面智能设计系统的适应度评价函数,为界面智能设计的发展提供可靠的技术支撑.     

城市街道侧界面连续性的控制研究

从街道与侧界面的关系入手,在形式美的连续性和安全性要求两方面探讨了街道界面连续性的意义,并提出了沿街建筑高度、沿街建筑贴线率、建筑高宽比和建筑屋顶轮廓线等街道侧界面连续性控制的具体指标与方法。最后结合SOM的深圳中心区22、23—1街坊城市设计对街道侧界面形态控制的成功案例,说明了街道侧界面连续性控制要素及对策的可行性,从而为具体的城市规划管理提供参考依据。     

基于对象叠加的运行速度优化的研究

提出一种加速多组件嵌入式系统应用软件运行速度的方法。该方法根据多组件系统中组件本身的特性将图形界面逻辑分离为动态区域和静态区域,采用形式化方法描述了动态区域,并对静态区域采用对象叠加优化技术。实验结果表明：该文给出的基于对象叠加技术加快嵌入式系统运行速度的方法是可行的、有效的。     

基于演算的工作流建模方法研究

工作流模型缺乏一种支持过程定义以及过程分析的形式化数学模型,而π演算是一种移动进程代数运算,可用于对并发和动态变化的系统进行建模.首先提出了基于兀演算的工作流建模方法,然后经过对多种建模工具的比较和分析后,利用π演算对业务流程结构进行了形式化定义,详细地阐述了各种活动和依赖关系在π演算中的表示.该方法是完全形式化的方法,具有较强的语义表达能力,便于工作流的执行、推理和仿真等.     

嵌入非线性黏弹性材料弹性尖楔尖端的应力、应变场

套管损坏是石油工程研究中的重要问题之一,引起套管损坏发生的主要原因是在采油过程中油藏结构变化改变了原地应力场的分布以及不同岩层间界面的相对滑动.建立了以油藏隆起为尖楔嵌入非线性黏弹性材料的界面断裂力学模型.在平面应变条件下,通过奇异量级分析、运动方程和协调方程,推导出在尖楔尖端的非线性黏弹性材料中的控制方程.根据问题的边界条件和连续条件,通过数值计算得到了尖楔尖端连续的分离变量形式的应力、应变和位移场.数值计算表明,尖楔尖端场分布主要受材料的力学特性、地层倾角和摩擦系数的影响.模型阐明了套管剪切损坏力学机理,研究的结果为解决套管损坏问题提供了理论上的参考依据.     

SOC的形式化验证方法

针对SOC验证的需要,研究了形式化验证方法,重点分析了二元决策图(BDD)的等效性检查技术,设计了FSM等效性检查的程序,以及算法级描述控制流程到BDD转换方法;研究了利用计算树逻辑进行的模型检查技术,给出了CTL模型检查的处理流程;提出了形式化仿真的模型以及测试向量生成算法.     

协议模型形式描述方法与趋势

本文分析了协议模型形式描述方法(自动机法,Petri-net法,高级语言模型,语义学模型,时态逻辑,代数模型,混合型模型)和特点,并简要介绍了协议形式描述技术的应用和发展趋势。     

COBOL语言形式语义模型的构造

用形式技术描述过程序语义,是近年来有较大发展的一门前沿技术,其目标是用一个严格定义的形式模型表达程序的语义.这对于程序的形式开发与验证有着重要的意义.国外将它誊为“九十年代软件开发新模式的革命性方法”.本文采用这门技术构造了 COBOL 语言的形式语义模型.用抽象的形式描述等同表达 COBOL 语言文本定义中关于静态语义,功态语义的文字描述规则.第一次较完整地给出一个 COBOL 语言的形式语义模型.     

一种基于Agent的辩论谈判中的反驳模型

在对模型作出相关假设后,运用形式逻辑理论建立了一种基于Agent的辩论谈判中的相关反驳模型,并对此模型进行了举例说明.在此基础上,提出了评价此反驳模型中有关反驳谈判力度的形式化模型即评价的具体计算方法.最后,将上述模型应用于一个相关的谈判实例,并拟定相关数据和权重,通过模拟谈判的过程和相关计算,验证了该模型的正确性和有效性.