地方政府研究的三种路径:特征、优缺点及研究应用——兼评社会学近年来对中国地方政府的研究

在地方政府研究领域,既有研究成果通常包含着研究者对价值关怀、理论、经验事实三者之间关系的权衡和技术性处理,笔者以这三个侧面作为评述维度,区分了地方政府研究中的三条路径:即"参照—评估"路径,"视角—呈现"路径,"抽象—推导"路径,并以近年来关于中国地方政府问题的若干研究为例,讨论了这些路径的特征、优缺点及研究应用情况。笔者总结的这三条路径都是理想类型,在具体应用时,研究者可选择的路径是多元的,在地方政府研究中,研究者可以按照研究取向及研究需要选择与之匹配的路径方法。

面向未解释程序的合作验证方法

未解释程序的验证问题通常是不可判定的,但是最近有研究发现,存在一类满足coherence性质的未解释程序,其验证问题是可判定的,并且计算复杂度为PSPACE完全的.在此结果的基础上,一个针对一般未解释程序验证的基于路径抽象的反例抽象精化(counterexample-guided abstraction refinement,CEGAR)框架被提出,并展现了良好的验证效率.即使如此,对未解释程序的验证工作依然需要多次迭代,特别是利用该方法在针对多个程序验证时,不同的程序之间的验证过程是彼此独立的,存在验证开销巨大的问题.发现被验证的程序之间较为相似时,不可行路径的抽象模型可以在不同的程序之间复用.因此,提出了一个合作验证的框架,收集在验证过程中不可行路径的抽象模型,并在对新程序进行验证时,用已保存的抽象模型对程序进行精化,提前删减一些已验证的程序路径,从而提高验证效率.此外,通过对验证过程中的状态信息进行精简,对现有的基于状态等价的路径抽象方法进行优化,以进一步提升其泛化能力.对合作验证的框架以及路径抽象的优化方法进行了实现,并在两个具有代表性的程序集上分别取得了2.70×和1.49×的加速.

版权法上实质性相似判断路径的检视与优化--以“小茗同学”案为主样本

实质性相似是著作权侵权判定的重要规则,其本身的模糊性和弱操作性使得司法实践中出现了多种实质性相似判断方法,大体上可以分为抽象分析路径与整体观察路径。在进行实质性相似判断时,首先应区分作品类型,并选择相对应的判断路径。其次宜根据两种路径的固有弊端作出优化,在选用抽象分析法后须重新审视被过滤出的元素及元素间的关系;在选用整体观察法后须引入思想/表达二分法,避免保护范围的不当扩张。优化后的抽象分析路径与整体观察路径既能够契合不同类型的作品,也能够克服固有弊端,实现版权法激励创作与保护公共利益的最佳平衡。