基于CPN的智能合约交易顺序依赖漏洞的验证

智能合约的形式化验证工作主要集中在编程语言层面的漏洞研究,而交易顺序依赖作为区块链层面的漏洞更不易被检测。基于着色Petri网对智能合约中潜在的交易顺序依赖漏洞进行形式化验证。以Decode悬赏合约为对象,分析合约中潜在的漏洞,自顶向下地对合约本身及其执行环境建立着色Petri网模型,并引入攻击者模型来考虑合约遭受攻击的情况。通过运行模型以验证合约存在交易顺序依赖漏洞,最后基于Remix平台在以太坊网络中证实结论的正确性。     

保险精算方法在期权定价模型中的应用

Norbert Sehmitz用反例证明Mogens Bladt与Tina Hvid Rydberg提出的期权定价的精算公式是错误的.在修正Bladt和Rydberg提出的精算公式基础上,从评估实际损失和相应概率分布角度来定量研究期权价值构成,获得基于保险精算方法的期权定价模型,并进一步推导出经典Black-Scholes期权定价公式.精算方法在一定程度克服了基于无风险套利、复制思想得到的B-S模型假设严格、公式推导较为繁琐的不足,指出精算定价与B-S期权定价方法之间的差异.最后给出算例探讨保险精算方法在期权定价理论中的应用,为实践中合理确定期权价格提供理论和实践参考价值.     

基于ATV的四履带采矿车工况稳定性仿真研究

本文在ATV提供的坦克模型（Tank．rood）的基础上,增加了螺旋滚筒切削头,建立了深海钴结壳采矿车的多体系统动力学模型。就水平路面、15°坡面、0．6m深沟及0．4m高垂直障碍等四种情况,在硬路面上进行了工作过程动力学仿真。通过比较分析,得出两履带和四履带两种采矿车在上述四种路面工作稳定性。     

岭南传统观演空间的视觉分析

通过对以神庙剧场为代表的岭南传统观演空间的视分析（包括城市空间的视觉分析和观演空间的视线分析），揭示岭南传统观演空间形态的规律和生存的双重意义，从而为研究岭南传统观演空间开辟一个理性的分析方法，并对现代剧场和城市公共空间的设计提供参考．     

便携式智能振动故障诊断仪BHV-01

现代化大生产的发展和科学技术的进步使得石油化工、电力、制造、汽车、航空航天等现代化工业的设备功能越来越完善,自动化程度越来越高,而伴随出现的是设备结构越来越复杂,设备故障几率越来越高,设备故障造成的经济损失越来越大。因此,设备的可靠性、可用性、可维修性与安全性问题日益突出,使得设备故障诊断技术成为了现代化大生产必不可少的技术手段,从而促使人们对机械设备故障机理及其检测、     

图灵测试——机器是否有智能

<正>图灵测试的提出英国科学家图灵(Alan Turing)曾首先提出现代计算机的数学模型——图灵机。这个模型对后世计算机和计算机科学的发展有深远的影响。图灵因此而获得了极大的荣誉。目前世界上计算机科学的最高奖就是图灵奖。     

用一次新蒸馏水代替重蒸馏水测定废水中CODcr的可行性研究

本文通过用一次新蒸馏水代替重蒸馏水测定废水中CORcr,经实验证明,效果令人满意。     

聚丙烯腈螯合纤维的合成及其分离富集贵金属离子

以聚丙烯腈纤维为原料合成了聚丙烯对甲基苯磺酰基脒-对甲基苯磺酰基酰胺螯合纤维,并将其用于溶液中痕量Ru(Ⅲ)和Rh(Ⅲ)的富集和分离。讨论了富集酸度、富集流速、共存离子干扰、洗脱及再生等因素对富集回收率的影响,初步确定了螯合纤维反应及富集的条件。     

剖析高校教师合理用嗓及嗓音保护

教师嗓音的保护是提高教师工作成效和生活质量的关键,通过对教师不良说话发声习惯的成因分析,提出高校教师合理发声及嗓音保健的方法,以达到保护教师嗓者、保障教师持续授课能力、提高教学效率的目的。