检索结果-内蒙古大学图书馆

计算机辅助设计与图形学学报 2017年第1期29卷 79-89页

作者：贾伟华庆一张敏军陈锐姬翔西北大学信息科学与技术学院西安710127 宁夏大学新华学院银川750021

针对现有用户界面模式语言无法在高级抽象层次上准确描述用户界面模式之间关系,导致不能为基于模式的用户界面开发提供有效的结构化支持的问题,根据用户界面模式集合所具有的层次结构特点,提出一种基于范畴论的用户界面模式语言.首先利... 详细信息

针对现有用户界面模式语言无法在高级抽象层次上准确描述用户界面模式之间关系,导致不能为基于模式的用户界面开发提供有效的结构化支持的问题,根据用户界面模式集合所具有的层次结构特点,提出一种基于范畴论的用户界面模式语言.首先利用对象和态射定义用户界面模式以及用户界面模式之间的关系,得到用户界面模式范畴;然后使用子范畴和函子定义用户界面模式集合的层次以及层次之间的关系;最后使用自然变换定义用户界面模式集合层次关系之间的关系,对用户界面模式集合中的关系进行更高抽象层次的描述.实例结果表明,文中提出的用户界面模式语言能够与开发过程紧密结合,为开发人员理解、查找和重用用户界面模式提供了有效的支持.

关键词：用户界面模式界面开发范畴论模式语言态射

来源：评论

学校读者我要写书评

暂无评论

基于模式语言的设计知识描述与发现方法研究

引用

四川大学学报（工程科学版） 2008年第6期40卷 176-180,185页

作者：管清贵殷国富胡晓兵尹湘云四川大学制造科学与工程学院四川成都610065

针对网络协同产品设计过程中知识表现形态的复杂性、多样性和不确定性特征,在对模式语言概念分析的基础上,应用信息论和模糊综合评价方法,提出一种基于模式语言方式设计知识描述方法与知识描述存储表结构,建立了基于模式语言的知识发现... 详细信息

针对网络协同产品设计过程中知识表现形态的复杂性、多样性和不确定性特征,在对模式语言概念分析的基础上,应用信息论和模糊综合评价方法,提出一种基于模式语言方式设计知识描述方法与知识描述存储表结构,建立了基于模式语言的知识发现和知识综合模糊评价模型。以冲压模具的设计为例,验证了基于模式语言的设计知识描述和知识积累方法的可行性和实用性。

关键词：模式语言设计知识知识描述知识发现冲压摸具

来源：评论

学校读者我要写书评

暂无评论

基于模式语言的知识模板五要素描述方法研究

引用

中国机械工程 2011年第10期22卷 1185-1188页

作者：管清贵殷国富胡晓兵尹湘云四川大学成都610065

针对产品设计过程中大量的设计知识隐含在产品设计实例中,无法被快速有效地描述与重用这一问题,提出了一种基于模式语言的模式名称、问题、解决方案、效果和多属性综合评价的设计知识五要素的描述方法。将设计参与人员在设计过程中长期... 详细信息

针对产品设计过程中大量的设计知识隐含在产品设计实例中,无法被快速有效地描述与重用这一问题,提出了一种基于模式语言的模式名称、问题、解决方案、效果和多属性综合评价的设计知识五要素的描述方法。将设计参与人员在设计过程中长期积累的设计经验、设计灵感、设计思路、解决问题的依据、最终产品的使用评价等设计过程知识进行了描述和积累,并阐述了设计知识描述模板的结构、序列和分级。利用该描述方法对冲压模具产品设计过程的设计知识进行了描述,开发了冲压模具设计资源数据和知识库系统原型软件系统,并用冲压模具设计实例验证了该方法的可行性和有效性。

关键词：设计过程模式语言知识描述知识模板

来源：评论

学校读者我要写书评

暂无评论

模式语言的本体学习方法

引用

河南师范大学学报（自然科学版） 2009年第5期37卷 33-36页

作者：王岁花赵爱玲马巍巍河南师范大学计算机与信息技术学院河南新乡453007

