Knowledge Representation, Reasoning and Integration Using Temporal Logic with Clocks

Representation, reasoning about and integrating knowledge based on multiple time granularities in knowledge-based systems is important, especially when talking about events that take place in the real world. Formal approaches based on temporal logics have been successfully applied in many application domains of knowledge-based systems where the evolution of a system and its environment through time is central. This paper presents a methodology based on temporal logic to deal with knowledge based on multiple time granularities in knowledge-based systems. The temporal logic we consider is especially suitable for modelling events with different rates and/or scales of progress. The methodology includes an approach to the representation of timing systems, a method used for representing facts and rules in a knowledge-based system that involve multiple time granularities using temporal logic, and several deductive reasoning techniques. The work presented in this article has been supported in part by The Australian Research Council and Macquarie University. Note that this paper is an extended and revised version of Orgun, Liu and Nayak [37].     

出行选择行为的演化博弈分析

为缓解城市交通拥堵,通过分析出行者出行选择方式的博弈心理,建立了交管部门与出行者策略选择的决策博弈模型,应用演化博弈的思想分析了交管部门对私家车管理与不管理、出行者选择私家车与选择公交车出行各自两种策略选择的演化过程.根据雅克比矩阵的局部稳定性,对演化稳定状态进行了分析,并对一些主要参数对选择行为的影响进行了研究,结果表明,交管部门对公交车的激励效应以及对私家车管理效应对出行者出行方式选择行为的演化起着至关重要的作用.在讨论过程中,对各种情况做了详细地分析和解释,可以为政府决策部门提供相应的参考.     

民企家长型领导、组织承诺与组织绩效的关系研究

以广东、广西68家民营企业的159名管理者及员工的调查结果为样本,实证分析了民企家长型领导、组织承诺与组织绩效的关系.研究发现:家长型领导行为中德行领导对组织承诺及组织绩效具有较大程度的影响,仁慈领导能够有效地促进员工组织承诺的提升并改善组织绩效,而威权领导则不利于员工组织承诺的提升.组织承诺在德行领导和仁慈领导与组织绩效的关系中有着积极的中介作用,在威权领导与组织绩效间的关系不明确.     

Cryptanalysis and improvement of several quantum private comparison protocols

Recently, Wu et al(2019 Int. J. Theor. Phys. 58 1854) found a serious information leakage problem in Ye and Ji's quantum private comparison protocol(2017 Int. J. Theor. Phys. 561517), that is, a malicious participant can steal another's secret data without being detected through an active attack means. In this paper, we show that Wu et al's active attack is also effective for several other existing protocols, including the ones proposed by Ji et al and Zha et al(2016 Commun. Theor. Phys. 65 711; 2018 Int. J. Theor. Phys. 57 3874). In addition,we propose what a passive attack means, which is different from Wu et al's active attack in that the malicious participant can easily steal another's secret data only by using his own secret data after finishing the protocol, instead of stealing the data by forging identities when executing the protocol. Furthermore, we find that several other existing quantum private comparison protocols also have such an information leakage problem. In response to the problem, we propose a simple solution, which is more efficient than the ones proposed by Wu et al, because it does not consume additional classical and quantum resources.     

On the Existence of XOR-Based Codes for Private Information Retrieval with Private Side Information

We consider the problem of Private Information Retrieval with Private Side Information (PIR-PSI), wherein the privacy of the demand and the side information are jointly preserved. Although the capacity of the PIR-PSI setting is known, we observe that the underlying capacity-achieving code construction uses Maximum Distance Separable (MDS) codes therefore contributing to high computational complexity when retrieving the demand. Pointing at this drawback of MDS-based PIR-PSI codes, we propose XOR-based PIR-PSI codes for a simple yet non-trivial setting of two non-colluding databases and two side information files at the user. Although our codes offer substantial reduction in complexity when compared to MDS-based codes, the code-rate marginally falls short of the capacity of the PIR-PSI setting. Nevertheless, we show that our code-rate is strictly higher than that of XOR-based codes for PIR with no side information. As a result, our codes can be useful when privately downloading a file especially after having downloaded a few other messages privately from the same database at an earlier time-instant.     

