收藏本站
收藏 | 投稿 | 手机打开
二维码
手机客户端打开本文

内能恒为正值的图式证明

杜亚荣  张明智  沈耀阳  平玉环  张燕敏  
【摘要】:根据内能的定义,采用证明封闭系统在p-v图中构成的可逆循环是瞬时针方向与其内能具有正值等价的思路,给出了内能恒为正的一般性证明。这说明只要体系与环境存在强度量的差异,当体系变化到其寂态时,相关外界就可获得有用功。

知网文化
【相似文献】
中国期刊全文数据库 前10条
1 ;美国人工智能研究的概况——根据美国人工智能专家B.拉菲尔博士讲学内容整理—[J];机器人;1980年01期
2 唐棣,王庆超;鲁里叶方法的判定定理及应用举例[J];哈尔滨工业大学学报;1980年03期
3 M.萨摩尔维科,G.圭也达,青松;人工智能的问题和未来[J];机器人;1981年06期
4 刁元胜;;一类常系数二阶线性偏微分方程组的Dirichlet问题[J];华南理工大学学报(自然科学版);1982年Z1期
5 赵建中;;导算子Hlder连续时Newton法一些问题[J];电机与控制学报;1984年01期
6 冯刍;;卷积的一个新特性—移时特性[J];东南大学学报(自然科学版);1984年02期
7 黄厚本;;关于JAGKSON—MATSUOKA算子逼近函数类MH~(α)的渐近展开式[J];郑州大学学报(工学版);1984年01期
8 孙性如;鲍绍萱;;广义等值原理[J];电机与控制学报;1985年02期
9 周晓钟;高泰明;;L_2內函数的导数及其Fourier变式[J];燕山大学学报;1986年01期
10 李大法;对扩展树证明的可靠性与完全性的简化证明(英文)[J];清华大学学报(自然科学版);1987年06期
中国重要会议论文全文数据库 前10条
1 王殿辉;柴天佑;;非线性系统自适应控制的Fuzzy神经网络方法[A];1994年中国控制会议论文集[C];1994年
2 王新民;李勇;;压电材料异位配置和控制的联合优化设计[A];第二十二届中国控制会议论文集(上)[C];2003年
3 贾超华;冯德兴;;带内部阻尼的拟线性梁方程的局部光滑解(英文)[A];第二十三届中国控制会议论文集(上册)[C];2004年
4 杜国平;;经典命题逻辑公理系统定理证明算法设计[A];2004年逻辑研究专辑[C];2004年
5 孙守卿;李廉;章超;李彩虹;;基于模型检测工具SPIN的安全协议形式化分析[A];2005年全国理论计算机科学学术年会论文集[C];2005年
6 蒿敬波;殷建平;张波云;;基于通用图灵机模型的病毒判定性定理证明[A];2005年全国理论计算机科学学术年会论文集[C];2005年
7 李世华;田玉平;;一类二阶非线性系统的有限时间状态反馈控制器[A];第二十四届中国控制会议论文集(上册)[C];2005年
8 刘铁男;段向军;;一种新型神经模糊系统及其在油井压力预测中的应用[A];2005中国控制与决策学术年会论文集(下)[C];2005年
9 杨泽华;;一种新的混沌控制方法[A];2006中国控制与决策学术年会论文集[C];2006年
10 马希敏;付冲;;一种RSA数字签名算法的快速实现[A];计算机技术与应用进展——全国第17届计算机科学与技术应用(CACIS)学术会议论文集(下册)[C];2006年
中国博士学位论文全文数据库 前10条
1 梁芳;计算机引起的数学哲学反思[D];中国社会科学院研究生院;2000年
2 陈志祥;基于Chebyshev多项式零点的若干实插值问题[D];浙江大学;2002年
3 曾永福;非线性泛函微分方程的定性分析及其应用[D];四川大学;2005年
4 沈胜宇;模型检验的反例解释[D];国防科学技术大学;2005年
5 王焕宝;安全协议分析的形式化理论与方法[D];合肥工业大学;2006年
6 吴瑕;基于扩展规则的定理证明的研究[D];吉林大学;2006年
7 余强;网络化协同制造平台NCMPws若干关键技术研究[D];中国科学院研究生院(成都计算机应用研究所);2006年
8 左天军;Java虚拟机安全性的形式化分析和验证[D];西安电子科技大学;2005年
9 章国庆;变分法及其在非线性微分差分方程(组)中的应用[D];西安电子科技大学;2005年
10 项森;基于逻辑的程序验证方法在高可信软件开发上的应用[D];中国科学技术大学;2006年
中国硕士学位论文全文数据库 前10条
1 宋若薇;二阶奇异摄动问题的差分格式[D];郑州大学;2000年
2 林浩;一类最优有向连接问题[D];郑州大学;2001年
3 邹伟松;从归结证明树抽取程序[D];大连理工大学;2002年
4 陆海曙;L-凸空间中的极大极小不等式与广义L-KKM型定理[D];南京师范大学;2003年
5 许晓婕;一类一维奇异p—Laplacian非线性边值问题的多重正解[D];东北师范大学;2003年
6 呼青英;具结构阻尼的非线性梁方程的初边值问题[D];郑州大学;2003年
7 赵宜成;加杯图灵度的代数结构[D];中国科学院研究生院(软件研究所);2003年
8 冯媛;T_0-测度和T_∞-测度的分解[D];河北大学;2002年
9 李艳;KKM定理及应用与抽象广义矢量平衡问题[D];四川师范大学;2004年
10 俞美华;具有Smith增长种群的经济捕获模型的研究[D];南京理工大学;2004年
中国重要报纸全文数据库 前10条
1 老陆;离婚的经济学分析[N];财经时报;2000年
2 李建会;人工智能:挑战人类智慧的科学[N];科技日报;2000年
3 本报记者 冯永锋;数学界的战略科学家[N];光明日报;2001年
4 吴长锋;数学机械化与机械化数学[N];科技日报;2001年
5 朱镕基;推进科技创新 造就杰出人才(2001年2月19日)[N];人民日报;2001年
6 驻京记者 江世亮;发掘中国古代数学遗产[N];文汇报;2001年
7 李斌;我国数学机械化研究领先国际[N];中国知识产权报;2001年
8 黄慧娟;向“数学狂人”致敬[N];国际金融报;2002年
9 赵南元;人工智能:哲学的困境?[N];中华读书报;2002年
10 记者:游雪晴 周清春 首席:高小山;数学机械化:用电脑解放人脑[N];科技日报;2004年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978