面向区块链混合共识的追溯问题研究

为提高区块链追溯系统的可靠性与安全性,采用共识委员会选举机制(Delegated Proof of Record,DPOR)和拜占庭容错算法(Practical Byzantine Fault Tolerance,PBFT),对追溯节点数据进行一致性验证,以有效解决系统对节点数量的限制问题,实现对区块链上不同企业产品质量追溯数据的可信共享与监管。结果表明,相较于传统追溯方法,所提追溯方法具有更低通信复杂度和延迟度,且吞吐量更大。由此得出,本研究构建的算法可用于区块连的混合共识追溯。

Review of Studies on the Last Enzymes in Bacteriochlorophyll (Bchl) and Chlorophyll (Chl) Biosynthesis

This paper summarizes the information available online related to mechanisms of Chlorophyll and Bacteriochlorophyll biosynthesis, emphasizing four enzymes in its last steps. The biosynthesis of Chlorophyll (Chl)/Bacteriochlorophyll (Bchl) is essential for the occurrence of photosynthesis. Four enzymes catalyze parts of the last chemical reactions steps to biosynthesize Bchl/Chl;they are: The Light-Dependent Protochlorophyllide (Pchlide) Oxidoreductase (LPOR: EC 1.3.1.33), the Light-Independent Pchlide oxidoreductase (DPOR: EC 1.3.7.7), Chlide Reductase (COR: EC 1.3.99.35) and the Divinyl Reductase (DVR: EC 1.3.1.75). These enzymes catalyze the reductions reactions of tetrapyrrole’s rings in the Chlorophyll and Bacteriochlorophyll biosynthesis process. This review has the aim to organize, analyze and compare the most important discoveries related to these four enzymes discovered so far. The comparisons are made with the information from the bibliography used, and the sequence of these enzymes got from online database. Sequence alignment, phylogenetic and molecular evolutionary analysis of all the four enzymes was conducted to find their levels of similarities.

航天软件中多重中断程序的动态检测方法研究

随着控制系统软硬件平台的设计复杂度不断增加,特别是飞行控制系统中集成的传感器不断增多,中断数量也随之不断增加。本文根据飞控系统的具体特点,使用标记迁移系统对多重中断并发程序进行建模,提出了原子性违背和数据竞争的形式化描述,运用动态偏序化简算法对程序的状态空间进行化简,并设计实现了多重中断控制系统程序的动态检测工具,实验结果表明该检测算法可以在满足对多重中断并发程序错误检测的基础上,大大的缩短检测时间。

收缩候选回溯集的有状态动态偏序归约方法

在验证多线程并发程序时,将基于无状态或有状态搜索的软件模型检测与动态偏序归约方法相结合,能大幅缩减待验证程序的状态空间,而动态偏序归约需不断利用当前候选回溯集更新相应回溯集,导致更新回溯集的计算成本过高。为此,形式化定义收缩候选回溯集,消除原候选回溯集中满足同一回溯条件的冗余迁移。针对各交织的回溯点,使用当前收缩候选回溯集更新相应回溯集,实现基于有状态动态偏序归约方法的并发多线程程序验证。实验结果表明,与现有动态偏序归约方法相比,该方法能减少遍历迁移数,加速回溯集更新,提高动态软件模型检测效率。

控制系统多重中断并发程序测试动态工具设计

为解决控制系统软件中多重中断导致的系统不稳定性和难以预测性,根据控制系统并发程序的具体特点,设计面向多重中断并发程序的测试工具。测试工具主要包括程序分析器、程序插装器、控制执行器、中断发生器4个部分。采用动态验证的测试方式,以动态偏序化简算法为基础,引入中断处理机制和sleep集合,将该算法应用于多重中断并发程序的动态监测工具中。该工具可以对原子性违背、数据竞争者两种常见的多重中断并发错误进行有效检测。

植物非光依赖叶绿素合成研究进展

植物叶绿素暗合成能力与非光依赖型原叶绿素酸酯还原酶(DPOR)有关,光合生物进化过程中从细菌到裸子植物均保留了这个古老的酶,完全黑暗条件下可以合成叶绿素。被子植物则由于丢失了这个酶,失去了叶绿素暗合成能力。本文综合国内外有关非光依赖叶绿素合成的研究成果,从叶绿素合成途径过程的关键反应、叶片中质体结构及光系统发育等方面,对黑暗条件下植物叶绿素合成进行综述,并从植物进化角度对叶绿素暗合成及其影响因素做了总结,为研究植物暗形态建成以及暗-光转变过程中光合器官建成提供基础。