分享到:

实验室基于Matlab实时工作间的快速原型仿真系统的研究

RTW是Matlab图形建模和仿真环境Simulink的一个重要的补充功能模块,简而言之,它是一个基于Simulink的代码自动生成环境。它能直接从Simulink的模型中产生优化的、可移植的和个性化的代码,并根据目标配制自动生成多种环境下的程序。实时视窗目标是RTW的附加产品,可将Intel80X86/Pentium计算机或PC兼容机转变为一个实时系统,而且支持许多类型的I/O设备板(包括ISA和PCI两种类型)。用户只需安装相关的软件、一个编译器和I/O设备板,就可将一个PC机用作实时系统并通过I/O设备与外部设备进行连接。本文借MatlabSimulink建模并利用Matlab实时视窗目标来进行快速控制原型系统实验。1基本资源1.1软件资源系统资源:Win98。Matlab资源:Simulink(2.0),Real-TimeWorkshop,Real-TimeWindowsTarget,Ccompiler(Microsof...  (本文共2页) 阅读全文>>

《管理科学文摘》1995年08期
管理科学文摘

实时工作的防止碰撞的机器人技术系统

实时工作的防止碰撞的机器人技术系统@冯继民报道了在梅里林得大学研制的在有机器人的封闭...  (本文共1页) 阅读全文>>

《苏州大学学报(工科版)》2009年06期
苏州大学学报(工科版)

基于时间自动机的实时工作流时序约束一致性验证

0引言与一般的工作流系统不同,在实时计算机系统中,时效性对其正确运行极其重要。在实时工作流系统中,违反时序约束有可能导致严重的后果。因此,对实时工作流进行时间建模并对其时序约束的一致性进行验证,以确保实时工作流的每个任务都满足时序约束要求,有着非常重要的意义。而利用传统的工作流技术则很难实现这个要求。本文使用时间自动机作为实时工作流时间建模及时序约束验证的工具。文章介绍了如何将实时工作流图转化成时间自动机模型,并利用时间自动机的机制验证实时工作流时序约束的一致性。1实时工作流及其研究现状自20世纪80年代出现工作流技术以来,不同的研究者和研究机构对工作流分别提出了不同的定义。这些定义都反映了这些基本问题:业务过程是什么(一系列的活动和任务)?谁去做(参与者)?怎么做(活动的执行条件,控制流和信息的定义)?在参考WFMC的工作流定义的情况下,我们将实时工作流定义为:在实时环境下,按照业务对时间性能的约束,能够在各个应用系统之间根据...  (本文共6页) 阅读全文>>

《华东电力》1992年11期
华东电力

3~+网实时工作站简介

《华东电力》1992年第2期刊文《应用3+网处理和传送实时信息》,对调度自动化实时信息上网作了介绍。现从应用出发,介绍3+网实时工作站的构成;网络实时信息接收;建立在工作站基础上的各种实时监控、报表和数据处理等功能的应用。1实时工作站数据通信方式Ll网络结构 网络硬件结构建立在3+网标准配置系统基础上。它以1台工作站作为主机,负责处理和向网上发送远动系统传来的实时信息,而其它工作站则对此信息共享。 为了支持网络实时通信,应用软件包含一个网络I/O接口(NETBIOSI.2)。它提供一种数据报发送和接收功能,从运行实时信息经网络上某一接点(主机),通过网络传输介质向所有需要报文的工作站传送数据报。网络工作站只要暂存相应的NETBIOS名即可广播接收,以实现局域网上应用程序的层层通信。LZ通信规约 通信规约解决主机与工作站间信息分类。主机向网上提供以共享文件方式存在服务器硬盘的整点数据文件,或提供数据报文信息。 每个数据报文按规定为...  (本文共2页) 阅读全文>>

《广西教育学院学报》2010年01期
广西教育学院学报

一种基于时间自动机的实时工作流时序约束建模方法

在实时系统中,系统的正确性不仅依赖于计算结果的逻辑正确性而且与结果的完成时间有关,即实时系统必须在规定的时间范围内对外部或内部的事件作出正确的响应。在实时系统中,时间约束的违反会引起系统效率与性能下降,严重的还会引起整个系统故障,造成严重后果。因此,对实时工作流的时间约束进行形式化描述,进一步进行自动的形式化验证,有着重要的意义。自动机是目前广泛使用应用于有限状态系统建模和验证的一种形式化工具[1]。本文提出一种方法,利用时间自动机建模实时工作流中的时序约束,这样,就可以使用自动机上的形式化验证方法对实时工作流时序约束进行自动的形式化验证。1.实时工作流及其时序约束1.1实时工作流定义实时工作流是指,在实时系统的环境下,按照业务对时间性能的约束,能够在各个应用系统之间根据一系列规则完全自动执行的业务过程。实时工作流由活动、参与者和活动间的依赖关系组成[2,3]。活动是指业务流程中的一个个独立步骤,参与者(应用程序或人)代表活动的...  (本文共4页) 阅读全文>>

《计算机研究与发展》2010年07期
计算机研究与发展

一种基于UML的实时工作流建模方法研究

0引言工作流的概念起源于生产组织和办公自动化领域.它是针对日常工作中具有固定程序的活动而提出的一个概念.目的是通过将工作分解成定义良好的任务、角色,按照一定的规则和过程来执行这些任务并对他们进行监控,达到提高办事效率、降低生产成本、提高企业生产经营管理水平和企业竞争力[1].随着工作流技术的发展,工作流的应用也越来越广泛.而在实时系统中,由于实时系统对于业务的要求不只是任务的完成与否,还有任务完成的时间是否在限定范围之内,这种情况导致利用传统的工作流技术很难描述实时系统中的业务流程.现有的研究中,对于工作流的实时性研究主要集中在以下几个方面:文献[2]对应不同应用场景给出了工作流的具体分类,指明了实时流程的可描述性.文献[3]针对大型实时系统给出了工作流建模要考虑的5个要素:1.可以预计环境的变化;2.异常处理;3.工作流动态改变;4.时间约束;5.工作流的可连接性.但并未针对实时性要求给出具体建模元素,因此不适合实时工作流的建...  (本文共8页) 阅读全文>>