基于中国鸟情的鸟撞适航条款充分性和适宜性

以中国民航近十余年运输类飞机鸟撞信息为数据源,利用混合威布尔函数拟合鸟撞能量分布,并应用列文伯格-马夸尔特(L-M)寻优算法得到更为精确的拟合分布参数估计值。对照安全性指标,通过鸟撞能量分布函数评估出现有鸟撞适航条款对机翼而言是具有充分性和适宜性的,对尾翼而言具有充分性但过于保守。以发生灾难性事故的安全性指标为依据,中国鸟情环境下机翼结构抗鸟撞鸟体质量最低适航要求为1.218 kg;同时验证了美国联邦航空局(FAA)在美国鸟情环境下提高机翼结构抗鸟撞鸟体质量最低适航要求的愿景(约3.6 kg),证明了基于两重两参数混合威布尔分布的鸟撞冲击能量统计分析方法的有效性及结果的可信度,为中国民航自主修订相关适航条款修订提供了理论依据和实践参考。

基于深度学习的子句级文本摘要模型

针对文本自动摘要任务中整句级抽取式模型存在摘要过于冗余,以及训练目标与评价目标不匹配的问题,论文提出了一种基于深度学习的子句级文本摘要模型(CS-ASum)。首先,基于依存句法从原文中抽取子句级单元;然后,利用基于BERT预训练模型和基于Transformer模型的编码器获得子句的向量表示,得到初步候选摘要;最后,通过摘要匹配器计算候选摘要和原文的语义得分,得到最佳摘要。在CNN/Daily Mail数据集上的实验结果表明,CS-ASum在自动评测和人工评测中均优于对比模型,相较于表现最好的生成式摘要模型和抽取式摘要模型,CS-ASum的平均ROUGE指标值分别提高了0.76%和1.07%,由此可见,CS-ASum模型在自动文本摘要任务中比基础模型获得了更简洁、更忠于原文的摘要。

商事合同格式条款的效力评价方法———以《民法典》第497条的合理性评价要件为中心

《民法典》第497条是格式条款的效力评价规则,其适用对象包括商事合同。司法裁判回避《民法典》第497条的适用,其裁判理由违背立法逻辑,也违反了《民法典合同编司法解释》的基本精神。借助《民法典》第497条的合理性评价要件,司法裁判应考量商事交易与民商合一规则设想相比的不同之处。常见条款、经济依赖和保护必要性是合理性评价的具体考量内容。常见条款是长期在相关行业或地域内普遍使用、具有典型性的合同条款。常见条款原则上对争议格式条款具有效力肯定功能,例外情况是相对方因经济依赖接受该格式条款。合理性评价如若无法依靠常见条款,则必须依据效力评价规则的内在设想,在个案中判断保护相对方的必要性,判定内容失衡的格式条款是否合理。

英语学术论文摘要中评价型-that从句的人际功能

学术论文摘要是一种特定的交际事件,具有特定的交际目的和交际对象,因而在语篇结构上不只是提供相关研究信息和对客观事实的陈述,还具有特定的评价和人际等社会功能。对6种不同学科240篇英语论文摘要中具有评价意义的-that从句的研究表明,学术论文作者在摘要中以不同的评价对象、评价源、评价立场和评价方式,借助-that从句明示研究内容和研究发现,或显性评价自己和他人研究结果,表达自己的立场,从而实现其人际交际目的。

基于子句活跃度和复杂度的多元动态演绎算法及应用

