ETBE：受欧洲和日本追捧的汽油组分

ETBE（乙基叔丁基谜）由乙醇和异丁烯生产但它可避免使用乙醇所带来的许多问题，如使汽油挥发性增高。ETBE可在炼油厂调入汽油，不像乙醇要在销售点调合。ETBE作为含氧化合物调入汽油可使汽油更清洁燃烧。与乙醇相比，ETBE有以下优点，水混入不发生相分离，对汽车部件无腐蚀作用，不会增加排气光化学烟雾。     

微粉机中磨材材料的选择

分析微粉机中磨块的磨损情况，选择新材料和加工工艺，以达到增强磨块抗磨能力、延长使用寿命的目的。     

智能合约的形式化验证方法研究综述

形式化方法是在安全关键软件系统中被广泛采用而有效的基于数学的验证方法,而智能合约属于安全关键代码,采用形式化方法验证智能合约已经成为热点研究领域.本文对自2015年以来的47篇典型相关论文进行了研究分析,对技术进行了详细的分类研究和对比分析;对形式化验证智能合约的过程中使用的形式化方法、语言、工具和框架进行综述.研究表...     

稻田养鸭技术介绍

稻田养鸭技术原理是充分利用鸭只的喜水性、食腥性、抗寒防水性、夜食性和早熟性,特别是鸭只的识别和高度的合群性,在稻田里放养雏鸭的一门新技术。根据黑龙江省气候情况,在6月初,将2周龄的鸭雏放进返青的稻池中即可;在稻田放水以前(8月20日左右),一次赶鸭离田,出栏销售或牢食;平时必须注意稻田不能缺水干     

计算机辅助服装设计的几何模型研究

本文介绍用三次B样条函数建立服装衣片几何模型的方法,使衣片轮廓线及辅助信息统一地用三次B样条表示,并研究用于服装纸样设计(包括开省、省道转换、裥缝处理等)、推档、排料等的数学方法。计算机实现证明,该方法完全能满足服装设计的要求。     

QWJ-30气流涡旋微粉机中磨块的改进

分析了微粉机中磨块的磨损情况 ,通过选择新材料、新工艺 ,以达到增强抗磨能力、延长其使用寿命的目的     

基于智能合约的数据共享激励机制研究

随着大数据时代的到来,构建数据共享社区成为一种促进数据收集、流通和使用的新模式,但是在传统社区组织方式下,成员由于互不信任导致不愿共享数据,且共享社区普遍缺乏有效的激励机制,从而限制了数据共享社区的发展。区块链的本质是一个分布式账本,能够提升数据共享的透明性,防止信息滥用,所有存在区块链上的数据可溯源且不可篡改,可以保证数据的归属权,这些都为成员之间的信任打下了基础。在基于区块链的数据共享社区平台上,结合演化博弈理论构建一种数据共享激励模型EGDSI,并通过复制动态力学方程与演化稳定策略分析,得出影响数据共享的关键因素与数据共享激励的3种策略。在此基础上,利用区块链智能合约技术实现安全、高效且动态可调节的数据共享模板引擎。对共享策略影响因素和智能合约激励机制进行仿真分析,结果表明,该数据共享激励机制可以有效促进用户参与数据共享,相较EGI模型,EGDSI模型能够更快地达到数据共享饱和状态。