法律智能合约平台模型的研究与设计

现有的智能合约技术本质上只是一段链上代码,而真正的智能合约应是法律合约的数字化,可以实现合约条款的自动执行.为此,介绍了法律智能合约的重要科技,包括法律考量、预言机、事件模型等基础设施,在分析相关机构工作的基础上提出了法律智能合约的5个标准开发步骤,通过对法律流程标准的研究提出了设计智能合约模版的方法.为解决智能合约模...     

面向建筑健康监测的无人机自主巡检与裂缝识别

面向建筑健康的高时效监测需求,为提升表面病害视觉检测的自动化水平,提出了场景信息引导的无人机自主巡检任务规划方法。利用场景先验信息,针对建筑结构特征,设计了平行观测和包络观测两种观测模式,实现了狭窄空间中独栋建筑的全覆盖避障巡检,获取了毫米级分辨率的整体建筑观测影像,并对巡检质量的整体评估提出了有效的量化指标。将建筑立面划分为3 720个子区域,利用深度残差网络开展了裂缝识别分类。错分13个子区域,漏分14个子区域,裂缝识别精度高。将裂缝骨架线映射到建筑三维模型,为裂缝形态与建筑整体的一体化表达提供了数据支撑。该研究将高精度三维重建与表面病害识别相结合,为建筑健康一体化监测提供了有效的观测分析手段。     

硬头黄竹地上生物量分配特征及模型构建

[目的]探究硬头黄竹不同龄级、径级地上生物量分配特征,建立全竹龄和不同竹龄地上单株及各器官生物量模型,准确估算硬头黄竹的林分生物量.[方法]选取了硬头黄竹全径级(1.0～7.0 cm)分布的1、2、3年生硬头黄竹各50株,测定各器官和总生物量.采用11种常用生物量模型,分别对硬头黄竹全竹龄和不同竹龄地上单株和各器官生物...     

基于合作自主定位的群体模式自动生成方法

传统的基因调控网络(Gene Regulatory Network,GRN)模型假设群体机器人具有对环境的全局认识能力,这就要求群体机器人所携带的传感器具有很强的性能.在实际中,由于群体机器人的传感器误差和外部干扰,群体机器人很难获得所在环境的全局信息.为此,我们提出一种基于合作自主定位的群体模式自动生成方法.该方法的...     

基于高频脉冲电流的风电场集电电缆带电检测研究

随着可再生能源的兴起,风力发电得到迅速发展。集电电缆作为风力发电系统的重要组成部分,研究其带电检测方法,对提高集电电缆的运行可靠性具有重要意义。本文基于电缆接地线高频脉冲电流对集电电缆开展局部放电带电检测,判断集电电缆的绝缘健康状况和运行状态,以此来提高其运行可靠性。在对某风电场一号集电电缆进行局部放电带电检测时发现了局部放电缺陷,并对现场进行检查,确认电缆接头存在局部放电现象。     

Ranking Related Research Papers Based on Citation Graph

Research papers are of great importance for researchers to record and share their ideas, studies and results. Meanwhile, they are the bases for further research work. Finding related research papers is the preliminary of good research. A new method for ranking related research papers is introduced in this paper. Given a set of interested papers, the method proposed in this paper may rank related papers just based on a citation graph by constructing the minimal Steiner trees. The method can work with the existing keyword based methods. Intensive experiments on a specific research topic show that the proposed method provides a different ranking criterion to existing ones, and can effectively retrieve those highly related papers.     

“经济决定论”的退场——站在卢卡奇总体性思想的批判视角

"经济决定论"曾被非马克思主义者视为历史唯物主义的代名词,该论题的提出有着深厚的社会历史背景,对"经济决定论"的批判关涉到如何准确理解历史唯物主义的关键性问题,马克思主义创始人及后继者曾试图从不同层面表明确切立场,然而真正能从理论上给予全面批判的却始于卢卡奇,他借助"总体性"这一范畴重释马克思主义辩证法,从本体论、主体性、价值论三重维度给"经济决定论"以全面回击,最终迫使其黯然退场。     

随机变量列一类加权乘积和的强收敛性

讨论了任意r.v.列，两两NOD列和NA列的加权乘积和强收敛性，揭示了正则化因子，矩条件，权函数及r.v.列相关性之间的关系。     

城市基础地理信息数据库设计及存储管理研究

数据是数字城市构建的＂血液＂。本文基于笔者多年从事数字城市的相关工作经验,以城市基础地理信息数据库设计与构建为研究对象,论文首先探讨了城市基础地理信息数据的类型,而后分析了城市地理信息数据库的内容,进而探讨了城市基础地理信息数据库的逻辑设计思路和数据库的详细设计思路,最后给出了城市地理信息的存储管理方法,全文是笔者长期工作实践基础上的理论升华,相信对从事相关工作的同行有着重要的参考价值和借鉴意义。     

挥发性有机气体热氧化节能经济参数分析

挥发性气体(VOC)热氧化处理为高耗能过程,需利用热回收或热再生作为节能手段.作者以热回收因子(heat recovery factor,HRF)、设备价格因子(equipment cost factor,ECF)两个独立参数,分别分析了能源效率及投资回收,讨论了挥发性气体(VOC)热氧化处理设计的重要影响因子.利用能源回收成本比(equipment cost against heat recovery),以一工业实例,分析了不同设计情境下系统的比较优势.复热型和再生型热氧化系统也在文中作了比较,复热型有较低的ECF,而再热型则有较高之HRF;然而,当以能源回收成本作比较时,热再生型在使用周期较长时,具有经济方面的优势.所呈现的分析模型亦可用于类似的环保系统.