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

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

基于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系统为例,系统地对方法、原则和技巧进行了介绍。通过该方法,找出了使用传统方法难以发现的错误。实践表明,该方法具有很好的可复用性和可扩展性,是确保系统可靠性的有益补充。

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

来源：评论

学校读者我要写书评

暂无评论

行为因果关系的分类与判定

引用

系统仿真学报 2011年第B7期23卷 188-192页

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

工作流技术可以加速企业过程感知信息系统的研发及更新演化,近年来得到了广泛应用,导致各行各业积累了大量的工作流模型。Petri网既有简单的图形化表示,又有很好的形式化基础,故常被用于表示这些工作流模型。如何对这些海量模型进行高... 详细信息

工作流技术可以加速企业过程感知信息系统的研发及更新演化,近年来得到了广泛应用,导致各行各业积累了大量的工作流模型。Petri网既有简单的图形化表示,又有很好的形式化基础,故常被用于表示这些工作流模型。如何对这些海量模型进行高效检索是一个难题。由于动态行为特性是工作流模型的本质特性,故需要基于任务之间的行为关系进行查询。因果关系是任务间行为关系的一种,对任务间因果关系进行了分类,并针对无环工作流模型提出了有效的判定算法。

关键词： Petri 行为因果关系分类判定

来源：评论

学校读者我要写书评

暂无评论

GPU上的水彩画风格实时渲染及动画绘制

引用

图学学报 2012年第3期33卷 73-80页

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

论文提出了一种基于GPU的对三维场景进行实时水彩画效果渲染的方法。该方法的大部分过程使用图像空间的技术实现。算法将画面分为细节层、环境层、笔触层分别渲染,再进行合成。在过程中使用环境遮挡、shadow mapping等技术进行快速的阴... 详细信息

论文提出了一种基于GPU的对三维场景进行实时水彩画效果渲染的方法。该方法的大部分过程使用图像空间的技术实现。算法将画面分为细节层、环境层、笔触层分别渲染,再进行合成。在过程中使用环境遮挡、shadow mapping等技术进行快速的阴影计算,并使用图像滤镜的方法模拟水彩的多种主要特征。由于该方法以图像空间的技术为主,因此可以利用GPU并行处理的特点对计算过程进行加速,进而达到实时的渲染速度。最后建立动画脚本分析系统,进行实时动画渲染,表明该方法在计算机动画、游戏等数字娱乐产业领域有较大的应用潜力。

关键词：非真实感渲染水彩 GPU 动画

来源：评论

学校读者我要写书评

暂无评论

数据空间隐私保护平台的设计

数据空间隐私保护平台的设计

引用

第二十五届中国数据库学术会议

作者：张亚维朱智武叶晓俊清华大学软件学院信息系统与工程所信息系统安全教育部重点实验室

在分析隐私保护概念和现有隐私保护技术的基础上,设计了一个面向未来数据管理的数据空间隐私保护平台,集成包括隐私策略描述与管理、搜索/查询引擎中隐私信息访问控制技术、数据发布和利用中的数据匿名化、隐私保护的数据挖掘等隐私保... 详细信息

在分析隐私保护概念和现有隐私保护技术的基础上,设计了一个面向未来数据管理的数据空间隐私保护平台,集成包括隐私策略描述与管理、搜索/查询引擎中隐私信息访问控制技术、数据发布和利用中的数据匿名化、隐私保护的数据挖掘等隐私保护技术。隐私保护平台框架参照现有DBMS的查询引擎体系结构,使之能够集成数据空间的隐私策略描述和管理,从而全面地有效维护、控制数据空间中个人数据隐私。

关键词：数据空间隐私保护访问控制平台

来源：评论

学校读者我要写书评

暂无评论

基于场分布的平面散乱点集B样条曲线重建算法

引用

工程图学学报 2010年第2期31卷 73-83页

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

