基于可满足性问题的有用工作量证明共识机制

为减少在公链上基于哈希的工作量证明中无意义计算消耗,合理利用区块链网络算力,创建一个促进可满足性问题（SAT）研究的有用工作社区环境,基于 SAT 问题求解,开发一种有用工作量证明共识机制,通过竞争解决困难 SAT 问题的方法获得区块链中区块构造权,并使各节点间达成共识。实验证明,基于该共识算法的区块链系统性能稳定,且各算法在系统中运行平稳,基于 SAT 求解的工作量证明共识机制有助于解决基于哈希计算工作量证明的无意义消耗问题,更好创造 SAT 问题的研究环境。     

尺寸链教学探讨

<汽车制造工艺学>课程教学中,"尺寸链"章节是教学的难点和重点.本文通过实例分析,从绘制尺寸链图、确定封闭环和增减环、解尺寸链、结果验算等5个方面,系统探讨了尺寸链的核心教学过程,使学生快速理解和掌握求解尺寸链的要点及应用场合,提高其教学效果.     

鮈鱼

鮈鱼,淡水可钓鱼种之一,鲤科,品种繁多,约有30属100多种,常见的属有麦穗鱼属、棒花鱼属、蛇鮈属、鳈属和铜鱼属等,其中铜鱼属的鱼类个体大,产量较多,为其产地的重要经济鱼类。而一般比较常钓到的有花(鱼骨)、鳈鱼、蛇鮈(注:船丁鱼)、棒花鱼、麦穗鱼、铜鱼等。因生活的水域、海拔和纬度不同而外形略有差异。     

机构知识库科学数据的开放获取研究

阐述了科学数据资源及开放获取的相关概念,分析了开放获取资源面临的挑战及将区块链技术运用到科学数据开放获取时的可行性与优势,并设计了机构知识库的数据开放获取管理流程.     

铜含量分析仪测量结果示值误差不确定度评定

铜含量分析仪广泛应用于发电厂除盐水、蒸汽冷凝水、炉水及化工、制药、化纤、半导体行业高纯水测量。本文对不确定度的分量进行综合考虑,找到了产生不确定度的主要分量,评定了铜含量分析仪测量结果示值误差的不确定度。     

茶多糖对2型糖尿病小鼠生化指标的影响

目的 利用链脲佐菌素（STZ）联合高脂饮食复制2型糖尿病小鼠模型,观察茶多糖对小鼠血清生化指标的影响.方法 90只小鼠给予高脂饮食4周后腹腔注射STZ建立2型糖尿病模型,随机分成模型组、茶多糖高中低三个剂量组以及阳性药二甲双胍组,另取10只为正常对照组.茶多糖组、阳性对照组分别按照计量灌胃治疗,对照组和模型组给予等体积的蒸馏水灌胃.4周后,检测小鼠血清空腹血糖、胰岛素、甘油三酯、总胆固醇以及糖耐量等指标.结果 4周后,茶多糖中高剂量组空腹血糖、甘油三酯以及总胆固醇均比模型组低（P＜0.05,P＜0.01）,而给药组血清胰岛素水平比模型组高（P＜0.05,P＜0.01）,并且给药组与模型组比较小鼠糖耐量有所改善（P＜0.05,P＜0.01）.结论 茶多糖能够降低2型糖尿病小鼠血糖,并且能够改善脂类代谢.     

对开链有机化合物系统命名的新思考

为掌握开链有机物这一类有机化合物的命名,从各类开链有机物命名中找出其共同点,加以总结,形成命名原则的新观点。     

云计算视域下的图书馆信息资源共建共享策略

分析了Google学术搜索、百链云图书馆、e读的特点和服务模式,探讨了云计算对信息资源共建共享的影响,提出了基于云计算的图书馆信息资源共建共享策略.     

谷氨酸在水处理技术中的新应用

针对缓蚀剂在水处理中出现的问题,通过实验得到了循环水中添加铜缓蚀剂的最佳条件:谷氨酸作为缓蚀剂,温度为25℃,PH=6.0,浓度为0.001mol/L,并且加入N-月桂酰基谷氨酸钠作为预膜剂,以及添加Mg2+作为协同复配的催化剂,得到了很好的效果。