公共文化服务平台

北京大学软件工程国家工程研究中心: 作品数：111 被引量：511H指数：12; 相关作者：柳军飞叶蔚马森詹昱煜王栋更多>>; 相关机构：清华大学信息科学技术学院清华大学信息科学技术学院自动化系中国科学院大学网络空间安全学院更多>>; 发文基金：国家自然科学基金国家高技术研究发展计划国家重点基础研究发展计划更多>>; 相关领域：自动化与计算机技术医药卫生文化科学经济管理更多>>

合作机构

未来网络体系结构及安全设计综述被引量：4: 2015年; 由于现有互联网体系结构在满足未来新需求、应对新问题所面临的技术挑战,未来网络体系结构研究正成为全球关注的热点.通过介绍美国自然科学基金支持的3个未来网络体系结构研究项目,阐述了典型的未来网络体系结构特点和安全方面的技术路线,并从安全视角提出了内生式安全、基于CPK的认证和隐私与安全兼顾的研究设想.; 陈钟关志孟宏伟孟子骞; 关键词：移动性隐私保护

SPHINCS+-SM3:基于SM3的无状态数字签名算法: 2023年; SPHINCS+是一种无状态的数字签名算法.2022年11月,美国国家标准与技术研究院(NIST)宣布SPHINCS+成为即将被标准化的后量子数字签名算法,目前已进入具体参数选取的讨论阶段.SPHINCS+的安全性仅依赖于其所使用的杂凑函数的抗某种变体的(第二)原像攻击的强度,从安全性角度看,基于杂凑函数的数字签名方案是最保守的设计.在第四届NIST后量子密码标准化会议中,NIST后量子密码(NIST PQC)团队Dustin Moody在他的报告“NIST PQC:Looking into the future”中指出了选择SPHINCS+的原因:坚实的安全性以及其基于与格密码不同的安全性假设.本文利用杂凑函数SM3实例化SPHINCS+,给出了2组达到NIST后量子密码算法征集文档(NIST PQC CFP)中第1安全等级的参数实例,并进行了初步的性能测试.; 孙思维刘田雨关志何逸飞胡磊荆继武张立廷闫海伦; 关键词：数字签名杂凑函数

基于Petri网的WSCI形式化模型分析: 2009年; WSCI是一种Web服务组合标记语言,对于一些关键的业务流程,任何设计错误都会造成重大损失,因此有必要为WSCI语言建立形式化模型并给予分析,从而保证正确的业务流程部署。本文主要给出了WSCI的分析方法,基于文献[1]给出了形式化模型,提出了该形式化模型下的一种网融合方法。该方法将表示进程的网模型与其表示例外处理和子流程的网模型进行合并,形成统一的网模型。本文最后还给出了在该网模型下的可达图分析方法,从而达到分析带有例外处理的WSCI形式化模型的目的。; 黄雨胡文蕙高昕王捍贫; 关键词：PETRI NETS WEB服务组合

G2S:基于语义块的知识图谱问答语义解析被引量：8: 2021年; 问题意图理解是知识图谱问答的主要任务之一,语义解析是当前理解问题意图的主流方法.其主要挑战是如何充分利用知识图谱上下文理解问句中的隐含实体或关系,以及时间、排序和聚合等复杂约束条件等意图.为了应对这些挑战,本文提出了一种基于语义块的知识图谱问答语义解析框架——Graph-to-Segment,框架中的语义解析模型结合了基于规则的准确度和基于深度学习的覆盖度,实现了问题到语义块序列的解析和语义查询图的构造.框架将问题意图使用基于语义块的语义查询图表示,将问题的语义解析建模为语义块序列生成任务,采用编码器-解码器神经网络模型实现问题到语义块序列的解析,然后通过语义块组装形成语义查询图.同时,结合知识图谱中的上下文信息,模型使用图神经网络学习问题的表示,改进隐含实体或关系的语义解析效果.在两个知识图谱问答数据集上的实验表明,模型性能达到了良好的效果.; 高留杰赵文张君福姜波; 关键词：知识图谱

基于智能手机感知数据的心理压力评估方法被引量：12: 2019年; 较大的心理压力对大学生的心理和生理均会产生危害.心理压力往往在前期容易被人忽视,从而导致严重的问题.因此,如果能较早发现心理压力,并进行合理干预,有益于人的身心健康.传统心理压力检测方法以问卷调查和借助专业设备的评估为主,但都存在成本较高,且对被评估对象侵扰较大等不足.另一方面,随着智能手机的快速普及,通过手机中内置的位置、声音、加速度等多种传感器感知用户的行为习惯,并基于感知数据评估用户心理压力成为一种低成本、低侵扰的心理压力评估手段.在此背景下,针对基于智能手机感知数据分析,对评估大学生心理压力的方法展开了研究,从感知数据中提取合理的特征,提出了一种更高效的心理压力评估方法.首先,讨论了如何从原始的手机感知数据提取出合理的特征;其次,介绍将心理压力评估转化为分类问题,并使用半监督学习方法构造分类模型;最后,在开放数据集StudentLife上对上述模型进行实验验证.实现结果表明:该方法在心理压力检测精确度和召回率等方面均优于基线方法.; 王丰王丰王亚沙熊昊一赵俊峰赵俊峰; 关键词：心理压力情境感知

