规则顺序与规则类型对儿童规则推理的影响

学前儿童时期是各种推理能力产生和发展的重要时期.本研究采用Frye和Zelazo等(1996)所设计的'二进二出'装置,设置了规则顺序、规则类型的规则推理任务,采用个别实验法,研究了90名3～4岁儿童规则推理能力的发展.在本研究条件下,结果发现:1.当规则呈现顺序不同时,儿童规则推理成绩差异显著,先呈现哪个规则,则利用这个规则进行推理的成绩就较好;2.不同规则类型下儿童的推理成绩差异极其显著,竖直规则下的推理任务更容易;3.3.5～4岁是儿童二维合取规则推理能力发展的快速期.

论共同遇难者死亡顺序规则的语言表达形式——对《民法典》第1121条的解释

死亡顺序规则是民事推定规范中较为特殊的存在,因其带有“推定”字样的表述形式,我国学界及实务界通常将其定性为民事推定规范。某些学者认为其并不具备推定的显著特征,如:存在基础事实、事实间具有高概率联系等,因此这些学者认为死亡顺序规则不是真正的推定。《继承法意见》第2条规定的死亡顺序规则表达结构为“某某不能证明……,则推定……”,不可反驳的推定规范常以这种“不能证明”形式出现。《民法典》第1121条将客观层面的“不能”修订成主观层面的“难以”,表明死亡顺序规则具有可以被推翻的特点。根据两者差异,可以判定经修订后的死亡顺序规则较拟制规范、拟制性推定等其他类别归类为推定规范是更具合理性的。因此,现行法下的死亡顺序规则采用“推定”的表述形式是合理的。

一种面向内核接口的顺序依赖规则挖掘与违例检测方法

内核扩展函数以接口的形式提供给驱动,用于管理设备和申请相关的资源.这些接口中存在大量的顺序依赖规则,如自旋锁必须经过初始化才能加锁,然后才能解锁;驱动在加载时申请的内存,卸载时必须予以释放等.然而,驱动开发者常常不熟悉或疏忽内核接口的使用规则,导致驱动中存在大量的接口使用违例,影响驱动及系统的可靠运行.文中提出了一种面向内核接口的顺序依赖规则挖掘与违例检测方法(SD-Miner).该方法结合驱动源码的结构特征,对驱动代码使用的内核接口进行统计分析,挖掘并提取内核接口的顺序依赖规则,并利用提取的规则检测现有的驱动源码中的使用违例.SD-Miner对Linux 3.10.10和2.6.38的驱动源码分别进行了规则挖掘和违例检测.对比检测结果发现,在2.6.38中检测出的错误中,有64处在3.10.10中得到了修正.SD-Miner检测和分析Linux 3.10.10的3781款驱动的过程仅耗费5min,共计提取出了220个顺序依赖相关的接口使用规则,并检测到了756个使用违例,作者将其中50个提交给了开发者,累计有25个回复者对20个使用违例进行了确认.实验结果表明,SD-Miner能够有效地挖掘出内核接口的顺序依赖规则,并检测出使用违例,进而辅助开发人员对驱动进行修正来提高驱动可靠性.此外,规则的挖掘是基于驱动的结构信息和统计信息,不需要开发者在源码中提供额外的注释及标注.

关于Cahn-Ingold-Prelog顺序规则的讨论

简述了使用Cahn-Ingold-Prelog顺序规则时学生易出的错误,Cahn-Ingold-Prelog顺序规则的修改补充规定及Cahn-Ingold-Prelog顺序规则的不足之处,提出了用氧化数法弥补这一不足的新方法。

土耳其语句子中状语的顺序规则及其认知特点

本文分析归纳了土耳其语同一句子中不同类型状语遵循的七条顺序规则和三条总规则,以及同一类型状语遵循的“大—小”、“高—低”、“远—近”、“抽象—具体”、“整体—局部”、“事件发生的自然顺序”的规则,进一步指出了这些规则的认知特点,即状语语序所体现出的次序象似性原则。

对《有机化合物命名原则2017》中有关“顺序”问题的思考

在仔细学习《有机化合物命名原则2017》的基础上,将新规定中与1980版相比的主要变化,从主体基团选择顺序、取代基列出顺序、主体结构编号顺序、取代基及主体基团位次编号插入的位置、立体化学中的“顺序规则”等几个方面进行归纳与总结,以简洁明了的方式为有机化学的学习与教学提供一份参考。

基于SVM-RFE特征选择的规则提取方法

针对支持向量机的可解释性,提出了一种基于SVM-RFE特征选择的规则提取方法。这一方法在预处理阶段采用优化的SVM-RFE来获取重要属性集,并设计和实现一种变型的顺序覆盖规则算法进行规则生成和裁剪,以兼顾可理解性与准确率和忠实度之间的平衡。仿真实验表明,这一方法准确率较高,产生的规则数量和条件项数也比较少。

取代命名法的一般步骤及其中的各种顺序规则

以母体氢化物的确定及命名为基础和出发点,总结了有机化合物命名中最常用的取代法命名的一般操作步骤,梳理了其中的各种顺序规则。

一个虚拟装配支持系统的实现

虚拟装配是虚拟制造的核心关键技术之一。为了实现产品的虚拟装配,自主开发了虚拟装配支持系统(VASS),它能够在虚拟状态下对产品装配进行分析、仿真,实施数字化预装配,生动直观地分析、验证与改善产品的可装配性。文章介绍了该系统的总体结构,讨论了主要关键技术,如装配模型、装配顺序规划、装拆运动表达、干涉检查等。该系统已在实际项目中得到有效应用。

