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

第九届中国计算机图形学大会(Chinagraph‘2012)

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

本文针对工程图中的平行、相切、垂直、轴对称、共线、竖直对齐、水平对齐以及等圆共八种几何约束提出了一种约束识别算法。算法先使用一系列与约束类型相关的聚类来构造一个初始约束集合，该集合能够保证其部分子集内部没有约束冗余：... 详细信息

本文针对工程图中的平行、相切、垂直、轴对称、共线、竖直对齐、水平对齐以及等圆共八种几何约束提出了一种约束识别算法。算法先使用一系列与约束类型相关的聚类来构造一个初始约束集合，该集合能够保证其部分子集内部没有约束冗余：对此集合进一步筛选即能得到完全无冗余的目标约束集合。文章展示了算法对实际工程图纸的约束识别结果，以及基于这些约束进行约束求解的效果。

关键词：工程图几何约束识别聚类算法初始约束集合

来源：评论

学校读者我要写书评

暂无评论

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

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

引用

第二届中国业务过程管理大会

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

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

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

关键词：业务流程数据工作流建模语言信息处理自动控制

来源：评论

学校读者我要写书评

暂无评论

多边形网格的非流形封闭三角形网格正则化

多边形网格的非流形封闭三角形网格正则化

引用

第十届中国计算机图形学大会暨第十八届全国计算机辅助设计与图形学会会议

作者：林建立唐磊雍俊海清华大学软件学院北京 100084 清华大学计算机科学与技术系北京 100084 信息系统安全教育部重点实验室北京 100084 清华信息科学与技术国家实验室北京 100084 清华大学软件学院北京 100084 信息系统安全教育部重点实验室北京 100084 清华信息科学与技术国家实验室北京 100084

为了提高基于网格模型的算法与应用的效率和稳定性，提出一种将任意多边形网格模型转化为正则三角网格模型的算法。首先对输入多边形网格模型中非三角形的面片进行三角剖分，然后查找并移除模型中的重合或重叠元素，再通过模型内部三角... 详细信息

为了提高基于网格模型的算法与应用的效率和稳定性，提出一种将任意多边形网格模型转化为正则三角网格模型的算法。首先对输入多边形网格模型中非三角形的面片进行三角剖分，然后查找并移除模型中的重合或重叠元素，再通过模型内部三角形求交对模型进行边和面的分割，从而修正模型的拓扑结构;在求交的过程中，根据边和三角形的位置关系对共面求交进行细致的分类处理，减少了求交次数，提高了算法的稳定性;最后循环搜索在网格模型中可以确定法向的种子三角形，通过拓扑结构调整与之相邻的三角形的法向，最终构成一个或多个法向确定的闭合曲面。实验结果表明，该算法能够将多边形网格转化为正则三角形网格模型。

关键词：模型修复正则化三角形网格非流形

来源：评论

学校读者我要写书评

暂无评论

业务过程模型库索引技术

业务过程模型库索引技术

引用

第一届中国业务过程管理大会

作者：金涛闻立杰清华大学计算机科学与技术系，北京 100084 清华大学软件学院北京 100084 清华大学信息系统安全教育部重点实验室，北京 100084 清华大学信息科学与技术国家实验室(筹)，北京 10008 清华大学软件学院北京 100084 清华大学信息系统安全教育部重点实验室，北京 100084 清华大学信息科学与技术国家实验室(筹)，北京 100084

为了有效管理数量庞大的业务过程模型，提高检索效率，分析了实际业务过程模型的特点，分析比较了已有的图数据库索引技术和业务过程模型检索的已有研究成果，结果表明，BeehiveZ系统能比较好地结合业务过程模型的特点进行检索，但还需... 详细信息

为了有效管理数量庞大的业务过程模型，提高检索效率，分析了实际业务过程模型的特点，分析比较了已有的图数据库索引技术和业务过程模型检索的已有研究成果，结果表明，BeehiveZ系统能比较好地结合业务过程模型的特点进行检索，但还需要在嵌套模型检索和基于双互向模拟的模型相似性度量方面开展进一步的工作。

关键词：业务过程模型数据库检索效率索引技术嵌套模型

来源：评论

学校读者我要写书评

暂无评论

云时代下的大数据安全技术

引用

中兴通讯技术 2016年第1期22卷 14-18页

作者：杨曦 GUL Jabeen 罗平清华大学信息系统安全教育部重点实验室北京100084 福州大学阳光学院计算机工程系福州350015

认为云计算结合大数据,是时代发展的必然趋势。提出了保障大数据安全的方法和技术,方法包括:构建云环境下的大数据信息安全体系,建立并研究基于Hadoop的大数据安全架构等;技术包括:基于大数据的威胁发现技术、大数据真实性分析技术、基... 详细信息

