硕士生生源质量与学位论文成绩的相关性分析--基于中国科学院某研究所计算机科学与技术学科的实证研究

以计算机科学与技术学科为例,利用统计方法研究分析了某研究所近6年不同生源的硕士生学位论文成绩,指出了免试生的学位论文成绩好于统考生的成绩,来自北京大学和清华大学的免试生的学位论文成绩不如来自其他重点院校的免试生的成绩,初试成绩与学位论文成绩之间几乎没有相关性,并相应地提出了改进招生工作、提高生源质量的意见与建议。

开源软件供应链安全研究综述

随着近年来开源软件的蓬勃发展,现代化软件的开发和供应模式极大地促进了开源软件自身的快速迭代和演进,也提高了社会效益.新兴的开源协作的软件开发模式,使得软件开发供应流程由较为单一的线条转变为复杂的网络形态.在盘根错节的开源软件供应关系中,总体安全风险趋势显著上升,日益受到学术界和产业界的重视.针对开源软件供应链,厘清了其关键环节,基于近10年的攻击事件,归纳了开源软件供应链的威胁模型和安全趋势,并通过对现有安全研究成果的调研分析,从风险识别和加固防御这两个方面总结了开源软件供应链安全的研究现状,最后对开源软件供应链安全所面临的挑战和未来研究方向进行了展望和总结.

数字中国实名信息比对同字同码研究

针对当前实际应用中实名制身份核验失败的问题,列举一字多码的多种表现形式,分析造成问题的5个原因,提出“同字同码”和6项具体实现建议。

新形态对称密码算法研究

安全多方计算、全同态加密和零知识证明是解决数据安全问题的重要密码技术,其快速发展和应用需求驱动,引发了新形态对称密码的设计与安全性分析.本文系统介绍适宜安全多方计算、全同态加密和零知识证明的新形态对称密码算法.首先梳理新形态对称密码算法的应用需求和设计目标;然后归类介绍新形态对称密码算法的设计理念和最新的安全性评估结果;最后总结探讨新形态对称密码算法的设计特点以及面临的问题.

RISC-V Linux发行版软件包构建问题实证研究

RISC-V是一种新兴的精简指令集架构,将软件包源码在RISC-V架构下重新构建,是Linux发行版向RISC-V架构迁移过程中的重要工作。为了帮助开发者更快地理解和解决这些问题,对521个Debian发行版软件包近2年在RISC-V架构下的构建失败,以及219个架构相关案例进行了实证研究,对构建失败的根本原因进行了深入分析,得到了7种架构相关问题的修复模式,对开发者解决构建问题提供指导,同时提出了一个基于机器学习的RISC-V Linux发行版软件包构建问题的分类框架,以辅助架构相关问题的解决,通过实验验证了本文方法的有效性。

引入智能虚拟讲解员的云展厅构建与交互反馈研究

奥林匹克遗产是全人类的宝贵财富,利用科技与文化艺术相融合,对实现北京冬奥会及奥林匹克遗产和精神文化的多元呈现和高效传播至关重要.线上云展厅作为信息时代数字博物馆发展的重要趋势,虽然在单项数字博物馆与交互系统技术研究方面已具备较好的基础,但尚未形成体系化、智能化、交互友好的冬奥会奥林匹克数字博物馆系统.面向北京2022年冬季奥林匹克运动会,提出一种具有交互反馈的云展厅系统构建方式,通过构建具有虚拟讲解员的智能交互云展厅,进一步探索交互反馈在知识传播型的数字博物馆中对于非物质文化遗产的传播作用.为了探索视听交互反馈对云展厅的奥林匹克精神文化传播的影响,同时提升知识传播型云展厅中的用户体验,对32名参与者进行用户实验.研究结果表明,所构建的云展厅能够极大地促进奥林匹克文化与精神的传播;同时,在云展厅中引入视听交互反馈能够提高用户的感知控制,从而有效地提升用户体验.

面向指-笔混合输入的交互原语和交互模型研究

随着触摸设备的普及,指、笔输入已成为移动办公的一种主流输入方式.然而现有的应用主要以手指或笔通道中的一种作为输入,限制了用户的交互空间.同时,现有的指-笔混合研究主要关注串行的指-笔分工协作和特定交互任务的并行处理,并没有系统地考虑并行协作机制和不同通道输入之间的意图关联.为此,提出一种面向指-笔混合输入的交互模型;结合用户指-笔协作的行为习惯定义指-笔混合交互原语,拓展指、笔交互空间;继而利用部分可观察马尔可夫决策过程提出基于时序信息的指-笔混合输入意图提取方法,用以增量式地提取多义性交互原语的交互意图.最后通过一个用户实验说明指-笔混合输入的优势.

