The real estate time-stamping and registration system based on Ethereum blockchain

In recent years,there has been a growing interest in real estate investments that utilize blockchain technology.Traditional real estate investments usually involve third-party intermediaries for verifying and recording informal real estate transactions.This paper proposes a blockchain-based real estate investment model and presents a detailed description of the real estate register authentication aspect of the model.The model uses blockchain technology to create tamper-evident records of real estate transactions and provide secure authentication and verification for informal real estate transactions.Meanwhile,each real estate transaction is recorded in a block,and all transaction records are kept on the blockchain.This means that inventors can access these transaction records and verify their authenticity and validity.The system can also use smart contracts to automate the process of real estate transactions,which further improves transaction efficiency and reduces costs.Furthermore,the model’s timestamp and authentication mechanism can eliminate third-party intermediaries and ensure the authenticity and validity of real estate transactions through distributed ledgers and verification mechanisms.Overall,blockchain-based real estate systems offer advantages of security,transparency,efficiency,and cost reduction.With ongoing blockchain advancements,these systems are expected to play a crucial role in future real estate investment transactions.

基于随机Petri网的图书相似重复属性记录存证系统

针对图书数量和种类较多,存在大量相似重复属性,设计了基于随机Petri网的图书相似重复属性记录存证系统。使用基于RFID读取器的数据输入装置,读取RFID标签上的信息。通过基于分布式文件系统的存证广场管理,查找所需要文件或证据,防止数据泄露。在用户接口装置中,利用随机Petri网来建模用户界面,方便用户存证。采用记录级别的相似度重复检测算法来衡量属性之间的相似度,根据相似度分值计算结果,标记时间戳,分析库所变迁的数据状态和变化,完成基于随机Petri网的记录存证方案设计。依据变迁行为规则,实现图书相似重复属性记录存证。由实验结果可知,该系统查准率、查全率的平衡点更接近1,存证时间在10 ms以内,可以有效完成图书相似重复属性记录存证。

时间戳服务到UTC(NIM)的溯源方法研究

原子时标国家计量基准UTC(NIM)由中国计量科学研究院维护和保持,溯源至协调世界时(UTC),是统一全国时间频率量值的最高依据。随着信息技术的不断发展,时间戳服务被广泛应用于司法、医疗、金融、电子商务、知识产权等领域。根据我国在贸易结算、医疗等领域对法制计量的需求,时间戳机构(TSA)提供的时间应溯源至UTC(NIM)以实现国内统一和国际互认。本文提出使用一种校准器对TSA提供的时间进行远程和本地评估。实验结果表明,在局域网进行本地校准时,TSA与UTC(NIM)时间偏差的不确定度(k=2)小于2 ms;在广域网环境下,即使校准器与TSA之间相距超过1000 km,TSA与UTC(NIM)时间偏差的不确定度(k=2)小于713 ms。

基于数据聚类的无线网络通信数据加密系统

无线网络通信数据加密安全性问题严重威胁通信安全,为了解决这个安全隐患,设计了基于数据聚类的无线网络通信数据加密系统。采用锁盒和门禁模块设计加密控制子系统,使文件块密钥保存到密码箱中。在密钥管理子系统中研制步进电动机驱动电路,消除存储于只读内存中的干扰网卡地址。结合改进K-means算法聚类无线通信数据,处理聚类数据,使其形成密文。通过检查无线网络ID和时间戳,生成加密聚类通信报告,实现无线网络安全通信。由实验结果可知,该系统能够得到准确加密信息,且与理想时间戳存在00:01:00的误差,证明了该系统在保证安全通信基础上提高了加密性能。

时间戳相机中心算法和解离电子/离子动量分布仿真

模拟仿真了速度成像谱仪中解离电子/离子飞行运动轨迹,获得电子/离子动量三维分布的真实图像,针对时间戳相机Tpx3Cam在动量分布探测成像中存在的团簇效应问题,发展了适用于高计数率情况下的中心算法。仿真结果显示,提出的中心算法可以减少约一个数量级的数据容量,并让单像素位置精度提高到0.1像素,实现了粒子动量分布的超分辨位置成像。模拟ns态电子电离和N_(2)分子(1,1)通道库伦爆炸实验,发现中心算法能够使电子平行于探测器平面的动量分辨提升30%;使库伦爆炸产生的N^(+)飞行时间谱分辨提升80%。同时,在具有背景气体干扰情况下,对CO分子库伦爆炸产物离子进行半径协方差分析,提出的中心算法成功观测到C^(+)和O^(+)的关联。

