基本信息来源于合作网站,原文需代理用户跳转至来源网站获取       
摘要:
本文结合作者多年的研究实践,对CAD系统功能设计理论和方法进行研究,并在此基础上提出和建立CAD系统功能设计的数学模型,其中包括:(1)介绍需求分析的形式化描述和表示方法,建立需求空间结构;(2)提出复合功能、设计逻辑、功能与参数依赖及交互效率等新概念,并分别建构复合功能的构造和效率命题;(3)阐述这些理论和方法在自行开发的专业化系统中的应用.
推荐文章
设计模式的一种形式化描述方法
设计模式
形式化描述
XYZ/E
UML
SIP协议系统模型的形式化研究
形式化规范
SIP协议
SDL
MSC
加工系统的加工能力形式化建模方法
加工系统
加工能力
关系
建模
命题演算形式系统在Isabelle/HOL中的形式化
命题演算形式系统
完备性定理
形式化验证
Isabelle/HOL/Isar
内容分析
关键词云
关键词热度
相关文献总数  
(/次)
(/年)
文献信息
篇名 CAD系统设计中的形式化方法与功能命题
来源期刊 计算机工程与科学 学科 工学
关键词 功能设计 数学模型 CAD系统设计
年,卷(期) 2004,(5) 所属期刊栏目 研究与实现
研究方向 页码范围 77-81
页数 5页 分类号 TP391.72
字数 4671字 语种 中文
DOI 10.3969/j.issn.1007-130X.2004.05.022
五维指标
作者信息
序号 姓名 单位 发文数 被引次数 H指数 G指数
1 郑国磊 北京航空航天大学机械学院 82 448 12.0 18.0
2 朱心雄 北京航空航天大学机械学院 44 616 14.0 24.0
3 许德 4 163 3.0 4.0
传播情况
(/次)
(/年)
引文网络
引文网络
二级参考文献  (5)
共引文献  (12)
参考文献  (8)
节点文献
引证文献  (1)
同被引文献  (3)
二级引证文献  (3)
1989(1)
  • 参考文献(1)
  • 二级参考文献(0)
1992(1)
  • 参考文献(0)
  • 二级参考文献(1)
1996(3)
  • 参考文献(2)
  • 二级参考文献(1)
1997(1)
  • 参考文献(0)
  • 二级参考文献(1)
1998(2)
  • 参考文献(1)
  • 二级参考文献(1)
1999(3)
  • 参考文献(2)
  • 二级参考文献(1)
2001(1)
  • 参考文献(1)
  • 二级参考文献(0)
2002(1)
  • 参考文献(1)
  • 二级参考文献(0)
2004(0)
  • 参考文献(0)
  • 二级参考文献(0)
  • 引证文献(0)
  • 二级引证文献(0)
2010(1)
  • 引证文献(1)
  • 二级引证文献(0)
2014(1)
  • 引证文献(0)
  • 二级引证文献(1)
2017(1)
  • 引证文献(0)
  • 二级引证文献(1)
2018(1)
  • 引证文献(0)
  • 二级引证文献(1)
研究主题发展历程
节点文献
功能设计
数学模型
CAD系统设计
研究起点
研究来源
研究分支
研究去脉
引文网络交叉学科
相关学者/机构
期刊影响力
计算机工程与科学
月刊
1007-130X
43-1258/TP
大16开
湖南省长沙市开福区德雅路109号国防科技大学计算机学院
42-153
1973
chi
出版文献量(篇)
8622
总下载数(次)
11
总被引数(次)
59030
  • 期刊分类
  • 期刊(年)
  • 期刊(期)
  • 期刊推荐
论文1v1指导