Coloured Logic Petri Nets and analysis of their reachable trees

Logic Petri nets (LPNs) can describe and analyse the batch processing function and passing value indeterminacy in cooperative systems, and alleviate the state space explosion problem. However, the indeterminate data of logical output transitions cannot be described explicitly in LPNs. Therefore, Coloured Logic Petri nets (CLPNs) are defined in this paper. It can determine the indeterminate data of logic output transitions in LPNs, i.e., the indeterminate data can be represented definitely in CLPNs. A vector matching method is proposed to judge the enabling transitions and analyse CLPNs. From the marking equation and the proposed reachable tree generation algorithm of CLPNs, a reachable tree can be built, and reachable markings are calculated. The advantage of CLPNs can be shown based on the number of leaf nodes of the reachability tree, and CLPNs can solve the indeterminate data of logical output transitions. Finally, an example shows that CLPNs can further reduce the dimensionality of reachable markings.     

新中国七十年企业会计改革发展的演进逻辑与理论诠释

建国七十年来企业会计改革在社会主义建设中纵横捭阖,在改革开放中创新开拓,交织出中华民族伟大复兴棋局中的会计经纬。随着新中国七十载时代变迁和历史沉淀,企业会计改革发展持续释放出影响深远的力度、深度与温度,焕发出蓬勃的制度生命力与广泛的理论影响力。站在新的历史方位上,以马克思实践唯物主义为逻辑起点,以我国企业会计改革发展历程为研究基础,钩沉与梳理七十载企业会计改革发展演进脉络,探索与诠释七十载企业会计改革发展理论内涵,以期进一步丰富和发展中国特色企业会计理论与方法体系,推动企业会计改革发展更好地服务新时代经济社会进步。     

构建基于逻辑模型的财政支出绩效评价体系——以农业财政支出为例

现有评价指标较少对财政支出的整个过程进行评价,难以全面反映财政支出的真实绩效。将逻辑模型引入指标设计中,从“投入—产出—中短期结果—长期结果”四个层面构建财政支出绩效评价指标体系,可更好地体现绩效评价的经济、效率和效果原则。     

试析比较命题及其推理

探讨了比较命题的表达形式和种类，比较命命与比较和比喻的区别及比较命题的推理，指出一切比较命题，对比和比喻都是比，但并非一切比都是比较命题或比喻，只有比较命题才构成比较命题的推理的观点，旨在探究一种新的思想形式，加深人们对客观事物正确反映。     

民间公益组织间合作的逻辑与实现——基于上海市益优青年服务中心的研究分析

作为一支重要的社会力量,不断涌现的民间公益组织正逐步影响着社会政治格局和人们的生活方式。学界对其研究也一直方兴未艾,而致力于解决民间公益组织发展困境的各种理论研究更是层出不穷,但大多止步于理论或被实践证明其狭隘性。鉴于这种状况,本文在对上海一家民间公益组织深入调查研究的基础上指出:民间公益组织间的合作也许才是此类组织走出困境实现发展的更优选择,而这种合作具有内在的理论逻辑基点并依赖于一定的机制得以实现。     

重复占优策略博弈在团队培训中的应用及启发——基于一个体验式训练项目的思考

博弈论是研究决策主体行为发生直接相互作用时的决策以及这种决策的均衡问题的一门科学。占优策略博弈是指存在始终优于对方反应的博弈,占优策略博弈可能存在合作解和非合作解。在对一个基于重复非合作占优策略博弈而设计的培训项目进行分析的基础上,探讨有限重复占优策略博弈的非合作解和合作解的差别,并借鉴这种差别对于团队管理的启发,在管理实践中充分考虑主体的充分理性和最大化偏好,以团队利益为前提,尊重个体合理利益,设计科学的激励约束制度,促成一个良性的竞争合作团队氛围。     

新型纸纱复合制袋印刷一体机开发研究

针对现有纸纱复合制袋机不具备多色印刷功能的问题,本研究提出了一种新型纸纱复合制袋印刷一体机的设计方案。设计中充分考虑系统的功能要求和机械部分的配合要求,在改造原制袋机部分结构的基础上,设计加入柔性印刷设备,实现上料、制袋、印刷、干燥、裁切的一体化。控制系统以西门子PLC为控制中心,采用组态软件设计监控画面,实现了一体机的智能调节,使其生产线适应范围更广,满足了不同层次客户的要求。     

众创空间类型如何塑造创业服务行为？基于制度逻辑视角的分析

文章基于制度逻辑视角,以浙江省746家众创空间为样本,分析了政府、高校、民营企业三类主体设立的众创空间和创业服务行为选择的关系。研究发现：（1）制度逻辑对众创空间的创业服务行为选择具有塑造作用,持有行政逻辑的政府型众创空间会将时间更多的分配给办公场所服务,而持有专业逻辑的高校型和持有公司逻辑的民企型众创空间,则分别会将时间更多的分配给培训咨询服务和投融资服务。上述发现在替换了其它两种因变量测量指标后依然成立。（2）国家级认证会使民企型众创空间显著减少在投融资服务上的时间分配比重,而显著增加在办公场所服务和培训咨询服务上的时间分配比重,这种调节效应在另外两类众创空间中并不显著,在替换了省级认证后结果依然成立。这表明,相较于公司逻辑,政府逻辑和专业逻辑更具稳定性,更不易受高阶制度因素的影响和干扰。文章拓展了制度逻辑和众创空间创业服务行为关系的理论认识,为创业者的众创空间入驻决策以及政府针对众创空间的政策制定提供了实践启示。     

Payoff equivalence between Bayesian and ex post individually rational dominant strategy mechanisms

Summary. An efficient, interim individually rational, ex post budget balanced Bayesian mechanism is shown to be payoff equivalent to an ex post individually rational and ex ante budget balanced dominant strategy mechanism. This result simplifies the search for mechanisms that implement efficient allocation rules by pointing to a class of Groves mechanisms. It eliminates the strict requirement of common knowledge of priors and can be applied to many problems of incomplete information. Received: October 22 1996; revised version: November 25, 1997