基于多自主体中的一致性算法战略物资调度

随着应用领域的拓展,现有的理论体系和管理体制已不适应新时期国民经济动员发展的需要,迫切需要在核心理念、基本理论、管理方式和组织模式等方面进行新的探索。重点介绍一致性算法及其在国防经济动员中的应用。     

一种异构数据读写分离技术的架构理论和实践

在互联网行业,越来越多的企业采用了数据读写分离的架构,其中同构的数据读写分离架构被广泛使用,而成功的异构读写分离架构则较少。鉴于目前遗留系统的技术架构体系与新出现的成熟技术架构体系在应用,技术、架构和部署方面存在较大的差异,考虑到新旧技术的兼容性,并确保系统能够顺利实现平滑过渡,提出了异构的数据读写分离架构。实践证明,该架构在满足业务需求的同时,成功采用新的技术架构体系,既保护了现有的投资,又具备良好的技术前瞻性和技术延续性,具有良好的参考示范价值。     

一种可公开验证的强(n,t,n)秘密共享方案

现有(n,t,n)秘密共享方案能够保证主份额满足强t一致性,但不能验证子份额的正确性,而且不能防止秘密重构过程中出现欺骗行为。为此,利用离散对数困难假设、公钥加密算法以及密钥协商思想,设计一个可公开验证的无可信中心的强(n,t,n)秘密共享方案。参与者在验证过程中只需利用公开信息便可验证,无需进行交互式通信,从而能够抵抗秘密重构过程中出现的欺骗行为,并在一定程度上减少建立私有信道所需的成本开销。性能分析结果表明,与现有(n,t,n)秘密共享方案相比,该方案具有较少的计算开销和通信开销,并且在强t一致性和可公开验证性方面更具优势。     

一种加速广域文件系统读写访问的缓存策略

针对广域网高延迟、低带宽的特性给广域文件系统访问带来的性能影响问题,提出了一种不依赖于底层文件系统、能够加速广域文件系统读写访问的缓存策略.该策略支持基于区间粒度的文件数据缓存及访问,并支持元数据本地缓存;该策略提供基于阈值的容量管理功能,采用超时与最终一致相结合的方式维护缓存的一致性.最后使用典型的文件I/O基准测试工具和元数据性能测试工具对该缓存策略进行了评测,实验结果表明:该缓存策略减少了客户端与服务器的交互次数,给广域文件系统的数据访问带来了明显的性能提升,当缓存命中时其数据的读写性能与本地文件系统相近.     

浅论我国商业银行个人理财业务的“前世”“今生”

正2013年以来,伴随着以"余额宝"为代表的互联网金融产品的冲击,我国商业银行个人理财业务可谓被卷入了一场"抢钱浩劫",各大银行纷纷措手不及的应战,各种新产品层出不穷,互联网金融给我国传统商业银行带来了史无前例的竞争挑战,也从而开创了我国商业银行个人理财业务的新时代。在此背景下,笔者特针对我国商业银行个人理财业务的发展历程进行简要回顾,并对其后续发展前景进行展望。一、我国商业银行个人理财业务的起     

RCC高速缓存一致性协议的带参验证

Godson-T众核处理器的RCC高速缓存一致性协议是一种非常有特色的带参并发系统,对此协议的带参验证是一个很大的挑战。 Cubicle是最近出现的基于SMT求解器的带参模型检测工具。我们使用了Cubicle带参模型检测工具,成功对RCC协议进行了建模和验证。实验结果表明, RCC协议在结点个数为任意规模时均满足协议的各种安全性质。     

基于本体的特征模型演化的一致性验证

针对特征模型的演化导致特征间的冲突问题, 从特征模型的演化方面进行研究, 提出了一种基于本体的特征模型演化的一致性验证方法。首先采用本体理论方法对特征模型的演化进行分析和建模, 建立本体的特征模型元模型; 其次基于上述元模型, 为网上购物系统实例建立相应的网上购物的领域特征模型, 根据需求裁剪出产品特征模型; 然后在Eclipse集成开发环境下, 通过Jena推理机加载规则和产品特征模型进行一致性验证, 当检测到冲突时, 采用演化策略来消除冲突; 最后通过实例研究说明了该方法的有效性。     

Altera携手百度在云数据中心使用FPGA加速

正Altera公司与百度在深度学习应用中使用FPGA和卷积神经网络(CNN)算法上展开合作,这将对开发更准确、更快的在线搜索功能起到关键作用。对于图像分类和识别任务等关键搜索功能,CNN被认为是目前最新而且一直以来非常准确的技术。百度采用了Altera Stratix V FPGA以及Altera面向OpenCL的SDK,并通过了Khronos OpenCL一致性测试认证。Altera的数据中心技术产品基于公司的高性能Stratix V和Arria 10FPGA,以及下一代Stratix 10FPGA和SoC,     

泰克推出HDMI 2.0一致性测试及调试解决方案

正泰克公司提出的新的实现方法 (MOI)被HDMI论坛批准为针对最近发布的HDMI 2.0标准的官方一致性测试解决方案,该方法采用全自动一致性测试和调制解决方案来支持该标准。该解决方案支持全面的HDMI 2.0发射机和接收机电气物理层(PHY)测试,可帮助确保来自该快速成长行业的不同供应商的产品间的互操作性。     

时间上下文的属性限制及一致性分析研究*

首先分析了本体创建的一般过程,定义了一组时间关系的表示函数及通用的时间限制性公理;在此基础上设计一个面向带时间特征的概念属性逻辑关系一致性分析算法;最后,直接针对本体概念的时间属性,设计了一个时间属性值描述的一致性分析算法。实际应用表明,提出的两个算法,既能有效地实现带时间侧面的本体属性的一致性检查,又能针对时间属性本身消除其不一致性。上述算法可应用于带时间上下文的本体创建中分析并检查其一致性。