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

计算机辅助设计与图形学学报 2014年第4期26卷 617-622页

作者：陆洋施侃乐雍俊海清华大学软件学院北京100084 清华大学计算机科学与技术系北京100084 信息系统安全教育部重点实验室北京100084 清华信息科学与技术国家实验室北京100084 French Institute for Research in Computer Science and Control Nancy F-54600 France

点到NURBS曲线/曲面的投影是CAD中的基础问题.为了避免数值迭代法陷入局部最优,通常把曲线/曲面细分为多段.文中提出排除无用曲线段/曲面片的剪枝算法,以提高细分求解投影的运行效率.在投影算法中将曲线/曲面递归细分,分别计算测试点到... 详细信息

点到NURBS曲线/曲面的投影是CAD中的基础问题.为了避免数值迭代法陷入局部最优,通常把曲线/曲面细分为多段.文中提出排除无用曲线段/曲面片的剪枝算法,以提高细分求解投影的运行效率.在投影算法中将曲线/曲面递归细分,分别计算测试点到各个曲线段/曲面片的投影值;在递归过程中,对当前曲线段/曲面片计算测试点到控制点凸包距离的近似距离,如果该距离大于投影距离上界值,根据NURBS曲线/曲面的凸包性,测试点到当前曲线段/曲面片的投影距离也一定大于上界值,无需计算投影结果,直接排除该曲线/曲面.最后通过测试实例验证了该算法的有效性.

关键词：点投影的剪枝算法近似距离 NURBS曲线曲面细分控制点集凸包

来源：评论

学校读者我要写书评

暂无评论

XPDL模型到WWF模型转换技术的研究

引用

计算机研究与发展 2009年第S2期46卷 540-546页

作者：苗林金涛王建民清华大学软件学院北京100084 信息系统安全教育部重点实验室北京100084 清华大学信息科学与技术国家实验室(筹)北京 100084

WWF(Windows workflow foundation)是一个可扩展框架,用于在Windows平台上开发工作流系统.WWF在.NET平台上构建工作流具有很强的优势,但是WWF对外不符合WfMC制定的XPDL标准的工作流模型,限制了WwF的广泛应用.为了解决上述问题,提出并开... 详细信息

WWF(Windows workflow foundation)是一个可扩展框架,用于在Windows平台上开发工作流系统.WWF在.NET平台上构建工作流具有很强的优势,但是WWF对外不符合WfMC制定的XPDL标准的工作流模型,限制了WwF的广泛应用.为了解决上述问题,提出并开展了XPDL模型到WWF模型的转换研究,通过研究XPDL模型到WWF模型之间的映射,实现了XPDL模型到WWF模型的转换,从而实现了WWF与其他工作流产品在公共格式XPDL基础上进行数据共享,有助于实现基于XPDL的工作流平台向.NET工作流平台的迁移.

关键词：工作流模型模型转换 WWF XPDL

来源：评论

学校读者我要写书评

暂无评论

利用控制顶点插值的光滑B样条曲线构造方法

引用

计算机辅助设计与图形学学报 2011年第5期23卷 813-819页

作者：刘晶施侃乐雍俊海古和今清华大学软件学院北京100084 信息系统安全教育部重点实验室北京100084 清华大学信息科学与技术国家重点实验室北京100084 清华大学计算机科学与技术系北京100084 江西省科学院科研开发处南昌330029

针对非均匀采样点拟合时的光滑B样条曲线构造问题,提出一种基于已知控制顶点和节点向量求解未知控制顶点来构造光滑B样条曲线的方法.首先对所有控制顶点进行基函数极值参数化,再将已知控制顶点作为型值点进行光滑样条曲线插值,并在此曲... 详细信息

针对非均匀采样点拟合时的光滑B样条曲线构造问题,提出一种基于已知控制顶点和节点向量求解未知控制顶点来构造光滑B样条曲线的方法.首先对所有控制顶点进行基函数极值参数化,再将已知控制顶点作为型值点进行光滑样条曲线插值,并在此曲线上通过利用参数化结果求值得到未知控制顶点.该方法通过控制顶点所在曲线的光顺性提高最终生成曲线的连续性和光滑性.最后通过实例说明,采用文中方法所构造的B样条曲线具有较好的光顺性.

关键词：光滑 B样条曲线控制顶点插值参数化

