n元三值函数可由L3^＊中公式导出的充要条件

1

作者 王永安 《西安工业大学学报》 CAS 2009年第5期500-504,共5页

三值Lukasiewicz命题逻辑L3*中的任何公式的赋值均为0,1/2,1中的某个元素.0,1/2,1及其上定义的运算■,→构成三元MV代数.根据规定的0,1/2,1中元素之间运算∧,∨,■,→的特点,构造性地证明了对于给定的n元三值函数f∶0,1/2,1n→0,1/2,1,... 三值Lukasiewicz命题逻辑L3*中的任何公式的赋值均为0,1/2,1中的某个元素.0,1/2,1及其上定义的运算■,→构成三元MV代数.根据规定的0,1/2,1中元素之间运算∧,∨,■,→的特点,构造性地证明了对于给定的n元三值函数f∶0,1/2,1n→0,1/2,1,当且仅当f满足一定条件时,f均可由L3*中的公式导出. 展开更多

关键词 三值Lukasiewicz命题逻辑L3* 三元MV代数 函数f∶0 1/2 1n→0 1/2 1 导出函数 充要条件

下载PDF 职称材料

涡轮叶栅流动分离涡模拟验证研究 被引量：2

2

作者 李艳 李雪松 顾春伟 《工程热物理学报》 EI CAS CSCD 北大核心 2010年第1期40-43,共4页

本文采用DDES模型分析透平叶栅内部亚音速和跨音速流动。DDES模型能有效且较精确地计算亚音速流动,但计算跨音速流动时,出现修正函数f_d"保护"边界层功能失效的问题,极大地降低了计算精度;人为设定RANS和LES计算域,保证边界... 本文采用DDES模型分析透平叶栅内部亚音速和跨音速流动。DDES模型能有效且较精确地计算亚音速流动,但计算跨音速流动时,出现修正函数f_d"保护"边界层功能失效的问题,极大地降低了计算精度;人为设定RANS和LES计算域,保证边界层完全被RANS计算域覆盖,计算结果得到很大改善。 展开更多

关键词 S-A DDES分离涡模型 修正函数f_d 激波/尾迹干扰

原文传递

蒸发器夹点温差对ORC系统性能影响的研究 被引量：3

3

作者 石文琪 马新灵 +1 位作者 魏新利 韩江涛 《低温与超导》 CAS 北大核心 2020年第8期62-68,77,共8页

为研究蒸发器夹点温差对有机朗肯循环系统性能的影响,本文运用Aspen Plus建立系统模型,研究了不同工质(R245fa、R1234ze、R1234yf、R134a、R600a)和热源温度(105~165℃)对有机朗肯循环系统的热力性能的影响;此外,选取净输出功率、■效... 为研究蒸发器夹点温差对有机朗肯循环系统性能的影响,本文运用Aspen Plus建立系统模型,研究了不同工质(R245fa、R1234ze、R1234yf、R134a、R600a)和热源温度(105~165℃)对有机朗肯循环系统的热力性能的影响;此外,选取净输出功率、■效率、热效率和自定义的综合评价指标f(x)来衡量系统的性能。结果表明:随着夹点温差的增大,系统净输出功、■效率和热效率均降低,而f(x)值先降低后升高,即存在最优夹点温差。R134a、R1234yf、R1234ze、R600a、R245fa五种工质对应的最优夹点温差分别为18、9、12、15、15℃,其中R245fa的f(x)值最小,性能最佳。此外,工质为R245fa时,当热源温度为105℃时,系统性能最佳,最优夹点温差15℃。 展开更多

关键词 有机朗肯循环 夹点温差 工质 多目标函数f(x) 参数优化

原文传递

基于ECDLP的SIP认证密钥协商协议 被引量：2

4

作者 曹阳 《计算机系统应用》 2016年第3期225-228,共4页

SIP协议是应用层控制协议,为了提高SIP协议的安全性,文中基于椭圆曲线离散对数问题的难解性,结合用户身份、用户口令及单向陷门函数F(),提出了一种基于ECDLP的SIP认证密钥协商协议.协议过程主要由初始化、注册、登录认证、口令修改四部... SIP协议是应用层控制协议,为了提高SIP协议的安全性,文中基于椭圆曲线离散对数问题的难解性,结合用户身份、用户口令及单向陷门函数F(),提出了一种基于ECDLP的SIP认证密钥协商协议.协议过程主要由初始化、注册、登录认证、口令修改四部分组成.安全分析表明,该协议实现了双向认证、提供了安全会话密钥,能抵抗口令猜测攻击、中间人攻击、重放攻击、冒充攻击、Denning-Sacco攻击等.与相关协议比较,本文所提出的基于ECDLP的SIP认证密钥协议具有更高的安全性,能更好的满足应用需求. 展开更多

