切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
混成系统的描述和设计与Timed RAISE项目
混成系统的描述和设计与Timed RAISE项目
来源 :计算机科学 | 被引量 : 0次 | 上传用户:longman1026
【摘 要】
:
<正> 1 引言混成系统是包含连续部件和离散部件的实时系统。其中连续部件是满足一定微分方程的物理设备,离散部件是运行程序的计算机及受程序控制的感应器和主动器。混成系统
【作 者】
:
李黎
【机 构】
:
中国科技大学计算机科学技术系
【出 处】
:
计算机科学
【发表日期】
:
2000年7期
【关键词】
:
混成系统
操作符
实时系统
TimedRAISE项目
【基金项目】
:
国家自然科学基金69773025,,博士点基金98035828支持
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
<正> 1 引言混成系统是包含连续部件和离散部件的实时系统。其中连续部件是满足一定微分方程的物理设备,离散部件是运行程序的计算机及受程序控制的感应器和主动器。混成系统的典型例子有:机器人控制系统、计算机辅助制造设备、飞行控制系统等。
其他文献
Petri网的组合并运算及性质
<正> 1 引言 Petri网作为系统模拟与分析的工具已在众多领域得到应用。通过一些较为简单的小网利用某种运算或组合而得到较为复杂的大网,且在组合过程中保持网的某些性质不变
期刊
PETRI网
组合并运算
笛并网
性质
Petri net
Composition union net
Cartesian union net
Struc
考虑调峰约束的高比例风电弃风特性研究
近年来,我国弃风电量连续增长,弃风将是我国风电发展面临的巨大挑战。文章根据我国风电发展现状和趋势,基于时序生产模拟方法进行高比例风电运行场景模拟,获得不同风电穿透率
期刊
高比例
风电
弃风序列
弃风特性
high penetration
wind power
wind power curtailment sequence
支持实时宽带通信的Internet网络控制体系结构
<正> 1 引言目前从理论上只有基于ATM技术的B-ISDN可以支持实时宽带通信,满足各种业务的QoS需求(带宽、信息传输的延时、抖动和差错率)并且能够具有较高网络利用效率。前者意
期刊
宽带通信
B-ISDN
ATM
INTERNET网
体系结构
Real time Internet network
Broadband network
Mu
一种基于服务方脚本的CORBA与Web集成方案
<正> 1.引言现代信息社会对信息日渐迫切的需求,以及信息量的日益增大,要求对信息处理能力越来越强。其中,最重要的实现途径就是采用分布计算技术。当前成熟的分布计算技术有
期刊
CORBA
WEB
集成
服务方脚本
INTERNET网
CORBA
Web
CorbaScript
Server-side script
Script
主动结点启动的可靠多播通信
<正> 一、概述在Internet网上实现多播通信还存在没有完全解决的技术问题,如反馈信息爆炸、丢失数据局部恢复功能等,针对这些问题目前有两个主要研究方向:定时器方法(如SRM)
期刊
INTERNET网
多播通信
主动网络
数据恢复
Active-node-initiated
Active network
Reliable multicast
现代操作系统概论
<正> 一、引言给现代操作系统一个明确的界定是一件很难的事情,因为操作系统的发展历史是一个连续的过程,不可能割裂开来。好在本文的目的并不在此。我们只是用现代操作系统
期刊
操作系统
资源管理
系统界面
用户接口
Operating system
Kernel
Subsystem
API
User interface
System
网络管理中的建模技术
<正> 人们在研究一个实际系统时,往往先建立系统的模型,通过对模型的研究,获知该系统的特性。所谓模型就是对实际系统的一种抽象的、本质的描述,它是人们模仿在研究中的系统
期刊
网络管理
建模
电信网管理
电话网
Network model
Network management
Modeling technology
Inform
智能模拟方法的分析与研究
<正> 1956年诞生的人工智能经过了四十多年的风风雨雨、大起大落,现在,无论是智能模拟研究者还是关心智能模拟的其它行业的研究者都已经能够以一种科学和客观的态度来看待智
期刊
人工智能
智能模拟方法
符号处理
神经网络
Intelligence
Intelligence simulation
Intelligence simulati
事务分片算法
<正> 1 引言随着分布式计算的发展,对数据源的远程访问显得越来越重要。新一代的数据库系统(如多数据库系统)要求支持复杂的对象操作、高难度查询和多媒体应用程序。在异构操
期刊
数据库系统
事务分片算法
事务处理
Transaction instance
Transaction program
Chopping
移动客户机的缓存同步算法
<正> 1.移动客户机缓存简介在移动数据库系统中,移动客户机(MobileClient,简称MC)的缓存技术可以用于支持MC的断接操作,即在MC与数据库服务器中断网络连接时,允许用户继续对
期刊
移动客户机
缓存同步算法
移动数据库
数据库
Mobile computing
Cache
Synchronization
Mobile database
与本文相关的学术论文