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

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

基于内容的分布式FTP搜索引擎的设计与实现

引用

计算机研究与发展 2011年第S2期48卷 808-812页

作者：许君王朝坤李瑞王建民刘璋清华大学计算机科学与技术系北京100084 清华大学软件学院北京100084 清华信息科学与技术国家实验室(筹)(清华大学) 北京100084 信息系统安全教育部重点实验室(清华大学) 北京100084 清华大学软件学院北京100084 清华信息科学与技术国家实验室(筹)(清华大学) 北京100084 信息系统安全教育部重点实验室(清华大学) 北京100084

随着互联网的发展,FTP作为文件共享的主要方式得到了快速的发展.和HTTP相比,FTP具有一些不同的特点,例如区域化、封闭化,这些特点增加了FTP站点的索引与查询工作的难度.目前常见针对FTP文件索引的工作均是围绕文件名开展,用户难以获取... 详细信息

随着互联网的发展,FTP作为文件共享的主要方式得到了快速的发展.和HTTP相比,FTP具有一些不同的特点,例如区域化、封闭化,这些特点增加了FTP站点的索引与查询工作的难度.目前常见针对FTP文件索引的工作均是围绕文件名开展,用户难以获取到需要的内容信息.iSearch系统作为基于内容的分布式FTP搜索引擎,它能够基于文件内容进行检索,具有增量式索引、可插拔配置、负载均衡、查询分发等特点,同时它通过减少索引过程中的网络传输代价、索引尽可能多的文本信息和充分利用用户的反馈,提供更为准确与稳定的查询服务.

关键词：分布式计算 FTP检索基于内容负载平衡用户反馈

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

PLM系统中业务对象版本操作合规性检查的自动实现

引用

计算机集成制造系统 2011年第8期17卷 1660-1669页

作者：王朝霞朱笑尘欧阳春 WYNN Moe Thandar 闻立杰清华大学软件学院北京100084 清华大学计算机科学与技术系北京100084 清华大学信息系统安全教育部重点实验室北京100084 清华大学信息科学与技术国家实验室(筹) 北京100084 后勤工程学院后勤信息工程系重庆400014 昆士兰科技大学

分析了企业实施产品全生命周期管理系统时对业务过程中产品的版本操作与产品版本操作生命周期一致性的要求,介绍了版本操作合规性问题,并从语法合规性规则和行为合规性规则两方面进一步阐述了相应的解决方案,详细介绍了版本操作合规性... 详细信息

分析了企业实施产品全生命周期管理系统时对业务过程中产品的版本操作与产品版本操作生命周期一致性的要求,介绍了版本操作合规性问题,并从语法合规性规则和行为合规性规则两方面进一步阐述了相应的解决方案,详细介绍了版本操作合规性检查方案的实现框架。采用问卷调查研究方法,收集问卷反馈信息,进一步验证了所研究问题在产品全生命周期管理领域的现实性,所提出的解决方案具有可行性,所开发的工具具有很强的应用推广价值。

关键词：产品全生命周期管理业务过程版本操作生命周期版本操作合规性

来源：评论

学校读者我要写书评

暂无评论

容差可控的线消隐算法

引用

系统仿真学报 2013年第9期25卷 2079-2084页

作者：徐鑫施侃乐雍俊海清华大学软件学院北京100084 清华大学计算机科学与技术系北京100084 信息系统安全教育部重点实验室北京100084 清华大学信息科学与技术国家重点实验室北京100084 法国国家信息与自动化研究所

线消隐是指对三维图形中包含的线段与面片的遮挡关系进行判断,并将裁剪的结果以二维矢量图形的方式输出到其他设备(如打印机和绘图仪)。该技术广泛用于三维模型的可视化与高精度矢量输出。传统的线消隐算法难以处理因浮点运算误差导致... 详细信息

线消隐是指对三维图形中包含的线段与面片的遮挡关系进行判断,并将裁剪的结果以二维矢量图形的方式输出到其他设备(如打印机和绘图仪)。该技术广泛用于三维模型的可视化与高精度矢量输出。传统的线消隐算法难以处理因浮点运算误差导致的输出错误、图元缺失等问题。针对该问题提出了新算法,该算法以三角网格模型为输入,允许用户输入用于控制输出结果的几何容差,算法首先找出轮廓线和棱线,然后利用R树加速三维图元求交,最后采用容差可控的矢量裁剪算法获得最终的消隐结果。在传统算法中,容差是不可见且意义不明确的隐藏变量,新算法给容差赋予了明确的几何意义,避免了因浮点运算误差导致的逻辑错误。

关键词：线消隐 R树三角网格浮点误差容差

来源：评论

学校读者我要写书评

暂无评论

社会网络中的成员节点提升

引用

计算机研究与发展 2010年第S1期47卷 330-336页

作者：彭卓王朝坤徐亚军潘鹏清华大学软件学院北京100084 清华信息科学与技术国家实验室(筹) 北京100084 信息系统安全教育部重点实验室(清华大学) 北京100084 清华大学土木工程系北京100084 土木工程安全与耐久教育部重点实验室(清华大学) 北京100084