一阶逻辑自动定理证明是知识表示与自动推理领域重要的研究内容,如何有效选取子句参与演绎是提升自动推理能力和效率的研究热点。基于多元动态演绎良好的演绎特性,通过分析子句的变元项性质和函数项结构,提出了一种子句活跃度和复杂度的度量与计算方法,能很好地对不同项结构的子句进行有效评估;基于该子句评估方法,提出了一种子句充分协同演绎的多元动态演绎算法,能有效优化多元演绎搜索路径。将该多元动态演绎算法应用于国际顶尖证明器Eprover 2.6中,以2021年国际自动推理FOF组竞赛例为测试对象,在标准的300 s测试时间内,加入了多元动态演绎算法的Eprover 2.6相比原始Eprover 2.6多证明定理4个,在证明定理总数相同的条件下,平均证明时间减少了1.12 s;能证明Eprover 2.6未证明定理16个,占未证明定理总数的15.1%。实验结果表明,该多元动态演绎算法是一种有效的推理方法,能在一定程度上提升自动定理的证明能力和时间效率。

基于近期文字极性分配的学习子句评估算法

为了维护学习子句数据库的大小,并以合理的成本执行单元传播,在SAT求解器求解过程中需要对学习子句进行评估,从而删除对求解过程无用的子句。因此,需要对学习子句数据库进行动态管理,包含对学习子句的分析和删除等,并提出新的评估子句有用性的方法,从而保留对求解最有促进作用的学习子句,以提高求解效能。从捕获学习子句近期的极性分配出发,结合现代求解器的回溯环节中常用到的基于字面极性的启发式方法——进度节省,来推断给定学习子句与剩余搜索步骤的相关性。以最先进的2种基于冲突驱动子句学习算法CDCL的求解器Glucose和MapleLCMDistChronoBT求解器为基准,针对其在子句评估环节的算法进行改进测试。实验结果表明,这种基于近期文字极性分配的子句评估策略能够普遍提高CDCL串行和并行求解器的求解效率,有效改善了原有求解器在一些问题上求解耗时过长的问题,并在先进求解器的水平上多求解了2个合取范式CNF文件,单个文件的平均求解时间缩短了13~34 s。

论禁止重复评价原则与刑法竞合

禁止重复评价原则是与重复评价相对应的概念,其价值根源在于法的正义性。基于此,禁止重复评价原则制约刑法竞合情况下的行为的评价即犯罪单复数的分析和判断。具体体现为禁止重复评价原则与法条竞合、想象竞合、牵连犯和不可罚的前后行为之间的关系。

反不正当竞争法一般条款在知识产权保护中的适用定位

反不正当竞争法一般条款因其具备一定的灵活性,能够在知识产权保护中发挥补充功能,但也因其伴生的抽象性,蕴含着过度补充而损害知识产权法利益平衡的危险。明确反不正当竞争法一般条款在知识产权保护中的适用定位,将其具体化,是实现反不正当竞争法适度补充知识产权法的关键。其中,将不正当性的转义重点由商业道德转向市场竞争秩序本身,可以使评估不正当竞争行为的标准更为客观;将与知识产权相关的不正当竞争行为类型化为侵害商誉型、破坏秘密管理体制型和剥夺先行者优势型,能最大限度地限缩一般条款的适用范围,减少适用的不确定性。

评价研究的句法视角

本文从句法视角界定了评价句,依据句法标准探讨了评价句的类型,提出了评价意义的句法分析思路。研究结果表明,评价句是评价主体在做出评价的过程中,针对客体使用的包含价值表述的语句。评价句可依据逻辑、归一性、评价视角和评价取向四个句法维度分为谓词评价句和无谓词评价句、肯定评价句与否定评价句、客观评价句与主观评价句、作者评价句与非作者评价句等。评价句的分析应综合考察评价的逻辑要素。评价句是评价结果的语言表现,把句法列入评价研究的框架能够更好地把握评价的本质。

基于深度神经网络的普通话智能评测关键技术研究

为改进传统普通话水平测试第四题测评中的不足,实现测评的智能化,减轻工作人员工作量,提升考试的公平性,采用基于深度神经网络的普通话智能评测关键技术,设计使用深度神经网络-隐马尔科夫模型的语音识别模型(DNN-HMM),识别考生表述的语音,更好地反映考生真实发音的标准程度;使用条件随机场训练分句模型,更加精准地判定考生发音的流畅程度;采用矢量空间模型,较好地评估考生词汇语法使用的规范程度。