平面散乱点集的曲线重建是逆向工程研究的核心问题之一。该文在Goshtasby算法的基础上,提出了一种基于场分布的平面散乱点集B样条曲线重建算法。首先,通过估计场强基函数的边界提高量子化效率,生成散乱点集场分布的数字图像;然后,利用... 详细信息

平面散乱点集的曲线重建是逆向工程研究的核心问题之一。该文在Goshtasby算法的基础上,提出了一种基于场分布的平面散乱点集B样条曲线重建算法。首先,通过估计场强基函数的边界提高量子化效率,生成散乱点集场分布的数字图像;然后,利用图像细化结合改进的BFS(Breadth-First-Search)算法来避免数字图像中由于存在大量冗余分支像素而难以生成脊轮廓的问题;最后,采用加权最小二乘法延长重建曲线,改进Goshtasby算法所得的开曲线在端点处收缩的缺点。实验表明,对于带噪声的平面稠密点集,该算法可有效地重建反映点集形状和走向的B样条曲线。

关键词：计算机应用 B样条曲线重建场分布散乱点集

来源：评论

学校读者我要写书评

暂无评论

数据库用户行为模型与异常检测

数据库用户行为模型与异常检测

引用

2009国际信息技术与应用论坛

作者：朱智武叶晓俊清华大学软件学院信息系统与工程所信息系统安全教育部重点实验室

针对数据管理系统现有安全机制的不足,提出一个多粒度的数据库用户行为模型,并基于此给出了数据库用户行为异常检测机制。实验显示该方法能够有效地发现数据库用户的异常行为,保护数据的安全。

关键词：数据库安全入侵检测用户行为

来源：评论

学校读者我要写书评

暂无评论

基于DAG表示与产生式的IGES装配体数据交换算法

引用

图学学报 2012年第4期33卷 50-58页

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

初始图形交换规范(IGES)是目前应用最为广泛的中性文件格式标准之一,但是相关的研究主要集中在单零件的格式转换上面,对设计中经常用到的装配体的IGES格式研究较少。该文总结了常用CAD软件中装配体导出的IGES文件存储格式,提出并实现了... 详细信息

初始图形交换规范(IGES)是目前应用最为广泛的中性文件格式标准之一,但是相关的研究主要集中在单零件的格式转换上面,对设计中经常用到的装配体的IGES格式研究较少。该文总结了常用CAD软件中装配体导出的IGES文件存储格式,提出并实现了一种基于图表示与产生式规则的IGES装配体数据交换算法,将IGES格式的解析过程标准化,使其具有通用性和可扩展性,并且正确性可以进行形式化验证。应用该方法,该文具体实现了多文件格式的装配体IGES前置和后置处理器。在几何造型系统TiGems7.0中进行的实验结果表明该算法具有较快的速度,也具有较好的鲁棒性。

关键词：初始图形交换规范装配体数据交换有向无环图产生式

来源：评论

学校读者我要写书评

暂无评论

分布式嵌入式系统软硬件协同仿真平台

引用

计算机工程与设计 2014年第5期35卷 1607-1611,1618页

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

为了更好地服务于软/硬件协同开发,分析了现有的基于单机架构的全系统仿真工具的不足,考虑到嵌入式开发人员位于分布式环境的特点,设计了一种基于B/S架构的分布式嵌入式系统软硬件协同仿真平台。基于开源仿真工具SimSoC进行实现,阐释了... 详细信息

为了更好地服务于软/硬件协同开发,分析了现有的基于单机架构的全系统仿真工具的不足,考虑到嵌入式开发人员位于分布式环境的特点,设计了一种基于B/S架构的分布式嵌入式系统软硬件协同仿真平台。基于开源仿真工具SimSoC进行实现,阐释了将基于单机架构的仿真工具改成分布式的一般规律。利用该方案在实际案例中进行了应用。

关键词：嵌入式仿真分布式浏览器服务器模型全系统仿真

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：