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

电子学报 2019年第11期47卷 2344-2353页

作者：杨曦罗平贾古丽清华大学软件学院信息系统安全教育部重点实验室

可信性作为软件的一种复杂的高复合概念,几十年间都未能取得实质性进展和突破.本文在对可信性权威定义分析的基础上,论证了这些定义所涉范围彼此矛盾且不相容,进一步说明从本质出发研究软件可信性概念模型的重要性和必然性."可信&q... 详细信息

可信性作为软件的一种复杂的高复合概念,几十年间都未能取得实质性进展和突破.本文在对可信性权威定义分析的基础上,论证了这些定义所涉范围彼此矛盾且不相容,进一步说明从本质出发研究软件可信性概念模型的重要性和必然性."可信"一词源于社会学,所以应该从社会学的信任理论出发来探讨软件可信性的本质.本文在上百篇经典社会学信任理论文献上构建出信任体系模型STM,并与软件的信任体系进行了对比和映射,提出基于社会学信任理论的软件可信性概念模型STCM.在STM和STCM的基础上给出软件可信性概念模型的定义系统.最后通过度量评估实验验证了模型是可行的、有效的,为软件可信性的发展提供了新的研究方向.

关键词：软件可信性信任理论 STM STCM 可靠性安全性

来源：评论

学校读者我要写书评

暂无评论

基于完全有限前缀的完备日志生成算法

引用

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

作者：王文星闻立杰谭士杰清华大学软件学院北京100084 清华大学信息系统安全教育部重点实验室北京100084 清华大学信息科学与技术国家实验室(筹) 北京100084

鉴于理想的完备日志很难被获取,针对特定次序关系完备的日志已成为评估挖掘算法表现的重要数据来源。提出了一种新颖的针对特定次序关系完备日志生成算法,基于完全有限前缀计算轨迹,使日志生成过程可控。扩展了完备日志的生成算法,使日... 详细信息

鉴于理想的完备日志很难被获取,针对特定次序关系完备的日志已成为评估挖掘算法表现的重要数据来源。提出了一种新颖的针对特定次序关系完备日志生成算法,基于完全有限前缀计算轨迹,使日志生成过程可控。扩展了完备日志的生成算法,使日志能够针对Δw关系和w关系完备,从而满足α谱系挖掘算法对日志的完备性要求。同时提出了一种日志生成算法的评估框架,并对日志生成算法进行评估。

关键词：完备日志展开网完全有限前缀 α谱系挖掘算法评估框架

来源：评论

学校读者我要写书评

暂无评论

一种基于随机游走模型的多标签分类算法

引用

计算机学报 2010年第8期33卷 1418-1426页

作者：郑伟王朝坤刘璋王建民清华大学软件学院北京100084 清华信息科学与技术国家实验室北京100084 信息系统安全教育部重点实验室北京100084

在数据挖掘领域,传统的单分类和多分类问题已经得到了广泛的研究.但是多标签数据的普遍存在性和重要性直到近些年来才逐渐得到人们的关注.在多标签分类问题中,由于标签相关性的存在,传统的单分类和多分类问题的解决方法,无法简单地应用... 详细信息

在数据挖掘领域,传统的单分类和多分类问题已经得到了广泛的研究.但是多标签数据的普遍存在性和重要性直到近些年来才逐渐得到人们的关注.在多标签分类问题中,由于标签相关性的存在,传统的单分类和多分类问题的解决方法,无法简单地应用于多标签分类问题.文中提出了一种基于随机游走模型的多标签分类算法,称为多标签随机游走算法.首先,将多标签数据映射成为多标签随机游走图.当输入一个未分类数据时,建立一个多标签随机游走图系列.而后,对图系列中的每个图应用随机游走模型,得到遍历每个顶点的概率分布,并将这个点概率分布转化成每个标签的概率分布.最后,基于多标签随机游走算法,文中给出了一种新的阈值学习算法.真实数据集上的实验表明,多标签随机游走算法可以有效地解决多标签分类问题.

关键词：多标签分类算法随机游走阈值学习

来源：评论

学校读者我要写书评

暂无评论

一种基于滑窗的增量式过程挖掘算法

引用

计算机集成制造系统 2008年第1期14卷 203-208页

作者：查海平王建民孙家广清华大学计算机科学与技术系清华大学软件学院北京100084清华大学信息系统安全教育部重点实验室