概括了模式语言的本体映射机制,讨论了如何将模式语言映射成一棵语法树,然后使用映射规则将语法树中的元素翻译为本体中相应的概念和关系,最后给出该方法的应用实例.

关键词：模式语言正则树语法本体映射

来源：评论

学校读者我要写书评

暂无评论

模式语言管理

引用

企业管理 2005年第4期 100-102页

作者：张西振王甲佳刘玉龙

事实上,在任何组织中,都会有一些关键性的方法、知识支撑着组织的核心能力,企业也不例外。可惜的是,这些方法、知识在企业中很少得到有效的管理。笔者通过深入研究,终于为这些方法、知识找到了一种有效的管理工具——“模式语言”。

关键词：企业核心能力知识管理工具组织例外事实模式语言支撑

来源：评论

学校读者我要写书评

暂无评论

模式语言与模式模板在运行时验证中的应用

模式语言与模式模板在运行时验证中的应用

引用

作者：李昕南京航空航天大学

学位级别：硕士

运行时验证作为一种轻量级的形式化验证方法,已被应用到许多领域,如Java程序的运行时异常验证、硬件运行时行为验证、列车控制系统验证等。运行时验证中采用形式化规约描述性质,形式化规约最主要的优点在于可以准确描述被监控对象的一... 详细信息

运行时验证作为一种轻量级的形式化验证方法,已被应用到许多领域,如Java程序的运行时异常验证、硬件运行时行为验证、列车控制系统验证等。运行时验证中采用形式化规约描述性质,形式化规约最主要的优点在于可以准确描述被监控对象的一类错误。尽管优势明显,但现有形式化规约仍存在两点不足:其一,通常采用常量来描述事件,限制了规约的描述范围;其二,构造形式化规约需要具有较强的专业知识,影响了运行时验证的推广使用。因此,研究新的形式化规约,并提出相应的运行时验证算法,具有重要的理论意义与应用价值。本文针对利用模式语言和模式模板,解决运行时验证问题进行了研究,取得的创新研究成果如下:1.针对规约描述能力方面的不足,本文提出了模式以及模式语言的形式化定义,通过形式化定义将模式语言理论引入到运行时验证领域中,并在此基础上给出了模式语言在解决运行时验证匹配问题中的应用举例。2.针对推广使用形式化规约过程中存在的困难,本文提出了用于简化形式化规约构造的模式模板以及模板库。首先,针对离线监控下运行时验证问题,本文提出并实现了Brute Force扩展算法,Boyer-Moore扩展算法和Sunday扩展算法。针对在线监控下运行时验证问题,提出并实现了模式模板匹配问题的算法,上述算法在工程应用中达到了简化形式化规约构造过程的目的。然后,通过模拟运行时验证的实验,得出相比较其他算法Sunday扩展算法,带有HashMap结构的模式模板以及指定关系模式模板在匹配时效率更高。此外,为了增强模式模板的表达能力,提出了可接受状态自动机以及模式推导算法。3.在运行时验证工具Monitor Verification Control中,设计并实现了支持模式语言和模式模板的验证功能,进一步从工程上验证了本文所提出的模式语言相关概念以及算法的有效性。综上所述,使用模式语言可以增强规约的描述能力,通过调用模式库中的模式模板,可以快速将自然语言规约表示为相应的形式化规约,从而简化自然语言规约向形式化语言规约转化的过程,降低开发人员构造形式化规约描述性质的门槛。

关键词：模式语言模式模板运行时验证匹配问题模式推导问题

来源：评论

学校读者我要写书评

暂无评论

Christopher Alexander的“模式语言”及其在计算机领域的影响

引用

自然辩证法研究 2012年第11期28卷 104-109页

作者：卢健松刘沛吴彤清华大学社会科学学院北京100084 湖南大学建筑学院长沙410082

本文通过对Christopher Alexander"模式语言"理论的梳理,整理了该理论融入计算机领域的过程;并对其主要学术平台OOPSLA与Plop,主要人物Kent Beck,重要机构Hillside Group,重要研究团队Gof在其中所起的推动作用进行了研究;并对... 详细信息

