期刊文献+
共找到19篇文章
< 1 >
每页显示 20 50 100
关于机械能定理与惯性参照系的选取
1
作者 郑民伟 《重庆师范大学学报(自然科学版)》 CAS 1999年第S1期115-116,共2页
文章推导出机械能定理在不同惯性参照系应用的情况,说明机械能定理在不同的惯性参照系下都成立.
关键词 机械定理 参照系 惯性
下载PDF
用机械能守恒定理分析三线摆的扭摆运动
2
作者 文艳妮 陈守满 《安康学院学报》 2013年第3期16-19,共4页
利用机械能守恒定理得出三线摆的运动微分方程和积分方程,用MATLAB编程,分析了平动动能对振动周期的影响,并得出了三线摆中两个圆盘的半径与它们之间距离的制约关系。
关键词 机械能守恒定理 三线摆 振动周期
下载PDF
关于机械能定理与惯性参照系的选取
3
作者 郑民伟 《广州航海高等专科学校学报》 1998年第1期36-37,共2页
本文推导出机械能定理在不同惯性参照系应用的情况,说明机械能定理在不同的惯性参照系都成立.
关键词 机械定理 惯性参照系 选取
下载PDF
非惯性系中的机械能定理和机械能守恒律 被引量:2
4
作者 韦胜东 李作春 《广西民族师范学院学报》 2000年第2期41-44,共4页
推导出非惯性系中的机械能定理。引入“惯性力势能”概念,给出非惯性系中机械能守恒律的表述形式,并用来求解力学问题。
关键词 非惯性系 机械定理 惯性力势能 守恒律
下载PDF
对用动量定理解柔绳问题陷阱的探究 被引量:5
5
作者 路峻岭 秦联华 王长江 《大学物理》 北大核心 2011年第2期5-8,共4页
对柔软绳子下落或提升过程中在某些点存在的"速度突变"所产生的误解进行分析.提出解决问题的方法.并用实验加以检验.
关键词 柔绳问题 动量定理 机械定理 陷阱
下载PDF
关于质点系功能原理和机械能守恒定律相关问题的讨论 被引量:5
6
作者 袁书卿 万明理 《洛阳师范学院学报》 2014年第8期50-53,共4页
阐述了引入外势能质点系的"功能原理"和机械能守恒定律在一般情况下不成立,而且有悖常识,没有存在的必要;并进一步指出质点系的"功能原理"应改为质点系的机械能定理,质点系的机械能守恒定律是力学中的能量转化与守... 阐述了引入外势能质点系的"功能原理"和机械能守恒定律在一般情况下不成立,而且有悖常识,没有存在的必要;并进一步指出质点系的"功能原理"应改为质点系的机械能定理,质点系的机械能守恒定律是力学中的能量转化与守恒定律,是力学中一条独立定律,而不是"功能原理"的推论. 展开更多
关键词 机械定理 机械能守恒定律 内势能 外势能
下载PDF
基于Isabelle定理证明器算法程序的形式化验证 被引量:9
7
作者 游珍 薛锦云 《计算机工程与科学》 CSCD 北大核心 2009年第10期85-89,共5页
形式化验证对保证软件的正确性和可靠性具有十分重要的意义。定理机械证明是形式化验证的一个重要研究领域,Isabelle系统是一个被广泛运用的定理证明辅助工具。本文在分析Dijkstra最弱前置谓词理论的基础上,根据PAR方法开发的算法程序... 形式化验证对保证软件的正确性和可靠性具有十分重要的意义。定理机械证明是形式化验证的一个重要研究领域,Isabelle系统是一个被广泛运用的定理证明辅助工具。本文在分析Dijkstra最弱前置谓词理论的基础上,根据PAR方法开发的算法程序循环不变式,提出了一种使用Isabelle定理证明器对算法程序进行机械验证的方法。该方法既克服了传统手工验证过程的繁琐性和易错性等缺点,又达到"提高验证效率和保证算法程序高可信"的目标,具有很好的实用价值。 展开更多
关键词 形式化验证 定理机械证明 Dijkstra最弱前置谓词理论 PAR方法 算法程序 定理证明器
下载PDF
力场与时间有关系统的功能定理及其应用 被引量:7
8
作者 朱如曾 《大学物理》 北大核心 2016年第10期11-16,共6页
与时间有关的有势力场与其他力共同作用系统的功能定理具有比普通的功能定理更为强大的应用价值,本文介绍这一功能定理,并应用于不同参考系观察同一系统的机械能如何变化的两个简单实例:在地面上和升降机中观察地面附近同一质点的机械... 与时间有关的有势力场与其他力共同作用系统的功能定理具有比普通的功能定理更为强大的应用价值,本文介绍这一功能定理,并应用于不同参考系观察同一系统的机械能如何变化的两个简单实例:在地面上和升降机中观察地面附近同一质点的机械能变化,在地面上和在运动车厢里看一端固定于车厢壁的弹簧振子的机械能变化.指出了有些文献的有关错误. 展开更多
关键词 与时间有关力场 功能定理 机械能守恒定理 重力场 轻质弹簧振子
下载PDF
也谈机械能守恒定律与功能原理 被引量:3
9
作者 宋月丽 田明丽 《平顶山学院学报》 2013年第5期54-56,共3页
阐述了机械能守恒定律是能量转化与守恒定律在力学中的具体体现,是力学中的一条独立定律,可完全表述成遵从相对性原理的形式;现行力学或普通物理教科书中的"功能原理"应改为"机械能定理",同时指出了一些文献在涉及... 阐述了机械能守恒定律是能量转化与守恒定律在力学中的具体体现,是力学中的一条独立定律,可完全表述成遵从相对性原理的形式;现行力学或普通物理教科书中的"功能原理"应改为"机械能定理",同时指出了一些文献在涉及该问题时所存在的不妥之处. 展开更多
关键词 机械能守恒定律 功能原理 机械定理
下载PDF
弹力机械能守恒定律在各惯性系都成立 被引量:2
10
作者 刘明成 刘文芳 赵文桐 《物理通报》 2015年第12期109-111,共3页
论述了弹簧振子机械能守恒定律在各惯性系都成立.
关键词 质点动能定理 质点势能定理 质点机械定理(功能原理) 质点机械能守恒定律
下载PDF
基于PVS的UML类图和序列图的一致性检验 被引量:1
11
作者 刘晓健 陈平 《系统工程与电子技术》 EI CSCD 北大核心 2004年第10期1481-1486,1525,共7页
针对UML类图和序列图的一致性问题,在充分考虑了类继承关系、关联关系、类方法的可见性以及类方法的前、后置条件等因素对一致性影响的基础上,给出了判定类图和序列图一致性的必要条件和PVS元理论,提出了一种基于定理证明器PVS的一致性... 针对UML类图和序列图的一致性问题,在充分考虑了类继承关系、关联关系、类方法的可见性以及类方法的前、后置条件等因素对一致性影响的基础上,给出了判定类图和序列图一致性的必要条件和PVS元理论,提出了一种基于定理证明器PVS的一致性检验方法。在检验UML模型一致性时,把一致性检验问题转化为逻辑定理证明问题。实践表明,该方法对于提高UML模型的可信度,减少系统实现阶段的错误起到了一定作用。 展开更多
关键词 统一建模语言 类图 序列图 机械定理
下载PDF
定理机械化证明的数值并行法及单点例证法原理概述 被引量:9
12
作者 张景中 杨路 《数学的实践与认识》 CSCD 北大核心 1989年第1期34-43,共10页
本文浅近地介绍以检验数值实例为基本手段的两种方法——洪加威提出单点例证法和张景中.杨路提出的数值并行法以及这两种方法与吴文俊数学机械化理论的关系.
关键词 数值并行法 单点例证 定理机械证明
原文传递
Integrating Factors and Conservation Laws for Relativistic Mechanical System 被引量:4
13
作者 ZHANG Yi 《Communications in Theoretical Physics》 SCIE CAS CSCD 2005年第2X期231-234,共4页
In this paper, we present a new method to construct the conservation laws for relativistic mechanical systems by finding corresponding integrating factors. First, the Lagrange equations of relativistic mechanical syst... In this paper, we present a new method to construct the conservation laws for relativistic mechanical systems by finding corresponding integrating factors. First, the Lagrange equations of relativistic mechanical systems are established, and the definition of integrating factors of the systems is given; second, the necessary conditions for the existence of conserved quantities of the relativistic mechanical systems are studied in detail, and the relation between the conservation laws and the integrating factors of the systems is obtained and the generalized Killing equations for the determination of the integrating factors are given; finally, the conservation theorem and its inverse for the systems are established, and an example is given to illustrate the application of the results. 展开更多
关键词 RELATIVITY mechanical system conservation law integrating factor Killing equation
下载PDF
一种保守力具势的证明
14
作者 李幸 《黄石高等专科学校学报》 2001年第3期29-30,33,共3页
借鉴热力学中的一种方法 ,用直观的物理论证 ,给出了保守力具势的充分性证明。
关键词 保守力 充分证明 卡诺热机 热力学温标 物理学 机械能守恒定理 热力学
下载PDF
Limit analysis of supporting pressure in tunnels with regard to surface settlement 被引量:10
15
作者 杨小礼 覃长兵 《Journal of Central South University》 SCIE EI CAS CSCD 2015年第1期303-309,共7页
The proliferation of Hoek-Brown nonlinear failure criterion and upper bound theorem makes it possible to evaluate the stability of circular tunnels with an original curved collapsing mechanism. The arch effect of shal... The proliferation of Hoek-Brown nonlinear failure criterion and upper bound theorem makes it possible to evaluate the stability of circular tunnels with an original curved collapsing mechanism. The arch effect of shallow circle tunnel is not taken into consideration so that the mechanical characteristics can be easily described. Based on the mechanism, the upper bound solution of supporting pressure of tunnels under the condition of surface settlements and overloads on the ground surface is derived. The objective function is formed from virtual work equations under the variational principle, and solutions are presented by the optimum theory. Comparisons with previous works are made. The numerical results of the present method show great agreement with those of existing ones. With regard to the surface settlement and overloads, the influence of different rock parameters on the collapsing shape is analyzed. 展开更多
关键词 circular tunnel Hoek-Brown criterion collapse mechanism surface settlement
下载PDF
Microstructure and mechanical properties of Al-5.8Mg-Mn-Sc-Zr alloy after annealing treatment 被引量:1
16
作者 陈琴 潘清林 +3 位作者 王迎 张志野 周坚 刘畅 《Journal of Central South University》 SCIE EI CAS 2012年第7期1785-1790,共6页
An A1-5.8Mg-0.4Mn-0.35(Sc+Zr) (mass fraction, %) alloy sheet was prepared using water chilling copper mould ingot metallurgy processing which was protected by active flux. The influence of stabilizing annealing o... An A1-5.8Mg-0.4Mn-0.35(Sc+Zr) (mass fraction, %) alloy sheet was prepared using water chilling copper mould ingot metallurgy processing which was protected by active flux. The influence of stabilizing annealing on mechanical properties and microstructure of the cold rolling sheet was studied. The results show that the strength and hardness of the alloy decrease, while the elongation increases with increasing the stabilizing annealing temperature. With the increase of stabilizing annealing time, the strength and hardness of the alloy drop slightly but its ductility exhibits no change. Partial recovery and recrystallization orderly occur with the increase of annealing temperature during stabilizing treatment. Only different degrees of recovery occur in the alloys annealed below 400 ℃ for 1 h. Partial recrystallization occurs after annealed at 450 ℃ for 1 h. By annealing at 300 ℃ for 1 h, the alloy can obtain the optimum application values of δb, δ0.2 and δ, which are 436 MPa, 327 MPa and 16.7%, respectively. 展开更多
关键词 A1-Mg-Mn-Sc-Zr alloy stabilizing treatment A13(Sc Zr) particle microstructure mechanical property
下载PDF
浅谈“三把力学金钥匙”的解题应用
17
作者 杨海斌 《河南农业》 2011年第4X期28-29,共2页
"力是改变物体运动状态的原因",也就是说,物体的运动状态取决于力的作用效果。在力学中有三组重要定律,分别是牛顿第二定律、动能定理和机械能守恒定律、动量定理和动量守恒定律,俗称"三把力学金钥匙"。从这三组定... "力是改变物体运动状态的原因",也就是说,物体的运动状态取决于力的作用效果。在力学中有三组重要定律,分别是牛顿第二定律、动能定理和机械能守恒定律、动量定理和动量守恒定律,俗称"三把力学金钥匙"。从这三组定律的内在联系入手,对三组定律在解题时的应用进行分析与探讨。 展开更多
关键词 牛顿第二定律 动能定理机械能守恒定律 动量定理和动量守恒定律 应用
下载PDF
阿基米德比牛顿早1800年阐述微积分学
18
《中学物理教学参考》 2004年第6期6-6,共1页
关键词 阿基米德 牛顿 微积分学 STS教育 近代物理学 机械定理方法》 中学 物理教学 教学参考
原文传递
Modulating composite polymer electrolyte by lithium closo-borohydride achieves highly stable solid-state battery at 25℃ 被引量:1
19
作者 Kepan Bao Yuepeng Pang +3 位作者 Junhe Yang Dalin Sun Fang Fang Shiyou Zheng 《Science China Materials》 SCIE EI CAS CSCD 2022年第1期95-104,共10页
Rational composite design is highly important for the development of high-performance composite polymer electrolytes(CPEs)for solid-state lithium(Li)metal batteries.In this work,Li closo-borohydride,Li_(2)B_(12)H_(12)... Rational composite design is highly important for the development of high-performance composite polymer electrolytes(CPEs)for solid-state lithium(Li)metal batteries.In this work,Li closo-borohydride,Li_(2)B_(12)H_(12),is introduced to poly(vinylidene fluoride)-Li-bis-(trifluoromethanesulfonyl)imide(PVDF-LiTFSI)with a bound N-methyl pyrrolidone plasticizer to form a novel CPE.This CPE shows superb Li^(+)conduction properties,as evidenced by its conductivity of 1.43×10^(-4) S cm^(-1) and Li^(+)transference number of 0.34 at 25℃.Density functional theory calculations reveal that Li_(2)B_(12)H_(12),which features electron-deficient multicenter bonds,can facilitate the dissociation of LiTFSI and enhance the immobilization of TFSI to improve the Li^(+)conduction properties of the CPE.Moreover,the fabricated CPE exhibits excellent electrochemical,thermal,and mechanical stability.The addition of Li_(2)B_(12)H_(12) can help form a protective layer at the anode/electrolyte interface,thereby preventing unwanted reactions.The above benefits of the fabricated CPE contribute to the high compatibility of the electrode.Symmetric Li cells can be stably cycled at 0.2mA cm^(-2) for over 1200 h,and Li||LiFePO_(4) cells can deliver a reversible specific capacity of 140mAh g^(-1) after 200 cycles at 1C at 25℃ with a capacity retention of 98%. 展开更多
关键词 lithium closo-borohydride composite polymer electrolytes lithium dendrite solid-state lithium batteries
原文传递
上一页 1 下一页 到第
使用帮助 返回顶部