基于累加式实时串并联变换算法的机械故障声学监测方法

针对基于物联网(IoT)的冲压机床故障监测问题,为了降低冲压机床故障监测的计算复杂度,并提高其低频识别的精度,提出了一种无需机器学习技术的实时性机械故障声学监测方法,即基于累加式实时串并联变换算法的机械故障声学监测方法。首先,研究了物联网场景中冲压机床声学低频分析的必要性,并给出了声学信号的表达式;然后,针对频率轴上多个周期信号重叠导致参数估计较为困难的问题,提出了一种累加式实时串并联变换算法,将输入的采样序列馈入多个具有不同输出端口的串并转换器,从累加的波形中检测出最大绝对值,并进行了比较;最后,通过样本时隙划分,将累加式实时串并联变换算法应用于机械故障监测;通过仿真和冲压机床实机测试,对累加式实时串并联变换算法和实时性机械故障声学监测方法的有效性进行了验证。研究结果表明:在无需大量信号样本的情况下,使用累加式实时串并联变换算法有利于提高低频带的识别精度;在直方图相关性方面,累加式实时串并联变换算法和Morlet小波变换具有相同的性能,且均明显优于短时傅立叶变换;同时,尽管累加式实时串并联变换算法需要的加法总数比Morlet小波变换多2.5倍,但是乘法总数减少了20447%,大幅减少了计算的复杂度。

印章色痕形成时间鉴定的GC与HPLC法研究

利用气相色谱法和高效液相色谱法对7种印油印章色痕中的挥发性醇类组分和不挥发性红色颜料组分进行检测,以两者含量的比值作为考查指标绘制加热老化和光照老化两种人工老化方式下的老化曲线以及自然老化曲线,总结了印章色痕中醇类组分的挥发规律,为印章色痕形成时间的理化鉴定提供了一种可行的方法。

基于特征学习的无线传感网络入侵行为检测方法

传统的机器学习算法在无线传感网络入侵行为检测中应用效果不理想,Recall(召全率)和F1-score(召全率与精准率的调和平均数)较低,针对现行方法存在的不足和缺陷,提出基于特征学习的无线传感网络入侵行为检测方法。利用时间戳马尔可夫模型对无线传感网络进行分段,实现对网络入侵数据局部特征编码,利用深度学习网络,学习网络入侵行为特征,对网络数据标签进行数值化和归一化处理,根据入侵特征对网络行为进行分类,识别检测入侵行为,以此实现基于特征学习的无线传感网络入侵行为检测。经实验证明,设计方法Recal在95%以上,F1-score在90%以上,检测精度较高,在无线传感网络入侵行为检测方面具有良好的应用前景。

基于参数搜索的水声定位时标跳变改正方法

利用水声定位技术可将全球卫星导航系统(GNSS)维持的位置基准传递至海洋内部。国内GNSS-声学海底定位实验通常采用多种硬件设备相互配合完成,但不同设备输出的观测数据可能存在时标跳变的问题。一般可通过冗余观测解决时标跳变问题,但对于无冗余观测的情况,尚无有效的解决办法。本文提出基于参数搜索的时标跳变改正方法,构建时标偏差的搜索空间,以水声定位结果的单位权方差为判定指标,通过数值方式搜索观测数据的时标跳变。利用实测海试数据对提出的方法进行验证,结果表明,参数搜索方法成功探测到声学设备数据约1 s的时标跳变,并通过改正时标将水声定位精度从dm级提升至mm级。

基于StaMPS-PS时序InSAR对流层延迟改正方法评估

