摘要：为解决数字作品在互联网生态下存在的知识产权登记困难、盗版猖獗和产权交易混乱等问题,在改进的PBFT算法基础上,构造一种区块链知识产权保护模型。提出基于信用的改进PBFT共识机制,实现高效、低耗和可扩展的知识产权保护方式。设计知识产权登记和转让智能合约,利用自动化执行预置机制保证模型的高效性和透明性。实验结果表明,该模型可减少节点间的通信开销,增加主节点的诚实性概率,且具有更强的鲁棒性。

摘要：内存竞争记录是解决多核程序执行不确定性的关键技术,然而现有点到点的内存竞争记录机制带来的硬件开销大,难以应用到实际的片上多核处理器系统中.以降低点到点内存竞争记录方式的硬件开销为出发点,为采用监听一致性协议的片上多核处理器(chip multiprocessor,CMP)系统设计了基于并发记录策略的点到点内存竞争记录算法.该记录算法将两两线程间点到点的内存竞争关系扩展到所有线程,采用分布式记录方法为每个线程记录一个由内存竞争关系的一方构成的内存竞争日志;重演时采用简化的生产者消费者模型,确保了确定性重演的实现,有效降低了硬件消耗和带宽开销.在8核处理器系统中的仿真结果表明,该并发式点到点内存竞争记录算法为每个处理器核添加硬件资源约171B,每千条内存操作指令记录日志大小约2.3B,记录和重演阶段均添加不到1.5%的带宽开销.

摘要：利用LabVIEW软件开发平台设计和研制的一种航空电缆断路检测系统,可完成数据库查询、数据分析、结果显示和存储。利用工控机中的电缆资料数据库,再结合检测电路等相应的硬件,该系统即可自动给出断开电缆的连接关系。应用表明,该系统可快速检测出损伤电缆的连接关系,检测结果准确、可靠。