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

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

先诉抗辩权之内涵演变与适用规则

先诉抗辩权制度历史悠长,但学界对诸多问题仍存争歧,故有必要考察其内涵演变明确其适用规则。先诉抗辩权源于古罗马优士丁尼时期的先诉照顾制度,一般保证人享有债权人应先起诉主债务人的顺序利益。近现代以降,大陆法系承袭先诉照顾制度并将其发展为现代意义上的先诉抗辩权,此时一般保证人的顺序利益已转向债权人应先执行主债务人财产。先诉抗辩权除可适用一般保证合同外,亦可适用其他补充责任存在之情形。多数情形下先诉抗辩权的行使条件为债权人未就直接责任人财产强制执行且无效果,但也存在后位责任人需承担证明直接责任人有方便执行的财产或垫付必要费用等先决义务之情形。先诉抗辩权只能由后位责任人主张,法规范之设定不得将先诉抗辩权必然被行使作为逻辑前提。行使先诉抗辩权的效力具有持续性,从后位责任人首次主张权利持续到权利消灭事由出现;债权人若怠于执行直接责任人财产,后位责任人会在相应财产范围内免责。

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

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

《华东地质》参考文献著录规则

自2024年4月起,《华东地质》参考文献的著录格式改为著者-出版年制,按照作者姓氏首字母顺序排列。正文引用及文后参考文献著录规则如下:一、正文引用著录规则:(1)只有一位作者的参考文献,正文中列出该作者中文全名或英文姓氏+出版年份,作者英文姓氏首字母大写;两位作者和著的文献,列出两位作者中文全名或英文姓氏,中间用“和/and”连接,+出版年份;三位及以上作者合著的文献,仅列出第一作者的中文全名或英文姓氏,后面加“等/etal.”+出版年份。

医学论文“参考文献”著录规则的要求

新近发布的国家标准《学术论文编写规则》(GB/T7713.2-2022)将“参考文献”纳入正文部分必备的构成元素,说明“参考文献”是学术论文中不可缺的重要组成部分。基于新的国标要求规则,本刊要求医学论文来稿中应引用与研究主题及中心内容密切相关的参考文献。参考文献的著录项目、著录符号、著录格式以及参考文献在正文中的标注法,都应符合国家标准《信息与文献参考文献著录规则》(GB/T7714-2015)的要求,采用顺序编码制置于文末,并应编章编号。本刊要求作者来稿的医学论文中引用的参考文献宜新(以近5年内公开发行的刊物为主),宜全(著录项目规范完整无缺项),宜多(论著不少于25条,综述不少于50条)。

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

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

面向装配顺序规划的产生式规则应用

将装配模型表达为产品结构树 ,将装配生产经验表达为产生式规则 ,利用深度优先搜索法 ,考虑子部件 。

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

