民法一般条款适用规则的系统建构

民法一般条款的适用一直是方法论上的难题。为了有效地限制法官在适用一般条款时的裁量空间,有必要总结出一套易于操作的一般条款适用规则。这套规则由两部分组成,即实体性规则以及程序性规则。实体性规则包括内容生成性规则与内容控制性规则。内容生成性规则主要指案例群规则,又包括案例群检索规则、案例群检验规则和案例群修正规则。此外,法官个人必要的价值补充也应符合普遍性要求和最低性要求。内容控制性规则提出一般条款的具体化需满足“无矛盾”“无冗余”“融贯”以及“合宪”等要求。程序性规则针对法官的论证过程,它包含内部证成中的切合性规则、连贯性规则和充要性规则,以及外部证成中的评价开示规则。

改进的模拟退火算法求解规则可满足性问题

对于随机k-SAT问题,限定每个变元出现的次数恰好出现d次,形成随机规则(k,d)-SAT问题,目前国内外对该问题的相关研究较少,且研究随机规则(k,d)-SAT问题比研究k-SAT问题更为具体。文中给出一种随机规则(k,d)-SAT问题的生成实例模型——RRIG(N,k,d)模型,并用改进的模拟退火算法SARSAT求解规则随机规则(k,d)-SAT问题。将变元出现次数d加入到扰动策略中,利用变元出现次数和子句间约束关系中的启发信息对候选解中的赋值选择性改动,加快算法收敛至较优解的速度;同时,模拟退火算法中的Metropolis接受准则和改进后的退火策略保证了算法能够有效跳出局部最优解,最后使用RRIG(N,k,d)模型生成不同参数的测试实例,并与其他相关算法进行比较,结果表明SARSAT算法能有效解决规则可满足问题。

语言研究普遍性向领域特殊性的过渡——语块的认知科学理论及模式探析

语言被认为是高度系统化、有规则控制的人类语言行为,但同时,有研究者也发现语言运用中存在着不同层次的语块。对语块的研究一开始便围绕着规则和语块在语言习得中的关系、作用和地位而展开。本文从认知科学理论和模式的角度,对语块进行了较为全面的分析,为当代语言学理论的研究提供了一个新的视角。文章最后指出有必要对语块进行更深入、系统性的研究以确定其在语言学理论中的地位,推动语言学理论的进一步发展。

论汉字笔顺

笔顺问题困扰对外汉字教学多年。笔顺是文字的自然属性。决定笔顺的因素是对书写连贯流畅的追求。笔顺本质是把笔画的空间位置关系转换成书写的时间顺序。笔顺存在多样性,没有整齐划一的规律。现行笔顺规范是汉字排检法和书法艺术混合的结果,不是文字学性质的标准。笔顺规范化只规定笔顺原则和汉字的具体笔顺,但是没有制定笔顺规则。笔顺规则是笔顺问题的症结所在。笔顺规则有归纳性和生成性之分。混同两类不同性质的规则是笔顺研究和教学的致命伤。可以考虑将现有的"笔顺规范"降格为"常见笔顺"。海外汉字笔顺教学可以开发并使用生成性笔顺规则。来华留学生入门阶段汉字教学可以采用生成性笔顺规则,或者采用降格后的"常见笔顺"。