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

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

利用控制顶点插值的光滑B样条曲线构造方法

引用

计算机辅助设计与图形学学报 2011年第5期23卷 813-819页

作者：刘晶施侃乐雍俊海古和今清华大学软件学院北京100084 信息系统安全教育部重点实验室北京100084 清华大学信息科学与技术国家重点实验室北京100084 清华大学计算机科学与技术系北京100084 江西省科学院科研开发处南昌330029

针对非均匀采样点拟合时的光滑B样条曲线构造问题,提出一种基于已知控制顶点和节点向量求解未知控制顶点来构造光滑B样条曲线的方法.首先对所有控制顶点进行基函数极值参数化,再将已知控制顶点作为型值点进行光滑样条曲线插值,并在此曲... 详细信息

针对非均匀采样点拟合时的光滑B样条曲线构造问题,提出一种基于已知控制顶点和节点向量求解未知控制顶点来构造光滑B样条曲线的方法.首先对所有控制顶点进行基函数极值参数化,再将已知控制顶点作为型值点进行光滑样条曲线插值,并在此曲线上通过利用参数化结果求值得到未知控制顶点.该方法通过控制顶点所在曲线的光顺性提高最终生成曲线的连续性和光滑性.最后通过实例说明,采用文中方法所构造的B样条曲线具有较好的光顺性.

关键词：光滑 B样条曲线控制顶点插值参数化

来源：评论

学校读者我要写书评

暂无评论

基于代理的工作流邦联及子流调用框架

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

致命性自主武器系统的定义方法

引用

装备学院学报 2017年第3期28卷 38-44页

作者：曹华阳况晓辉李响赵刚北京系统工程研究所信息系统安全技术重点实验室北京100101

致命性自主武器系统引发国际社会军控问题讨论,但对于致命性自主武器系统的定义这一核心问题,国际社会难以形成统一认识。针对目前缺乏关于致命性自主武器系统统一定义方法的问题,报告了当前国际上关于致命性自主武器系统的认识现状,进... 详细信息

致命性自主武器系统引发国际社会军控问题讨论,但对于致命性自主武器系统的定义这一核心问题,国际社会难以形成统一认识。针对目前缺乏关于致命性自主武器系统统一定义方法的问题,报告了当前国际上关于致命性自主武器系统的认识现状,进行了定义方法调查,提出了情境和关键特征相结合的致命性自主武器系统定义框架。基于该框架,可从关键特征、应用场景、作战中发挥的作用3个维度对致命性自主武器系统的概念进行界定,并可对已有定义进行分析。

关键词：自主性武器智能武器自动化武器无人武器定义框架

来源：评论

学校读者我要写书评

暂无评论

基于统计的浏览器指纹采集技术

引用

信息网络安全 2019年第11期 49-55页

作者：张良峰汪毅吴源燚孔睿上海微系统与信息技术研究所上海科技大学信息学院中国科学院大学信息系统安全技术国防科技重点实验室

浏览器指纹是一项识别用户浏览器的新技术,它能够通过用户使用浏览器的各种独一无二的特征来区别不同用户并标记。浏览器指纹可以被用于广告营销和对抗网络诈骗,同时也可以被攻击者用来跟踪用户。为了保护用户隐私安全,研究者们提出了... 详细信息

浏览器指纹是一项识别用户浏览器的新技术,它能够通过用户使用浏览器的各种独一无二的特征来区别不同用户并标记。浏览器指纹可以被用于广告营销和对抗网络诈骗,同时也可以被攻击者用来跟踪用户。为了保护用户隐私安全,研究者们提出了多种解决方案来避免用户被跟踪。最新的防御方法是在不影响用户使用的前提下,对浏览器指纹中的关键属性随机化,破坏用户不同会话间的关联性。针对这样的防御方法,为了能够准确得到用户浏览器指纹,文章采用了统计和侧信道攻击的方法,并根据观察所得的浏览器指纹关键属性的随机值,还原出了浏览器指纹中关键属性的真实值,从而达到区分和跟踪用户的目的。实验结果表明,该方法还原浏览器指纹的精确度超过了98%。