传统过程挖掘算法是针对静态模型和静态日志进行设计的,不能直接用于演化过程的发现。为此,提出了一种过程挖掘算法,应用滑窗机制实现增量式算法设计,利用日志事件关系模型,引入日志事件关系计数和阈值机制,实现对事件日志流的持续挖掘... 详细信息

传统过程挖掘算法是针对静态模型和静态日志进行设计的,不能直接用于演化过程的发现。为此,提出了一种过程挖掘算法,应用滑窗机制实现增量式算法设计,利用日志事件关系模型,引入日志事件关系计数和阈值机制,实现对事件日志流的持续挖掘,因而能够发现模型演化的历史及模型当前实际执行情况。分析了算法性质及相关参数的影响,并进行了实验验证。

关键词：过程挖掘演化过程滑窗算法

来源：评论

学校读者我要写书评

暂无评论

面向体绘制图像的直接体对象抠取

引用

计算机辅助设计与图形学学报 2011年第1期23卷 170-176页

作者：宋巍杨涛陈莉张慧清华大学软件学院北京100084 信息系统安全教育部重点实验室北京100084 清华大学信息科学与技术国家实验室北京100084

针对三维体对象抠取的相关工作中存在的尚多不足,提出一种体对象抠取算法.首先计算出与用户勾画结果相关的三维数据点,然后基于K-means聚类方法标记出高置信度的属于目标对象和无关对象的三维数据点,并以此作为种子点,借助基于能量优化... 详细信息

针对三维体对象抠取的相关工作中存在的尚多不足,提出一种体对象抠取算法.首先计算出与用户勾画结果相关的三维数据点,然后基于K-means聚类方法标记出高置信度的属于目标对象和无关对象的三维数据点,并以此作为种子点,借助基于能量优化的图割算法最终得到正确的体对象抠取结果.用户只需直接在体绘制的二维颜色叠加结果上通过简单的勾画指定目标对象和无关对象,即可抠取出感兴趣的体结构.最后通过实验说明了该算法的有效性.

关键词：体对象抠取体绘制抠像能量最小化

来源：评论

学校读者我要写书评

暂无评论

工作流管理系统中一种概率性分析和调整时间约束的方法

引用

计算机研究与发展 2010年第1期47卷 157-163页

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

时间管理是工作流管理系统应提供的重要功能,其中一个关键问题是分析时间约束的可行性,并调整时间约束以避免可能出现的违反.然而,在高度不确定的工作流环境下,传统定性的时间约束分析结果过于严格.因此,提出概率时间约束工作流网来描... 详细信息

时间管理是工作流管理系统应提供的重要功能,其中一个关键问题是分析时间约束的可行性,并调整时间约束以避免可能出现的违反.然而,在高度不确定的工作流环境下,传统定性的时间约束分析结果过于严格.因此,提出概率时间约束工作流网来描述时间约束下的工作流流程.基于该网提出一种方法,以随机的形式分析活动满足时间约束的概率.该概率能帮助流程管理者灵活地分析时间约束的可行性,进一步为时间约束调整提供精确的指导.此外,用一个实际工作流管理系统中的例子验证工作的有效性.

关键词：工作流管理系统时间管理流程不确定性时间约束概率

来源：评论

学校读者我要写书评

暂无评论

基于双层结构的矢量工程图符号识别算法

引用

计算机辅助设计与图形学学报 2017年第12期29卷 2171-2179页

作者：孙聪施侃乐雍俊海清华大学软件学院北京100084 信息系统安全教育部重点实验室北京100084 清华信息科学与技术国家实验室(筹) 北京100084

为了从矢量工程图中自动提取零件种类和个数等信息,提出一种矢量工程图符号识别算法.首先定义矢量工程图中每个元素的3种共同抽象属性以及2个元素之间的关系描述子;然后提出描述符号的双层结构,其比传统的网状或树状结构简单;最后,通过... 详细信息

为了从矢量工程图中自动提取零件种类和个数等信息,提出一种矢量工程图符号识别算法.首先定义矢量工程图中每个元素的3种共同抽象属性以及2个元素之间的关系描述子;然后提出描述符号的双层结构,其比传统的网状或树状结构简单;最后,通过关系描述子的匹配与双层结构的构造进行符号识别.另外,该算法利用四叉树、一次识别多种符号以及对关系描述子进行排序的方法加速符号识别.实验结果表明,文中算法比已有算法识别的符号种类更多,识别效率更高,而且在旋转和缩放变换条件下更加鲁棒.