叙事策略:英语学习者叙事技巧的历时个案研究

通过对叙事者不同时期对同一事件的两次叙述,从故事结构,描叙结构和评议结构三个方面比较分析两次故事的叙事策略。叙事者第一次讲述故事时,外语能力为中级低等;而第二次叙述故事时,外语水平为高级中等。语篇分析发现第二个故事在叙事长度,详细程度,语言使用和评议手段各方面超过了第一个故事。第二个故事是第一个故事的更高版本,运用句法和词汇手段变化行动的步调,从而吸引听者进入故事。最后阐述叙事研究对教学的启发。叙事教学法营造出一个真实的情境或可能世界,使学生在身心方面最大程度地投入学习情境,促进二语学习。

喜马拉雅条款研究

“喜马拉雅条款”是提单背面的一条标准条款,起源于英国上诉法院的一个判例,目的是为了将承托双方之外的承运人的受雇人、代理人和独立缔约人引入合同,使他们同样可以享受承运人根据提单背面条款所享受到的免责事项、抗辩及责任限制的利益。该条款的效力得到了世界上大部分国家法院的承认,尽管围绕该条款产生了很多的争议,但不可否认的是该条款推动了合同法理论研究及立法的发展。伴随着美国1999COGSA的生效以及国际海上货物运输法统一的趋势,喜马拉雅条款将完成其历史使命。

Design and Research on Reliability-validity for 3S Intraoperative Risk Assessment Scale of Pressure Sore

The reliability and validity of risk assessment scale（RAS） of pressure sore during 3S surgery were investigated. RAS of pressure sore was designed independently during 3S surgery. Five operating room nursing experts were selected to consult and detect face validity. Convenient and purposive sampling of 707 samples was conducted. Cronbach＇s alpha was used to measure content reliability and evaluate the internal consistence of RAS. The structural reliability was investigated by exploratory factor analysis method. The results showed that the content validity index was 0.92, and Cronbach＇s alpha of content reliability was 0.71. Structural validity, detected by Bartlett sphericity test, was 135.3 for 707 samples with the difference being statistically significant（P〈0.01）. KMO value was 0.729. The accumulative variance contribution ratio of common factor was 64.63%. The exploratory factor analysis showed the factor load of every clause was larger than 0.596. It was concluded that RAS of pressure sore for 3S surgery has better validity and reliability, and it could be used for evaluating and screening the high risk patients with pressure sores during surgery in order to efficiently reduce the occurrence of pressure sore during surgery. RAS of pressure sore for 3S surgery is worth to be popularized.

学术语篇评价性that从句的评价理论介入视角研究

作为评价语篇重要的语法标记之一,从属连词that具有重要评价意义。它可以在语料库中标记出具有极大评价潜势的名词性从句;可以在作者、读者甚至参与第三方之间建立起对话。评价性that的使用能反映出语篇清晰的评价结构和具体的人际介入。该文将选取上海交通大学科技英语语料库JDEST部分内容组建小型语料库作为研究对象,利用评价理论的介入框架,将评价性that小句进行功能分类,并讨论分类标准和评价性that小句介入特点,同时为学术语篇写作的学习提出建议。

基于趋势强度的SAT问题学习子句评估算法

针对命题逻辑公式求解过程中难以有效评估学习子句是否有利于后续搜索的问题,提出了一种基于学习子句趋势强度的评估算法。该算法首先通过分析学习子句在生存期内参与冲突分析的时间分布特征,将随机、离散的时间分布转换为连续的累积趋势强度;然后在删除周期达到时,通过设定趋势强度阈值删除在后续搜索过程中"不大可能"被使用的子句,保留"可能"被使用的子句;最后采用2015年、2016年SAT问题国际竞赛实例,将该算法与经典的活跃度评估算法和文字块距离(LBD)评估算法进行对比。实验结果表明,趋势强度评估算法在效率上明显优于活跃度评估算法,且求解的实例更多,同时与LBD算法基本持平。