关键词：浏览器隐私设备指纹侧信道攻击随机化假设检验

来源：评论

学校读者我要写书评

暂无评论

基于树结构的纠删码数据更新策略

引用

计算机工程与设计 2023年第3期44卷 725-731页

作者：赵银瑞殷双飞陕振王梓斌中国航天科工集团第二研究院706所北京100854 北京系统工程研究所信息系统安全技术重点实验室北京100101

为保证存储集群中数据的可靠性,缓解跨机架环境中单节点的有限可用带宽,提出一种纠删码的数据更新策略DBTU(data delta log based tree-structure update)。该方法包含2个设计要点:数据块更新采用就地更新策略,校验块更新采用基于数据... 详细信息

为保证存储集群中数据的可靠性,缓解跨机架环境中单节点的有限可用带宽,提出一种纠删码的数据更新策略DBTU(data delta log based tree-structure update)。该方法包含2个设计要点:数据块更新采用就地更新策略,校验块更新采用基于数据增量日志的推测性部分写入策略,减少读后写操作;采用自顶向下的树结构传输更新数据,缓解单节点的带宽瓶颈。实验结果表明,在100 Mbps带宽下,DBTU的更新吞吐率相较FO(full overwrite)和PARIX(speculative partial write)分别提高了54.3%和51.6%。

关键词：纠删码存储集群更新树数据更新增量跨机架奇偶校验

来源：评论

学校读者我要写书评

暂无评论

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

引用

计算机集成制造系统 2012年第8期18卷 1735-1746页

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

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

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

关键词：业务过程管理带数据工作流形式化建模语言数据感知的工作流网

来源：评论

学校读者我要写书评

暂无评论

BeehiveZ:一个开放的业务过程模型管理框架

引用

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

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

随着面向服务架构、业务过程管理技术的推广应用,企业中用建模语言描述的业务过程模型越来越多,这些模型描述了企业核心的业务逻辑,是企业最宝贵的知识资产.为了更好地促进企业的发展,提升竞争力,需要将这些业务过程模型作为数据进行有... 详细信息

随着面向服务架构、业务过程管理技术的推广应用,企业中用建模语言描述的业务过程模型越来越多,这些模型描述了企业核心的业务逻辑,是企业最宝贵的知识资产.为了更好地促进企业的发展,提升竞争力,需要将这些业务过程模型作为数据进行有效地管理、建立企业过程模型库,并支持对过程模型的存储、浏览、相似性度量、检索等操作和应用开发.提出了一个开放的业务过程模型管理框架--BeeHiveZ,阐述了BeeHiveZ的体系结构、关键技术及系统功能与操作等内容.BeeHiveZ现已在开源软件社区SourceForge. net上发布.

关键词：业务过程管理过程模型过程仓库过程模型检索

来源：评论

学校读者我要写书评

暂无评论

基于灰度纹理的微平面法向分布函数

引用

计算机应用 2010年第12期30卷 32-36页

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

基于微平面理论的双向反射分布函数(BRDF)材质模型都需要一个分布函数表示微平面法向的分布概率密度,现有的分布函数大都是用数学公式表示的。用公式表示的分布函数往往不够直观,而且种类较少。提出一种新的、直接从灰度纹理生成分布函... 详细信息

基于微平面理论的双向反射分布函数(BRDF)材质模型都需要一个分布函数表示微平面法向的分布概率密度,现有的分布函数大都是用数学公式表示的。用公式表示的分布函数往往不够直观,而且种类较少。提出一种新的、直接从灰度纹理生成分布函数的方法。该方法生成的分布函数不仅可以替代公式表示的分布函数,而且还可以创造出一些新的材质。首先对一张灰度纹理进行均匀采样提取一个二维灰度值表,并把表项下标和微平面法向的方向建立映射关系,用表项中存放的灰度值作为该法向的概率密度值。用BRDF计算物体颜色时需要在分布函数中进行微平面法向的采样,提出在表格化的分布函数中进行随机采样和重点采样的算法。最后通过设计灰度纹理构造分布函数,实现了一些特殊的材质效果。

关键词：分布函数灰度纹理重点采样

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：