来源：评论

学校读者我要写书评

暂无评论

工作流资源分配中约束规则的建模研究

引用

计算机研究与发展 2009年第S2期46卷 534-539页

作者：吕少熊闻立杰王建民韩锐清华大学软件学院北京100084 信息系统安全教育部重点实验室北京100084 清华大学信息科学与技术国家实验室(筹)北京 100084

传统工作流系统在对任务节点进行资源分配时,只进行了组织、角色、人员的分配,而较少对不同任务节点上执行人间的潜在关系进行建模.根据企业的实际应用需求,将这种潜在的约束关系提取出来进行建模,并以规则的形式进行定义.最后采用强有... 详细信息

传统工作流系统在对任务节点进行资源分配时,只进行了组织、角色、人员的分配,而较少对不同任务节点上执行人间的潜在关系进行建模.根据企业的实际应用需求,将这种潜在的约束关系提取出来进行建模,并以规则的形式进行定义.最后采用强有力的推理工具--规则引擎--来完成对定义的规则冲突检测以及规则的实现.

关键词：工作流资源分配约束规则规则引擎

来源：评论

学校读者我要写书评

暂无评论

带数据工作流的形式化建模语言——数据感知的工作流网

引用

计算机集成制造系统 2012年第8期18卷 1735-1746页

作者：王朝霞王建民朱笑尘清华大学软件学院北京100084 清华大学计算机科学与技术系北京100084 清华大学信息系统安全教育部重点实验室北京100084 清华信息科学与技术国家实验室(筹) 北京100084 后勤工程学院后勤信息工程系重庆400014

为了在工作流实施之前对工作流进行形式化建模与验证,首次全面总结带数据工作流的形式化建模的研究现状。在理清工作流中各类数据与控制流的交互特征后,提出一种带数据工作流的形式化建模语言——数据感知的工作流网,并给出其行为语义... 详细信息

为了在工作流实施之前对工作流进行形式化建模与验证,首次全面总结带数据工作流的形式化建模的研究现状。在理清工作流中各类数据与控制流的交互特征后,提出一种带数据工作流的形式化建模语言——数据感知的工作流网,并给出其行为语义。通过工作流网模型的合理性分析/一致性分析方法的提出和方法的工具实现,证明了数据感知的工作流网具有较强的形式化建模能力。

关键词：业务过程管理带数据工作流形式化建模语言数据感知的工作流网

来源：评论

学校读者我要写书评

暂无评论

考虑短板效应的一种度量模型及其在软件可信性中的应用

引用

计算机应用研究 2012年第1期29卷 165-167页

作者：杨光宇曾东方罗平清华大学信息系统安全教育部重点实验室北京100084 清华大学清华信息科学与技术国家实验室北京100084 清华大学软件学院北京100084

为了解决传统的软件可信性度量模型很少考虑用户主观需求对模型度量的影响,通过引入容忍阈值提出了考虑短板效应的一种度量模型;分析了参数的意义和选取,并应用于软件可信性的度量和评估中,反映了软件可信性中的主观性和客观性,同时解... 详细信息

为了解决传统的软件可信性度量模型很少考虑用户主观需求对模型度量的影响,通过引入容忍阈值提出了考虑短板效应的一种度量模型;分析了参数的意义和选取,并应用于软件可信性的度量和评估中,反映了软件可信性中的主观性和客观性,同时解释了其中存在的短板效应。

关键词：软件可信性度量模型短板效应

来源：评论

学校读者我要写书评

暂无评论

基于灰度纹理的微平面法向分布函数

引用

计算机应用 2010年第12期30卷 32-36页

作者：史可鉴王斌张慧清华大学软件学院北京100084 清华大学信息系统安全教育部重点实验室北京100084 清华大学信息科学与技术国家实验室北京100084

基于微平面理论的双向反射分布函数(BRDF)材质模型都需要一个分布函数表示微平面法向的分布概率密度,现有的分布函数大都是用数学公式表示的。用公式表示的分布函数往往不够直观,而且种类较少。提出一种新的、直接从灰度纹理生成分布函... 详细信息

