Ethereum smart contract security research: survey and future research opportunities

Blockchain has recently emerged as a research trend, with potential applications in a broad range of industries and context. One particular successful Blockchain technology is smart contract, which is widely used in commercial settings (e.g., high value financial transactions). This, however, has security implications due to the potential to financially benefit froma security incident (e.g., identification and exploitation of a vulnerability in the smart contract or its implementation). Among, Ethereum is the most active and arresting. Hence, in this paper, we systematically review existing research efforts on Ethereum smart contract security, published between 2015 and 2019. Specifically, we focus on how smart contracts can be maliciously exploited and targeted, such as security issues of contract program model, vulnerabilities in the program and safety consideration introduced by program execution environment. We also identify potential research opportunities and future research agenda.     

大型地下洞室上层爆破开挖对下层围岩振动特性的影响

某地下实验厅采用上、下层同时爆破开挖,最后进行贯通的开挖施工方案。采用现场爆破试验监测的手段,研究了上层水平钻孔爆破开挖时下层围岩的质点峰值振动速度及频率特性,分析了上层爆破开挖对下层围岩动力稳定的影响。研究结果表明,大型地下洞室上层水平钻孔爆破开挖时,爆炸地震波能量主要向下层岩体传播,致使下层洞室顶拱处的振动速度大于上层底板相同距离处的振动速度;爆破振动主要以剪切波(SV波)的形式向下层岩体传播,下层洞室围岩在平行于炮孔纵轴向(实验厅纵轴向)方向上的振动速度最大;由于上层的爆破振动以体波的形式在岩体内向下层传播,下层围岩的振动频率更高。     

以家园文化为基础探索构建幸福企业

马钢的生存发展与职工的生存发展息息相关、浑然一体。只有企业得到发展壮大,每一名员工才能得到更好的发展,也只有员工的积极参与和努力奋斗,才能有企业的日益强大。从现实而言,为应对钢铁"去产能"压力,增强国有企业活力,就必须贯彻落实党的十八大精神,落实供给侧改革措施,踏踏实实地加强和完善国有企业党的工作和群团工作,在工作中不断创新和改革。动员和带领全体员工,激发创新活力,就是要使"人民对美好生活的向往"的奋斗目标具体化,就是建设"美丽安徽"、"幸福社区"和"幸福企业"。立足岗位开展"奋力求生存、携手保家园"活动。     

海上风机单桩基础局部冲刷计算分析

依据波、流联合作用下的韩海骞公式计算江苏某海上风电场桩基局部冲刷深度,再采用SACS软件对结构进行分析结果表明,局部冲刷增加桩身侧向位移,降低整机频率,疲劳损伤大。解决这些问题可通过加大桩径和桩长,要设计出既经济又安全的基础尺寸,还需结合实际工程的冲刷观测结果进行更准确的预测。     

基于MSP430单片机的灾害性天气预警管理系统设计

设计了基于MSP430单片机的灾害性天气预警管理系统,针对常见的雨量、风速及温度自然因素实现实时的监测,并对数据进行分析和处理,设置出相应的警报等级,并能根据警报的等级控制相应的三路设备。     

基于 Isomap的 CWME专家群体意见分析系统

针对从定性到定量综合集成研讨厅体系 ,对复杂问题分析过程中的专家群体的分散化思维 ,提出并实现了一种基于自动调查问卷的群体意见相似性定性分析方法。此方法基于群体行为的相似性特征对调查问卷的相似性度进行量化统计 ,并采用 Isomap算法将问卷量化之后产生的多维数据集进行降维及可视化表示。     

一种基于DaVinci DM 6446的非标准VGA接口设计与实现*

针对DaVinci数字媒体处理器应用系统中525/625P视频图像在VGA显示器上的显示方法,利用DaVinci SOC处理器视频处理子系统（VPSS）中视频处理后端（VPBE）硬件,完成了一种非标准VGA接口硬件和驱动程序软件的设计与实现,获得更好的视频显示质量,并扩展了DaVinci数字媒体应用系统的显示终端类型。     

机械加工工艺中设备的计算机辅助选择

提出了工艺编制中设备选择的新概念。在具体生产时根据实际生产状况选择最适当的设备，改变传统的根据加工零件特性、在工艺设计时进行固定选择的方法，很好地解决柔性生产中设备冲突和设备负荷平衡等问题。