以先进软件装备院校教学科研——美国SAS软件研究所有限公司和国家统计局统计教育中心推出CAO(CHINAACADEMICOFFER)项目

以先进软件装备院校教学科研———美国ＳＡＳ软件研究所有限公司和国家统计局统计教育中心推出ＣＡＯ（ＣＨＩＮＡＡＣＡＤＥＭＩＣＯＦＦＥＲ）项目ＣＡＯ（ＣＨＩＮＡＡＣＡＤＥＭＩＣＯＦＦＥＲ）是美国ＳＡＳ软件公司（ＳＡＳＩｎｓｔｉｔｕｔｅＩｎｃ．）与国家统计...

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

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

新形态对称密码算法研究

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

隐私保护密文检索技术研究进展

密文检索技术旨在提供密态数据查询服务,提高密文数据的可用性。但目前大多数机制仍存在不同程度的额外信息泄露,容易被攻击者捕获用于恢复明文信息与查询条件。如何强化密文检索中的隐私保护特性,实现信息泄露最小化已成为研究者关注的重点目标。近年来,随着硬件芯片技术与新型密码技术的快速发展,隐私保护密文检索研究方面涌现出了一批新成果,该文主要围绕多样化密文检索、基于可信执行环境的密文检索、隐匿信息检索等研究热点展开阐述,并总结了未来发展趋势。

结构化数据库查询语言智能合成技术研究进展

近年来,随着大数据、云计算等技术的飞速发展,大规模数据的产生使得各类应用对于数据库技术的依赖日益加深。然而,传统的数据库一般采用形式化的数据库查询语言SQL进行操作,对无编程经验或数据库使用经验的用户来说,复杂SQL语法难度较高,降低了各个领域数据库应用者的便捷程度。近年来,机器学习、深度神经网络等人工智能技术的飞速发展,尤其是ChatGPT横空出世引发的大语言模型技术热潮,驱动了数据库与人工智能的深度结合与技术变革。通过智能方法将用户输入语言自动化合成SQL语言,以满足不同程度数据库使用者的操作需求,提升数据库的智能性、环境适应性及用户友好性。为全面聚焦数据库查询语言智能合成技术的最新研究进展,从范例输入、文本输入及语音输入这3类用户输入切入,详细阐述各类智能合成模型的研究脉络、代表性工作及最新进展,同时对各类方法的技术框架进行归纳与对比,最后对全文进行全面性的总结,并针对现有方法存在的问题和挑战展望未来发展方向。

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

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

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

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

基于性别差异的化生型慢性萎缩性胃炎患者色诊特征研究

目的基于性别差异,分别探讨男性与女性化生型慢性萎缩性胃炎(Chronic atrophic gastritis,CAG)患者颜面色诊特征,从中医发病学角度出发探究不同性别患者的病变机理,为中医药防治化生型CAG提供个性化参考。方法本研究应用MT-BX-01四诊仪采集慢性非萎缩性胃炎(Chronic non atrophic gastritis,CNG)与CAG患者的面色信息,采用病例对照研究方法,分别从男性与女性化生型CAG患者及CNG患者的面色色度学特征进行分析。结果在女性患者中,CAG伴轻度和中、重度肠化(Intestinal metaplasia,IM)组面部肝区位点L值、a值均显著低于CNG组(P<0.05)。在男性患者中,CAG伴中、重度IM组脾区位点b值显著高于CNG组(P<0.05)。结论化生型CAG患者的面色特征存在一定的性别差异,化生型CAG女性患者面部色度值在肝区变化最显著,男性患者则主要表现于脾区。提示女性化生型CAG发病多与肝相关,男性发病则多与脾相关,为临床针对不同性别化生型CAG患者进行中医临床诊疗与防治提供了个性化思路。

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

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

智能电网中隐私保护的数据聚合研究综述

智能电网(smart gird,SG)已经在生活中得到广泛应用,它为用户带来便利的同时,也给个人隐私数据的保护带来巨大的挑战.数据聚合技术对所有的个人数据进行聚合操作,在防止个人数据泄露的同时保证了数据的可用性,是隐私保护的重要技术.目前,学者提出多种技术构造隐私保护数据聚合方案,为系统总结隐私保护的数据聚合方案,结合SG中数据聚合的体系架构,提出了隐私保护数据聚合的安全要求,梳理了实现安全要求的主要技术.将数据聚合方案归纳为单维数据聚合方案与多维数据聚合方案两个类别,对每一类方案所采用的主要技术、安全性及性能表现进行了分析与综合对比,并根据现有方案存在的不足对未来的研究进行了展望.