时序分析是合成孔径雷达干涉测量(InSAR)的一项关键技术,它被广泛应用于监测广阔地区的地表缓慢形变。这种方法能够提供大范围、大面积的形变监测。其中,StaMPS PS方法凭借适用范围广、开源等优点,受到众多学者的使用。但在时序InSAR中,对流层延迟相位会导致形变监测精度的降低,因此,以合肥市为研究区域,分析了经验模型线性改正、GACOS(generic atmospheric correction online service for InSAR)改正和欧洲中期天气预报中心(ECMWF)最新发布的ERA5数据集改正,并对比这3种方法在时序InSAR反演形变速率中的改正效果。通过计算得到研究区的标准差,进行比较分析和验证。其中线性改正、ERA5和GACOS改正后的标准差分别降低了21.71%、16.14%、10.38%。对于合肥区域,这3种方法均可减弱对流层延迟的影响,且精度都有所提高,其中线性改正效果最好,适用性更高,ERA5和GACOS受天气以及地面监测点密度等影响,在该区域改正效果较差。

北京首都国际机场周边及机场内地裂缝形变时序InSAR监测

利用StaMPS技术,基于2017~2021年覆盖北京首都国际机场的133景升轨和95景降轨Sentinel-1影像,对机场及周边地面沉降、机场内地裂缝稳定性等进行研究。结果显示,升降轨影像监测结果的一致性较好,在机场南部、温榆河以南区域形成沉降漏斗,漏斗内部最大沉降速率超过40 mm/a,沉降漏斗沿温榆河分布。对升降轨影像监测结果进行内符合精度验证,结果表明,90%以上公共像元的形变速率差位于±10 mm/a之间,证明了升降轨影像监测结果的一致性。特征点时序形变结果表明,金盏乡、富豪村和黄金花园小区附近沉降较严重,最大累积沉降量分别超过250 mm、150 mm和110 mm。从机场整体形变及地裂缝两侧时序和剖线结果均可看出,地裂缝两侧地表的差异形变对比明显,且差异分界线与地裂缝位置较吻合。

自动化测控系统中实时数据库的设计研究

随着科技进步,传统手动操作正逐步被自动化系统替代,自动化测控系统应运而生,相关系统需实时获取、存储大量数据,以实现对生产过程的准确监测。而实时数据库作为具备高性能特点的数据存储和管理技术,由于其特点所在,已成为当前广泛应用的技术之一。

石英挠性加速度计时间同步无线测试系统

针对石英挠性加速度计参数建模时的同步测试需求,基于无线通信技术设计了时间同步无线测试系统。该系统基于CC2530无线SOC芯片设计,采用硬件捕获时间戳的方式降低部分延迟因素,利用最小二乘法(Least Squares Fit,LSF)估计、补偿无线节点间的相对时钟漂移,设计了监听同步方式以减少发送同步信息包的次数。单跳及多跳监听同步测试结果表明,其4跳平均同步误差为3.826μs,均方差为3.286μs,且4跳平均监听误差分别为8.193μs、5.241μs。系统能满足石英挠性加速度计参数建模应用的同步测试要求,并可以推广到类似应用中。

谐振梁加速度计测频噪声分析与实验

随着谐振梁加速度计的精度不断提升,对谐振频率的测量噪声提出了更高要求。针对高采样率下的测频噪声性能,分析了等精度测频法和连续时间标记法两种测频方法,分别以信号发生器和加速度计输出的频率信号作为输入,利用研制的FPGA测频电路开展了测频噪声实验研究。结果表明高采样率下通过串接低通滤波器能够有效抑制测频噪声,低通滤波后两种测频方法的噪声水平相近,且随着采样率的提升,测频噪声趋于常值。实验结果表明,在500 Hz更新率、串入200 Hz带宽4阶Butterworth低通滤波器的条件下,使用等精度测频法和连续时间标记法测量加速度计样机输出,室温下测得样机的零偏稳定性分别为1.03μg和1.24μg。

广域InSAR时序分析技术对华北平原地表形变的监测

基于2015—2019共4年的合成孔径雷达(SAR)卫星影像,提出一种广域合成孔径雷达干涉测量(In-SAR)时序分析技术,对华北平原的地表形变进行高精度连续监测。首先对SAR影像进行干涉处理,得到干涉图。在此基础上,使用经过并行化改进的永久散射体技术斯坦福改进(StaMPS)方法,提取干涉图中所有永久散射体(PS)像元,获取研究区域全分辨率的时序形变信息。之后,使用大气模型校正法与共景叠加法相结合的联合大气校正方法,估计并去除形变信息中的大气噪声。经过上述处理流程后,成功地获取华北平原地表大空间尺度、长时间跨度、全空间分辨率和高精度的形变信息,进而监测到平原内部由长期地下水开采导致的高达100mm/a的大范围强烈沉降信号。相较于既有算法,并行化StaMPS方法通过在多个计算节点之间的实时分配,节约至少60%的计算时间,联合大气校正方法则可以去除约74.3%的大气噪声项,有效性显著高于两种校正方法的单独使用效果。广域InSAR时序分析技术可以有效地实现对大范围地表形变的高精度连续监测。