本文通过对Christopher Alexander"模式语言"理论的梳理,整理了该理论融入计算机领域的过程;并对其主要学术平台OOPSLA与Plop,主要人物Kent Beck,重要机构Hillside Group,重要研究团队Gof在其中所起的推动作用进行了研究;并对"模式语言"理论在建筑学领域的发展困境进行了反思。

关键词： Christopher Alexander 模式语言设计模式 OOPSLA KentBeck

来源：评论

学校读者我要写书评

暂无评论

一种面向多协议网络通讯的模式语言

引用

南京大学学报（自然科学版） 2005年第Z1期41卷 333-339页

作者：金浩王守芳樊闻斌潘金贵南京大学计算机软件新技术国家重点实验室南京大学计算机科学与技术系南京210093 南京大学计算机软件新技术国家重点实验室南京大学计算机科学与技术系南京210093 南京大学计算机软件新技术国家重点实验室南京大学计算机科学与技术系南京210093 南京大学计算机软件新技术国家重点实验室南京大学计算机科学与技术系南京210093

近年来,软件设计模式得到了广泛的关注,作为高级别的概念模型,成为软件体系结构相关的重要理论.作为在软件体系结构级别支持复用的通用方法,传统设计模式在性能和灵活性之间偏重后者.在当前资源有限的移动设备和嵌入式环境下主要面临了... 详细信息

近年来,软件设计模式得到了广泛的关注,作为高级别的概念模型,成为软件体系结构相关的重要理论.作为在软件体系结构级别支持复用的通用方法,传统设计模式在性能和灵活性之间偏重后者.在当前资源有限的移动设备和嵌入式环境下主要面临了三个方面的限制:计算能力、存储能力以及电源供应能力.针对移动设备的通讯特点,为移动设备定制的网络软件必须高效、可靠、灵活.主要介绍在EMXE(Extensible Multifunctional XML Engineer)中,我们设计的一种面向多协议网络通讯的模式语言,并展示了这个模式系统如何产生适合移动设备网络通讯的体系结构模型.

关键词：多协议设计模式模式语言面向对象网络通讯复用

来源：评论

学校读者我要写书评

暂无评论

网站用户界面设计模式语言的比较研究

引用

现代图书情报技术 2011年第10期 12-17页

作者：黄晓斌邱明辉中山大学资讯管理学院广州510006

介绍6种较有代表性的网站用户界面设计模式语言,提出网站用户界面设计模式语言的评价指标,对这6种网站用户界面设计模式语言进行比较分析,在此基础上就编制数字图书馆网站用户界面设计模式语言提出相应的建议,以提高数字图书馆网站的可... 详细信息

介绍6种较有代表性的网站用户界面设计模式语言,提出网站用户界面设计模式语言的评价指标,对这6种网站用户界面设计模式语言进行比较分析,在此基础上就编制数字图书馆网站用户界面设计模式语言提出相应的建议,以提高数字图书馆网站的可用性。

关键词：网站设计数字图书馆用户界面模式语言可用性

来源：评论

学校读者我要写书评

暂无评论

基于“空间与事件”的河湟地区藏族村落与寺院共生模式语言研究

引用

建筑学报 2021年第S01期 40-46页

作者：施佳鹏靳亦冰浙江绿城建筑设计有限公司杭州310007 西安建筑科技大学建筑学院西部绿色建筑国家重点实验室西安710055

以多元民族文化交融的河湟地区内藏族村落与寺院为研究对象,引入生物学中的"共生"理念,通过"认知-量化-归纳"的方法对村与寺共生发展历程及表现特征进行剖析,揭示其宗教文化与空间载体之间的内在联系,并提取村与寺... 详细信息

以多元民族文化交融的河湟地区内藏族村落与寺院为研究对象,引入生物学中的"共生"理念,通过"认知-量化-归纳"的方法对村与寺共生发展历程及表现特征进行剖析,揭示其宗教文化与空间载体之间的内在联系,并提取村与寺的共生原型,以"精神空间"与"生活空间"为基本要素,形成以庄廓院至河湟地区主属寺的、从小至大的村与寺5级共生模式语言,为后期河湟地区藏族村落与寺院发展模式研究与优化提供基础性借鉴。

关键词：村寺相依空间与事件模式语言河湟地区

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：