论文部分内容阅读
将函数式面向对象设计工具FOOD用于Cruisc控制系统的设计,从而证实了这种工具用于实时系统设计是可行的,并指出在这一方面可能遇到的问题及进一步研究的方向。
FOOD用于Cruise控制系统设计的研究
【摘 要】
：
将函数式面向对象设计工具FOOD用于Cruisc控制系统的设计,从而证实了这种工具用于实时系统设计是可行的,并指出在这一方面可能遇到的问题及进一步研究的方向。
【机 构】
：
暨南大学计算机科学系
【出 处】
：
暨南大学学报：自然科学与医学版
【发表日期】
：
1993年1期
其他文献
三、令人生畏的金星探测除了美国水手－２、５、１０外，曾探测过金星的主要是表２中列出的前苏联金星－１～１６探测器和维加－１、２探测器，以及美国的先驱者－金星－１、２和最新型金星探测器麦哲伦号。此外，前苏联
目的：探讨肺鳞癌、肺腺癌的ＣＴ鉴别要点。方法：对５１例肺鳞癌及４３例肺腺癌的ＣＴ表现进行回顾性分析。结果：鳞癌７０．６％为中央型，２９．４％为周围型；腺癌４．７％为中央型，９５．３％为周围型。１５例周围型肺鳞癌均表现为肿块，而４１例周围
折纸游戏是在学习过程中能把幼儿观察力、动手力以及创造力多方面结合在一起的一项幼儿课程活动。本人通过教学经验和日常观察发现该课程的教学还处在一个发展与摸索的阶段。
学生学习的心理规律除了智力因素之外，还主要体现在学习注意力、学习情绪等非智力因素上。笔者在中小学听课时，发现一些老师在课堂上由于不注意学生的非智力因素，采用了一些不恰
随着我国科学技术的的不断进步与发展,“互联网+”在各个行业的应用也越来越广。如今,国家大力支持互联网创新创业,其中“互联网+”教育就是其中的一个分支。2020年的开端一
由于阿里安－５运载火箭在１９９６年６月４日发射失利，似乎为俄罗斯的质子号火箭增加了竞争发射市场的机会。经过几年的努力，俄罗斯终于进入了商用卫星的发射市场，目前正在和原竞争对手——美国
本文构建了户籍制度下的个人迁移决策模型。在此基础上,本文衡量了户籍制度的松紧程度,同时估计了个人是否要户口的意愿。文章通过排除变量解决了部分可观察性问题,并用两步
讨论有限长锥管内的低雷诺数入口流问题，用Ｓａｍｐｓｏｎ解展开流函数成无穷级数，系数由边界条件用配置法确定，用最小二乘法和修正的Ｇｒａｍｍ－Ｓｃｈｍｉｄｔ正交化方法求解矛盾方程组，并画出了相应角度的入口流速度剖