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

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

淄博公交整体收购中通公交

近日山东省淄博市公共汽车公司在客运市场结构调整中与淄博中通公共交通有限公司正式签订合约，整体收购民营企业——淄博中通公共交通有限公司。该公司所属的运营线路以及站点设施、车辆等资产被淄博市公共汽车公司以703万元整体收购。     

美国能源部与两大汽车厂商签约开发氢动力汽车

通用汽车公司和戴姆勒-克莱斯勒公司日前宣布，它们已分别与美国能源部签署合约，在未来5年内开发氢燃料电池动力汽车。通用公司与美能源部的合约价值8800万美元．双方各支付一半。根据合约．通用公司将制造40辆氢燃料电池动力汽车，投放到华盛顿、纽约、加利福尼亚和密歇根进行示范。     

复苏需求是油价走高的推手吗？

4月1日，纽约市场的主力原油期货合约连续第四个交易日高收．收盘价已逼近85美元／桶，盘中油价还突破了这一关口，创下17个月新高。     

战争和恐怖行为对期租合约产生的影响（上）

“9·11”恐怖事件和美国等国家在阿富汗和伊拉克等国家和地区所进行的反恐怖活动引起了世界性的广泛关注。这一系列事件同时对海上货物运输也产生了不可忽视的影响,主要反映在海上货物运输合条款和英国法的案例,对这一问题进行简略地分析。1. 租约中的战争解约条款租约中的战争解约条款(War Cancel-lation Clause)赋予船东和租船人在发生战争时或在某些敌对状态下解除租约的权利。通常使用的战争解约条款有以下三种形[(\312\275)52.6(\243\272)](1)波尔的摩期租合约1939年格式中第21条采用的是“介入战争”(involved inwar[(\243\251)684…     

梅赛德斯GP亮相B计划 若舒米退役就签汉密尔顿

关于F1七冠王迈克尔－舒马赫与梅赛德斯的合约问题，近日又成为车迷关注的话题。舒米与梅赛德斯车队的合约本赛季结束后到期，如果舒米选择赛季结束后再次退役．那么谁来接替他的位置，     

热轧卷板期货上市 钢铁产业链品种逐步完善

<正>2 据《第一财经日报》报道,继年内首个期货品种聚丙烯期货在大连商品交易所上市之后,国内期货品种再添丁———热轧卷板期货日前在上海期货交易所(以下简称上期所)上市交易。3月20日,上期所在官方网站发布通     

国外工程总承包公司的投资分析与项目管理

对国外工程总承包公司产生的必然性、业务范围、经营管理的战略思想、策略原则和主要任务进行了介绍。重点论述了如何根据经济发展规律做好投资、投标的经济分析；如何使用现代工程项目管理的基本知识，尽早进入工程项目的前期策划，做好系统分析与施工组织；以及资产化经营。     

我国期货市场现存问题与建议

对我国目前期货市场中的标准化合约、立法及管理工作、金融体制、运输体制等诸多弊端进行论述，并由此提出了一些解决问题的对策。     

中国的早期铁路——新易铁路

1900年八国联军攻占北京，清政府惊慌失措，慈禧太后挟光绪皇帝逃离北京到西安避难。1902年当得知北洋大臣兼直隶总督李鸿章等与帝国主义列强签订辛丑合约后，才放心从陕西回到北京，那时卢汉铁路已部分通车，当她经历磨难平安回到京城后，想到西陵祭拜。由于她有了第一次乘坐火车舒适、平稳、快速的初步感受，决定修建直达易县西陵的铁路，并委派袁世凯办理西陵铁路的修建事宜。