基于区块链技术的建筑材料供应链质量数据安全共享方法

传统方法在建筑材料供应链质量数据安全共享中应用效果不佳，不仅数据误码率比较高，而且数据共享时延比较长，无法达到预期的数据安全共享效果。为此提出基于区块链技术的建筑材料供应链质量数据安全共享方法。利用区块链技术对建筑材料供应链质量数据属性加密，建立建筑材料供应链质量数据安全共享链，整合建筑材料供应链质量数据加密、解密程序，通过对用户身份验证实现对质量数据安全共享，以此完成基于区块链技术的建筑材料供应链质量数据安全共享。实验证明，设计方法的数据误码率在1%以内，数据共享时延在1s以内，具有良好的数据安全共享效果。     

论习近平新时代中国特色社会主义思想的精神实质与实践要求

习近平新时代中国特色社会主义思想是党的十九大的灵魂和主线,是我们党迈进新时代、开启新征程、续写新篇章的政治宣言和行动指南。其精神实质集中体现在贯穿这一伟大思想始终的以人民为中心、斗争精神和知行合一。其实践要求至少应包括坚持党的全面领导,牢固树立“四个意识”“四个自信”,坚决做到“两个维护”;落实以人民为中心的发展思想,从保障和改善民生做起,坚持群众想什么、我们就干什么;将全面深化改革进行到底,坚定改革的决心和信心,掌握改革的方法等。同时,习近平总书记对北京工作也提出了一系列要求,如以建设国际一流的和谐宜居之都为战略目标;以探索构建超大城市治理体系为首要任务;以精治共治法治为切入点等等。     

通用飞机航空电子系统架构研究综述

当前我国通用飞机产业迎来了巨大的发展机遇，开展通用飞机航电系统架构的研究具有重要意义。通过分析通用飞机航空电子系统的典型需求，包括功能需求、安全性需求、适航需求、经济性与维护保障需求等，分高、中、低三类分别讨论了国外代表性的通用飞机航电系统架构的主要特点，揭示了通用飞机航电系统架构设计的一般规律，并结合应用需求提出了未来通用飞机航电系统的发展趋势，可以为相关研究提供有益的参考。     

农户民间借贷需求影响因素的经验分析——基于河南省的调查

采用河南省农村的社会调查资料,运用Logit模型,对农户民间借贷需求影响因素进行了实证检验。结果表明:社会资本拥有量、家庭状况和信贷环境均是影响农户民间借贷需求的主要因素。尤其,具有一定社会地位的家庭、收入水平较高的家庭、负担水平较重的家庭以及所在村存在"高利贷"等因素对农户获得民间借贷的可能性具有非常显著的作用。     

审核待购企业资产负债表

收购企业是一项机会和风险都很大的市场活动。要想尽量降低收购企业的风险,必须仔细核查资产负债表,以便准确了解企业的财务状况,消除账目中的虚假成分,确定企业资产的真正净值,及时识破产权转让中可能出现的欺诈行为。针对收购企业面临的一些实际问题,探索货币资金、应收账款、应收借款、存货、预付款、固定资产、负债和已缴资本等方面的核查重点,以及相应的方法和对策。     

商检条款不容忽视——如何防范外商利用商品质量问题拖欠货款

商检条款是进出口贸易合同中的一项重要条款,然而又往往是买卖双方在订立合同时容易忽略的条款。本文阐述了商检条款的重要作用,订立商检条款所涉及到的主要问题,并提出了完善商检约定规避外贸风险的建议。     

Formalising Workflow: A CCS-inspired Characterisation of the YAWL Workflow Patterns

We present work concerning the formal specification of business processes. It is of substantial benefit to be able to pin down the meaning of business processes precisely. This is an end in itself, but we are also concerned to do so in order that we might prove properties about the business processes that are being specified. It is a notable characteristic of most languages for representing business processes that they lack a robust semantics, and a notable characteristic of most commercial Business Process Management products that they have no support for verification of business process models. We define a high-level meta-model, called Liesbet , for representing business processes. The ontological commitments for Liesbet are sourced from the YAWL workflow patterns, which have been defined from studies into the behavioural nature of business processes. A formal characterisation of Liesbet is provided using Milner’s Calculus of Communicating Systems (CCS). In this article, we omit some of the technical details of this characterisation and instead present the essential features by means of an abstract machine language, called LCCS. We also explain how we have facilitated the verification of certain properties of business processes specified in Liesbet , and discuss how Liesbet supports the YAWL workflow patterns. We include a simple three-part example of using Liesbet .     

输送机中心轴线标定及测量精度分析

通过对带式输送机安装中心轴线标定方法进行理论分析,推导出边长和角度实测的精度相关公式,同时输送机的施工安装工艺对测量标定中心轴线提出了较高的要求,为我们提出了在实际工作中的具体做法和应注意的几个问题。     

信息化环境下物资需求计划管理内部控制问题研究

完善和创新信息化环境下物资需求计划管理内部控制体系已成为企业成功的重要关键,具有现实的经济意义。     

Intellectual property rights in a quality-ladder model with persistent leadership

This paper analyzes the effects of intellectual property rights in a quality-ladder model of endogenous growth in which incumbent firms preemptively innovate in order to keep their position of leadership. Unlike in models with leapfrogging, granting forward protection, and imposing a non-obviousness requirement reduces growth. In the main case where entrants and incumbents have free access to the same R&D technology, infinite protection against imitation, granted independently of the size of the lead, maximizes growth. If entrants have to engage in costly catch up before they can undertake frontier R&D, growth is maximal for a finite (expected) length of protection against imitation.