排序方式: 共有12条查询结果,搜索用时 250 毫秒
1.
2.
3.
废旧橡胶资源安全、高效、节能、环保的综合利用,一直是全国乃至全世界橡胶工业面临的热点难题。本文综述了国内外废旧橡胶综合利用的情况,并介绍了微波法脱硫的现状及存在的问题。 相似文献
4.
5.
开发建设郑东新区是河南省委省政府、郑州市委市政府为更好应对中国加入WTO所带来的机遇和挑战,把郑州建设成为国家区域性中心城市而采取的重要举措。目前,郑东新区居住区建设已经具有相当的规模,小区布局比较集中,有利于形成统一协调的居住区外部环境.易于展示郑东住区文化与城市特色。新区住区整体定位高.每个小区内部环境设计独具匠心,建筑与环境的设计结合密切.为业主提供和谐的景观与宜人的居住环境。与老城区相比.居住区住宅建筑的色调比较和谐,建筑设计严格执行新区规划中对居住用地地块的控制指标,保证了城市的空间布局,形成良好的景观形态,但欠缺个别要素的设计。 相似文献
6.
7.
智能合约是一种以代码的方式执行合同条款的可计算交易协议,其应用场景与规模日益增长,承载着多达数十亿美元的各类资产。由于其代码缺陷可能会造成严重的经济损失,因此智能合约的可信开发成为技术关键。为此,提出了一种基于集合论语言Event-B的智能合约可信验证与自动生成方法。Event-B方法是一种基于精化的形式化方法,可用于规约、设计和验证软件系统。通过对智能合约的模型验证和可执行代码的自动生成技术,研发了自动转换工具EB2S,打通了形式化模型和智能合约编程语言的语义鸿沟和技术壁垒。最后,选取典型的在线支付智能合约场景,应用基于Event-B的智能合约模型自动生成合约代码,验证了EB2S转换工具的有效性。 相似文献
8.
9.
双保持架推力球轴承保持架的兜孔为锥面。其素线较短,现场测量和控制难度较大,本文采用两不同直径钢球进行测量,推导出了半锥角的几何公式。最后,采用高度仪进行测量。 相似文献
10.
双保持架推力球轴承保持架的兜孔为锥面,其素线较短,现场测量和控制难度较大,本文采用两不同直径钢球进行测量,推导出了半锥角的几何公式。最后,采用高度仪进行测量。 相似文献