国家自然科学基金(60603073)
- 作品数：2 被引量：18H指数：2
- 相关作者：戴国忠刘媛媛高小山陈颖林强更多>>
- 相关机构：中国科学院软件研究所中国科学院自动化研究所中国科学院数学与系统科学研究院更多>>
- 发文基金：国家自然科学基金国家重点基础研究发展计划国家高技术研究发展计划更多>>
- 相关领域：自动化与计算机技术更多>>
- 基于几何约束求解的完备方法被引量：15
- 2007年
- 针对参数化CAD在约束求解中的应用,提出了基于智能连杆的算法,该算法在扩充几何作图范围、改善算法复杂度方面都有明显的优势.将其同LIM0算法、几何变换方法、C-Tree算法、数值求解方法等方法相互融合,能够组成一套非常完备的几何约束求解框架,来完成对平面和空间几何约束问题的自动求解与图像生成.将该算法应用于智能动态几何软件的设计中,实验显示可以取得令人满意的结果.
- 林强高小山刘媛媛陈颖戴国忠
- 关键词：参数化CAD几何约束求解
- 基于场景方法的笔式界面软件设计工具被引量：3
- 2009年
- 为缩短的笔式用户界面软件的开发周期,让设计人员对软件的整体构思在开发过程中得以保持,提高团队人员的交流效率,提出了有关笔式界面软件的文档描述规范PUIML(pen-based user interface modeling language),并设计实现了一个笔交互的笔式用户界面软件设计工具。以笔式操作平台为软件平台,以PUIML为数据模型,采用基于场景设计的开发方法,为设计人员和用户提供自然的纸笔交互方式,设计结果形成PUIML形式的文档,通过主控程序执行。实践结果表明,使用PUI Maker可以解决笔式用户界面开发中存在的以开发人员为中心,原始设计与开发结果不一致等问题,提高了笔式界面软件的开发效率。
- 刘健邓昌智戴国忠
- 关键词：笔式交互用户界面
