-
题名面向问题域的概念模型描述方法
被引量:1
- 1
-
-
作者
刘云杰
龚传信
刘铁林
-
机构
军械工程学院
-
出处
《计算机工程与设计》
CSCD
北大核心
2007年第24期5937-5939,共3页
-
基金
中国博士后基金项目(20060390769)
-
文摘
现有概念模型开发普遍存在着应用领域知识获取难、不能满足多方面用户需求、可重用性低的问题。在分析上述问题的基础上,提出了分层次概念模型开发方法,即面向领域用户的非形式化概念模型开发和面向技术人员的形式化概念模型开发。重点研究了基于本体的概念模型描述方法,并采用UML-OCL方法对概念模型进行了形式化描述。
-
关键词
概念模型
本体
非形式化概念模型
形式化概念模型
统一建模语言
-
Keywords
conceptual model
ontology
informal CM
formal CM
UML
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名从语言学句子成分划分的角度浅谈微积分概念教学
- 2
-
-
作者
杨婷
-
机构
石河子大学理学院数学系
-
出处
《数学学习与研究》
2018年第16期4-5,共2页
-
基金
国家自然科学地区科学基金资助(31660203)
-
文摘
本文以一元微积分为载体,讨论了微积分的概念教学方法,将微积分中的概念分为形式化与非形式化概念,并从语言学句子成分划分的角度,给出了微积分的概念教学方法——28字诀,将语言学和数学相互交叉与渗透.
-
关键词
微积分
概念教学
句子成分划分
形式化概念
非形式化概念
-
分类号
G642
[文化科学—高等教育学]
O172-4
[理学—基础数学]
-