内核扩展函数以接口的形式提供给驱动,用于管理设备和申请相关的资源.这些接口中存在大量的顺序依赖规则,如自旋锁必须经过初始化才能加锁,然后才能解锁;驱动在加载时申请的内存,卸载时必须予以释放等.然而,驱动开发者常常不熟悉或疏忽内核接口的使用规则,导致驱动中存在大量的接口使用违例,影响驱动及系统的可靠运行.文中提出了一种面向内核接口的顺序依赖规则挖掘与违例检测方法(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能够有效地挖掘出内核接口的顺序依赖规则,并检测出使用违例,进而辅助开发人员对驱动进行修正来提高驱动可靠性.此外,规则的挖掘是基于驱动的结构信息和统计信息,不需要开发者在源码中提供额外的注释及标注.

基于产生式规则的装配顺序生成

从装配图出发 ,利用产生式规则引入人类的经验知识 ,结合图论中深度优先搜索方法 。

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

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

大学生英语音系规则习得顺序及影响因素分析

本文通过对大学一年级英语语音课堂内外的观察与记录,分析了大学生对典型英语音系规则的习得顺序,并试图讨论了这一顺序形成的原因。研究发现,大学生对典型英语音系规则的掌握情况受语言的韵律类型以及汉语音节结构的影响,与规则类型相关,最先习得并且掌握情况较好的规则为异化规则和省略规则,最后习得且掌握情况较差的为增音规则和同化规则。对某一音系规则的语音产出可能滞后于对这一规则发生环境的认知。

割序集模型中顺序失效符完备推演规则研究

割序集（cut sequence set,CSS）模型是基于动态逻辑门顺序失效机制建立的动态故障树（dynamic fault tree,DFT）分析方法。为将模型中CSS初级形式转化为最小割序集（minimal cut sequence set,MCSS）,研究了顺序失效符（se-quence failure symbol,SFS）的完备推演规则。从完备性出发,提出了SFS的12条规则,并给出了规则的完备性证明和实例应用。SFS完备推演规则解决了自动获取复杂动态系统MCSS的问题,是CSS模型定性分析的进一步形式化描述。

通信顺序进程的证明规则

本文把Brookes验证平行程序的思想应用于Hoare的通信顺序进程(CSP),提出了一组证明规则,以验证CSP程序的部分正确性。

深部不规则孤岛工作面开采顺序及冲击地压防治技术

为了解决某矿深部不规则孤岛工作面因冲击地压影响开采的问题,结合某矿T_1391不规则孤岛工作面的实际情况,分析了孤岛工作面回采过程开采顺序引起的覆岩空间结构变化、应力分布、能量积聚,确定对T_1391采用大小面整体间歇式开采顺序,以便有序释放能量,实现冲击能量的可控性;通过数值模拟确定了小面超前大面的开采顺序,降低了应力集中和能量积聚,减小了两面之间煤枉的冲击地压。对具有冲击危险的超前煤柱采取动态爆破技术进行卸压处理,减小了煤柱开采期间的冲击危险,使得工作面安全推采。

割序集模型中顺序失效符的推演规则

在割序集(CSS)模型中,为了将由动态故障树(DFT)转换得到的CSS初级形式整理为最小割序集(MCSS),提出了顺序失效符(SFS)的推演规则。该推演规则依据基本事件的发生顺序和顺序失效符建立,包含结合律、或分配律、与分配律、吸收律、CSP规则、WSP规则等。给出了各类规则的证明过程,并列举了现实中不存在的割序以及由推演规则推导得出的导出规则。SFS推演规则是CSS模型定性分析的进一步形式化描述,它不仅解决了自动获得动态系统最小割序集的问题,而且可在此基础上开展计算机辅助工具的设计工作。

本刊论文书写顺序及规则

1 文章题目：要求简明、准确，一般不超过20个字。 2 署名：包括作者单位，所在省、市、邮政编码。 3 摘要：包括“目的、方法、结果、结论”。

科技期刊参考文献的著录规则

参考文献应附于文章末,只需择主要者列入,不宜过多,按在正文中出现的次序标引,文献序号按文中出现的先后顺序,用阿拉伯数字加括号标注于正文涉及的地方或所指引部分的右上角。未公开发表的文献一般不宜引用。

基于改进关联规则的直流换流站典型运维事件集诊断方法

随着中国特高压交直流电网的大规模运行,直流换流站一、二次设备复杂程度不断增高,使得直流系统发生状态转换或故障时,换流站顺序事件记录(SER)系统短时间产生大量SER事件,SER事件集中的特征事件丢失难以被运维人员及时察觉。针对此问题,文中提出了一种基于改进关联规则的直流换流站典型运维事件集诊断方法。首先,分析了换流站原始SER特征类型并筛选SER事件的主要特征类型,实现数据降维与换流站SER事件模型构建;然后,通过改进关联规则算法挖掘换流站相似故障与状态转换的SER强关联事件组与SER关联事件;最后,基于数据挖掘结果诊断SER事件集中是否存在特征事件缺失的情况。结合昆柳龙直流工程换流站试运行数据进行算例分析,结果表明所提方法可以从海量异构、多态SER事件集中挖掘关联规则,为辅助运维人员诊断换流站状态转换与故障发生下SER事件集的缺失情况提供参考。

基于滤波规则的HVDC交流过电压快切滤波器控制策略

高压直流输电的换流器采用晶闸管作为开关器件,在传送有功功率的同时需要消耗大量的无功功率,因此需要配置无功补偿设备。如果换流器发生闭锁、紧急停运、功率回降或者连续换相失败,无功补偿设备不能及时切除,很容易产生交流过电压。传统的根据绝对最小滤波器和最小滤波器投切顺序表的交流过电压快切滤波器控制策略只能按顺序实现单组切除,严重故障时如果不迅速切除可能会引起直流闭锁。提出一种基于滤波规则的交流过电压快切滤波器控制策略,一次计算得到不同类型滤波器的切除数目,实现同时切除多组交流滤波器。仿真试验对两种控制策略进行了对比,仿真结果表明所提控制策略切除速度更快,抑制过电压效果更好。