基于Petri网的RFID中间件中复合事件检测研究被引量：15: 2008年; 探讨了一种利用复杂事件处理技术处理RFID高层业务逻辑的机制.通过用复合事件来表达RFID应用系统中常见的高层业务逻辑,将对业务逻辑的处理转化为RFID中间件对复合事件的检测.从RFID中间件检测行为的角度探讨了在这一转化过程中事件定义和事件检测的若干关键问题.基于有色网定义了RFID事件流检测网系统作为RFID事件检测模型的描述工具.给出了事件检测模型的构造规则.根据检测模型的网结构特征对具有复杂层次的复合事件的可检测性进行了分析.; 叶蔚黄雨赵文张世琨王立福; 关键词：无线射频识别复杂事件处理复合事件检测

RFID网络中发现服务系统的一种形式化规约被引量：1: 2008年; 本文针对EPCIS发现服务在大规模应用和数据安全方面的需求,基于"集中式索引"模式给出了EPCIS发现服务系统的一种体系结构.首先,使用TIOA语言从高层对整个系统基本功能进行了规约.然后,为了使系统在实际应用中负载均衡、具有高性能和可扩展性,又给出了一种基于Pub/Sub的多服务器分布式系统体系结构,并对该分布式系统的各个组成分别进行了规约.最后,本文基于"模拟关系"验证了该分布式系统满足(实现)了高层系统规约.; 李信鹏赵文张世琨王立福

基于特征的领域构件高内聚控制被引量：3: 2005年; 构件的高内聚性是基于构件复用研究领域常见的话题,也是软件开发者一直追求的目标。无论是对软件体系结构的获取,还是对软件演化的探究,甚至遗留系统的现代化改造,都与高内聚性构件的确定有着不可分割的天然联系。通过特征跟踪矩阵,建立了领域构件与特征之间的联系;给出了基于特征的n维向量空间中领域构件向量的表示,进而获取了反应领域构件间密切关系的领域构件向量距离矩阵;基于领域构件向量距离矩阵,结合等级簇聚合算法建立了领域构件等级簇树;最后在领域构件等级簇树的基础上,提出了一种高内聚领域构件获取和控制策略。; 王映辉张世琨王立福; 关键词：软件体系结构距离矩阵软件开发者控制策略

面向对象的软件建模工具被引量：1: 2003年; 用面向对象方法开发软件,离不开建模工具的支持。本文首先阐述了软件建模工具的重要性,并对软件建模工具进行了简介,随后重点讨论了面向对象的软件建模工具所应具有的功能及其所应遵循的标准。; 麻志毅; 关键词：面向对象软件开发

基于关键词的代码自动摘要被引量：2: 2020年; 代码摘要(code summary)是对一段源代码简短的自然语言描述,代码自动摘要(code summarization)技术通过自动化地生成代码摘要辅助开发者更好地理解程序代码,该技术在许多软件开发活动中都具有重要的应用价值.代码自动摘要同时结合了机器翻译和文本摘要2个任务,如何更好地对代码建模以及如何更好地筛选代码中的关键信息是代码摘要所面临的主要挑战.受人类写摘要时的习惯和相关研究的启发,提出了一种基于关键词的代码自动摘要方法(keyword-based source code summarization,KBCoS).该方法将函数签名和API(application programming interface)调用视为关键词,并利用关键词序列来优化解码器注意力机制中的权重分布,使模型在生成摘要时更集中地关注代码中的重要信息.此外,为克服代码符号词汇表过大的问题,提出了符号部分拆分算法,即当符号不在词表中时,依据常用命名规则将符号拆成子符号的序列.该算法简单有效,能很好地平衡代码符号序列长度和未登录词数目之间的矛盾.选用了带有注意力机制的序列到序列模型作为基准模型,并在公开的Java代码摘要数据集上进行了评估.实验表明,基于关键词的注意力机制和部分拆分算法在BLEU-4,METEOR,ROUGE-L这3个评测指标上均能提升基准模型的表现.同时,在另一个Python数据集上也取得了一致的实验结果.最后,将KBCoS与现有模型相结合,在Java数据集上取得了当前最好的结果,该结果表明KBCoS也能改进现有的其他模型.评测结果和注意力权重的热力图都表明了KBCoS的有效性.; 张世琨谢睿叶蔚陈龙; 关键词：未登录词关键词

北京大学软件工程国家工程研究中心

合作机构

文献类型

领域

主题

机构

作者

传媒

年份

用户反馈

北京大学软件工程国家工程研究中心

合作机构

文献类型

领域

主题

机构

作者

传媒

年份

用户登录

用户反馈