【摘 要】
：
针对提高复杂仿真系统的开发效率和降低开发成本的问题,提出了基于模型组合验证的仿真模型开发框架,将系统开发过程分解为模型的发现、组合和组合后的验证等阶段,通过数据类
【机 构】
：
哈尔滨工程大学计算机科学与技术学院,哈尔滨工程大学水下机器人技术国防科技重点实验室
【基金项目】
：
国家自然科学基金资助项目（61100006,61272184）,黑龙江省自然科学基金资助项目（F201129）,中央高校基本科研业务费专项资金资助项目（HEUCF100605）.
论文部分内容阅读
针对提高复杂仿真系统的开发效率和降低开发成本的问题,提出了基于模型组合验证的仿真模型开发框架,将系统开发过程分解为模型的发现、组合和组合后的验证等阶段,通过数据类型验证和动态行为验证来实现仿真模型的重用.给出了基于标签转移系统（Labelled Transition System,LTS）的模型行为验证方法,将模型的行为序列表示为LTS,通过强模拟及语义相似度关系来判断组合后模型的动态行为与请求模型的符合程度.导弹对抗仿真模型组合实验结果表明,该方法能够半自动地完成仿真模型的组合验证,对模型有效性的验证能
其他文献
目的探讨大动脉粥样硬化型脑梗死（acute cerebral infarcition,ACI）患者的梗死面积及神经功能缺损程度与 血清脂联素和髙敏C-反应蛋白（ high sensitivity C-reactive protein,h
针对光频调谐器件压电陶瓷的形变滞后影响测量精度的问题，提出了一种采用局部二次曲线过渡的激光器驱动信号波形的修正方法。利用布里一帕罗干涉仪测得的光频率扫描时间，建立了
摘要：作为一名一线工作者——幼儿教师，这个工作并不是很轻松，每天围绕着孩子转个不停，要把孩子在班里各个细节照顾和考虑到。在幼儿成长的环境中，不但幼儿教师在培养幼儿教育有专业的知识能力，而且在工作中经常也会和家长进行面对面沟通与交流以及网络工具的交流。家园沟通不单单要求幼儿教师与家长之间的沟通与交流，更需要投入细心、耐心、责任心。因此幼儿教师应该学习运用多种沟通方式，帮助家长树立正确的教育观念。只有
摘要：初中数学课堂是训练和提高学生思维能力的主阵地，新课程标准要求教师在课堂教学中不再是主宰者，而是主导者，是教学活动的合作者、参与者、引导者、促进者。数学教师要想真正践行新课程标准，就需要不断提高课堂教学效率，只有从理念上、方法上、教学手段上不断突破传统思想的束缚，才能充分调动学生的学习积极性和主动性。 关键词：转变；优化内容；激发乐趣；师生关系；拟定学案 在减负背景下，讲究课堂教学的优质高
[摘要]目的探讨血清胱抑素C（Cystatin c，Cys-C冰平在不稳定型心绞痛（unstable angina，uA）患者中的临床意义。方法选取不稳定型心绞痛患者243例，并根据Braunwald分级将患者分为三组（Braunwald I级组、BraunwaldⅡ级组、BraunwaldⅢ级组），另选取82例同期于我院体检正常的健康人作为对照组，采用免疫比浊法检测所有对象的血清Cys-C水平，
为改善汽轮机长叶片型面加工中的变形问题，提出了2种优化目标下的叶片型面双铣刀对刀加工刀位轨迹规划算法。首先建立了牛鼻刀的切削力与切削参数、刀具姿态的关系模型，在此基
【正】 交通运输是社会经济发展的前提。在社会化大生产的条件下,产品交换在更为广阔的空间进行,运输费用在社会产品的最终价格中,占有很大比重。因此,采用廉价的运输手段,是
摘要：说起课堂的有效性，大部分老师都很困惑，当然也包括我在内。余文森说：“教学的有效性要关注学生的发展，从时间上来说，学生的发展有当下发展和终身发展。任何一个有效教学必定要促进学生当下发展，同时对学生长远发展也会有影响。 关键词：了解学生；教师魅力；学法指导 一、 吃透教材内容，了解学生 课改提倡教师要“勤在课前”，课前精心备课，成竹在胸。教师要在理解编者意图的基础上深入挖掘教材蕴含的资源，
班主任对学生的健康成长起着至关重要的作用，甚至影响着学生的前途和一生。作为一名初中班主任，要想搞好班级管理，至少需要六把金钥匙。
【正】 随着高等工程专科教育的迅速发展,我院作为本科院校,从1984年以来开始招收专科生,到目前为止,我院在校已有18个专科班,占全院总班数的45%。如何提高专科的教学质量问