英语陈述疑问句

１前言本文研究英语陈述疑问句（ｄｅｃｌａｒａｔｉｖｅｑｕｅｓｔｉｏｎ），作为疑问句功能—句法研究的一部分。英语疑问句的研究已经有很长的历史。传统语法对疑问句的分类和句式结构作过深入的研究，其成果主要体现在语法著作中，重要的如Ｓｗｅｅｔ（１８９８），...

刑事诉讼法律解释方法的顺序规则初探——以反对强迫自证其罪原则与应当如实回答之关系为范例的分析

刑事诉讼法解释学的持续深入发展应当关注解释方法的顺序规则,细密、规范的法解释规则有助于严格、善意地执行刑事诉讼法的规定,也是防范司法解释部门利益化的需要,对于过于倚重价值权衡的解释方法之趋向也能发挥纠偏功能,归根结底是刑事程序形式法治建设的必然要求。刑事诉讼法解释方法的适用顺序应依次为文义解释、体系解释、历史解释与例外情形下的目的解释。上述方法次序应用于第50条与第118条之关系的解释时得出的结论为,第50条确立了国际公约中的反对强迫自证其罪原则,犯罪嫌疑人对于侦查人员的讯问可以保持沉默,但这并非沉默权的规定。破解两个条文的矛盾,解释学方法具有局限性,留与立法解决更为适当。

韩国语逆行流音化现象和"﹂+■"齿槽鼻音化现象的关联性研究

在韩国语的众多音韵现象中,像流音化现象这样多种多样又有趣的音韵现象非常少见。但是也正是因为流音化现象的多样性,给韩国语学习者带来了巨大的困难。很多达到了中高级水平的韩国语学习者遇到像"■■,■■■"这种"﹂-■"连续出现的单词时也不能正确地发音。为了解决这一现状,本研究通过多种例子及先行研究,分析逆行流音化现象和"﹂-■"齿槽鼻音现象的关联性,使韩国语学习者遇到"﹂-■"连锁单词时,正确理解属于哪种音韵现象并能够正确地发音。

求解阻塞混流生产机器人制造单元调度问题的分支定界算法

针对阻塞混流生产机器人制造单元调度问题,为了同时优化机器人运行顺序和工件加工顺序,提出了分支定界算法。首先,定义机器人活动,将双排序转化为单排序;其次,构建顺序插入规则生成可行解;最后,依据顺序插入规则,设计了分支过程。通过计算随机生成算例,计算结果表明:工作站个数为3时,分支定界算法得到的目标函数值与CPLEX相同,但平均运行时间比CPLEX降低38.58%,证实了分支定界算法的有效性;工作站个数大于3时,与CPLEX相比,在同等时间内,有85.19%的算例搜索到更好解,因此,对于大规模情形,分支定界算法更有价值。

工件加工排序问题的研究

通过对在给定设备、按规定工序下多种工件加工排序问题的研究,得出了基于最短加工时间规则和优化加工顺序规则基础上的工件加工排序模型。该模型按工件加工时间长短,从短到长顺序排列,同时要求最紧张设备等待时间最小化。在设备等待时间最小化的前提下,优先加工在该设备上加工时间最短的工件,兼顾启发性的搜索方法,使平均流程时间最短。最后通过实例分析证实了该算法的有效性与实用性。

几个立体异构中应注意的概念

详细讨论了立体异构命名中的手性元素和配位体大小的顺序规则 ,并分析了反应过程中反应物构型和反应符号 (R或S)之间的变化关系 。

论作为假定规范的死亡顺序规则——一种新规范类型的发现

死亡顺序规则尽管带有“推定”的表述,却并不符合推定规范的特征,因而不是真正的推定规范,亦非拟制规范。该规则属于一种新的规范类型,即假定规范。“假定”的含义是“暂定(某未知事实为真实)”,而非“虚构”或“假设”。“假定”与“推定”的共性是“(无直接证据的)猜测”,但与推定不同,假定不必考虑事件发生的盖然性,其猜测依据仅仅为某种特定的价值取向。假定规范是显性的证明责任规范,区别于隐含在实体法中的一般证明责任规范。其适用前提为要件事实真伪不明,适用阶段为法官认证结束前,设立效果为分配证明责任。应将假定规范从推定规范中分离,并抛弃“不可推翻的推定”这一不妥当的概念。根据二者的差异,可以判定我国《民法典》第1222条是真正的过错推定规范,而第1165条第2款实为过错假定规范。

从语用学角度看17年文学语言的公众化、社会化趋向

17年的文学语言具有明显的工具性特征。从语用学的角度看,作家们浅近的语言素养和大众化的艺术趣味、17年文学作品表达对象及语境的单一、读者的欣赏水准及审美要求的低俗、文学语言形式在风格和方式上的始终不一致等等现状,导致了17年文学语言的公众化、社会化趋向。公众的、社会的文学语言在17年既有其不可忽视的进步性,但也在很大程度上失落了语言的个人风格和地域色彩,为17年文学的发展设置了难以逾越的障碍。

手性分子R/S构型的手握快速确定法

文章介绍了应用 CIP顺序规则用右手或左手以手卷曲的方向可直接快速确定各种共型手性分子的 R/ S构型的一种方法 ,此方法具有适应面广、简便、快速。