私募基金规模、申购赎回机制与动态道德风险

运用动态合约理论与实物期权理论研究了私募基金最优激励相容合约的一般特征,考察了基金规模与申购赎回机制对缓解道德风险的作用。结论表明,私募基金最优激励相容合约由投资人的最大预期收益与管理者的最大预期回报共同决定,且购买私募基金类似于做多一种特殊期权,该期权标的资产价格由管理者后续值度量;投资人为激励管理者努力工作而付出的激励成本随基金初始规模或再申购比例递增,而最优基金规模由其边际激励成本与预期边际业绩决定;赎回成本影响投资人的最大预期收益,但对缓解道德风险不具显著作用;适当的业绩抽成可降低道德风险,且业绩抽成与私募基金初始规模或再申购比例在缓解道德风险方面存在一定的替代性。     

PPP项目中国有企业与民营企业的融资效率对比研究

目前PPP模式的应用范围不断扩大,但投资者的融资效率普遍不高。投资者融资效率低下严重影响PPP项目绩效,制约PPP模式的可持续发展。本文以51家主营业务为PPP项目的国有企业与民营企业为样本,运用DEA模型分别从整体、不同领域和不同地区之间对比分析双方融资效率的异同。结果显示参与PPP项目投资者的规模效率普遍不足,主营成本与股权集中度是导致融资效率低下的主要因素,净资产收益率较低则是投资者不愿积极参与PPP项目的一个主要原因。对国企而言,优化企业对PPP项目的规模效率是提高融资效率的关键;而民企应注重优化和降低资产负债率,合理均衡地分配股权。因此,建议具有规模效率和纯技术效率优势的投资者通过组建联合体等方式参与PPP项目,实现优势互补,从而提高项目公司的整体效率。此外,也要针对不同领域和不同地区PPP项目的特点和对投资者的要求,有针对性地选择投资者,充分发挥国企资金实力雄厚和民企专业技术的优势,提高融资效率,助力PPP实践的可持续发展。     

股票定向增发、盈余管理与公司的业绩滑坡——基于应计项目操控与真实活动操控方式下的研究

本文采用了应计项目操控与真实活动操控两种模型研究了我国上市公司定向增发新股过程中盈余管理行为以及之后的业绩表现,结果发现:中国上市公司在定向增发过程中会同时使用应计项目操控与真实活动操控两种盈余管理方式;进一步研究发现应计项目盈余管理会导致上市公司定向增发后业绩的短期滑坡,真实活动盈余管理会引起公司业绩的长期滑坡,真实活动盈余管理是上市公司定向增发之后业绩滑坡的主要原因。     

基于交易量的最优指令提交策略模型

构建了两个价位的指令驱动市场模型.交易者根据自己的估值选择提交限价指令或市价指令.假设交易量作为交易者的禀赋,可在一个连续区间上任意取值,从而提出限价收益曲线的概念,并结合该曲线给出基于交易量的最优指令提交策略时.最优指令提交策略不仅依赖于交易者的私人估值、市场深度和价差,同时依赖于交易者所持交易量.模型揭示以下几点微观特征:1.私人估值偏离证券基本价值较大的交易者倾向于提交市价订单,而私人估值接近证券基本价值的交易者倾向于提交限价订单;2.当市场深度较小时,交易者倾向于限价单;而市场深度较大时,交易者倾向于提交市价单;3.随价差的增加,交易者更倾向于提交限价订单.     

个性粒化k-匿名隐私保护方法研究

结合粒计算粗糙集理论和k-匿名理论的最新研究现状,从粒化角度出发,提出个性粒化k-匿名隐私保护方法.针对电子商务中隐私保护个性粒化决策选择度的不同,提出一种新的隐私保护方法:个性粒化k-匿名并给出了相关算法和定义,旨在实现更为合理的个性化隐私保护,提高隐私保护的精度.