关键词 椭圆曲线离散对数问题 认证 密钥协商 SIP 单向陷门函数f()

下载PDF 职称材料

汽车耐久性可靠性理论与实践 被引量：1

5

作者 宋磊 刘风华 +1 位作者 何帆影 黄勤 《汽车实用技术》 2020年第12期146-147,173,共3页

汽车耐久可靠性评价经常由于概念的混淆及样本量的限制导致评价偏差,甚至于部分车企只是盲目的进行道路试验,对于试验过程中的故障、失效并未做科学的统计分析,从而陷入路试、整改、再验证的死循环中,浪费了大量资源,文章基于对耐久性... 汽车耐久可靠性评价经常由于概念的混淆及样本量的限制导致评价偏差,甚至于部分车企只是盲目的进行道路试验,对于试验过程中的故障、失效并未做科学的统计分析,从而陷入路试、整改、再验证的死循环中,浪费了大量资源,文章基于对耐久性与可靠性的定义解读借助可靠性统计分析的数学方法将耐久可靠性的评价进行量化以帮助耐久可靠性工程师能够客观评估产品的耐久可靠性水平。 展开更多

关键词 B10寿命 故障率1/MTBf 可靠度函数f(t)

下载PDF 职称材料

二元函数z=f(x,y)的分析性质及其相互关系 被引量：1

6

作者 张怀德 《数学学习与研究》 2011年第3期104-105,共2页

函数的分析性质包括连续性、可微性、可积性等.二元函数f（x,y）分析性质存在的条件和相互关系是：连续不一定存在偏导数,偏导数存在也不一定连续;偏导数存在不一定可微,偏导数存在且连续则可微,可微则偏导数一定存在,但偏导数不一定连... 函数的分析性质包括连续性、可微性、可积性等.二元函数f（x,y）分析性质存在的条件和相互关系是：连续不一定存在偏导数,偏导数存在也不一定连续;偏导数存在不一定可微,偏导数存在且连续则可微,可微则偏导数一定存在,但偏导数不一定连续;连续不一定可微,可微则一定连续;连续必可积,可积未必连续. 展开更多

关键词 二元函数f(x y) 连续 偏导数 全微分 二重积分

下载PDF 职称材料

Rjemann ζ函数非平凡零点及零点数目的计算

7

作者 林其亮 林旭晞 《福建教育研究（高等教育研究版）》 2012年第4期94-97,共4页

通过对复变函数论里的欧拉公式进行全新领悟，对数的内涵进行再认识，推导出一种新的计算Riemannζ函数非平凡零点和零点数目的公式；该计算公式为：[Im lnГ（1／4＋it／2）-t／2lnπ＋π]：（n＋l／2）π，当n为整数时，这时的ρ=（1... 通过对复变函数论里的欧拉公式进行全新领悟，对数的内涵进行再认识，推导出一种新的计算Riemannζ函数非平凡零点和零点数目的公式；该计算公式为：[Im lnГ（1／4＋it／2）-t／2lnπ＋π]：（n＋l／2）π，当n为整数时，这时的ρ=（1／2＋it）即为在0〈Im（s）〈t的区间内Riemannζ函数非平凡零点，（n＋1）即为在0〈Im（s）〈t的区间内Rdemannζ函数非平凡零点的准确数目。在推导这个公式的过程中，重点阐述了零点因子、壹点因子和零点因子函数、壹点因子函数、函数F（s）、函数L（s）、函数A（s）等概念和内涵，从而证明了Rde—mannζ函数所有的非平凡零点都位于复平面上Re（s）=1／2的直线上。 展开更多

关键词 Riemannζ函数ζ(s) 双Riemannζ函数f(s) Riemann-林民函数L(s) 非平凡零点 零点因子

下载PDF 职称材料

质子结构函数F_2对小x小q^2双对数依赖的初步解释

8

作者 李建荣 《云南大学学报（自然科学版）》 CAS CSCD 2003年第2期129-132,共4页

在小x,小q2的限制条件下,推出了与实验拟合结果定性吻合的质子结构函数F2与x,q2的双对数依赖关系.

关键词 小x区域 结构函数f2 截面

原文传递

基于ECDLP的SIP认证密钥协商协议

9

作者 曹阳 《信息工程大学学报》 2016年第1期102-105,共4页

