领域建模验证语言EDOLA研究
领域建模验证语言EDOLA研究 Domain-specic modeling and verication language EDOLA Hehua Zhang Phd thesis
用户评论
推荐下载
-
易语言验证密码
易语言网络验证密码功能,可以去验证用户在你这里注册的密码和账号的正确性
22 2020-05-15 -
收费验证易语言
收费验证(易语言)
50 2019-01-01 -
地矿领域内三维实体建模及场景可视化算法研究
针对矿山地质三维数据的特征,根据离散拟合的思想,提出了三维地理信 息系统模型的分层表示策略及基于离散算法的自动建模技术。给定原始地质钻孔数 据,利用自适应神经网络预测地质体横剖面内信息未知区域的品位属
28 2019-03-01 -
论文研究面向领域知识复用的C4ISR系统需求建模方法.pdf
针对以最大完工时间为目标的零空闲流水线调度问题提出了和声退火算法。首先引入了基于ROV规则的编码方式,使和声搜索应用于离散问题,从初始化方法、参数调整、候选解的产生、和声记忆库的更新方法等四个方面对基
19 2020-07-19 -
一种面向特征的领域模型及其建模
一种面向特征的领域模型及其建模特征模型作为捕获领域需求的重要模型已被现阶段的主流领域工程方法所接受,但这些方法缺乏对特征模型组织框架的细致研究和说明,在一定程度上导致了特征模型在表现形式上的冗余性和混
20 2019-07-09 -
中医方剂领域本体建模和语义推理实现
介绍中医方剂在专家系统的实现
6 2020-12-29 -
数学建模中的预测方法及其应用领域
数学建模是一种利用统计数据来预测未知事件的方法。预测建模不仅可以应用于未来事件的预测,也适用于任何类型的未知事件。在数学建模中,通过分析系统发展的实际数据和历史资料,运用现代科学理论、各种经验、判断和
10 2023-07-20 -
参数化建模应用领域以及发展前景
系统详细的总结了参数话建模的相关行业以及应用场景
3 2023-01-26 -
一种基于MDA的领域对象建模工具
基于MVC架构,设计并实现了采用元对象设施(meta object facility,MOF)的四层模型分层管理架构对象建模工具,应用两阶段建模理论,将传统的建模工作分解为元建模和传统建模两个阶段.对
4 2021-04-25 -
美国数学建模比赛校赛及其在数学建模领域的重要性
美国数学建模比赛校赛是一个重要的数学竞赛活动,它鼓励学生运用数学知识和技能解决实际问题。这个比赛旨在培养学生的创新思维和解决现实问题的能力。在比赛中,参赛者需要收集数据,运用数学模型进行分析和预测,并
10 2023-07-01
暂无评论