基于参与冲突分析次数的动态学习子句评估策略

针对现有学习子句评估策略的单一性,提出一种基于学习子句参与冲突分析次数的评估策略,并将该策略分别与经典的文字块距离评估策略和活跃值评估策略结合,形成两个动态学习子句评估策略。基于2018年SAT国际竞赛部分基准实例,将动态评估策略与原评估策略进行参数适应性对比实验,并通过2018和2017年的基准实例进行评估。结果表明动态评估策略能更好地评估学习子句的质量,由此生成的求解器在求解数量和速度方面表现出较好的求解性能。

安全生产法规标准识别问题分析与对策建议

针对安全生产法规标准获取、识别、转化、传达、评价工作中存在的渠道不畅、识别不规范、条款转化无序、信息传达表面化、符合性评价空洞等常见问题,梳理解析实用对策,提出识别-转化-评价双循环流程,“2清单3表单”信息链,以及条款转化率的正向、逆向查验方法。通过细化、规范工作环节,设计持续稳定的工作机制,全面提高法规标准识别质量,对企业依法办事,全面保障安全生产具有现实意义。

民机大气扰动适航符合性评估方法研究

大气扰动是影响航空安全的重要因素,在适航条例中多有涉及,对民用飞机进行大气扰动适航符合性评估是民机适航取证的重要一环。基于我国《运输类飞机适航标准》,筛选归纳大气扰动适航条例,深入分析、细化其中与飞机操稳特性相关的大气扰动适航条款要求,依据美国军用飞行品质规范MIL-STD-1797A提炼并量化条款指标,使用操纵品质等级评定方法(HQRM),以严重程度与发生概率相关联的形式考虑大气扰动影响,通过算例验证量化指标与HQRM方法在进行相关适航条款符合性评估中的适用性和有效性,提出一种将大气扰动定义为使飞行品质降级的因素,结合量化指标对飞机相应飞行品质要求做出规定的评估形式,为飞机研制阶段的大气扰动适航符合性分析验证和相关条款的适航审定工作提供参考。

中国英语专业硕士论文摘要中评价性that从句的引述特征研究

本文通过对比中国英语学习者硕士论文和国际期刊论文摘要语料库,考察学习者评价性that从句的引述特征。研究发现,学习者和专家作者都倾向使用抽象主体,以及抽象主体和研究动词的组合,以降低作者凸显度,增强摘要的可信性。与专家作者相比,学习者较少使用抽象主体和语篇动词的搭配以及消极意义转述动词。此外,学习者较多使用隐藏主体和研究动词的组合以及积极意义转述动词。学习者有时还存在误用不同评价意义转述动词的现象,表明学习者作为学术写作新手,欠缺在学术语篇中合理使用转述动词的意识和能力。本研究有助于拓宽评价性that从句的研究范畴,对学术写作教学有一定指导意义。

英语辅句的动因及其在语篇中的评价功能

本文从认知语言学和语篇语义学的角度探讨英语语篇中辅句的动因及其评价功能。根据当前语篇空间和注意框架的理论,辅句可视为体现零框架,适应负框架更新当前语篇空间的需要,并获得最大程度的凸显。这是辅句产生的动因,但有两个制约因素。语料分析显示:辅句对前句或句段作说明或评价。在这过程中,叙事人从记录者的角色转变为解释者和评价者。结合语篇可以对辅句提供的说明和解释进行评价维度的分析。辅句作解释时,评价维度的顺序是规范性、可取性、有理性,其中规范性是主要维度。辅句用作评价时,评价维度是有理性,在转义的情况下,如反语,否定有理性可与有理性重叠,也可以是可取性。这一切都说明辅句是英语语篇的一个评价手段,一种评价资源。