北京大兴国际机场及周边交通干道形变时序InSAR监测

北京大兴国际机场作为国际航空综合交通枢纽,开展其周边地面形变及主要交通干道的稳定性监测,对保障机场的正常运营至关重要。利用2019~2020年覆盖北京大兴国际机场的42景升轨和35景降轨Sentinel-1影像,采用StaMPS技术对机场周边地面沉降及主要交通干道稳定性进行了监测。结果表明:Sentinel-1升、降轨监测结果具有很好的一致性,90%以上的公共像元形变速率差值的绝对值小于8 mm·年^(-1);机场西部(西胡林村、十里铺村和辛安庄村附近)、机场北部(西里河村和祁各庄村附近)以及机场东北部(河北头村和西白塔村附近)地面沉降状况相对严重,局部地区年均形变速率超过-30 mm·年^(-1);形变时序结果显示在西胡林村、十里铺村和祁各庄村附近,地面累计形变分别达到了58、60和70 mm。通过提取北京大兴国际机场周围主要交通干道形变趋势分析可知,多条主要交通干道均存在不同程度的沉降趋势,存在潜在安全隐患,后续需要重点关注并持续监测。此外,对高架道路高度的反演结果显示,高架道路与周围部分地物在高度上形成鲜明对比,且与实际情况较为相符。

具有隐私保护功能的可信电力集中竞价交易出清

围绕日前集中竞价交易申报阶段存在的申报价格易泄露、申报信息易被篡改等安全问题,开展研究工作。对于交易出清的流程进行分解,明确具体需要隐私保护的对象,给出系统模型和安全性定义。结合布谷鸟哈希算法、保序加密、数字时间戳等多种隐私保护技术解决目前交易出清存在的申报价格隐私暴露、申报信息易被篡改等安全问题并给出提案的原型实现。实验结果表明,所提出的方案较好地兼顾了隐私保护及效率。成果可以推广到其他交易出清场景,例如股票、证券等。

基于FPGA的IEEE 1588时钟同步系统的设计与实现

IEEE 1588精密时钟协议用于分布式系统中各节点上独立时钟的同步,纯软件实现的IEEE 1588精密时钟协议的时间戳只能标记在数据链路层,受网络传输延迟以及网络抖动的影响,时钟同步精度一般只能达到微秒级。本文设计了一种基于FPGA的IEEE 1588协议的时钟同步系统,采用EP4CE6E22C8和RTL8201CP芯片,通过编程实现IEEE 1588报文识别、时钟偏移补偿算法等。该方法进一步降低了网络传输延迟的不确定性,提高了时间戳捕获的精度。通过实验对主从时钟同步精度的一致性进行测试,满足设计要求。

核电厂数字化仪控系统网络时标对时系统设计

为解决系统中网络时标对时精度差、冗余切换慢和串口传输速率低等问题,设计了一种基于FPGA和CPU双处理器的网络时标对时系统,利用FPGA进行高精度IRIG-B解码及冗余零延时切换,并结合高速并口进行时间传输,CPU在1PPS中断时读取共享RAM区时间信息,当时间故障后可自动补偿时间。经过长时间的测试和应用结果表明,本技术具有精度高、零延时切换、性能稳定、故障自恢复等特点.具有较强的抗干扰能力。

基于时序合并的PS-InSAR方法在雄县及周边区域地表形变监测中的应用

本文提出了一种基于时序合并的PS-InSAR(TSC-PS-InSAR)监测方法,提取雄县及周边区域地表形变信息。形变区域最大沉降速率为-79 mm/a,沉降原因为地下水超采。结果表明,TSC-PS-InSAR方法在无需先验模型的条件下,能显著提高PS目标数量,且监测结果与StaMPS方法提取的形变信息在沉降趋势及沉降量级上保持了良好的一致性,验证了本文方法在实际应用中的可靠性和可行性。