论文部分内容阅读
模型检验在航天测控软件上的应用研究
【出 处】
：
计算机科学
【发表日期】
：
2018年z1期
其他文献
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥
Generally speaking, it is impossible for a wire-frame to define a 3D object uniquely. But wire-frame as a graphics medium is still applied in some industrial ar
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥
期刊
6月17日下午，国务院副总理马凯来到大连重工调研。工业和信息化部部长苗圩、国务院副秘书长肖亚庆、国家发改委副主任胡祖才、大连市市长李万才、副市长刘岩等领导陪同调研。
成为一个有能力的程序员,对于所有计算学科的学生来说,至关重要,尤其是软件工程专业.程序员初学者面临着很多挑战,例如计算科学专业学生就业率的下滑,以及越来越多的非计算科
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥
期刊
论文提出了一种适合在野外使用的车载淋浴方舱控制器的设计方案，该控制器能够实现对多台热水器的控制，克服天气、时间、地点等环境因素的影响，满足大量人群的洗浴要求。该控制器
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