期刊文献+
共找到3,153篇文章
< 1 2 158 >
每页显示 20 50 100
谓词级差推断现象及其内在机制研究
1
作者 张鑫 彭家法 《皖西学院学报》 2024年第4期124-130,共7页
级差指数量之间存在由于相互比较导致的蕴涵关系,这种蕴涵关系导致了谓词的级差推断。谓词级差推断具有方向性,可分为向下级差推断和向上级差推断。谓词级差推断需要谓词与数量共现,并且向上级差推断还要求不能与时体标记共现。级差推... 级差指数量之间存在由于相互比较导致的蕴涵关系,这种蕴涵关系导致了谓词的级差推断。谓词级差推断具有方向性,可分为向下级差推断和向上级差推断。谓词级差推断需要谓词与数量共现,并且向上级差推断还要求不能与时体标记共现。级差推断方向与量化成分的θ角色存在一定相关性,相关性分析发现右侧向下级差谓词和双向级差谓词具有θ角色相关性,而双侧向下级差谓词不具有θ角色相关性。谓词词汇语义是两种级差推断方向的内在机制,谓词表现出分配性语义会导致向下级差推断,表现出集合性语义会导致向上级差推断。 展开更多
关键词 谓词 级差推断 量化成分 θ角色 词汇语义
下载PDF
Visual Prolog与Visual C++混合编程技术研究 被引量:3
2
作者 徐彤 张莉 李松 《空军工程大学学报(自然科学版)》 CSCD 北大核心 2006年第3期58-60,68,共4页
分析了V isual Prolog论域与C数据结构的对应关系以及函数、谓词的调用约定,讨论了V isual Prolog与V isual C++进行混合编程的实现方法,并通过二者相互调用的代码演示了该方法,从而将VC与V isual Prolog的优势有效的结合起来,使智能应... 分析了V isual Prolog论域与C数据结构的对应关系以及函数、谓词的调用约定,讨论了V isual Prolog与V isual C++进行混合编程的实现方法,并通过二者相互调用的代码演示了该方法,从而将VC与V isual Prolog的优势有效的结合起来,使智能应用的开发简单而高效。 展开更多
关键词 论域 谓词 动态链接库 堆栈
下载PDF
句子语境中英汉—汉英谓语语码转换加工机制的ERP研究 被引量:3
3
作者 陈士法 张雨晴 《英语研究》 2019年第2期152-164,共13页
本文利用ERP技术研究了中国学习者句子语境中英汉-汉英谓语语码转换的加工机制,结果表明:①加工英汉语码转换时,中国学习者的脑电在P200和N400两个成分上存在着显著差异,发生语码转换的汉语谓语比无转换的英语谓语产生了较大的P200和较... 本文利用ERP技术研究了中国学习者句子语境中英汉-汉英谓语语码转换的加工机制,结果表明:①加工英汉语码转换时,中国学习者的脑电在P200和N400两个成分上存在着显著差异,发生语码转换的汉语谓语比无转换的英语谓语产生了较大的P200和较小的N400;②加工汉英语码转换时,中国学习者的脑电在P200和LPC两个成分上存在显著差异,发生语码转换的英语谓语比无转换的汉语谓语产生了更大的P200和LPC;③英汉、汉英语码转换效应的非对称性表现在100~280ms时窗内加工两种转换的谓语时存在显著差异,汉英转换的英语谓语比英汉转换的汉语谓语诱发了更大的N200。据此,我们认为中国学习者在加工句子语境中的英汉、汉英谓语语码转换时存在语码转换效应及其非对称性。 展开更多
关键词 语码转换 转换效应 非对称性 谓语
下载PDF
Integrated Expert Analytical System for Assessment of Oil-and-Gas Saturation of Strata
4
作者 O. G. Nusratov G. G. Abdullayeva I. A. Ismayilov 《Intelligent Control and Automation》 2014年第4期224-232,共9页
The present research deals with the problem of development of an integrated expert-analytical system for optimum selection of calculated oil-field-geophysical parameters of oil and gas deposits with the purpose of inc... The present research deals with the problem of development of an integrated expert-analytical system for optimum selection of calculated oil-field-geophysical parameters of oil and gas deposits with the purpose of increasing the accuracy of assessment of the reserves of oil and gas deposits. The purpose of the system is to make current adequate decisions on determining of oil-and-gas saturation of strata and future identification of the most significant methods for that, with these methods forming the foundation of knowledge bases for oil-and-gas deposits of the Apsheron peninsula of Azerbaijan. The system architecture allows for expanding the system with its subsequent transformation into a cluster of expert-analytical systems. A logical model of the proposed system is presented. The paper contains a detailed description of the mechanism of operation of the system as a whole and of its individual blocks. Mathematical and formal-logical bases of the intelligent system are explained. The system is equipped with a tool for dynamic statistical analysis of decisions made by it, with representation of the results in real-time mode. The results of the system testing on specific oil-and-gas deposit of the Apsheron peninsula of Azerbaijan in 2013 are given. 展开更多
关键词 EXPERT SYSTEM Knowledge Base DECISION-MAKING BLOCK INTEGRATED SYSTEM Database Statistical Analysis BLOCK CONCORDANCE Coefficient First Order predicates
下载PDF
Optimal Approximation Algorithms for Reoptimization of Constraint Satisfaction Problems
5
作者 Victor Alex Mikhailyuk 《American Journal of Operations Research》 2013年第2期279-288,共10页
The purpose of reoptimization using approximation methods—application of knowledge about the solution of the initial instance I, provided to achieve a better quality of approximation (approximation ratio) of an algor... The purpose of reoptimization using approximation methods—application of knowledge about the solution of the initial instance I, provided to achieve a better quality of approximation (approximation ratio) of an algorithm for determining optimal or close to it solutions of some “minor” changes of instance I. To solve the problem Ins-Max-EkCSP-P (reoptimization of Max-EkCSP-P with the addition of one constraint) with approximation resistant predicate P exists a polynomial threshold (optimal) -approximation algorithm, where the threshold “random” approximation ratio of P). When the unique games conjecture (UGC) is hold there exists a polynomial threshold (optimal) -approximation algorithm (where and the integrality gap of semidefinite relaxation of Max-EkCSP-P problem Z) to solve the problem Ins-Max-EkCSP-P. 展开更多
关键词 C-Approximation Algorithm REOPTIMIZATION APPROXIMATION Resistant predicates INTEGRALITY Gap Unique GAMES CONJECTURE (UGC)
下载PDF
具有硬实时上限的受控赋时Petri网的控制综合 被引量:1
6
作者 李惠峰 陈浩勋 孙国基 《控制与决策》 EI CSCD 北大核心 1998年第3期245-249,共5页
在实时离散事件系统(RTDES)中,有界事件和有效期事件是两类特殊的具有硬实时上限的离散事件,它们的模型描述相对较为复杂,对其控制研究也十分困难。通过为这两类事件找到一种可以用无界事件和强迫事件来描述的等价Petri... 在实时离散事件系统(RTDES)中,有界事件和有效期事件是两类特殊的具有硬实时上限的离散事件,它们的模型描述相对较为复杂,对其控制研究也十分困难。通过为这两类事件找到一种可以用无界事件和强迫事件来描述的等价Petri网模型,可以简化RTDES的基本模型,同时很容易将陈浩勋[1]关于最大允许状态反馈逻辑的结论推广到简化受控赋时Petri网中,便可以对更广泛的RTDES进行研究。 展开更多
关键词 离散事件系统 PETRI网 逻辑模型
下载PDF
专名是一种特殊的谓词吗——伯奇专名理论的批判与反思 被引量:1
7
作者 张立娜 《湖南科技大学学报(社会科学版)》 CSSCI 北大核心 2012年第5期28-31,共4页
美国著名语言哲学家伯奇(Tyler Burge)提出并论证了"专名是一种特殊的谓词"的观点,以此来批评关于专名在形式语义学中的两种经典观点。伯奇对"缩略"观点的批判是有说服力的,但对"个体常元"观点的批判却... 美国著名语言哲学家伯奇(Tyler Burge)提出并论证了"专名是一种特殊的谓词"的观点,以此来批评关于专名在形式语义学中的两种经典观点。伯奇对"缩略"观点的批判是有说服力的,但对"个体常元"观点的批判却基于对"真正的专名的用法"与"伪专名的用法"的混淆。就"真正的专名用法"而言,将专名视为形式语义理论中的"个体常元",仍是最有说服力的理论。 展开更多
关键词 专名 个体常元 谓词
下载PDF
非选择性嵌入问句
8
作者 曾剑平 况新华 钟光华 《外语与外语教学》 北大核心 2002年第12期23-25,共3页
谓词对从句补语有语义上的要求.本文讨论了非疑问谓词(如admit等)后接if-问句作补语的语境及其句法结构,论证了这样的非选择性问句在语义上有极性敏感词项的约束,其句法结构也和语义有关.
关键词 非选择性嵌入问句 谓词 语义 句法
下载PDF
基于路径连接的XML复杂小枝模式查询处理 被引量:1
9
作者 江锦华 吴羽 +1 位作者 胡天磊 陈刚 《浙江大学学报(工学版)》 EI CAS CSCD 北大核心 2011年第1期1-8,共8页
针对可扩展标记语言(XML)查询中具有嵌套OR谓词的复杂小枝模式查询处理,提出一种基于路径连接的查询方法.该方法以路径为分解粒度,结合分支扩展(AOBE)的概念,通过路径连接过程实现对复杂小枝模式查询的整体处理.为了进一步提高算法效率... 针对可扩展标记语言(XML)查询中具有嵌套OR谓词的复杂小枝模式查询处理,提出一种基于路径连接的查询方法.该方法以路径为分解粒度,结合分支扩展(AOBE)的概念,通过路径连接过程实现对复杂小枝模式查询的整体处理.为了进一步提高算法效率,在已有研究的基础上挖掘相应的优化规则,利用索引跳过那些明显不参与连接的元素的访问和计算.与已有算法相比,基于路径连接的查询方法大大简化了复杂小枝模式查询处理过程,只访问查询叶节点对应的元素,可以显著减少结构连接的操作数目和扫描元素的个数.实验结果表明,该方法能够有效地改善复杂小枝模式查询处理的性能. 展开更多
关键词 可扩展标记语言(XML) 小枝模式 或谓词 索引 路径连接
下载PDF
对康德判断理论的阐释与辩护——兼论康德先天综合判断的理论系统
10
作者 夏志伟 《系统科学学报》 CSSCI 北大核心 2022年第4期14-19,共6页
康德通过主谓词之间的包含关系来区分分析判断和综合判断,并将先天与必然,后天与偶然严格地一一对应起来。康德在对先天与后天,分析与综合进行排列组合之后,提出了先天综合判断,并且认为存在着三种知识门类的先天综合判断(命题),即数学... 康德通过主谓词之间的包含关系来区分分析判断和综合判断,并将先天与必然,后天与偶然严格地一一对应起来。康德在对先天与后天,分析与综合进行排列组合之后,提出了先天综合判断,并且认为存在着三种知识门类的先天综合判断(命题),即数学的,自然科学的以及形而上学的先天综合判断,以此构建了其整个理论系统。一些分析哲学家直接反驳康德的判断理论。蒯因认为在分析判断与综合判断之间根本不存在着严格的区分,克里普克则认为先天的不一定是必然的,后天的也不一定是偶然的。通过相关的阐释,笔者回应这些质疑与反驳,对康德的判断理论进行辩护。区分分析判断与综合判断的标准正是在于判断中主词与谓词的关系,亦即主词是否包含了谓词。并且,一切分析判断必定都是必然的、先天的,没有后天分析判断;而来自于经验的综合判断则是后天的,也必定是偶然的。 展开更多
关键词 分析判断 综合判断 主词 谓词 蒯因 克里普克
原文传递
电力机器人逻辑推理规则研究
11
作者 苑津莎 张瑾 +2 位作者 马姿 杨宏 张卫华 《电力科学与工程》 2022年第8期47-55,共9页
针对机器人逻辑推理的规则粒度太小且数量庞大,用其组成系统解决问题过于困难而且容易产生错误的问题,提出了一种组合逻辑扩展规则及构建方法。通过所设计的组合逻辑推理扩展规则构建步骤,将针对某一应用的多个规则组合在一起,构成一个... 针对机器人逻辑推理的规则粒度太小且数量庞大,用其组成系统解决问题过于困难而且容易产生错误的问题,提出了一种组合逻辑扩展规则及构建方法。通过所设计的组合逻辑推理扩展规则构建步骤,将针对某一应用的多个规则组合在一起,构成一个组合逻辑扩展规则,使得扩展规则可应用于较复杂的情景。为使机器人具有专业计算能力,给出了将规则用于计算公式的表示方法。最后以电力物资库发供货方案为实例,验证了方法的可行性。 展开更多
关键词 机器人思维 逻辑推理规则 谓词 电力机器人
下载PDF
Automated Disassembly Sequence Prediction for Industry 4.0 Using Enhanced Genetic Algorithm
12
作者 Anil Kumar Gulivindala M.V.A.Raju Bahubalendruni +3 位作者 R.Chandrasekar Ejaz Ahmed Mustufa Haider Abidi Abdulrahman Al-Ahmari 《Computers, Materials & Continua》 SCIE EI 2021年第11期2531-2548,共18页
The evolution of Industry 4.0 made it essential to adopt the Internet of Things(IoT)and Cloud Computing(CC)technologies to perform activities in the new age of manufacturing.These technologies enable collecting,storin... The evolution of Industry 4.0 made it essential to adopt the Internet of Things(IoT)and Cloud Computing(CC)technologies to perform activities in the new age of manufacturing.These technologies enable collecting,storing,and retrieving essential information from the manufacturing stage.Data collected at sites are shared with others where execution automatedly occurs.The obtained information must be validated at manufacturing to avoid undesirable data losses during the de-manufacturing process.However,information sharing from the assembly level at the manufacturing stage to disassembly at the product end-of-life state is a major concern.The current research validates the information optimally to offer a minimum set of activities to complete the disassembly process.An optimal disassembly sequence plan(DSP)can possess valid information to organize the necessary actions in manufacturing.However,finding an optimal DSP is complex because of its combinatorial nature.The genetic algorithm(GA)is a widely preferred artificial intelligence(AI)algorithm to obtain a near-optimal solution for the DSP problem.The converging nature at local optima is a limitation in the traditional GA.This study improvised the GA workability by integrating with the proposed priori crossover operator.An optimality function is defined to reduce disassembly effort by considering directional changes as parameters.The enhanced GA method is tested on a real-time product to evaluate the performance.The obtained results reveal that diversity control depends on the operators employed in the disassembly attributes.The proposed method’s solution can be stored in the cloud and shared through IoT devices for effective resource allocation and disassembly for maximum recovery of the product.The effectiveness of the proposed enhanced GA method is determined by making a comparative assessment with traditional GA and other AI methods at different population sizes. 展开更多
关键词 AUTOMATION internet of things disassembly sequence planning priori cross over operator enhanced GA disassembly predicates
下载PDF
学习而思维与先天思维语言观——从谓词与逻辑词习得谈起
13
作者 郭翠 周晓莉 《东方论坛(青岛大学学报)》 2012年第1期47-50,共4页
杰里.福德关于先天思维语言的观点在语言哲学及心理语言学等相关领域引发了激烈争论。克里斯蒂夫.维格认为,自然语言能够比先天认知资源提供更加丰富的概念系统,因为自然语言的逻辑名词的意义是在应用中获得的。与谓词不同,逻辑/形式名... 杰里.福德关于先天思维语言的观点在语言哲学及心理语言学等相关领域引发了激烈争论。克里斯蒂夫.维格认为,自然语言能够比先天认知资源提供更加丰富的概念系统,因为自然语言的逻辑名词的意义是在应用中获得的。与谓词不同,逻辑/形式名词可以不通过先天表征作为中介而习得。自然语言可能比先天表征系统的逻辑结构大一些。通过学习自然语言和扩大先天表征系统,有可能进一步完善思维能力。 展开更多
关键词 思维语言 自然语言 谓词 逻辑词 表征系统
下载PDF
具有强迫事件的VDES的状态反馈控制
14
作者 李桂莲 刘文光 《太原理工大学学报》 CAS 1999年第4期444-446,共3页
对具有强迫事件的VDES的状态反馈控制理论进行了探讨,在给定闭环系统行为规范的条件下,得到并证明了控制器存在的充分必要条件。
关键词 矢量离散事件 强迫事件 VDES 状态反馈控制
下载PDF
不同语义关系下形容词组合的句法表现
15
作者 马鹏举 《汉语学习》 CSSCI 北大核心 2013年第2期51-55,共5页
不同语义关系(异类与同类)情况下,形容词组合可以充当定语(黏合式和组合式)或谓语。定语方面,异类形容词组合倾向于充当黏合式定语,且两个形容词分别作内外两层"形名"结构的定语;同类形容词倾向于"凝结"为一个类似... 不同语义关系(异类与同类)情况下,形容词组合可以充当定语(黏合式和组合式)或谓语。定语方面,异类形容词组合倾向于充当黏合式定语,且两个形容词分别作内外两层"形名"结构的定语;同类形容词倾向于"凝结"为一个类似于双音节形容词的整体,充当组合式定语和黏合式定语。谓语方面,与异类形容词组合相比,同类形容词组合更倾向于充当谓语。其主要原因是形容词的语义关系不同,以及由此导致的名词短语的结构关系不同。同类形容词组合的词汇化倾向明显,是较为固定的组合;而异类形容词组合基本上没有词汇化倾向,是临时的组合。 展开更多
关键词 形容词 语义关系 定语 谓语 词汇化
下载PDF
认证义谓宾动词的虚化——从谓宾动词到语用标记 被引量:133
16
作者 方梅 《中国语文》 CSSCI 北大核心 2005年第6期495-507,共13页
本文认为认证义动词虚化的起点是"去范畴化",句法方面表现为谓宾动词句法特征的衰减,语义方面表现为由客观表达变为主观表达。"认证义动词+小句宾语"既可以陈述事件,又可以表现主语的认识内容,这种双重性是虚化的... 本文认为认证义动词虚化的起点是"去范畴化",句法方面表现为谓宾动词句法特征的衰减,语义方面表现为由客观表达变为主观表达。"认证义动词+小句宾语"既可以陈述事件,又可以表现主语的认识内容,这种双重性是虚化的基本条件。而虚化的程度与认证义动词自身的控制度密切相关,控制度较强的动词虚化程度低,控制度较弱的动词虚化程度高。其中表示评价意义的认证义动词控制度最弱,虚化为表达说话人视角和态度的语用标记。 展开更多
关键词 认证义动词 虚化 去范畴化 谓宾动词 语用标记 现代汉语
原文传递
基于Z规格说明的软件测试用例自动生成 被引量:22
17
作者 兰毓华 毛法尧 曹化工 《计算机学报》 EI CSCD 北大核心 1999年第9期963-969,共7页
提出了一种基于Z规格说明的软件测试用例自动生成方法,通过对软件Z规格说明的分析,找出描述软件输入、输出约束的线性谓词,经过线性谓词转换, 线性谓词到线性不等式组的转换,找出区域边界顶点和边界附近的测试点等过程自动生成... 提出了一种基于Z规格说明的软件测试用例自动生成方法,通过对软件Z规格说明的分析,找出描述软件输入、输出约束的线性谓词,经过线性谓词转换, 线性谓词到线性不等式组的转换,找出区域边界顶点和边界附近的测试点等过程自动生成测试用例.同时还介绍了基于Z规格说明的软件测试用例自动生成方法的实现, 展开更多
关键词 Z规格说明 区域测试 软件测试 软件开发
下载PDF
现代汉语中的弱断言谓词“我想” 被引量:38
18
作者 郭昭军 《语言研究》 CSSCI 北大核心 2004年第2期43-47,共5页
从语义上看,现代汉语中带从句宾语的“我想”实际上是一个表示说话人的不很肯定的主观看法的弱断言谓词。其断言性和弱断言性可以分别从与叙实谓词和强断言谓词的比较中看出来。这个例子说明,现代汉语谓词在语义和句法上也具有“断言”... 从语义上看,现代汉语中带从句宾语的“我想”实际上是一个表示说话人的不很肯定的主观看法的弱断言谓词。其断言性和弱断言性可以分别从与叙实谓词和强断言谓词的比较中看出来。这个例子说明,现代汉语谓词在语义和句法上也具有“断言”与“叙实”的差异。 展开更多
关键词 断言谓词 叙实谓词 弱断言谓词 强断言谓词 认知插入语
下载PDF
论“名而动”结构的来源及其语法性质 被引量:21
19
作者 杨荣祥 《中国语文》 CSSCI 北大核心 2008年第3期239-246,共8页
要认识"子产而死"这样的"名而动"结构到底是一种什么性质的语法结构,有两个问题必须弄清楚:一是这一结构的来源,二是连词"而"的语法功能。本文认为,连词"而"的基本语法功能是标记"两度陈... 要认识"子产而死"这样的"名而动"结构到底是一种什么性质的语法结构,有两个问题必须弄清楚:一是这一结构的来源,二是连词"而"的语法功能。本文认为,连词"而"的基本语法功能是标记"两度陈述",即"而"连接的一定是两个在句法结构中具有述谓功能的成分。在"名而动"结构中,"名"原本是一个判断句的谓语部分,它和"而"后的"动"通过"而"连接构成一个复杂谓语形式,共同对句子的话题性主语加以陈述。"名而动"来源于"话题性主语+名而动"句法结构省略"话题性主语"。"名而动"中"名"具有"类意义"的语义特征。文章还对"时间名词+而+动"给予解释。 展开更多
关键词 “名而动” “两度陈述”标记 述谓性 话题性主语“类意义” 复谓结构
原文传递
基于语料库的使役性心理谓词的习得比较研究 被引量:14
20
作者 陈国华 周榕 《解放军外国语学院学报》 北大核心 2006年第4期39-43,共5页
本研究依托中国英语学习者语料库,并参照国际英语语料库的英国子语库,考察了不同类型的中国英语学习者对典型的使役性心理谓词的使用。结果显示,不同的英语学习者对worry和satisfy的使役性使用有较大差异。虽然随着英语水平的提高使役... 本研究依托中国英语学习者语料库,并参照国际英语语料库的英国子语库,考察了不同类型的中国英语学习者对典型的使役性心理谓词的使用。结果显示,不同的英语学习者对worry和satisfy的使役性使用有较大差异。虽然随着英语水平的提高使役性用法的频率有所增加,但都还存在严重不足,对satisfy的使役性使用甚至存在严重误用。在心理谓词的多个使役形式中,V-ing形容词是习得最差的。汉语心理谓词使役成分的缺乏可能是导致学习者英语心理使役谓词习得困难的原因。此外,回避策略比错误使用更不利于词汇习得。 展开更多
关键词 中国英语学习者 心理谓词 使役 习得
下载PDF
上一页 1 2 158 下一页 到第
使用帮助 返回顶部