认为云计算结合大数据,是时代发展的必然趋势。提出了保障大数据安全的方法和技术,方法包括:构建云环境下的大数据信息安全体系,建立并研究基于Hadoop的大数据安全架构等;技术包括:基于大数据的威胁发现技术、大数据真实性分析技术、基于大数据的认证技术、基于大数据的安全规则挖掘技术,以及防范高级持续性威胁(APT)攻击的技术。认为大数据带来许多新的安全问题和挑战,但它本身也是解决问题的重要手段,需要进一步地研究。

关键词：大数据云计算大数据安全 APT攻击数据挖掘

来源：评论

学校读者我要写书评

暂无评论

基于支持向量机的Web日志用户标志修正算法

基于支持向量机的Web日志用户标志修正算法

引用

第一届中国业务过程管理大会

作者：邹根闻立杰清华大学计算机科学与技术系，北京 100084 清华大学软件学院北京 100084 清华大学信息系统安全教育部重点实验室，北京 100084 清华大学信息科学与技术国家实验室(筹)北京 10008 清华大学计算机科学与技术系，北京 100084 清华大学软件学院北京 100084 清华大学信息系统安全教育部重点实验室，北京 100084

针对用户删除Cookie导致的Web日志用户标志不准确的情况，提出了一种基于支持向量机的用户标志修正算法。首先训练一个分类器判断两个会话是否属于同一个用户，然后计算两个不同标志用户之间的相似度，最后将日志进行分组，发现所有删除... 详细信息

针对用户删除Cookie导致的Web日志用户标志不准确的情况，提出了一种基于支持向量机的用户标志修正算法。首先训练一个分类器判断两个会话是否属于同一个用户，然后计算两个不同标志用户之间的相似度，最后将日志进行分组，发现所有删除Cookie的用户并进行标志的修正。通过实验验证了算法的有效性.

关键词： Web日志数据预处理用户识别支持向量机数据挖掘

来源：评论

学校读者我要写书评

暂无评论

基于二维直方图图像智能分割的体绘制传递函数设计

基于二维直方图图像智能分割的体绘制传递函数设计

引用

第十届中国计算机图形学大会暨第十八届全国计算机辅助设计与图形学会会议

作者：孙思远陈莉廖鸿森清华大学软件学院计算机图形学与辅助设计研究所北京 100084 清华大学软件学院信息系统安全教育部重点实验室北京 100084

为了增强传递函数的特征区分能力并简化交互模式，提出一种基于二维直方图图像分割和特征度量差异性分析的渐进式体绘制传递函数设计方法。通过渐进式地用不同的特征组成传递函数对目标区域进行逐步求精地分离，并在每次分离时采用面向... 详细信息

为了增强传递函数的特征区分能力并简化交互模式，提出一种基于二维直方图图像分割和特征度量差异性分析的渐进式体绘制传递函数设计方法。通过渐进式地用不同的特征组成传递函数对目标区域进行逐步求精地分离，并在每次分离时采用面向数据分类的特征空间度量差异性的评估方法智能指导二维传递函数数值特征的选取。使用这一系列二维传递函数对目标区域进行多次分离，得到目标区域精确的分离结果;再利用此结果突出目标区域的显示，增强可视化效果。由于该方法借鉴了前人建立在对二维直方图图像进行normalized cut分割和层次聚类的交互方式，使得二维直方图的交互也非常简单便捷。实验结果表明，文中方法是有效的。

关键词：体绘制传递函数特征评估图像分割

来源：评论

学校读者我要写书评

暂无评论

一种PLC程序语言指称语义及函数的形式化定义方法

一种PLC程序语言指称语义及函数的形式化定义方法

引用

2011年中国智能自动化会议

作者：肖力田顾明孙家广清华大学软件学院信息科学与技术国家实验室，信息系统安全教育部重点实验室，计算机科学与技术系，北京，100084 北京特种工程设计研究院，北京，100028 清华大学软件学院信息科学与技术国家实验室，信息系统安全教育部重点实验室，计算机科学与技术系，北京，100084

为了使用形式化方法对PLC程序的正确性验证奠定基础，研究PLC程序语言的指称语义定义，以实现对PLC形式化定义和检测验证。基于程序建模，定义了PLC程序指称语义的格局、程序语言的语义函数及函数，为其模型检测和定理证明提供了基础。

关键词： PLC程序语言语义函数程序建模指称语义

来源：评论

学校读者我要写书评

暂无评论

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

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

引用

第27届中国数据库学术会议

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

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

引用

第一届中国业务过程管理大会

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：