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

计算机研究与发展 2011年第S3期48卷 430-434页

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

软件形式化验证专题前言

引用

软件学报 2019年第7期30卷 1901-1902页

作者：贺飞张立军清华大学软件学院北京100084 北京信息科学与技术国家研究中心北京100084 信息系统安全教育部重点实验室北京100084 中国科学院软件研究所北京100190 广州智能软件产业研究院广东广州511458

形式化方法是建立在逻辑演算、形式语言、自动机理论、程序语义、类型系统等理论基础之上,对计算系统进行描述和分析的一系列符号与技术的集合。形式化方法可指导软/硬件系统的规约、设计和验证,是改善和确保计算系统质量的重要方法。... 详细信息

形式化方法是建立在逻辑演算、形式语言、自动机理论、程序语义、类型系统等理论基础之上,对计算系统进行描述和分析的一系列符号与技术的集合。形式化方法可指导软/硬件系统的规约、设计和验证,是改善和确保计算系统质量的重要方法。历史上,形式化方法在硬件和协议验证方面取得巨大成功。

关键词：形式化验证形式化方法软件计算系统硬件系统自动机理论逻辑演算形式语言

来源：评论

学校读者我要写书评

暂无评论

基于层次聚类的网格模型自动分割方法

引用

计算机应用 2010年第12期30卷 1-4页

作者：张森韩其才闫琨鹏张慧雍俊海清华大学软件学院北京100084 清华大学计算机科学与技术系北京100084 清华大学信息系统安全教育部重点实验室北京100084 清华大学信息科学与技术国家实验室北京100084

将网格模型按照表面特征进行分割,在计算机图形学中有着广泛的应用。在传统的网格分割层次聚类算法的基础上,利用相邻聚类公共边的长度,公共顶点的曲率,以及聚类的面积对聚类之间的合并成本进行加权,提出新的合并成本函数,更好地利用网... 详细信息

将网格模型按照表面特征进行分割,在计算机图形学中有着广泛的应用。在传统的网格分割层次聚类算法的基础上,利用相邻聚类公共边的长度,公共顶点的曲率,以及聚类的面积对聚类之间的合并成本进行加权,提出新的合并成本函数,更好地利用网格表面特征指导聚类之间的合并过程。同时,针对传统分割算法中分割区域边界存在的锯齿现象,针对每一个分割区域,全局考虑其与相邻分割区域的模糊地带,利用最大流最小割的方法优化分割区域边界,从而消除锯齿,平滑边界。

关键词：表面特征自动分割层次聚类合并成本函数最小割

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

分布式天线系统中的下行容量分析

引用

通信学报 2012年第6期33卷 125-132页

作者：王俊波王金元赵曦滨顾明陈明焦媛南京航空航天大学电子信息工程学院江苏南京210016 西安电子科技大学综合业务网理论及关键技术国家重点实验室陕西西安710071 东南大学移动通信国家重点实验室江苏南京210096 清华大学信息系统安全教育部重点实验室北京100084

针对分布式天线系统(DAS)的下行容量问题展开研究。首先建立了包含路径损耗、阴影衰落和瑞利衰落的复合信道模型;然后,基于该信道模型,分别对各态历经容量和中断容量进行了分析。考虑到小区内移动台的分布特点,在选择分集传输策略下,推... 详细信息

针对分布式天线系统(DAS)的下行容量问题展开研究。首先建立了包含路径损耗、阴影衰落和瑞利衰落的复合信道模型;然后,基于该信道模型,分别对各态历经容量和中断容量进行了分析。考虑到小区内移动台的分布特点,在选择分集传输策略下,推导了各态历经容量和中断容量的近似解析表达式。仿真结果表明,所推导的2个近似解析表达式均能准确地评估分布式天线系统的系统性能。

关键词：分布式天线系统各态历经容量中断容量选择分集复合信道

来源：评论

学校读者我要写书评

暂无评论

基于马尔科夫链的软件故障分类预测模型

引用

中国科学院大学学报（中英文） 2013年第4期30卷 562-567页

作者：易锦罗峋凹建勋杨光宇罗平中国信息安全测评中心香港科技大学中国人民解放军95973部队清华大学软件学院信息系统安全教育部重点实验室信息科学与技术国家实验室

传统的软件可靠性模型一般未考虑故障的危害严重程度对软件失效的影响.然而在很多研究(如软件可信性研究)中,不仅要考虑软件的失效率、故障总数与失效间隔时间等,同时也要考虑故障的危害严重程度对软件可信性的影响.为解决上述问题,提... 详细信息

传统的软件可靠性模型一般未考虑故障的危害严重程度对软件失效的影响.然而在很多研究(如软件可信性研究)中,不仅要考虑软件的失效率、故障总数与失效间隔时间等,同时也要考虑故障的危害严重程度对软件可信性的影响.为解决上述问题,提出一种基于马尔科夫链的预测方法,用以预测软件未来发生故障的种类,即预测软件未来发生故障的危害严重程度.这种分类预测方法可以更加全面地描述由软件故障引起的失效问题.

关键词：软件可靠性马尔科夫链严重程度软件可信性

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：