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

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

审核待购企业资产负债表

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

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

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

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 .     

Stochastic costly state verification and dynamic contracts

I consider a dynamic costly state verification environment in which a risk-averse agent enters into a contract with a risk-neutral principal. The agent has random income which is unknown to the principal but can be verified at a cost. The principal can commit to executing random verifications.I extend the standard recursive methods to study the problem and show that it is optimal to set verification probabilities strictly less than 1. If the agent׳s absolute risk aversion declines sufficiently slowly, the principal will use verification regardless of its cost. If the agent's income is verified then he would get consumption and continuation utility strictly higher than if his income were not verified.     

浅谈商业银行管控垫资验资业务的必要性及措施

商业银行在办理验资结算业务过程中,应当加强对代理公司垫资验资行为的管控措施,防止出现虚假出资、抽逃出资的结果,降低商业银行对外承担经济责任的风险,维护良好的市场经济秩序和金融秩序。     

某型火炮虚拟样机的建立及可信性验证

针对目前火炮在实际使用过程中,由于测试手段的局限性,进行实弹射击危险性较大,不能很好的判断反后坐装置工作是否正常。本文以虚拟样机技术为研究手段对火炮反后坐装置的工作性能进行评估,通过仿真试验结果,检验虚拟样机的可信性。     

论会计集中核算模式下财务人员犯罪案件的司法会计鉴定及对策

会计集中核算制度是会计委派制实践中最主要的一种模式,是具有自身特点的一种制度。实行会计集中核算是为了进一步规范会计行为,提高会计信息质量和工作效率,是服务与监督融为一体的新型管理模式,是我国会计管理体制的重大改革与创新。但在近几年的司法实践中发现,这种集中核算报账制模式下出现了＂小人物、大贪污＂的经济犯罪案件,文章就此类案件现象、司法会计鉴定、预防对策等提出见解。     

WTO视域下的美国《食品安全现代化法》

2011年1月14日美国国会通过的《食品安全现代化法》显著提升了美国食品安全监管标准,该法第三章对进口食品安全监管体制所做新规,如国外供应商认证程序、自愿合格进口商计划、授权取得食品进口证书等将对美国食品贸易体制发生重大影响,其影响将溢出到整个国际食品贸易市场。这部法律总体上符合WTO法律制度,但若干具体规则有违反WTO最惠国待遇原则之嫌。目前尚未有涉及FSMA的WTO诉讼案件,因此其相符性还有待WTO争端解决机制的实际验证。     

农用地产能核算与耕地保护补偿机制构建

文章在界定区域耕地保护补偿的基础上,对农用地产能核算与区域耕地保护补偿机制的关系进行了分析.并设计了基于农用地产能核算结果的区域耕地保护补偿机制技术路线和区域耕地保护补偿步骤.同时,根据设计的技术路线和补偿步骤,从政策层面和操作层面提出了构建完善区域耕地保护补偿机制的建议,以期为改善目前耕地数量和质量分割计算的耕地保护机制提供参考.