法国推动区块链技术发展的主要做法与启示

法国一直处于欧盟区块链革命前沿。在推动区块链技术发展过程中,法国政府与加密生态系统的相关参与者相互合作建立了监管框架,致力于在推动法国区块链生态发展的同时避免过分监管抑制创新发展。本文首先系统梳理了法国区块链技术发展三大阶段;其次,阐述法国区块链国家战略主要政府工作;再次,从加密资产发行监管、交易监管、税收监管、流通和反洗钱监管四个方面出发,深度解析法国区块链技术监管框架;最后,聚焦保险业、银行业、公共服务、能源、医药、商业、农业等领域,详细探讨法国区块链技术应用场景。基于此,本文进一步提出区块链技术发展在监管、研发和应用等方面的经验与启示。     

基于函数调用路径的软件实现与设计一致性验证

软件系统开发完成后,验证其是否完成了软件设计说明书的所有功能并且与设计算法一致,是软件测试的一项重要工作.通过人工遍历分析源代码来完成实现与设计的一致性验证是复杂费力的,并且需要测试人员具备丰富的编程经验和较强的算法分析能力.论文提出了一种基于函数调用路径的软件实现自动验证方法.从设计文档和源代码两个方面出发,分别分析其函数调用关系,提取函数调用路径,生成功能簇模型.其中文档方面通过人工理解设计文档,确定函数调用关系,然后自动生成标准功能簇模型;源代码方面通过静态分析,自动获取函数调用关系,提取功能点特征,利用这些特征提取功能点的具体实现算法,自动生成软件的实际功能簇模型.对比两个功能簇模型,验证软件实现与设计的一致性.实验结果表明：算法能够准确获得软件系统的功能结构及实现算法特征,对软件实现与设计的一致性做出有效判定,为软件实现与设计的一致性自动化测试提出一种新的思路.     

基于工业互联网的制造与服务融合技术

制造与服务融合是智能制造的重要内容之一,服务要素渗透到制造各个环节中形成了生产性服务与制造服务化.本文从工业互联网的商业视角、使用视角、功能视角、实现视角建立了制造与服务融合中虚拟逻辑与实体活动交互的技术体系,针对商业视角下的制造与服务融合价值链,提出了生态位驱动的制造与服务横向价值链融合方法;针对使用视角下的制造与服...     

深部岩体传热机理的研究现状与进展

基于国内外深部工程普遍面临的高温状况,探讨了深部高温的形成机制与影响因素。围绕岩体导热性质研究、水热耦合迁移问题和工程环境对传热的影响三个方面阐述了深部岩体传热机理的研究现状,目前的研究成果主要体现在建立了深部工程的热交换理论体系、矿山地热学的理论体系和地下工程制冷降温系统的热力学基础。在总结分析的基础上,确立了深部岩体流固耦合传热问题的研究思路：开展深部工程区域的的渗流场监测和开展岩体的流固耦合传热实验和建立岩体在应力-渗流-温度耦合条件下的传热模型,揭示深部岩体的传热机理。