高精度电涡流测微系统的研究

在介绍电涡流传感器工作原理及系统构成的基础上,提出了一种基于矩形域最小二乘曲面拟合算法进行温度补偿的方法,利用DSP进行数据的采集和处理,通过建立温度间距频率之间的数学模型,实现了电涡流测微系统在高精度微位移测量领域中的应用。实例表明所建模型是合理的,该方法是行之有效的。     

Sylvester矩阵方程Bartels-Stewart方法的一点改进

Sylvester矩阵方程和Lyapunov矩阵方程是控制理论和许多其它工程领域内很重要的方程。本文主要针对求解这种方程的Bartels-Stewart数值方法作一点改进。     

中英思维模式差异对英汉学术论文写作的影响

探讨了中英语篇思维模式差异对英汉学术论文写作中论证方法的影响问题.文章通过分析指出,中英思维模式存在着直觉与抽象、本体与客体和螺旋与直线型差异,并因此导致英汉学术论文中论证方法在修辞手段、引经据典、引用权威等方面的使用差异.文章最后指出,只有了解英汉思维模式的差异,分析其文化成因,才能真正实现跨文化写作的成功.     

某钻探船总体振动固有特性研究

为避免船舶共振情况的发生,采用三维有限元法对某钻探船进行了总体振动频率计算分析.借助PAT-RAN/NASTRAN软件建立整船三维有限元模型,结合船舶设计初期的重量重心分布直接分析计算.研究了钻探船全船固有频率与固有振型,将全船固有频率与船上振动激励源的激振频率进行对比分析,得到船体总振动固有频率储备系数.经计算,该船...     

斜拉桥损伤诊断有限元建模与数据提取方法研究

为便于斜拉桥损伤诊断的快速建模和分析,在已有研究方法基础上,基于ABAQUS有限元软件提供的PYTHON语言接口和GUI程序,提出了一种斜拉桥有限元建模与数据提取的方法。利用RSG构造器和调用Mdb对象中Part与Assembly对象编写程序,提出批量和点选相结合交互生成空间三维钢筋、预应力钢筋和斜拉索的方法;利用RSG构造器和调用Odb数据库中模型数据与结果数据的对象编写程序,提出点选、节点或单元集及编号3种形式相结合提取Odb数据库静力与动力瞬态响应数据到Excel表格的方法。通过算例展示了所提出方法的应用过程,表明了所提出方法的实用与高效。     

基于电动出租车数据的充电桩选址聚类方法比较

为有效降低出租车运营企业及经营者的经济成本,通过分析出租车的卫星轨迹数据,比较和选取用于电动出租车充电桩选址规划的聚类方法。以上海市电动出租车充电站的选址规划为研究对象,分别基于孤立森林和聚类算法设计异常值检测方法,对相关时段的出租车卫星数据进行清理以及数据可视化处理;比较层次聚类（Agglomerative Clustering）、高斯混合模型（Gaussian Mixture Model, GMM）、K-means聚类、Mean-Shift聚类以及谱聚类（Spectral Clustering） 5种算法的聚类效果,并选取K-means算法作为充电桩选址规划参考算法。从城市区域划分及企业运营角度确定充电桩选址方案,为未来上海市区电动出租车充电桩的数量和容量配置提供设计依据。     

硬盘中丢失的电子文件的恢复方法

我们在处理电子文件时常遇到硬盘被误删除、分区丢失、病毒破坏等情况,导致一些文件无法打开,电子文件无法使用。有些丢失的电子文件可得到有效的恢复,有些则基本不能再显。电子文件丢失的原因是多方面的,预防文件的丢失,尽可能地恢复已丢失的文件,确保文件的长期可读性,是电子文件管理中一项长期的工作。     

渤海湾13000t级大型客滚船首部砰击安全性探讨

在对渤海湾13000t级大型客滚船的船型设计特征进行分析的基础上,运用船模砰击压力测试结果,得出砰击发生在首部舷侧区域的结论。最后采用实船统计衡准评估和砰击强度分析评估2种方法对首部砰击的安全性进行了探讨。     

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

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