切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
卫星定位系统的验证原型
卫星定位系统的验证原型
来源 :华东理工大学学报 | 被引量 : 0次 | 上传用户:mamao844661
【摘 要】
:
用模型检查的方法对卫星定位系统进行了验证,对把模型检查应用于实际系统进行了初步的探索。
【作 者】
:
李一阁
宋国新
【机 构】
:
华东理工大学计算机科学与工程系
【出 处】
:
华东理工大学学报
【发表日期】
:
2004年1期
【关键词】
:
卫星定位系统
验证原型
模型检查
混合自动机
混合系统
形式化验证
model checking
hybrid automata
hybrid system
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
用模型检查的方法对卫星定位系统进行了验证,对把模型检查应用于实际系统进行了初步的探索。
其他文献
气化炉托砖环温度场的有限元分析
以通用的热传导模型为基础,对气化炉托砖环的温度场分布进行有限元计算,计算中考虑了炉内外温度对托砖环温度场的影响。计算结果表明:在炉内温度为1300℃时,托砖环温度最高接近65
期刊
热传导
有限单元法
托砖环
数值模拟
气化炉
温度场分布
水煤浆
heat conduction
FEM
refractory support frame
薄层分析法快速分析银杏酸的方法研究
建立了一种薄层分析法,用于快速分离和分析银杏叶提取物(EGb)生产过程中银杏酸的含量,并通过其他的定性方法对分离的样品进行了鉴定,确定提取物中包含了银杏酸类的5种代表性
期刊
薄层分析法
银杏叶提取物
银杏酸
thin layer chromatography(TLC)
extract of ginkgo biloba(EGb)
面向对象的构件化档案信息管理系统
研究了在C++Builder平台上,基于面向对象的构件化软件开发方法,开发通用的档案信息管理系统。结合档案管理构件的开发过程,讨论了基于面向对象的构件化的软件开发过程、系统的应
期刊
面向对象
构件
构件化
构件模型
体系结构
object-oriented
component
component assembling
componen
物化-生化组合工艺处理垃圾渗滤液
针对垃圾渗滤液的氨氮、COD、难降解物质浓度高等特点,开发了磷酸铵镁沉淀法(MAP)脱氮-厌氧/好氧生物处理-混凝组合工艺处理垃圾渗滤液的新技术,研究了不同单元的作用及影响
期刊
垃圾渗滤液
磷酸铵镁沉淀法
生物处理
混凝
landfill leachate
magnesium ammonium phosphate precipitat
纳米氧化硅修复不锈钢表面微缺陷
提出了一种用纳米材料修复表面缺陷的新方法,初步研究了纳米氧化硅对304不锈钢表面微缺陷的修复作用,考查了气相流化干法修复工艺条件对不锈钢试片的表面状态(修复选择性)及
期刊
纳米材料
表面缺陷
修复
纳米氧化硅
不锈钢
nano-material
surface defects
repair
nano-silica
stee
高效液相色谱法测定大米中残留的咪唑磺隆
目的本方法为大米中咪唑磺隆残留量的检测技术。方法样品提取后采用自动固相萃取方式;定量分析采用高效液相色谱方法一紫外检测器进行检测。结果最低检测限为0.02mg/kg;大米中残
期刊
高效液相色谱
大米
咪唑磺隆
HPLC Cereal Imazosulfuron
纳米复合氧化高银(I、Ⅱ)粉体制备中粒度的影响因素
运用液相沉淀法制备了纳米复合氧化高银粉体。探讨了各种工艺因素,如:耗散能、过饱和度、反应时间、分散剂等对粒子粒径大小和分布的影响。分散剂和反应时间是制备该纳米粉体的
期刊
纳米技术
氧化高银
分散剂
反应时间
nanometer technology
silver ( Ⅱ ) oxide
dispersion agent
r
含羧基苯并噻唑系列菁染料的性能
描述了含羧基活性官能团菁染料的合成,用红外光谱、紫外可见光谱和核磁共振波谱对其结构进行了表征.研究了这类染料在不同溶剂中的分子吸收光谱和荧光光谱,发现取代基和溶剂
期刊
菁染料
半菁染料
光学性能
溶剂效应
cyanine dyes
hemicyanine dyes
optical properties
solvent e
传染病监测体检准备工作探讨
在日常传染病监测和健康体检过程中发现,有些出人境人员到保健中心来,由e对监测体检的要求不了解导致准备不充分,对体检的一些关键环节重视不够,或认识偏差,出现种种疏漏,不能满足
期刊
传染病监测
体检过程
工作探讨
健康状况
保健中心
认识偏差
B超检查
劳务人员
应用PCR方法检测致病微生物研究进展
致病微生物常规检测方法(如分离培养、生化鉴定等),操作复杂、特异性不强、所需时间长。自从1985年PCR技术问世以来,这一技术已被应用到生命科学的各个领域。上世纪80年代末,研究
期刊
致病微生物
常规检测
PCR方法
生物研究
PCR技术
分离培养
生化鉴定
生命科学
研究人员
快速检测
与本文相关的学术论文