基于多智能体的指挥控制软件可靠性建模仿真方法

为解决现有可靠性分析和评估方法不能完全应对软件复杂网络特性的问题,提出基于多智能体(Agent)的指挥控制软件可靠性建模仿真方法,包括系统建模仿真和可靠性建模仿真,并实现软件系统可靠性建模仿真平台,以某指挥控制软件系统为对象进行实例应用,分别实施故障传播仿真分析和可靠性建模仿真分析,完成软件系统可靠性分析和评估,验证了所提出方法的有效性和可行性。

移动应用程序中用户界面显示缺陷检测的经验研究

应用程序图形用户界面(graphical user interface,GUI/UI)为应用程序与其终端用户提供了一座可视化的桥梁,用户可以通过交互操作使用应用程序.随着移动应用程序的发展,兼具美学与交互设计的图形用户界面也变得越来越复杂,用户也更加关注应用程序的可访问性和可用性.然而图形用户界面的复杂性也对其设计与实现带来巨大的挑战.由于用户对于移动设备的自定义设置以及不同的设备型号和屏幕分辨率导致用户界面显示问题频繁发生.例如由于软件或硬件兼容性,在不同设备上进行界面渲染时总会出现文本交叠、组件遮挡、图像丢失等显示问题.它们对应用程序的可用性和可访问性产生负面影响,导致用户体验不佳.不幸的是,对于移动应用程序用户界面显示问题的成因知之甚少.为了应对这一挑战,收集来自百度众测平台上的6729张具有用户界面显示缺陷的应用程序截图和GitHub中1016个缺陷报告提供的应用程序截图,采用主题分析方法识别出9类用户界面显示缺陷,然后对GitHub中1016个缺陷报告和其对应的缺陷代码进行分析,总结出用户界面显示缺陷本质成因.研究发现:(1)在众测数据集中用户界面显示缺陷截图占总截图的62.1%;(2)导致界面显示缺陷的原因中字体的缩放设置与组件的自适应设置不适配所占的比例较大;(3)界面的布局设置会导致界面显示缺陷产生;(4)硬件加速未开启会影响界面的正常显示.

代码审查自动化研究综述

随着现代软件规模的不断扩大,协作开发成为软件开发的主流趋势,代码审查成为现代化软件开发的重要工作流程.但由于人工代码评审往往耗费审查者较大精力,且存在审查者不匹配或审查者水平有限等问题,人工代码评审的质量和效率难以保证,且审查后的代码修复也十分费时费力.因此,亟需研究人员为代码审查流程进行改进,提供自动化思路.对代码审查自动化相关研究进行系统梳理和总结,并重点介绍4种主要方向:审查者推荐、代码变更质量评估、审查意见生成和代码自动修复.整理了相关方向的148篇研究,对每个方向的研究进行技术分类与分析.随后,整理了各方向研究任务的评估方法,并整理出常用的数据集与开源工具.最后,对代码审查自动化领域面临的问题进行梳理,并对未来研究进行展望.

信息驱动的大电网运行态势知识图谱框架及构建模式研究

基于大电网海量、高维的各类实时测量及仿真模拟信息,依托大数据、人工智能、知识图谱等先进信息技术,深度挖掘和表征电网运行态势知识并直观形象展示,是建设大电网在线智能主动安全防御体系的核心。首先,在智能全景系统思想体系下,采用“物理系统+信息系统+知识图谱”融合机制,综合考虑电网不同运行场景的稳定状态评估指标和优化控制策略信息,给出电网运行态势知识图谱的基本概念及内涵,并详细介绍其核心要素及构建目标。然后,依托智能电网调度时空大数据支撑平台,设计电网运行态势知识图谱软件功能架构,包含多源信息融合、时空大数据平台、态势图谱引擎、知识关联推理、图谱业务应用和友好人机交互等6个层次模块。在此基础上,给出自顶向下的电网运行态势知识图谱构建模式,并系统性介绍逻辑架构、技术架构、知识建模、知识抽取、知识融合、知识加工、知识更新、图结构存储、可视化引擎等构建技术。最后,研发大电网运行态势知识图谱智能构建及可视化系统,并在某省级电网开展测试应用,为实现信息驱动的大电网智能全景主动安全防御提供技术支撑。

基于多模块分层组合模型的CAE软件耦合方法

