切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
会议论文
XYZ系统对实时控制系统中进程调度和中断机制的描述
XYZ系统对实时控制系统中进程调度和中断机制的描述
来源 :1999年全国理论计算机科学学术年会 | 被引量 : 0次 | 上传用户:kaonub
【摘 要】
:
XYZ系统是一套基于线性时序语义的软件工程CASE环境,XYZ/E作为其核心既可以用于抽象描述也可以用于程序性的细节描述。该文将XYZ应用于专用控制系统。描述了优先抢占式系统的事件机制,为形式化
【作 者】
:
宋悦
郝克刚
【机 构】
:
大学计算机科学系
【出 处】
:
1999年全国理论计算机科学学术年会
【发表日期】
:
1999年期
【关键词】
:
实时控制系统
进程调度
中断机制
抽象描述
形式化方法
域的应用
事件机制
软件工程
抢占式
程序性
语义
线性
时序
环境
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
XYZ系统是一套基于线性时序语义的软件工程CASE环境,XYZ/E作为其核心既可以用于抽象描述也可以用于程序性的细节描述。该文将XYZ应用于专用控制系统。描述了优先抢占式系统的事件机制,为形式化方法在实际工程领域的应用做了尝试。
其他文献
XW630对大鼠颅骨成骨细胞和破骨细胞活性的影响
会议
大鼠
颅骨成骨细胞
破骨细胞活性
MBD诊断程序的修改
该文简要介绍了XSYS数据获取系统VMS操作系统版本升级之后进行的部分修改工作,即MBD诊断程序的修改。
会议
数据获取系统
诊断程序
操作系统
版本升级
铽乙酰丙酮-5,10,15,20-四[对氯苯甲酰苯基]卟啉在Si-MCM-41中组装及光物理性质研究
该文用瓶中造船法将铽乙酰丙酮 -5,10,15,20-四[对氯苯甲酰氧基苯基]卟啉组装在Si-MCM-41中,通过ICP元素分析、XRD、UV-vis、XPS以及荧光光谱分析等测试手段对组装后样品的含量、
会议
乙酰丙酮
苯甲酰
苯基
卟啉
组装
酰氧基
配合物
激发态寿命
作用方式
元素分析
晶体结构
光谱分析
发射光谱
测试手段
造船法
荧光
样品
配位
内壁
含量
在3DX-T-F域划分地震层序
会议
域划分
论建筑工程施工中抗震技术的应用
现当今,我国经济在快速发展,建筑行业发展的也十分迅速,建筑工程数量逐渐增加,部分工程处于地震高发地带,在施工过程合理应用抗震技术可有效提升建筑的抗震性能,保障建筑处于
期刊
建筑工程
施工
抗震技术
应用
分析建筑工程中结构变形缝施工技术
现阶段,随着我国经济的飞速发展,建筑工程的建设也在加快发展.建筑工程施工中常采用变形缝的建造来维护建筑物的稳定与安全,而施工人员技术与工艺水平的正常发挥是保证变形缝
期刊
建筑工程
结构变形缝
施工技术
智能化X——r射线报警记录仪的研制
该仪器在检测到超过安全剂量的X(r)辐射时报警,同时对该事件发生的日期、时间、照射持续时间等参数进行记录.该系统利用自然界的射线本底进行自检,可及时发现报警记录仪对辐
会议
智能化
射线
报警记录仪
声光报警器
系统利用
闭环检测
辐射
持续时间
安全剂量
自然界
可靠性
自检
照射
仪器
事件
故障
措施
参数
X-S控制图错判概率的计算及可靠性分析
会议
控制图
错判概率
计算
X波段三级GaAs功率单片
该文简叙了一个X波段三级GaAs功率单片的设计,制作及其性能测试,该单片在9.2 ̄10.3GHZ频率范围内输出率500mw,增益18dB,增益平坦度:1dB。
会议
波段
功率
增益平坦度
性能测试
频率范围
单片
输出率
制作
设计
采用HEMT器件的X波段低噪声放大器
会议
器件
波段
与本文相关的学术论文