摘要：简述了当前国内外体视显微镜基本概况，对连续变倍体现显微镜的设计作了较为详细的阐述，所列举的数据是经过实践考验的。

摘要：本文叙述了当前国内外体视显微镜的发展情况,指出国内外同类仪器性能上的差距。为迅速提高我国体视显微镜产品水平,作者对高倍连续变倍体视显微镜进行了研制。文中阐述了设计中的主要问题,如大连续变倍光学系统、变焦距凸轮曲线机构和附加大物镜及倾斜观察与同轴照明器系统等问题。试制及试验表明,设计是成功的,并独具一格。它使我国高倍体视显微镜的研制水平达到国际80年代中期水平.大大缩短了我国和国际先进水平的差距。

摘要：智能合约的发展处于初期阶段,底层编程语言和应用平台的不同使得智能合约的设计缺少规范,极易出现漏洞,造成损失。针对以太坊区块链平台上智能合约存在的安全漏洞问题,提出了一种基于模糊测试的智能合约正确性检测方法。该方法根据智能合约内容及规范生成模糊输入,并根据模糊输入在以太坊虚拟机内执行智能合约,监控合约在执行过程中的行为,生成多个日志文件,提取日志文件中的关键信息,对测试用例进行触发测试,从而得到智能合约所包含漏洞的情况,实现正确性检测。在实验过程中,该方法针对416个智能合约中的七类常见漏洞进行了漏洞检测,标记出了19个存在漏洞的智能合约。经过人工审计分析发现,在这19个被标记的不正确智能合约中,有18个智能合约确实存在安全漏洞。实验结果表明所提方法能够以较高的准确率识别智能合约中包含的漏洞,从而检测智能合约的正确性。

摘要：随着水面无人艇总功率的提高，配套冷却系统已成为水面无人艇研制的关键技术之一。通过采用机舱自然通风、集成设备舱冷却和设备水冷系统等设计，配合半导体冷却等辅助措施，可以有效提高冷却系统空间利用率，降低冷却系统功耗，有助于水面无人艇向着自主化、大型化、集成化方向发展。

摘要：油田前期石油的开采中,固井作为加固井壁,保证继续钻进,封隔油、气和水层,保证勘探期间的分层试油及在整个开采中合理的油气生产,是一项至关重要的工程,固井施工水泥浆体的配置在井队现场进行,由固井水泥泵车进行配置,由于设备性能提高,现在固井水泥车已采用自动混浆系统,实现自动混浆关键因素是需保证配浆水及水泥灰干净无杂质。本文设计一种自净自吸振荡射流喷嘴水泥灰过滤器,该过滤器由快装接头、滤网、进气三通、自吸振荡射流喷射器、过滤器本体组成。喷射器是执行元件,在过滤器底部,高速气流通过喷射器自激振荡腔及喷嘴后,在喷射器空腔内形成一个负压区,从而实现过滤器及上灰管线内剩余灰的清理,且自激振荡腔产生一个振荡力,使过滤器清理更彻底。