创客教育助力中国教育向“最好的教育”不断前进——为世界科学、技术、创新教育提供中国方案

创客教育是国际创客运动在全球范围内产生的一种教育思潮,并深切地影响了小学到大学,幼儿到成人各个层面学习主体的教育行为和具体实践。本文分析了创客运动国际话语的形成脉络,整理了2023年之前中国创客教育的主要经验和不足。中国创客教育与产业发展对接、与课程标准融合、与劳动实践共振,十几年来形成了一条自主发展的道路。面向未来,中国创客教育应树立本土自信,以科学精神凝聚共识,借助国家课程改革机遇,落实全民科学素养,提振创新创业,助力中国教育成为“世界上最好的教育”并逐步在国际创客运动中起到核心的作用,将美式全球话语改造为一种更适合全体民族发展的创新实践模式。

云环境下基于统计监测的分布式软件系统故障检测技术研究

越来越多的分布式软件系统部署在公有云计算平台,通过互联网向外提供服务.云计算环境的复杂性、动态性和开放性使得分布式软件系统更易于出现故障,造成服务失效,从而影响大量用户正常使用,甚至造成巨大经济损失.故障检测技术旨在自动及时的检测系统故障的发生,以避免或减少服务失效所带来的损失,是保障分布式软件系统性能与可靠性的关键技术之一.云计算环境对该技术带来了新的挑战,该文首先分析了这些挑战.基于统计监测的故障检测技术在线搜集监测数据构建统计模型,并基于该模型对系统运行状态进行分析与预测,具有实时监测分析、自动化检测、无需领域知识等优势,能够满足云环境的需要,因此引起了学术界和工业界的广泛关注.该文提出了面向云计算环境的基于统计监测的分布式软件系统故障管理参考框架,包括分布式监测、监测数据处理、故障检测、故障诊断以及故障处理等模块;将已有工作分成基于规则、度量分析、日志分析和行为分析等四大类,逐类介绍其实现原理,并对比分析各类的优缺点;针对当前云计算环境的特点,从在线自动检测、运行环境感知和组件交互分析等3个方面展望了未来的研究方向.

基于模糊评价方法的软件质量评价研究

针对软件质量评价研究中的度量问题建立了基于ISO/IEC 912 6标准的软件质量指标体系模型 ,结合质量评价方法研究中的常见问题 ,运用指标体系模型和模糊数学方法对软件质量评价标准进行模糊化处理 ,以度量数据为基础 ,根据软件质量子特性和指标之间的关系 ,采用模糊综合评价方法评价子特性质量和特性质量 ,通过建立软件质量评价模型 ,有效地解决了软件质量的多指标评价问题 ,可用于指导用户进行软件过程改进。

中国机器翻译研究的机遇与挑战——第八届全国机器翻译研讨会总结与展望

随着统计方法逐渐成为机器翻译研究的主流,机器翻译系统评测的分值越来越高,人们对机器翻译的信心和期望逐渐增加,社会对机器翻译应用的需求也越来越大。然而,现有的机器翻译理论和方法在系统性能上提升的空间逐渐减小,而且距离用户实际需求仍有很长的路要走。那么,面对期望、面对需求,机器翻译之路应该如何走?为此,第八届全国机器翻译研讨会对当前机器翻译研究所面临的挑战和机遇进行了深入研讨。该文详细介绍了该次研讨会六个专题的讨论情况,对机器翻译研究面临的机遇和挑战进行了认真的分析和总结。

敏捷软件过程的研究

敏捷软件过程可能成为最适应软件开发全球化、个性化、快速化、高质量新格局的先进开发模式 ,它能够帮助软件企业快速响应市场赢得竞争 .针对这一趋势 ,系统分析软件开发的敏捷性需求 ,总结出敏捷软件过程的 5种典型特征 ,如并行、轻载、基于时间、正好策略、基于组件等 .然后设计了 FL EX语言 ,从 3个不同抽象层次上形式化定义了敏捷软件过程的功能模型、合作模型、资源模型和产品模型 .基于过程模型 ,同时提出了 9种静态分析和动态模拟技术 ,支持软件过程面向敏捷性的优化 .

