基于模型检测的区块链智能合约公平性形式化验证

随着第二代区块链平台及应用的爆发式增长,作为部署在区块链上可执行代码的智能合约面临越来越多的安全性问题.但是目前针对智能合约安全性问题的研究大多集中在对安全漏洞的挖掘,很少关注智能合约本身公平性对安全性的影响,对此提出一种基于模型检测的智能合约公平性验证方法.采用该方法对Puzzle合约的公平性进行验证,找到了一个已知...     

基于线扫激光传感器的地铁轨交轨面表观病害巡检系统

针对地铁轨道交通领域巡检的需要,设计一种地铁轨交轨面表观病害巡检系统。系统基于四台线扫激光传感器同步扫描采集轨交轨面数据,将切面高度数据与图像处理相结合,给出实现轨交轨面中轨道的轨距、错牙、螺栓和道床表观病害检测方法。系统通过6次实际地铁轨道试验检测,能够检测出对应轨交轨面表观病害。     

日本潜艇部队扫描

日本是一个传统的潜艇技术国家,也可说是当今世界的潜艇大国之一。早在第二次世界大战结束之前,日本就曾建造过60艘潜艇,其中包括具有“潜水航母”之称的伊-400级潜艇。该级潜艇长120米,水下排水量达6560吨,可运载3架折叠式轰炸机。二战期间,伊-400级潜艇使用“晴岚”艇载机袭击过美国本土。     

内河航道斜桩基础承台单壁钢吊箱围堰安装精度控制措施及关键技术应用

以黄浦江闵浦三桥工程为例,针对其主墩高桩承台所具有的桩径大、斜桩多、桩间距密等结构特点,论述了有底钢吊箱围堰设计及安装过程中的结构细节及总体流程优化、测量定位及限位装置设置等一些有效且实用的精度控制方法,并对实施过程中多种技术措施的应用及取得的成效进行阐述,可供同类桥梁工程水中墩施工参考。     

密级配抗滑超薄磨耗层材料UWM-10设计与路用性能研究

采用多链聚烯烃和SBS复合改性方法,对超薄铺装材料UWM-10进行密级配设计,通过开展体积指标与高温性能、低温性能、抗水损害性能的评价,提出其设计和路用性能评价指标。同时,提出改进的车辙试验方法,研究超薄铺装材料长期行车荷载作用下路面构造深度的衰减变化规律。采用CT扫描方法,研究UWM-10与下承界面之间的黏结效果和空间空隙分布规律,评价层间黏结效果。室内研究与现场试验表明:UWM-10具有良好的路用性能和抗滑性能,其构造深度的衰减程度小于传统的超薄铺装材料,且其与下承界面的黏结效果优于传统的超薄铺装材料,是一种性能优异的新型超薄铺装材料。     

扫描电子显微镜在可加工陶瓷材料研究中的应用

简要介绍扫描电子显微镜的工作原理,利用扫描电子显微镜对可加工陶瓷材料在升温过程和保温过程中的组织形貌变化进行分析,研究氟金云母加入量、成型压力和烧结温度对烧结样品性能的影响.     

泡沫金属三维细观有限元建模技术研究

针对泡沫金属复杂随机的内部结构特征,基于计算机断层扫描技术（CT）,开展了泡沫金属的三维细观有限元建模技术研究。对泡沫金属的断层扫描图片进行处理,得到二值图,并提取灰度建立其点云模型,再对点云模型实体化得到细观数值模型。开展了泡沫金属的准静态压缩试验,对细观有限元模型进行了验证。试验与仿真结果吻合良好,表明建立的细观有限元模型可以准确地模拟泡沫金属的力学特性。     

FARO推出CAM2 Measure 10软件

2011年10月17日-世界领先的便携式测量设备和成像解决方案供应商FARO Technologies,Inc.(纳斯达克:FARO)宣布推出其针对FaroArm关节臂、ScanArm扫描臂和FARO激光跟踪仪的新测量软件CAM2 Measure10。CAM2 Measure10标志着FARO CAM2测量软件系列产品的成功回归。新发布的这款软件以过往CAM2Q产品的坚实基础为依托,     

Synthesis of a new chitosan derivative and assay of Escherichia coli adsorption

A new chitosan derivative is prepared using chitosan.Ethyl chlorocarbonate was first introduced to the hydroxyl group of phthaloylchitosan through a nucleophilic reaction.Hydrazine was then added to recover the amino groups of chitosan and promote cross-l     

乘用车市场扫描

1．新品动态（1）新宝马523Li豪华型和典雅型上市售47．26万元起 继2007年10月29日新BMW530Li豪华型和新BMW525Li豪华型上市之后，新BMW523Li豪华型和典雅型从12月20日开始在全国宝马授权经销商销售，指导零售价格分别为人民币52．16万元和47．26万元。