关键词： 区块链技术   健康促进   学生脊柱健康   信息系统   隐私保护  

摘要： 随着数字经济与区块链技术的深度融合,医疗健康领域正经历数字化转型的重要阶段。基于模块化的Hyperledger Fabric,搭建学生脊柱健康区块链系统,采用智能合约实现筛查数据的分析判定,结合可搜索加密技术实现信息的安全保障。针对学生脊柱健康信息系统在激励机制、人才需求、技术监管等方面的问题,提出脊柱电子病历互认、远程康复追踪、健康档案确权与医疗器械溯源四条应用路径,推动学生脊柱健康数据的全过程信息化管理,助力我国学生脊柱健康管理的智能化与高质量发展。

关键词： 云计算   地面数字电视   信号备份   分布式存储   冗余编码  

摘要： 针对地面数字电视信号备份过程中存储横向扩展受限与容灾恢复效率偏低的问题,设计一套基于云计算的地面数字电视信号备份系统。系统硬件采用信号采集前端、传输中间件及云端分布式存储集群3层架构,软件层面引入自适应冗余编码算法与增量同步调度策略。工程应用实测结果表明,所设计系统在平均备份吞吐率、存储空间利用率及单路信号故障恢复时间等核心指标上较传统本地备份系统均有显著提高。

关键词： 区块链   GenAI   人工智能教育   教育伦理   技术哲学   人机协同  

摘要： 生成式人工智能的教育应用推动教育变革的持续深化,面对技术融入教育实践,机器的介入使教育伦理关系面临新的挑战,很多学者对此展开激烈讨论。其中,出发点有人本逻辑与技术思维两种主流,而本文兼顾这两种研究范式,提出“技术—人—技术”的理论路径,弥补思维范式的不足并厘清研究争议的源头,给出合理可行的理论解决。顺沿生成式人工智能教育的发展历程,找出教育伦理在技术影响下的生成脉络,通过生成式人工智能教育伦理的梳理划分出三个维度:主体伦理、技术伦理、社会伦理。结合区块链技术的“老树”地位,引出其伦理解决的“新芽”。从生成式人工智能教育伦理的三重维度,分别梳理当下生成式人工智能教育的争议、冲击与嬗变:本质争议——GenAI的主体性划分;决策冲击——GenAI的技术黑箱;价值冲突——GenAI的社会变革。结合区块链技术的特性针对性地予以澄清、回应与价值的评述:GenAI的伪主体间性澄清——主体去中心化;GenAI的工具属性回应——技术不可篡改;GenAI的系统整体性价值——面向社会化开放。从而,在区块链的视域下提出生成式人工智能教育伦理的未来路径:去中心化式的站位转变、不可篡改式的技术公共性、和谐开放式的价值导向。

关键词： 云计算   软件工程   安全挑战   创新运维  

摘要： 在云计算应用越来越广泛的情况下,软件工程安全问题也越来越严重。研究目的在于探索云计算领域中存在的安全挑战以及为解决这些问题所采取的创新性运维策略。通过对目前云计算安全所面临的数据泄露,身份认证以及平台漏洞等重大威胁进行分析,综合运用加密技术,多层防护策略以及智能化监控等多种技术手段提出一系列实用安全解决方案。同时本研究突出安全标准化体系对提高云计算安全性的关键性作用。在分析国内外云计算安全标准基础上,进一步提出了建设统一安全标准体系对促进产业良性发展具有重要意义。

关键词： 区块链技术   制造企业   创新能力   数字化协同   层级回归分析  

摘要： 基于技术接受模型,从企业感知视角入手,提出区块链技术感知有用性、感知易用性、数字化协同与创新能力间的关系假设,并对223家制造企业的数据进行层级回归和Bootstrap分析。研究发现,区块链技术感知有用性和感知易用性不仅对制造企业创新能力的正向影响显著,还能够通过提升数字化协同水平,间接增强创新能力。研究揭示了区块链技术赋能制造企业创新发展的作用机制,为提升我国制造企业在区块链技术背景下的创新发展提供理论支持和实践指导。

关键词： 联邦学习   智能法律合约   数据授权   数据流通   区块链  