软件过程建模方法研究

通过软件开发实践,人们逐步地认识到软件产品的质量在很大程度上依赖于产品开发时所使用的过程.软件过程建模是通过特定的方法对软件过程进行抽象、表示和分析以增加对软件过程的理解,同时,可执行的(enactable)软件过程模型可以直接指导实际软件开发活动,进而规范软件开发行为并最终提高软件质量.为了系统地了解软件过程建模方法研究的现状和最新进展,采用系统评价(systematic review)方法对该领域最近10年的主要研究进行了概括和分析.从一系列的相关研究中,选出来自20个会议和7种期刊的72篇文献,作为系统评价的依据.该系统评价回答了如下关于软件过程建模方法的3个问题,以便从总体上概括和把握该领域的研究:1)软件过程建模方法主要基于什么范式;2)软件过程建模方法研究的主要目的集中在哪些方面;3)软件过程建模方法的研究有哪些新的趋势.同时,在仔细回顾和分析软件过程建模领域研究现状的基础上,给出了一种多维度的集成化软件过程建模方法.该方法有助于解决过程建模领域所面临的主要问题.

软件配置错误诊断与修复技术研究

软件的多样性、复杂性、灵活性和高度可定制性对系统的正确配置提出了挑战,配置错误已经成为影响应用服务质量的关键问题之一.很多学者和研究机构致力于配置错误的检测、诊断和故障修复的相关技术和方法研究,以提高复杂应用系统的可用性和可靠性.为系统了解软件配置错误相关的研究现状和进展,建立了一种多方面、多角度的分析框架对该领域的主要研究工作进行分类总结和分析评价,该分析框架覆盖了方法类型、方式和适用范围这3个方面的多个角度.基于该分析框架的分析结果,总结了当前软件配置错误相关研究中存在的问题,并针对今后该领域的研究趋势进行了展望,对继续和深入研究具有一定的指导意义.

面向开发阶段的软件缺陷分类方法研究

提出一种面向开发阶段的软件缺陷分类方法Phase-DC,将缺陷和软件开发各阶段相关联,计算阶段及过程的缺陷排除有效性,并结合缺陷的类型和表现形式等详细信息分析开发过程的质量,以帮助软件组织促进并实施过程改进活动。通过实例说明了该方法在过程改进中的应用,并对方法的完备性、正交性和一致性进行了分析验证。

面向对象的组合软件工程研究

组合软件工程技术是当今软件工程技术发展的主流．本文综述了作者在基于对象的组合软件工程研究方面的最新进展，包括语义模型、描述语言、设计方法学和支持环境等方面．

基于ISO9001和CMM的软件需求管理的研究

Regarding ISO9001 and CMM Requirements Management as the background,this article analyses the demands of Requirements Management with the techology and methods of Software Requirements Development;presents the Requirements Management practice framework,which can be used to promote the software processes capability of software enterprises;establish the Requirements Management of document flow and workfolw.As a result,based on the practice fractice framework,the Requirements Management sub-platform is established as a part of software quality assurance platform based on ISO9000 and CMM.and it can be used to intensify the requirement management and development of software enterprises.

P2P即时通讯软件监控系统的研究与实现

针对目前广泛应用的P2P即时通讯软件的安全问题,在具体分析其通讯协议(以ICQ为例)的基础上,设计了一个专门针对P2P即时通讯软件的监控系统IMMonitor,并在该系统中实现了一个高效的网络数据包捕获器,同时可以阻断非法的即时通讯。

飞行仿真系统的软件架构研究

基于高层体系结构提出了以Matlab数值模型驱动OGRE视景模型的飞行仿真系统软件架构。重点讨论分析了两个核心组件:Matlab_RTI适配器和OGRE_RTI适配器,并给出了飞行仿真系统的部署方案。实践表明:软件构架基于标准的仿真总线,支持系统的可扩展和仿真重用。

软件过程建模语言研究

本文介绍了软件过程建模的基本概念，提出了对软件过程建模语言的基本要求并简要介绍了几个有代表性的过程建模语言，给出了一个基于时序逻辑的形式化过程建模语言ＸＹＺ／ＰＭＥ，该语言是时序逻辑语言ＸＹＺ／Ｅ的子语言，它支持以角色为中心的逐步求精的过程建模方法，可在统一的形式框架内表示不同抽象级的过程模型．软件过程，软件过程建模，过程建模语言，时序逻辑，程序设计语言．