SIP协议是应用层控制协议,为了提高SIP协议的安全性,基于椭圆曲线离散对数问题的难解性,结合用户身份、用户口令及单向陷门函数F(),提出了一种基于ECDLP的SIP认证密钥协商协议。协议过程主要由初始化、注册、登录认证、口令修改4部分组... SIP协议是应用层控制协议,为了提高SIP协议的安全性,基于椭圆曲线离散对数问题的难解性,结合用户身份、用户口令及单向陷门函数F(),提出了一种基于ECDLP的SIP认证密钥协商协议。协议过程主要由初始化、注册、登录认证、口令修改4部分组成。安全分析表明,该协议实现了双向认证、提供了安全会话密钥,能抵抗口令猜测攻击、中间人攻击、重放攻击、冒充攻击、Denning-Sacco攻击等。与相关协议比较,文章所提出的基于ECDLP的SIP认证密钥协议具有更高的安全性,能更好地满足应用需求。 展开更多

关键词 椭圆曲线离散对数问题 认证 密钥协商 SIP 单向陷门函数f()

下载PDF 职称材料

用“y=ax^2＋bx＋ca≠0”证明函数f（x,y）在稳定点取局部极值的判别定理

10

作者 王建珍 《晋东南师专学报》 1995年第3期41-43,共3页

关键词 “y=ax^2+bx+ca≠0” 函数f(x y) 稳定点 局部极值 判别定理 抛物线 二阶连续偏导数

下载PDF 职称材料

斜面上一个力学问题的讨论

11

作者 范家卓 《四川师范大学学报（自然科学版）》 CAS CSCD 1993年第4期74-77,共4页

本文就斜面上一个力学问题综合研究了省力角φ_s、截止角φ_j和临界角θ_t,并对力函数F(φ)有否极值、极值存在时满足的条件及其随倾角φ的变化进行了充分的讨论.

关键词 斜面 省力角 截止角 临界角 力函数f(φ)

下载PDF 职称材料

再谈函数f（x0）=ax＋b／x的性质及应用

12

作者 裴志华 《河北理科教学研究》 2000年第3期13-14,12,共3页

关键词 中学 数学教学 函数f(x)=ax+b/x 性质

下载PDF 职称材料

函数f(x)=x+1/x的图像为双曲线的三种判断方法

13

作者 朱月祥 《教师博览（下旬刊）》 2014年第3期59-60,共2页

函数f（x）=x＋1/x是一个常见的而且应用比较广泛的函数，教师们在判别的它的图像，可以用双曲线的定义判断法、圆锥曲线统一定义判断法、双曲线标准方程判断法和一个基本结论判断法来说明它的图像特点。

关键词 函数f(x)=x+1/x 图像 判断方法

下载PDF 职称材料

Hardy-Littlewood极大函数双权范数积分不等式的研究

14

作者 朱海静 陈斌 《黑龙江大学自然科学学报》 CAS 北大核心 2007年第4期543-547,560,共6页

对于Rn中形如∫J[f*(x)]pU(x)dx≤C∫J|f(x)|pU(x)dx的一类Hardy-Littlewood极大函数f*(x)的积分不等式进行了双权方向的研究,证明了它与权函数Ap条件之间的关系,并进一步推广到了任意测度空间.

关键词 Hardy-Littlewood极大函数f^＊(x) 双权范数积分不等式 Ap-条件

下载PDF 职称材料

函数f(x)=ax+b/x(a,b∈R^+)教学设计

15

作者 程元元 《基础教育论坛》 2013年第1期40-42,共3页

以江苏省丰县中学学生为教学对象，以函数f（x）=ax＋x^-b（a,b∈R＋），为上课内容，进行了一节教学设计．分别从教学目标；教学任务；学习者；教学策略；教学过程；反思评价等六个方面对这节课进行了详细的预设分析解读，期望对课堂... 以江苏省丰县中学学生为教学对象，以函数f（x）=ax＋x^-b（a,b∈R＋），为上课内容，进行了一节教学设计．分别从教学目标；教学任务；学习者；教学策略；教学过程；反思评价等六个方面对这节课进行了详细的预设分析解读，期望对课堂教学提供帮助． 展开更多

关键词 教学设计 函数f(x)=ax+x^-b(a b∈R+) 教学目标

下载PDF 职称材料

有反函数的函数一定单调吗?

16

作者 沈健 《科技信息》 2007年第9期197-197,202,共2页

