摘要：覆盖等效性检测指验证2个具有不同表达式的组合逻辑电路是否实现相同的函数功能.通过扩展余子式概念,提出一种基于乘积项余子式分解及重言式判别的组合逻辑电路覆盖等效性检测算法.首先将等效性检测问题分解成电路包含检测子问题,逐一求取其中一个电路表达式对另一个电路表达式各乘积项的余子式;然后在建立各乘积项余子式的香农结构图基础上判断其是否重言式;最后根据重言式判别结果确定两电路间是否覆盖等效关系.该算法通过求取乘积项余子式对逻辑函数进行分解和降阶处理,从而加快了覆盖等效性验证速度.电路测试结果表明,文中算法是稳定有效的;对EXPRESSO软件集成的3种算法所得电路的测试结果表明,与基于真值表和BDD的2种检测算法相比,该算法具有明显的速度优势.

摘要：黑龙江省农村的绝大地区的玉米果穗都是在庭院的地面上储存过冬,一般在四月末脱粒出售,这期间粮食被老鼠吞噬并且被老鼠粪便污染。因此,能够防鼠、防雨的玉米果穗储存仓成为种植玉米的农户的迫切需求。针对这一现实,经过调查研究,本文提出了一种玉米果穗储存仓的设计方案,经过五年的实际应用,该储存仓可以有效地解决鼠害和防雨问题。

摘要：以通玉六号等8个玉米新品种为试验材料,根据《云南省农作物品种区域实验办法》进行设计实施,并采用单因素方差分析法进行分析,结果是:单-l位居第一;镇单三号位居第二;通玉六号位居第三,三个品种间无明显差异。

摘要：港口是我国经济发展的重要节点,在港口码头的建设中,高桩梁板式码头具有极高的技术优势而被广泛应用。但在实际使用过程中,上横梁会因不同因素出现裂缝问题,其严重影响码头的安全性和耐久性。在此情况下,本文对高桩梁板式码头上横梁裂缝问题情况进行深入分析,详细了解出现裂缝的主要原因,并结合当前的预防技术,提出了一系列有效的预防措施,旨在为工程设计、施工和维护提供参考。

摘要：目的 :研究在大肠埃希菌体内可溶性表达肿瘤坏死因子相关的凋亡诱导配体 (TRAIL)胞膜外段融合蛋白 ,为其下一步的分离纯化奠定基础。方法 :依据原核表达载体 pGEX 2T多克隆位点限制性内切酶要求 ,设计TRAIL胞膜外段PCR引物 ,对TRAIL的克隆载体进行PCR扩增 ,回收目的片段后利用DNA连接酶构建TRAIL胞膜外段原核表达载体 ,应用相关的生物学软件对目的蛋白的理化性质及其溶解性进行预测。酶切鉴定后将阳性重组体转入大肠埃希菌DH5α体内 ,分别在不同浓度异丙基硫代 β D 半乳糖苷 (IPTG)、不同诱导温度、不同诱导时间作用下 ,利用SDS PAGE分析目的蛋白可溶性表达量。结果 :PCR扩增得到TRAIL胞膜外段DNA片段 ,酶切结果证实已成功构建了TRAIL胞膜外段原核表达载体 ,预测表明 95 %以上的TRAIL胞膜外段融合蛋白是以可溶性的形式表达 ,在 0 .1mmol/LIPTG、2 0℃诱导 3～ 4h ,目的蛋白可溶性表达量达峰值 ,占菌体蛋白的 2 8%。结论

摘要：根据《中华人民共和国标准化法》的要求,企业生产的产品必须符合强制性标准,不符合强制性标准的产品禁止生产、销售和进口.《中华人民共和国产品质量法》也有明确的要求,产品质量应当不存在危及人身、财产安全的不合理危险,有保障人体健康、人身、财产安全的国家标准、行业标准的应当符合该标准.然而在农业机械的设计和制造过程中,设计者和生产者通常重视的是机器的功能和使用性能,而忽视了机器的安全性能.在现实生活中,正是由于对机器安全性能的忽视,导致了诸如铡草机铡手、插秧机伤腿、脱粒机伤人等众多事故的发生,这些事故不但给人们的精神上、身体上造成严重损害,而且给人们的财产造成重大的损失.

摘要：黑龙江省玉米收获一般在9月2019以后，此时的玉米叶已经干枯。含水率低于10％，容易被引燃。自走式玉米联合收获机如果设计不合理，在作业过程中极易发生着火事故，扑救不及时会造成重大经济损失。