论文部分内容阅读
用模型检查的方法对卫星定位系统进行了验证，对把模型检查应用于实际系统进行了初步的探索。
卫星定位系统的验证原型
【摘 要】
：
用模型检查的方法对卫星定位系统进行了验证，对把模型检查应用于实际系统进行了初步的探索。
【机 构】
：
华东理工大学计算机科学与工程系
【出 处】
：
华东理工大学学报
【发表日期】
：
2004年1期
其他文献
以通用的热传导模型为基础，对气化炉托砖环的温度场分布进行有限元计算，计算中考虑了炉内外温度对托砖环温度场的影响。计算结果表明：在炉内温度为1300℃时，托砖环温度最高接近65
建立了一种薄层分析法,用于快速分离和分析银杏叶提取物(EGb)生产过程中银杏酸的含量,并通过其他的定性方法对分离的样品进行了鉴定,确定提取物中包含了银杏酸类的5种代表性
研究了在C++Builder平台上，基于面向对象的构件化软件开发方法，开发通用的档案信息管理系统。结合档案管理构件的开发过程，讨论了基于面向对象的构件化的软件开发过程、系统的应
针对垃圾渗滤液的氨氮、COD、难降解物质浓度高等特点,开发了磷酸铵镁沉淀法(MAP)脱氮-厌氧/好氧生物处理-混凝组合工艺处理垃圾渗滤液的新技术,研究了不同单元的作用及影响
提出了一种用纳米材料修复表面缺陷的新方法,初步研究了纳米氧化硅对304不锈钢表面微缺陷的修复作用,考查了气相流化干法修复工艺条件对不锈钢试片的表面状态(修复选择性)及
目的本方法为大米中咪唑磺隆残留量的检测技术。方法样品提取后采用自动固相萃取方式；定量分析采用高效液相色谱方法一紫外检测器进行检测。结果最低检测限为0．02mg／kg；大米中残
运用液相沉淀法制备了纳米复合氧化高银粉体。探讨了各种工艺因素，如：耗散能、过饱和度、反应时间、分散剂等对粒子粒径大小和分布的影响。分散剂和反应时间是制备该纳米粉体的
描述了含羧基活性官能团菁染料的合成,用红外光谱、紫外可见光谱和核磁共振波谱对其结构进行了表征.研究了这类染料在不同溶剂中的分子吸收光谱和荧光光谱,发现取代基和溶剂
在日常传染病监测和健康体检过程中发现，有些出人境人员到保健中心来，由e对监测体检的要求不了解导致准备不充分，对体检的一些关键环节重视不够，或认识偏差，出现种种疏漏，不能满足