近年来随着社会网络的日益普及,人们在社会网络中的影响和作用正受到越来越多的关注.提出并研究了社会网络中的成员节点提升问题.首先给出社会网络中成员节点提升问题的场景及定义;接着给出了基于直观理解的brute-force提升法;然后针对b... 详细信息

近年来随着社会网络的日益普及,人们在社会网络中的影响和作用正受到越来越多的关注.提出并研究了社会网络中的成员节点提升问题.首先给出社会网络中成员节点提升问题的场景及定义;接着给出了基于直观理解的brute-force提升法;然后针对brute-force法作出了一系列优化并提出基于索引的动态剪枝提升法.真实和合成数据集上的大量实验结果证明所提算法的正确性与有效性.

关键词：社会网络分析天际线成员提升带权有向图

来源：评论

学校读者我要写书评

暂无评论

启发式探查最佳分割平面的快速KD-Tree构建方法

引用

计算机学报 2009年第2期32卷 185-192页

作者：范文山王斌清华大学计算机科学与技术系北京100084 清华大学软件学院北京100084 信息系统安全教育部重点实验室北京100084 清华信息科学与技术国家实验室北京100084

在基于光线跟踪方法的真实感绘制中,kd-tree是一种重要的加速结构.文章对kd-tree的构建方法进行了研究,提出了一种基于分区(binning)算法的快速构建方法.首先,通过分析kd-tree的成本函数,启发式地定位了当前节点的分割平面所在的子区间... 详细信息

在基于光线跟踪方法的真实感绘制中,kd-tree是一种重要的加速结构.文章对kd-tree的构建方法进行了研究,提出了一种基于分区(binning)算法的快速构建方法.首先,通过分析kd-tree的成本函数,启发式地定位了当前节点的分割平面所在的子区间;其次,对探查到的子区间进行进一步的细化采样(sub-sampling),使得到的分割平面更好地逼近最优分割位置;同时,文章分析了现有方法在处理分割终止时存在的问题,提出了更加合理的分割终止条件.与以往方法相比,新方法用更小的计算成本生成了质量更好的kd-tree,构建过程更加鲁棒.实验数据验证了文中方法的有效性.

关键词：光线跟踪 kd-tree SAH 分区算法细化采样

来源：评论

学校读者我要写书评

暂无评论

基于BIP框架的DPU系统建模与验证

引用

计算机应用研究 2012年第8期29卷 2961-2966页

作者：黄崇迪万海顾明陈睿清华大学软件学院北京100084 清华大学信息系统安全教育部重点实验室北京100084 清华大学清华信息科学与技术国家实验室(筹) 北京100084 北京控制工程研究所北京100190

DPU(data process unit,数据处理单元)是嵌入式系统中的一个典型组件,被广泛应用于太空领域,它在层次化的嵌入式系统架构中起到承上启下的作用。保证这类安全攸关系统可靠性的主要方法包括冗余容错、测试和仿真。近年来,形式化方法作为... 详细信息

DPU(data process unit,数据处理单元)是嵌入式系统中的一个典型组件,被广泛应用于太空领域,它在层次化的嵌入式系统架构中起到承上启下的作用。保证这类安全攸关系统可靠性的主要方法包括冗余容错、测试和仿真。近年来,形式化方法作为确保可靠性的一种重要补充,得到了广泛的关注。BIP(behavior interaction priority)是一个通用的系统级形式化建模框架,支持层次化和模块化,包含一套支持建模、模拟和验证的工具集。给出了一种基于BIP框架对DPU进行系统级建模与验证的一般方法,总结了一套使用BIP框架对DPU建模应遵循的原则及技巧。以航天领域一个真实DPU系统为例,系统地对方法、原则和技巧进行了介绍。通过该方法,找出了使用传统方法难以发现的错误。实践表明,该方法具有很好的可复用性和可扩展性,是确保系统可靠性的有益补充。

关键词：数据处理单元行为—交互—优先级框架形式化方法建模验证

来源：评论

学校读者我要写书评

暂无评论

误差可控的近似B样条曲面蒙皮算法

引用

计算机辅助设计与图形学学报 2008年第11期20卷 1477-1482页

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

B样条曲面蒙皮是曲面造型中常用的一种造型方式,传统的蒙皮算法会导致最终的蒙皮曲面含有大量的控制点.在Piegl算法的基础上,提出一种更加高效且误差可控的近似蒙皮算法.对B样条基函数的最大值进行了更为精确的估计,并且充分利用B样条... 详细信息

B样条曲面蒙皮是曲面造型中常用的一种造型方式,传统的蒙皮算法会导致最终的蒙皮曲面含有大量的控制点.在Piegl算法的基础上,提出一种更加高效且误差可控的近似蒙皮算法.对B样条基函数的最大值进行了更为精确的估计,并且充分利用B样条基函数的局部支撑性,尽可能多地删除相容性处理后B样条曲线的控制点,使得蒙皮算法更加有效.实验结果表明,在同样的误差范围内,文中算法可以比Piegl算法减少更多的控制点.

关键词： B样条蒙皮曲线相容性处理

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：