期刊文献+
共找到4,570篇文章
< 1 2 229 >
每页显示 20 50 100
基于括号表示法的一阶逻辑系统 预览
1
作者 杜国平 《安徽大学学报:哲学社会科学版》 CSSCI 北大核心 2019年第3期35-41,共7页
括号表示法是一种在形式语言中以括号来表示各种逻辑常项的符号表示方法。与已有的表示方法不同,它是一种整体表示法。以命题逻辑的形式语言为例,可以证明括号表示法的唯一性定理。在形式语言中,运用括号表示法表达的公式,其长度比用中... 括号表示法是一种在形式语言中以括号来表示各种逻辑常项的符号表示方法。与已有的表示方法不同,它是一种整体表示法。以命题逻辑的形式语言为例,可以证明括号表示法的唯一性定理。在形式语言中,运用括号表示法表达的公式,其长度比用中置法表达的公式简短。运用括号表示法改写的一阶逻辑自然推理系统非常简洁。括号表示法为研究逻辑常项的推理结构提供了一个非常良好的分析工具。 展开更多
关键词 括号表示法 逻辑常项 唯一性 公式长度 一阶逻辑系统 推理结构
在线阅读 下载PDF
带有真空的可压缩向列型液晶系统整体弱解的唯一性 预览
2
作者 孔春香 《云南师范大学学报:自然科学版》 2019年第1期25-28,共4页
在初始真空连续连接条件下,讨论了一维可压缩向列型液晶流体的自由边界问题,利用Young不等式、Gronwall不等式及嵌入定理等得到了弱解的估计,从而获得解的唯一性结果.
关键词 向列型液晶流体 自由边界 整体弱解 唯一性
在线阅读 免费下载
间接量化——语用因素导致的全称量化
3
作者 陈振宇 《东方语言学》 2019年第1期88-104,共17页
一直以来,形式语义学都以逻辑的眼光,将语言中的量化现象全部归之于直接量化算子的功能,并用三分结构来进行研究。但语言中还存在着相当多的间接量化现象,在这里,并没有一个主宰性的全称量化算子在起作用,而是通过一定的条件,针对有关... 一直以来,形式语义学都以逻辑的眼光,将语言中的量化现象全部归之于直接量化算子的功能,并用三分结构来进行研究。但语言中还存在着相当多的间接量化现象,在这里,并没有一个主宰性的全称量化算子在起作用,而是通过一定的条件,针对有关成分的量性特征,在语用规则的作用下,获得全称量化的意义。这些条件有:封闭的集合、事件复数、分配解读和'多对一'语义格局。我们已经发现以下语用规律:1)数的一致性原则,所有论元的事件数必须相同,或者都为零,或者都为事件单数,或者都为事件复数。2)预存论元(汉语句子中谓词前的论元),在顺向信息过程等情况下,具有一定的封闭性,并全部参与事件。3)句中虚指的成分,有'角色(属性内涵)——演员(外延)'的矛盾关系,从而构成全称量化。直接量化必须遵循两条限制:算子与变项一一对应(唯一性限制),算子必须在句法上约束变项(辖域限制)。而间接量化不必遵守这两条限制:句中成分只要满足条件就都得到全称量化意义,可以是多个,也可以不在触发算子的句法辖域之内,不受其约束。最后我们讨论了汉语总括'都'字句,指出它是间接量化,'都'仅仅是个复数性算子,需要数的一致性原则及其他条件来获得全称量化意义,所以不是所有'都'字句都是全称量化。另外,'都'在语义上指向语用突显的主题,所以不是所有全称量化的成分都会突显,都会被它所指向。 展开更多
关键词 间接量化 数的一致原则 预存论元 虚指 唯一性 句法约束 总括副词 “都”
一种新非Lipschitz条件下倒向随机微分方程的L2 预览
4
作者 李师煜 但李萍 杨璐帆 《应用数学进展》 2019年第8期1321-1326,共6页
经典的倒向随机微分方程是由布朗运动驱动的,但布朗运动是一种非常特殊的随机过程,致使倒向随机微分方程的应用受到相当大的限制。本文研究了以连续局部鞅为干扰源的一维倒向随机微分方程,在生成元满足一种新非Lipschitz条件下,证明了... 经典的倒向随机微分方程是由布朗运动驱动的,但布朗运动是一种非常特殊的随机过程,致使倒向随机微分方程的应用受到相当大的限制。本文研究了以连续局部鞅为干扰源的一维倒向随机微分方程,在生成元满足一种新非Lipschitz条件下,证明了其L2解存在且唯一。 展开更多
关键词 倒向随机微分方程 连续局部鞅 非LIPSCHITZ条件 存在 唯一性
在线阅读 下载PDF
一类p-Kirchhoff方程基态解的存在性与唯一性
5
作者 王壮壮 曾小雨 《数学学报:中文版》 CSCD 北大核心 2019年第6期879-888,共10页
对于下面p-Kirchhoff型泛函Ep(u)=a/p∫Rn|■u|pdx+b/2p(∫Rn|■u|pdx)2-1/s∫Rn||u|sdx,我们证明了约束在流形Sc:={u∈W1,p(Rn):∫Rn}|u|pdx=cp}上全局极小点或山路型临界点的存在性与唯一性,且这些临界点是某个Gagliardo-Nirenberg不... 对于下面p-Kirchhoff型泛函Ep(u)=a/p∫Rn|■u|pdx+b/2p(∫Rn|■u|pdx)2-1/s∫Rn||u|sdx,我们证明了约束在流形Sc:={u∈W1,p(Rn):∫Rn}|u|pdx=cp}上全局极小点或山路型临界点的存在性与唯一性,且这些临界点是某个Gagliardo-Nirenberg不等式的最优化子,特别当p∈(1,2]时,它们在不计平移意义下是唯一的.我们扩展了已有文献中p=2的情形的相关结果. 展开更多
关键词 Lp归一化临界点 p-Kirchhoff方程 唯一性
规范Excel中行记录数据的方法 预览
6
作者 张安庆 《信息与电脑》 2019年第19期137-138,共2页
在Excel中,如果出现重复记录,将会造成后续对数据查询以及统计分析等各种结果的不准确,对数据的可靠性产生严重影响。因此确保在Excel中每条记录数据的唯一性就成为数据录入中的关键。利用Excel提供的某些功能进行一些必要的设置,就可... 在Excel中,如果出现重复记录,将会造成后续对数据查询以及统计分析等各种结果的不准确,对数据的可靠性产生严重影响。因此确保在Excel中每条记录数据的唯一性就成为数据录入中的关键。利用Excel提供的某些功能进行一些必要的设置,就可以轻松地对数据表中的数据进行限制,从而实现这一目标,笔者就此进行深入探讨。 展开更多
关键词 数据规范 行记录 唯一性
在线阅读 下载PDF
分担四值的亚纯函数的唯一性 预览
7
作者 蔡奇莉 林珊华 《泉州师范学院学报》 2019年第2期28-34,共7页
研究了亚纯函数的四值分担问题.对刘思思与黄斌得到的有穷级整数级的亚纯函数分担3IM+1CM的唯一性定理中的IM分担条件进行减弱,并得到结论:如果一个有穷非整数级与下级的亚纯函数与任意一个亚纯函数分担3个‘IM’值和1个CM值,则它们必相等.
关键词 非整数级 非整数下级 亚纯函数 唯一性
在线阅读 下载PDF
一类共振奇异p-Laplacian方程正解的唯一性 预览
8
作者 侯艾君 廖家锋 《西华师范大学学报:自然科学版》 2019年第3期256-261,共6页
本文研究了一类共振奇异p-Laplacian方程正解的唯一性,克服了相关临界点理论无法直接寻求含奇异项方程解的困难。首先,利用变分方法,获得了该方程对应能量泛函的一个全局极小值点。然后,结合解的定义,证明了这个全局极小值点为方程的解... 本文研究了一类共振奇异p-Laplacian方程正解的唯一性,克服了相关临界点理论无法直接寻求含奇异项方程解的困难。首先,利用变分方法,获得了该方程对应能量泛函的一个全局极小值点。然后,结合解的定义,证明了这个全局极小值点为方程的解且是正解。进一步,利用分析技巧,证明了该正解的唯一性。该结果推广并改进了近期相关奇异p-Laplacian方程的结果。 展开更多
关键词 p-Laplacian问题 奇异 变分法 正解 唯一性
在线阅读 下载PDF
涉及CM分担值的常系数指数多项式的唯一性 预览
9
作者 苏敏 李玉华 刚鹏飞 《数学年刊:A辑》 CSCD 北大核心 2019年第3期231-236,共6页
主要证明了两个非常数的常系数指数多项式,如果在复平面中4个张角严格大于π的每一个角域内都有1个有穷的CM分担值,且这4个分担值是判别的,则它们必然恒等.
关键词 指数多项式 CM分担值 唯一性
在线阅读 下载PDF
基于环形振荡器的物理不可克隆函数的设计与验证 预览
10
作者 胡鹏 魏江杰 +2 位作者 周昱 张荣 魏敬和 《电子与封装》 2019年第7期33-36,共4页
为了验证物理不可克隆函数(Physical Unclonable Function,PUF)的有效性,试验必须针对大量芯片的微延迟特性进行建模。尽管仿真的方式能够提供近似的结果,但通过片上试验能获得更加精确的结果。借助FPGA工具制造硬宏,在多块同型号FPGA... 为了验证物理不可克隆函数(Physical Unclonable Function,PUF)的有效性,试验必须针对大量芯片的微延迟特性进行建模。尽管仿真的方式能够提供近似的结果,但通过片上试验能获得更加精确的结果。借助FPGA工具制造硬宏,在多块同型号FPGA上分析了基于环形振荡器(Ring Oscillator,RO)的物理不可克隆函数。其核心步骤是通过对相邻RO的振荡频率计数后相互比较,得到1024比特长度的响应输出。在多次试验测试后,得到了片内和片间汉明距,并作为PUF性能的指标参数——唯一性、可靠性。结果表明,常温下的平均唯一性为48.01%,平均可靠性为1.75%。 展开更多
关键词 物理不可克隆函数 环形振荡器 唯一性 可靠
在线阅读 下载PDF
病案号唯一性管理的探讨 预览
11
作者 袁萍 甄玲 刘吉羊 《当代医学》 2019年第24期134-135,共2页
病案号唯一是指同一患者在某院就医使用唯一编号,历次门诊和住院资料都以同一编号保存,它保证了患者在医院就诊资料的完整性和连续性,是日后查找患者病案资料的唯一途径。病案号唯一是法律法规的要求、满足患者诊疗的需求及患者诊疗信... 病案号唯一是指同一患者在某院就医使用唯一编号,历次门诊和住院资料都以同一编号保存,它保证了患者在医院就诊资料的完整性和连续性,是日后查找患者病案资料的唯一途径。病案号唯一是法律法规的要求、满足患者诊疗的需求及患者诊疗信息整合的需要。影响病案号唯一的原因主要是:无唯一号管理标准;基本信息管理不规范;医务人员责任心不强;患者对病案号不重视;缺乏对异常病案号的管理。为保障患者病案号唯一,要制定唯一号管理的标准,坚持基本信息规范化管理,提高医务人员的责任意识,加强对异常病案号的管理。 展开更多
关键词 病案号 唯一性 管理
在线阅读 下载PDF
反演一类间断热传导方程的辐射系数 预览
12
作者 曾剑 张泰年 +1 位作者 任建龙 甄苇苇 《宁夏大学学报:自然科学版》 CAS 2019年第3期208-214,共7页
讨论了一个利用终端观测数据重构抛物型方程未知系数的反问题,这类问题在科学研究中有重要的应用.与一般问题不同的是,未知系数是间断的函数.基于最优控制理论,证明了控制泛函极小元的存在性及其满足的必要条件,并讨论了最优解的唯一性... 讨论了一个利用终端观测数据重构抛物型方程未知系数的反问题,这类问题在科学研究中有重要的应用.与一般问题不同的是,未知系数是间断的函数.基于最优控制理论,证明了控制泛函极小元的存在性及其满足的必要条件,并讨论了最优解的唯一性及稳定性.运用Gradient型迭代法进行数值模拟,且未知系数反演的效果也很好. 展开更多
关键词 反问题 最优控制 唯一性 稳定 数值模拟
在线阅读 下载PDF
基于积分形式的观测数据重构抛物型方程的源项系数 预览
13
作者 甄苇苇 曾剑 张泰年 《宁夏大学学报:自然科学版》 CAS 2019年第3期215-220,223共7页
主要研究空间积分形式的附加条件下抛物型方程源项系数的反演问题.空间变量积分后得到的附加条件不同于以往的终端观测值,导致许多常用的分析方法(如抛物方程共轭理论等)不适用.首先,应用变分理论给出了正问题解的正则性证明;其次,将原... 主要研究空间积分形式的附加条件下抛物型方程源项系数的反演问题.空间变量积分后得到的附加条件不同于以往的终端观测值,导致许多常用的分析方法(如抛物方程共轭理论等)不适用.首先,应用变分理论给出了正问题解的正则性证明;其次,将原问题转化为最优控制问题,证明了最优控制问题解的存在性、唯一性及稳定性. 展开更多
关键词 正则 最优控制 存在 唯一性 稳定
在线阅读 下载PDF
问题教学下的生成策略探微 预览
14
作者 马国良 李玉琼 《湖北教育》 2019年第4期26-27,共2页
教师的教学智慧从何而来?一是需要教师在课堂中不断捕捉、判断、重组从学生那里传递来的各种信息,把有价值的新思考、新问题纳入教学过程,使之成为教学亮点;二是需要教师有意识地对自己的课堂行为进行审视和反思,经常性地观察、修订、... 教师的教学智慧从何而来?一是需要教师在课堂中不断捕捉、判断、重组从学生那里传递来的各种信息,把有价值的新思考、新问题纳入教学过程,使之成为教学亮点;二是需要教师有意识地对自己的课堂行为进行审视和反思,经常性地观察、修订、更改、批判、完善自己的教学设计。 展开更多
关键词 教学反思 教学生成 唯一性 校本课程资源 生成策略 问题情境 学生潜能 有效生成
在线阅读 下载PDF
基于积分观测条件反演抛物型方程的辐射系数 预览
15
作者 温鑫亮 杨涛 刘翻丽 《兰州交通大学学报》 CAS 2019年第3期112-116,共5页
研究了一类基于积分观测条件重构二阶非散度抛物型方程的辐射系数的反问题,这里的辐射系数仅依赖于空间变量.首先利用Cauchy不等式与Gronwall不等式得到正问题解的先验估计式;然后将原问题转化为非线性算子方程,基于Schauder不动点定理... 研究了一类基于积分观测条件重构二阶非散度抛物型方程的辐射系数的反问题,这里的辐射系数仅依赖于空间变量.首先利用Cauchy不等式与Gronwall不等式得到正问题解的先验估计式;然后将原问题转化为非线性算子方程,基于Schauder不动点定理,证明了反问题解的存在性;最后基于正问题解的一些先验估计式和附加条件,得到了反问题解唯一的充分条件. 展开更多
关键词 反问题 存在 唯一性 算子方程
在线阅读 下载PDF
一类确定波动方程势函数的反问题
16
作者 解金鑫 徐森 +1 位作者 刘翻丽 任建龙 《应用数学学报》 CSCD 北大核心 2019年第5期670-683,共14页
本文研究了一类利用终端观测数据重构波动方程势函数的反问题.这一研究是识别地下介质物理力学参数的重要方法,且在地球物理和工程技术等领域中有重要应用.该问题有两个主要困难:一、极值原理不再成立;二、终端观测值不仅包含位移,还包... 本文研究了一类利用终端观测数据重构波动方程势函数的反问题.这一研究是识别地下介质物理力学参数的重要方法,且在地球物理和工程技术等领域中有重要应用.该问题有两个主要困难:一、极值原理不再成立;二、终端观测值不仅包含位移,还包含了终端时刻的速度.首先基于优化方法,将原问题转化为最优控制问题,进而建立了最优解的存在性及所满足的必要条件.需特别注意,共轭方程中位移与速度的位置恰好相反,这一点与抛物情形是完全不同的.此外,还证明了最优解的局部唯一性和稳定性.这一结果是新而有趣的,为将来的数值模拟和工程应用打下坚实的理论基础. 展开更多
关键词 反问题 波动方程 势函数 最优控制 唯一性 稳定
关于集列极限的基本性质 预览
17
作者 李学东 《佛山科学技术学院学报:自然科学版》 CAS 2019年第1期1-3,共3页
在集列极限的定义与运算基础上,对于一般集合列极限的确定和存在性条件以及不同集合列极限间的相互关系进行了系统研究,以揭示集合列极限内在的基本性质。
关键词 集合列极限的基本 唯一性 存在 包含 两边夹定理 通调集列
在线阅读 下载PDF
煤矿人员位置监测系统功能扩展探析 预览
18
作者 侯威宇 《科技创新与应用》 2019年第31期83-84,共2页
精准定位煤矿井下人员能够显著提高井下安全生产监测水平,文章探讨了当前人员位置监测系统中的不足,利用现代技术手段对其功能进行开发拓展,以促进提升煤矿井下人员定位管理的水平。
关键词 煤矿 人员位置监测系统 唯一性 功能拓展
在线阅读 下载PDF
亚纯函数微分多项式IM分担值的唯一性
19
作者 张伟杰 王新利 王汉杰 《山东大学学报:理学版》 CAS CSCD 北大核心 2019年第8期90-96,共7页
研究了亚纯函数的微分多项式分担一个值的唯一性问题,证明了如果f(z)和g(z)为非常数亚纯函数,其零点和极点的重数至少为s,s为正整数,且满足(n+1)s≥24,n为正整数且n≥2。如果fnf′和gng′分担1 IM,则g(z)=c1ecz,f(z)=c2e-cz,其中c1、c2... 研究了亚纯函数的微分多项式分担一个值的唯一性问题,证明了如果f(z)和g(z)为非常数亚纯函数,其零点和极点的重数至少为s,s为正整数,且满足(n+1)s≥24,n为正整数且n≥2。如果fnf′和gng′分担1 IM,则g(z)=c1ecz,f(z)=c2e-cz,其中c1、c2、c为常数,且满足(c1c2)n+1c2=-1,或者f(z)=tg(z),其中tn+1=1。 展开更多
关键词 微分多项式 唯一性 亚纯函数 分担值
拟线性退化抛物型方程解的存在性与唯一性 预览
20
作者 解金鑫 任建龙 温鑫亮 《河西学院学报》 2019年第5期24-35,共12页
文章研究拟线性强退化抛物型方程的初边值问题,其带有不连续的扩散系数.由于流通项的非线性及扩散项的退化性,其解是不连续的.因此,必须考虑其熵解的存在性和唯一性,且这一研究在自然科学和工程领域中起着重要作用.
关键词 退化抛物型方程 初边值问题 熵解 存在 唯一性
在线阅读 下载PDF
上一页 1 2 229 下一页 到第
使用帮助 返回顶部 意见反馈