基于PBFT区块链技术的电网企业仓储系统

提出了一种基于实用拜占庭容错(PBFT)算法的区块链技术,首先对传统的实用拜占庭容错算法原理进行了阐述,该传统算法包含前期、需求、预准备、准备、确认、答复6个阶段,但传统算法具有实时性差、缺乏惩罚机制、带宽高的缺点。针对出现的这些问题,又对传统算法进行了改进,具体涉及记账节点、共识过程以及视图切换过程。通过测试进一步证明了该改进算法的实用性,并将该算法应用于电网企业中,构建的虚拟仓库实现了联储联备,降低了库存资金的耗费,并且提高了电网企业库存管理的效率。     

以 提高实践能力为目标的数据结构课程教学改革探索

This paper analyzes the problems existing in the teaching of data structure course, and puts forward the reform from the as- pects of strengthening basic programming, visualized explanation of abstract theory, combination of C++, Java programming, ratio- nal use of online platform, and stratification of exercises, aiming at improving students' practical ability, learning interest and self- confidence.     

理论、实践经验和实践能力

掌握了理论知识并不等于有了实战经验,更不等于有实战能力。从理论到有实战能力的飞跃,只有亲临生产线,在不断解决问题过程中实现。     

柴油蜡晶的理论形态预测与显微实际形态的比较

采用BFDH模型和AE模型预测柴油中蜡晶的理论形态，与通过相衬光学显微镜在冷环境平台上观察柴油蜡晶在低温下析出的实际形态。以及加入低温流动性改进剂T1804的柴油蜡晶形态进行比较研究。以十八烷晶体和二十三烷晶体作为柴油蜡晶中偶数正构烷烃和奇数正构烷烃的模型化合物，得到它们的晶体理论形态为六面体薄片状晶体。不同降温速率下得到的蜡晶的实际形态与大小均不同。快速降温条件下得到的晶体形态主要为六边形、菱形和其它少数不规则多边形薄片状集合体；慢速降温条件下得到的柴油蜡晶的形态比较完整，为六边形片状，与通过BFDH和AE模型得到的十八烷即偶数正构烷烃的形态比较接近。柴油加T1804后，快速降温时，出现更多细小的无规则晶体，且很快聚集成片状晶体；慢速降温时，出现晶体的数目要多于未加剂柴油，形状不规则，且尺寸小于未加剂柴油。     

Type inference in stack based languages

We consider a language of operations which pass parameters by means of a stack. An algebra over the set of type signatures is introduced, which allows the type signature of a program to be obtained from the type signatures of its constituent operations.Although the theories apply in principle to any stack based language, they have been evolved with particular regard to the proposed ANSI Standard Forth language, which is currently implemented in a type free manner. We hope this work will stimulate an interest in Forth amongst those applying algebraic techniques in software engineering, and we hope to lay the theoretical foundations for implementing practical type checkers to support Forth.     

蒸汽减压站自控系统的巧设计

蒸汽是石油化工装置中最重要的物料。随着石油化工工业的迅猛发展 ,蒸汽在其中扮演着越来越重要的多重角色。因此 ,对蒸汽系统的平稳控制 ,对石油化工生产装置平稳、高效地运行是至关重要的。传统的蒸汽减压站自控系统基建投资大 ,紧急情况下靠人工手动操作稳定蒸汽压力系统 ,往往造成生产的波动或大面积的停车。针对传统蒸汽减压站自控系统的弱点 ,提出蒸汽减压站自控系统的优化设计方案 ,该方案得以在大型生产装置成功应用。新方案不但节省了大量的基建投资 ,而且取得了良好的生产效益     

Highly oriented star-like patterns observed on GaSe epilayers grown on Si(111)

Epitaxial lamellar gallium selenide (GaSe) semiconductors have been grown on trench-patterned silicon (Si) substrates by molecular beam epitaxy. An intriguing star-like patterned morphology was identified by atomic force microscopy on these epilayers. This non-trivial feature can be correlated with the accumulation of stacking faults of two concurrent epitaxial domains around self-oriented triangular pits developed earlier on the Si(111) surface by the chemical etching. Crystallographic considerations show how the stars can be formed.     

机械CAD课程教学改革探讨

文章分析了机械CAD技术的特点以及国内CAD教学的现状,提出了机械CAD教学改革的方法,并从教学体系、教学方法、考试方式等方面进行了探讨.     

新型保温材料—炭化稻壳在连铸生产中的应用效果

对新型保温材料──炭化稻壳的理化指标及其保温性能进行了阐述。在连铸生产中采用炭化稻壳做保温剂可取得显著的经济效益，是理想的保温材料。