关键词：符号识别工程图关系描述子约束树

来源：评论

学校读者我要写书评

暂无评论

由三视图重建包含圆环面的形体

引用

计算机辅助设计与图形学学报 2008年第2期20卷 186-192页

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

机械零件中的管道和曲面过渡通常都由圆环面构成.分析了圆环面在三视图中的投影性质,将圆环面不同方向投影中的具有独特性的二次曲线特征定义为它的主特征和次特征,以工程图标注的语义信息为辅,提出基于曲面特征识别的圆环面重建算法.... 详细信息

机械零件中的管道和曲面过渡通常都由圆环面构成.分析了圆环面在三视图中的投影性质,将圆环面不同方向投影中的具有独特性的二次曲线特征定义为它的主特征和次特征,以工程图标注的语义信息为辅,提出基于曲面特征识别的圆环面重建算法.该算法首先在三视图中识别圆环面特征,然后由特征计算曲面参数,最后构造拓扑结构.用该算法对带有管道和曲面过渡的实例进行了验证.

关键词：圆环面三视图特征识别实体重建

来源：评论

学校读者我要写书评

暂无评论

基于分支标记的数据流模型的代码生成方法

引用

软件学报 2021年第6期32卷 1647-1662页

作者：苏卓王东艳杨镒箫张明睿姜宇孙家广清华大学软件学院北京100084 信息系统安全教育部重点实验室(清华大学) 北京100084 北京大学信息科学技术学院北京100871

模型驱动开发以其低错误率、易仿真、易验证的特点,在嵌入式软件开发中被广泛应用.近年来,基于模型的嵌入式软件开发方法及相应工具也在逐渐发展和完善.数据流模型是各种建模工具中使用最为频繁的语义模型,然而,各种工具对于数据流模型... 详细信息

模型驱动开发以其低错误率、易仿真、易验证的特点,在嵌入式软件开发中被广泛应用.近年来,基于模型的嵌入式软件开发方法及相应工具也在逐渐发展和完善.数据流模型是各种建模工具中使用最为频繁的语义模型,然而,各种工具对于数据流模型的代码生成能力却参差不齐,特别是对于数据分支组件的支持,当前主流的建模工具都采用各种方式来回避复杂的分支建模及对应的代码生成.但是,分支建模是非常重要的,使用分支组件可以更清晰地表现出数据流的数据传递逻辑.为了解决复杂分支建模带来的代码生成难题,针对具有复杂分支组合的数据流模型.提出了一种基于分支调度标记的代码生成方法.在所提出的算法中,首先通过拓扑排序确定模型的调度顺序,再根据不同分支的影响对组件进行分支标记;之后,根据组件的分支标记构造一个基于控制流的代码生成位置表;最后,即可根据代码生成位置表进行各种主流语言的代码生成.通过构造4个具有复杂分支的数据流模型实例进行代码生成,并在生成代码行数和运行时间等方面与Simulink和Ptolemy进行对比,进一步说明该代码生成方法在复杂分支组合情况下的通用性以及所做工作的价值和意义.

关键词：模型驱动开发数据流代码生成分支嵌入式系统

来源：评论

学校读者我要写书评

暂无评论

适用于移动自组织网的鲁棒性密钥管理

引用

清华大学学报（自然科学版） 2008年第7期48卷 1194-1197页

作者：葛蒙赵曦滨林国恩清华大学计算机科学与技术系北京100084 清华大学软件学院信息系统安全教育部重点实验室北京100084

为了减轻网络分割对移动自组织网中密钥管理服务的负面影响,提出一种基于分布式认证中心的密钥管理方案。通过引入辅助子密钥并加以有效管理,方案有策略地增加网络中子密钥的冗余度,同时保证系统的安全性和鲁棒性。在部署该方案的模拟... 详细信息

为了减轻网络分割对移动自组织网中密钥管理服务的负面影响,提出一种基于分布式认证中心的密钥管理方案。通过引入辅助子密钥并加以有效管理,方案有策略地增加网络中子密钥的冗余度,同时保证系统的安全性和鲁棒性。在部署该方案的模拟场景的测试中,该方案使得在请求分布式认证中心时,请求平均失败率减少50%以上。分析和模拟结果表明:该方案既能够防止常见的攻击,又能够有效增强密钥管理服务的鲁棒性。

关键词：数据安全移动自组织网密钥管理门限技术

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：