基于微平面理论的双向反射分布函数(BRDF)材质模型都需要一个分布函数表示微平面法向的分布概率密度,现有的分布函数大都是用数学公式表示的。用公式表示的分布函数往往不够直观,而且种类较少。提出一种新的、直接从灰度纹理生成分布函数的方法。该方法生成的分布函数不仅可以替代公式表示的分布函数,而且还可以创造出一些新的材质。首先对一张灰度纹理进行均匀采样提取一个二维灰度值表,并把表项下标和微平面法向的方向建立映射关系,用表项中存放的灰度值作为该法向的概率密度值。用BRDF计算物体颜色时需要在分布函数中进行微平面法向的采样,提出在表格化的分布函数中进行随机采样和重点采样的算法。最后通过设计灰度纹理构造分布函数,实现了一些特殊的材质效果。

关键词：分布函数灰度纹理重点采样

来源：评论

学校读者我要写书评

暂无评论

基于代理的工作流邦联及子流调用框架

引用

计算机研究与发展 2009年第S2期46卷 529-533页

作者：李书生闻立杰王建民吕少熊清华大学软件学院北京100084 信息系统安全教育部重点实验室北京100084 清华大学信息科学与技术国家实验室(筹)北京 100084

在分析层次工作流建模和工作流执行时互操作研究的基础上,设计了一个基于代理的邦联及子流调用框架,将层次化建模技术、流程互操作技术和异构数据模型映射和转换技术集成在一起,同时提供了异常处理和灾难恢复功能,真正从业务层次上解决... 详细信息

在分析层次工作流建模和工作流执行时互操作研究的基础上,设计了一个基于代理的邦联及子流调用框架,将层次化建模技术、流程互操作技术和异构数据模型映射和转换技术集成在一起,同时提供了异常处理和灾难恢复功能,真正从业务层次上解决了流程协作问题,并在TiPLM2.9上实现了该解决方案.流程实例之间通过代理进行交互,各个流程独立运行在自己的工作流引擎中,实现了松耦合和隔离性,增强了系统健壮性.

关键词：层次模型引擎互操作子流调用工作流邦联擎协同业务过程

来源：评论

学校读者我要写书评

暂无评论

基于扩展标记变迁模型的时钟同步协议正确性验证

引用

国防科技大学学报 2019年第3期41卷 42-49页

作者：曲国远徐晓飞刘威廷王沁煜贺飞中国航空无线电电子研究所上海200233 清华大学软件学院北京100084 北京信息科学与技术国家研究中心北京100084 信息系统安全教育部重点实验室北京100084

时钟同步协议是时间触发网络的一个重要组成部分,是时间触发网络实时性和确定性的关键。本文基于扩展标记变迁模型对时钟同步协议进行建模,基于模型检测方法对协议是否满足正确性属性进行验证。验证结果证明了在不同启动场景下时钟同步... 详细信息

时钟同步协议是时间触发网络的一个重要组成部分,是时间触发网络实时性和确定性的关键。本文基于扩展标记变迁模型对时钟同步协议进行建模,基于模型检测方法对协议是否满足正确性属性进行验证。验证结果证明了在不同启动场景下时钟同步网络协议的正确性,也表明了扩展标记变迁模型对于协议验证的有效性。

关键词：形式化方法协议验证模型检测

来源：评论

学校读者我要写书评

暂无评论

运行时验证技术的研究进展

引用

计算机科学 2014年第B11期41卷 359-363页

作者：张硕贺飞清华大学软件学院北京100084 信息系统安全教育部重点实验室北京100084 清华信息科学与技术国家实验室(筹) 北京100084

运行时验证是一种轻量级的验证方法,通过实时地监测系统的行为,验证系统的正确性,及时发现冲突,并发出警告或作出反应。运行时验证技术已经得到了越来越多的应用,以确保软件系统的正确性。总结了近年来运行时验证技术的研究进展,首先介... 详细信息

运行时验证是一种轻量级的验证方法,通过实时地监测系统的行为,验证系统的正确性,及时发现冲突,并发出警告或作出反应。运行时验证技术已经得到了越来越多的应用,以确保软件系统的正确性。总结了近年来运行时验证技术的研究进展,首先介绍了运行时验证的概念、原理和分类,接着深入分析了现有的几种解决方案,并对该领域中的研究热点进行了深入探讨,最后分析了运行时验证技术面临的主要挑战,并对未来该领域的研究方向进行了展望。

关键词：运行时验证运行时监控软件正确性形式化方法

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：