函数的单调性是高中阶段所研究的函数的一个重要性质.学生对它熟悉,应用也多.而反函数的存在问题现行高中教材并未提及.但在高中教材中经常遇到学生问到下面的问题:什么样的函数有反函数?有反函数的函数一定单调吗?等.由于现行高中教材... 函数的单调性是高中阶段所研究的函数的一个重要性质.学生对它熟悉,应用也多.而反函数的存在问题现行高中教材并未提及.但在高中教材中经常遇到学生问到下面的问题:什么样的函数有反函数?有反函数的函数一定单调吗?等.由于现行高中教材的内容有限,如用一一映射的观点(上海教材中没学过映射)去给学生解释,学生不易接受,太抽象.本文从有利于高中教学及学生容易接受的角度给出了一个判断反函数存在的定理:连续函数y=f(x)在某区间D上存在反函数的充要条件是它在该区间上单调,并给出了它的一个初等方法的证明。 展开更多

关键词 函数单调:指函数的严格的单调 反函数:指x与y没有互换之前的反函数x=f^(-1)(y) 存在反函数:事实上反函数还是唯一的 有反函数的函数一定单调吗?

下载PDF 职称材料

阳极焙烧燃油供给温度的模糊预测函数控制 被引量：2

17

作者 李晓斌 孙海燕 吴燕翔 《计算机工程与应用》 CSCD 北大核心 2009年第9期200-203,共4页

阳极焙烧燃油供给温度的精确控制是一个具有非线性特性的流体加热供给控制问题,实际测试表明,现有的PID控制很难实现对燃油供给温度的动态跟踪控制,影响燃油的充分喷射、雾化及其与空气的混合,使部分燃油得不到充分燃烧,造成了能源浪费... 阳极焙烧燃油供给温度的精确控制是一个具有非线性特性的流体加热供给控制问题,实际测试表明,现有的PID控制很难实现对燃油供给温度的动态跟踪控制,影响燃油的充分喷射、雾化及其与空气的混合,使部分燃油得不到充分燃烧,造成了能源浪费和环境污染。提出基于粒子群优化模糊预测函数控制(PSO-F-PFC)的油料燃烧供给温度控制方法,通过与PID控制方法的比较,以及对阳极焙烧炉重油燃烧供给温度的动态跟踪控制表明,该方法优于原有燃油燃烧系统的PID控制,实现了燃油供给温度的动态跟踪精确控制。 展开更多

关键词 阳极焙烧 燃油供给温度 粒子群优化辨识与优化 模糊预测函数控制(f-PfC)

下载PDF 职称材料

2-度量空间上具有隐式收缩条件的2个映射的唯一公共不动点 被引量：2

18

作者 朴勇杰 沈京虎 《延边大学学报（自然科学版）》 CAS 2012年第3期173-176,共4页

通过引进1类新的函数类并建立1个隐式收缩条件,证明了满足某种条件的2个映射存在唯一公共不动点的定理,同时给出了若干推论.所得结果推广和改进了文献[3-9]的一些结果.

关键词 函数类f 隐式收缩条件 重合点 公共不动点 不动点

下载PDF 职称材料

非线性复微分方程与F(p,q,s)空间 被引量：1

19

作者 袁钦燚 孙煜 龙见仁 《东北师大学报（自然科学版）》 CAS 北大核心 2020年第1期21-25,共5页

讨论了非线性复微分方程(f(k))n k+A k-1(z)(f(k-1))n k-1+…+A 1(z)(f′)n 1+A 0(z)f=0解析解的性质,得到了方程解析解属于函数空间F(p,q,s)的系数条件.

关键词 非线性复微分方程 单位圆 函数空间f(p q s)

下载PDF 职称材料

2-度量空间上具有隐式收缩条件的映射族的重合点和公共不动点

20

作者 田媛 杜月 +1 位作者 金月曦 朴勇杰 《黑龙江大学自然科学学报》 CAS 北大核心 2014年第5期607-612,共6页

引进满足特定性质的二元、四元和六元函数类,建立2-度量空间上的四个映射的隐式收缩条件,讨论并证明四个映射的唯一重合的点和唯一公共不动点的存在定理;给出关于两个和三个映射的相应的结果和Banach不动点定理在2-度量空间上的表现形式... 引进满足特定性质的二元、四元和六元函数类,建立2-度量空间上的四个映射的隐式收缩条件,讨论并证明四个映射的唯一重合的点和唯一公共不动点的存在定理;给出关于两个和三个映射的相应的结果和Banach不动点定理在2-度量空间上的表现形式,推广并改进了现有的一些结果。 展开更多

关键词 函数类f 隐式收缩条件 重合点 公共不动点 弱相容

下载PDF 职称材料