为了弥补复杂装备CAE软件缺乏开放式、可组合式系统架构的短板,提出了一种基于多模块分层组合模型的全链路CAE软件耦合方法。首先,基于离散事件系统规范(DEVS)中离散事件模型+有限状态机+连续时间模型的组合模式,构建CAE软件前处理、数值求解、后处理阶段的核心构件库。其次,采用多模块分层分级的组合模型,基于多智能体系统的事件触发驱动机制,实现全链路CAE核心软构件的自动化耦合。面向盾构/高铁应用场景的仿真结果表明,将CAE全生命周期链路进行构件化细分、自动化耦合,利于研究多因素耦合作用下的复杂装备产品设计。此外,多模块组合模型的架构支持CAE软件核心模块的灵活组合与独立部署,实现对CAE软件向云服务平台整合的支持。

面向飞行交互任务的三种人机交互方式效率比较研究

目的针对飞行任务情境下的多通道人机交互系统,比较手动触控、眼动控制和语音控制三种人机交互模式的交互效率。方法以20名飞行员为对象,基于特定飞行任务情境,分别以三种人机交互模式完成一级(相对简单)和二级(相对复杂)交互实验任务。交互效率指标包括系统的交互时间、响应时间、融合计算时间和错误次数。实验完成后飞行员再进行主观评价,评价内容包括交互模式与任务的适配性、与使用预期的一致性、容错性、有效反馈性和对于该交互模式在未来飞行领域的应用倾向性。结果在飞行任务情境下的交互效率,手动触控、语音控制和眼动控制之间普遍存在显著性差异,但在一级和二级交互任务中的差异性各有不同。综合各级交互实验任务,得到的主要实验结果包括:(1)手动触控的交互时间最短,语音控制的交互时间最长,交互模式的主效应显著(F=18.214,P<0.001,η^(2)=0.565);(2)手动触控的响应时间最短,眼动触控的响应时间最长,交互模式的主效应显著(F=153.085,P<0.001,η^(2)=0.944);(3)手动触控的融合计算时间最短,语音控制的融合计算时间最长,交互模式的主效应显著(F=41.702,P<0.001,η^(2)=0.777);(4)语音控制的错误最少,眼动控制的错误最多,交互模式的主效应显著(χ^(2)=22.845,P<0.001,φ=1.097);(5)飞行员对语音控制的主观评价得分均高于眼动控制,且均具有统计学意义(P<0.001,P<0.01)。结论本研究针对飞行交互任务,通过实验和主观评价相结合的方式,对手动触控、语音控制和眼动控制三种交互模式的交互效率进行了比较研究,交互模式对交互效率有明显影响。手动触控在交互时间效率上有明显优势,语音控制在简单任务的准确性中占优,而眼动控制在时间效率和准确性方面均相对较弱;相比眼动控制,飞行员对语音控制表现出更高的评价和倾向性。研究结果可为多通道交互系统的未来设计、评估与应用提供参考。

面向公共服务的中文编码字符集实用子集的构建方法研究

针对我国公共服务场景对中文编码字符集实用子集的需求,基于汉字和汉字编码字符集的历史和现状分析,提出构建实用子集的构想并探讨了可能的实现方法,分析了自底向上的构建方法和自顶向下的构建方法,并对涉及生僻字的公共服务场景的汉字使用提出了若干建议。

基于设备构型的核电复杂设备精益化管理方案研究

核电厂设备数量巨大、种类繁多,并且根据不同的设备安全等级划分,执行不同要求的制造设计、抗震、质保与监督等规范性任务。随着国内三代核电技术的发展,针对核电复杂设备的精益化管理要求也逐渐提高。首先通过对核电设备管理现状进行分析,将设备构型的思路引入核电复杂设备管理以解决粗犷且分割的核电设备管理问题。在此基础上,基于设备结构树建立和统一数据规范,通过对设备相关的静态特征信息、动态特征信息、方法及参考信息等进行整合、梳理,形成最终的设备全景信息,核电复杂设备全生命周期内的多类信息都可以供核电运维人员快速获取,实现核电设备的集约化和精益化管理。最后,以核电汽轮机管理为典型业务场景验证所提框架和技术的有效性,并获得良好的应用效果,可以提高电厂运行效率和管理效率。

基于“5G+工业互联网”的家电行业数字化转型研究

“5G+工业互联网”因其带宽大、连接性好、延迟低等特性,被各行业广泛应用于数据采集与传输。在新时代背景下,家电行业想要实现降低生产成本、提高生产效率、提升数据资源利用率的生产目标,与“5G+工业互联网”的深度融合是必不可少的,这对家电行业实现智能化、数字化转型具有重要意义。文章旨在深入探讨“5G+工业互联网”如何助力家电行业进行数字化转型,分析它们在实际应用中的效果,并提出相应的策略,以期为家电行业的持续发展提供理论支持与实践指导。