项目名称: 基于场景的构件行为建模和组合研究

项目编号: No.61272007

项目类型: 面上项目

立项/批准年度: 2013

项目学科: 自动化技术、计算机技术

项目作者: 陈中育

作者单位: 浙江师范大学

项目金额: 61万元

中文摘要: 遵循用户主导、直接面向领域专家进行需求建模的原则,针对用户场景存在需求覆盖性问题,解决多场景组合可能出现的过概括、欠概括及不一致,采用范畴论数学,研究基于场景的构件行为建模和组合。主要研究包括:(1)把场景抽象为有点集形式的数学结构,结合场景生命周期时间模型,给出场景及其组合的范畴论语义模型;(2)根据函子构造性,提出一种由场景产生构件行为模型的构造函子;(3)研究构造函子的泛性质,给出系统构件可组合的条件。其研究意义在于:通过模型转换函子的抽象算法设计与实现,开发一个场景建模系统构件的工具原型,对寻求一种不仅尊重用户需求变更而且自动适应需求变化的可供领域专家定义的新型需求方法的深入研究,具有重要的理论意义和应用价值。

中文关键词: 场景;构件行为建模;范畴论;函子;构件组合

英文摘要: Following the user guided and domain-experts oriented principle, the project investigates the model construction and combination of scenario based component behavior using category theory, which is hopefully the key point in solving over-summarization, under-summarization and inconsistency in multi-scenario combination according to the problem of requirement overlapping in user scenario. The main research work of this project includes: (1)proposing a category theory based semantic representation framework of scenarios and its combinations by extracting the scenarios as point set, combined with scenario life time model;(2)putting forward a new construction functor based on the component model produced by scenarios;(3)focusing on the generalization of construction functors and formulating the combination condition of system components.The fundamentality of the project lies in developing a prototype tool of scenarios construction modeling system by algorithms design and implementation on one aspect, and having invaluable theoretical and applicable significance in seeking new requirement methodology which is not only adaptive to requirement variations but also easily defined by domain experts, on the other aspect.

英文关键词: scenario;component behavior modeling;category theory;functor;component composition

成为VIP会员查看完整内容
2

相关内容

腾讯等《2022年金融科技十大趋势展望》,68页pdf
专知会员服务
62+阅读 · 2022年3月31日
【干货书】机器学习算法视角,249页pdf
专知会员服务
141+阅读 · 2021年10月18日
专知会员服务
51+阅读 · 2021年10月16日
专知会员服务
55+阅读 · 2021年8月12日
专知会员服务
34+阅读 · 2021年8月1日
专知会员服务
97+阅读 · 2021年6月23日
专知会员服务
17+阅读 · 2021年6月12日
CVPR 2021 Oral | 室内动态场景中的相机重定位
专知会员服务
15+阅读 · 2021年4月12日
专知会员服务
51+阅读 · 2020年12月19日
最新《理论计算科学导论》书稿,655页pdf
专知会员服务
100+阅读 · 2020年9月17日
图谱实战 | 李翔:美团到店综合知识图谱的构建与应用
美团到店综合知识图谱的构建与应用
专知
1+阅读 · 2022年3月28日
用户画像场景与技术实现
专知
5+阅读 · 2022年3月25日
软件多缺陷定位方法研究综述
专知
1+阅读 · 2022年1月25日
基于规则的建模方法的可解释性及其发展
专知
4+阅读 · 2021年6月23日
智能合约的形式化验证方法研究综述
专知
15+阅读 · 2021年5月8日
国家自然科学基金
1+阅读 · 2014年12月31日
国家自然科学基金
0+阅读 · 2014年12月31日
国家自然科学基金
0+阅读 · 2013年12月31日
国家自然科学基金
0+阅读 · 2012年12月31日
国家自然科学基金
0+阅读 · 2012年12月31日
国家自然科学基金
4+阅读 · 2012年12月31日
国家自然科学基金
0+阅读 · 2012年12月31日
国家自然科学基金
0+阅读 · 2011年12月31日
国家自然科学基金
0+阅读 · 2009年12月31日
国家自然科学基金
0+阅读 · 2008年12月31日
SkiQL: A Unified Schema Query Language
Arxiv
0+阅读 · 2022年4月19日
Arxiv
0+阅读 · 2022年4月15日
Arxiv
12+阅读 · 2018年1月28日
小贴士
相关VIP内容
腾讯等《2022年金融科技十大趋势展望》,68页pdf
专知会员服务
62+阅读 · 2022年3月31日
【干货书】机器学习算法视角,249页pdf
专知会员服务
141+阅读 · 2021年10月18日
专知会员服务
51+阅读 · 2021年10月16日
专知会员服务
55+阅读 · 2021年8月12日
专知会员服务
34+阅读 · 2021年8月1日
专知会员服务
97+阅读 · 2021年6月23日
专知会员服务
17+阅读 · 2021年6月12日
CVPR 2021 Oral | 室内动态场景中的相机重定位
专知会员服务
15+阅读 · 2021年4月12日
专知会员服务
51+阅读 · 2020年12月19日
最新《理论计算科学导论》书稿,655页pdf
专知会员服务
100+阅读 · 2020年9月17日
相关资讯
图谱实战 | 李翔:美团到店综合知识图谱的构建与应用
美团到店综合知识图谱的构建与应用
专知
1+阅读 · 2022年3月28日
用户画像场景与技术实现
专知
5+阅读 · 2022年3月25日
软件多缺陷定位方法研究综述
专知
1+阅读 · 2022年1月25日
基于规则的建模方法的可解释性及其发展
专知
4+阅读 · 2021年6月23日
智能合约的形式化验证方法研究综述
专知
15+阅读 · 2021年5月8日
相关基金
国家自然科学基金
1+阅读 · 2014年12月31日
国家自然科学基金
0+阅读 · 2014年12月31日
国家自然科学基金
0+阅读 · 2013年12月31日
国家自然科学基金
0+阅读 · 2012年12月31日
国家自然科学基金
0+阅读 · 2012年12月31日
国家自然科学基金
4+阅读 · 2012年12月31日
国家自然科学基金
0+阅读 · 2012年12月31日
国家自然科学基金
0+阅读 · 2011年12月31日
国家自然科学基金
0+阅读 · 2009年12月31日
国家自然科学基金
0+阅读 · 2008年12月31日
微信扫码咨询专知VIP会员