摘要： 在数字经济时代,数据已成为社会创新的核心生产要素.联邦学习具有“数据不动、模型动”的特点,推动了数据使用方式从“数据集中共享”向“模型协同计算”数据要素流通方式的转型,然而,现有将区块链与智能合约应用于联邦学习的工作多侧重于数据溯源和激励机制,在法律责任界定上仍缺乏有效的“法链结合”数据确权、合约执行监督、和权益分配机制.针对这一问题,本文提出了一种智能法律合约驱动的联邦学习数据授权和执行方法,构建了基于智能法律合约SPESC语言的联邦学习监督架构,通过合约条款对联邦学习任务的执行进行发布、分配与监控.该架构中的授权与执行管理平台通过数据授权模块对数据授权合约模板实现“要约–承诺–执行–仲裁”的数据要素全链条管理,其优势在于:结合去中心化标识和区块链技术对合约当事人进行身份认证,并采用可自动执行的合约条款进行数据授权,同时设计了违约和仲裁条款对数据确权和权益分配进行监督,确保不同主体间数据使用权与经营权的合规性,其中的联邦计算模块通过合约模板对联邦系统中的计算任务进行配置,并实现对执行权责的监督.实验结果表明,在相同的训练轮数下本文方法较传统方法模型准确率提升了约5%,并在30轮内达到98%的收敛准确率.实验验证了数据授权合约中数据授权条款的自动执行与链上追溯,确保了联邦学习中的身份合规性与授权透明性,并设计了针对参与节点间的联邦计算合约模板,通过该模板对节点选择算法进行性能分析,结果表明算法的模型训练较稳定,收敛速度较快,研究为推动数据要素市场数字化转型提供了一种新的思路.

关键词： 区块链   智能合约语言   领域专用语言   形式化验证   经过验证的编译器  

摘要： 智能合约是区块链技术的重要组成部分之一,具有不可篡改、自动执行等特点,为去中心化应用提供了丰富的编程基础。近年来相关安全漏洞事件频发,使得智能合约的安全性研究逐渐成为热点。其中,智能合约编译器的误编译问题会令源代码编译产生不符合开发者原本预期的目标代码,导致部署在区块链上的代码存在安全隐患,然而现有工作较少考虑到这一问题。因此,首先从避免合约安全漏洞的原则出发,设计一种非图灵完备的智能合约领域专用语言isCL。作为可信编译的源语言,它支持复合数据类型与内置函数,以便于开发人员编写合约;然后设计可信编译器i2c的整体架构,实现以C语言子集Clight语言为目标语言的完整翻译过程;再针对基于CompCert内存模型的智能合约中间语言的翻译阶段,定义消除复合类型、出参入参合并、生成Clight三个翻译阶段的相关语法、语义,并给出语义保持性的证明思路;最后通过服装供应链分账应用实例和Solidity、Rust的编译漏洞案例来分别说明isCL语言的实用性与智能合约可信编译的有效性。本文工作为智能合约的可信编译提供了研究思路,有利于促进智能合约开发的安全性研究,为实现更加安全可信的区块链应用提供有力支撑。

关键词： 阈值签名   多重宇宙   区块链   隐私和责任  

摘要： 多重宇宙架构是一种面向区块链系统设计的抽象结构,适用于去中心化金融应用场景。尽管该架构具有良好的扩展性和适配性,但现有阈值签名方案在此架构下难以同时满足隐私和责任的需求。为此,提出了一种多重宇宙下具有隐私和责任的阈值签名方案。该方案根据多重宇宙的应用场景,构造了一种通用的阈值签名系统模型,设计了将非交互式零知识证明嵌入签名生成过程的隐私增强机制,确保签名的正确性与身份隐私解耦,避免在签名收集过程中泄露签名方身份,并通过“组合者-跟踪者”双层角色权限机制,在争议或审计场景下能通过追踪密钥识别真实签名方,从而实现恶意行为的可控溯源。通过基于BLS(Boneh-Lynn-Shacham)签名算法的实例化与实验评估,验证了该方案在隐私性、责任性、抗伪造性和运行效率方面的优势,具备较好的实用性与推广潜力。

关键词： 区块链技术   跨境物流   供应链韧性  

摘要： 随着全球经济一体化进程的加速,跨境物流供应链在促进国际贸易和全球经济发展中扮演着至关重要的角色。然而,跨境物流供应链也面临着一系列挑战,导致其韧性受到影响。区块链技术凭借其去中心化、不可篡改和可追溯的特点,逐渐成为提升跨境物流供应链韧性的重要工具。本文围绕基于区块链技术的跨境物流供应链韧性构建展开研究,通过分析区块链技术在供应链管理中的应用现状,探讨其在解决跨境物流中面临的风险和挑战中的作用。文章重点提出了区块链技术优化跨境物流供应链结构、智能合约应用、技术标准化等策略,为提升跨境物流供应链的韧性提供了系统性的理论支持和实践指导。

关键词： 区块链   电子证据   公证   系统治理   链式思维  

摘要： 信息化的发展,传统证据转化成电子证据,公证机构可为此类证据搭建系统,提供电子证据体系化服务。为贴合信息化生态特点,根据信息化环境的需求,系统设计需将传统法律思维与区块链思维融合植入,和谐运作。由公证机构负责前端标准制定与后端法律服务成果输出把控,由系统负责中端执行标准与辅助治理,实现公证机构与系统的合理分工与协同。