期刊文献+
共找到10篇文章
< 1 >
每页显示 20 50 100
四边简支压电层合厚板的一阶理论解析解 被引量:2
1
作者 王洪军 温杰 聂辉 《国防交通工程与技术》 2006年第3期22-25,55,共5页
基于一阶剪切变形板壳理论和压电理论,推导了压电层合板结构的基本方程。对四边简支的压电层合板在四边接地、上下表面受外加电压及无外加电压作用时进行了解析求解,求得了电势和位移的表达式,给出了压电层和基体的挠度及电势分布图。
关键词 压电层合板 压电材料 一阶理论 静力弯曲
下载PDF
轮轮系统动力学研究 被引量:1
2
作者 夏富杰 詹斐生 《铁道机车车辆》 1999年第1期11-15,4,共5页
探讨轮轮系统动力学的建模方法和实现计算机模拟。以车辆滚动试验台模拟直线轨道和直线不平顺轨道车辆的运动为研究对象,用De Pater的车辆动力学一阶理论建立轮轮系统的动力学方程式;用MATLAB语言编制软件,将空心轴传动高速动力车车轮GD... 探讨轮轮系统动力学的建模方法和实现计算机模拟。以车辆滚动试验台模拟直线轨道和直线不平顺轨道车辆的运动为研究对象,用De Pater的车辆动力学一阶理论建立轮轮系统的动力学方程式;用MATLAB语言编制软件,将空心轴传动高速动力车车轮GDM与P_(60)钢轨配合,分析计算其试验台轮轮接触的动力学参数,为高速轮轨型面的优化提供依据并为车辆在滚动试验台上运动的计算机模拟提供了一种方法。 展开更多
关键词 轮轮系统 一阶理论 动力学 机车 列车 轨道
下载PDF
轮轨接触力(蠕滑力)实用工程算法探讨 被引量:1
3
作者 夏富杰 詹斐生 +1 位作者 付秀通 柳拥军 《铁道学报》 EI CAS CSCD 北大核心 1999年第2期37-41,共5页
探讨一种计算轮轨之间接触力(蠕滑力)的又快又较准确的实用工程方法;以三维滚动接触理论为基础,根据铁路工程实际,采用与DePater的一阶理论相适应的半线性蠕滑力的计算公式,以二维插值查表法确定接触力(蠕滑力);该法对... 探讨一种计算轮轨之间接触力(蠕滑力)的又快又较准确的实用工程方法;以三维滚动接触理论为基础,根据铁路工程实际,采用与DePater的一阶理论相适应的半线性蠕滑力的计算公式,以二维插值查表法确定接触力(蠕滑力);该法对于赫兹(Hertz)法向接触力和卡尔克(Kalker)切向接触力均可使用;以此法为基础用MATLAB语言编制的程序比Kalker的FASTSIM程序还要快5倍左右且有较高的计算精度; 展开更多
关键词 轮轨接触力 Kalker理论 半线性公式 一阶理论
下载PDF
一阶理论的主型 被引量:1
4
作者 陈国龙 《数学进展》 CSCD 北大核心 2000年第1期51-54,共4页
研究了主型的有关性质,证明了一个素模型存在的充分必要条件.
关键词 主型 完全公式 素模型 模型论 一阶理论
下载PDF
基于一阶理论的个性化定制需求可满足性研究
5
作者 马耀 王国栋 刘国华 《燕山大学学报》 CAS 北大核心 2022年第6期554-560,共7页
产品个性化定制在服装等产品生产中广泛使用,但是个性化定制需求的多样性等特点导致在判断生产商是否具备加工能力时存在困难。文中采用基于一阶逻辑描述生产线加工能力以及个性化定制产品需求的方式,基于该模型提出判断生产线能否满足... 产品个性化定制在服装等产品生产中广泛使用,但是个性化定制需求的多样性等特点导致在判断生产商是否具备加工能力时存在困难。文中采用基于一阶逻辑描述生产线加工能力以及个性化定制产品需求的方式,基于该模型提出判断生产线能否满足个性化定制需求的方法,将个性化定制需求表示为逻辑公式,生产线的生产要素表示为一阶理论,通过检查需求公式是否是该理论的语义属性判断需求在某个生产线的可满足性。该方法可以在用户明确需求之后,根据生产商资源判断个性化定制需求的可满足性。 展开更多
关键词 工业互联网 个性化定制 可满足性 一阶理论 形式化
下载PDF
The Future of Cosmology and the Role of Non-Linear Perturbations
6
作者 Adam J.Christopherson 《Communications in Theoretical Physics》 SCIE CAS CSCD 2012年第2期323-325,共3页
Cosmological perturbation theory is a key tool to study the universe.The linear or first order theory is well understood,however,developing and applying the theory beyond linear order is at the cutting edge of current... Cosmological perturbation theory is a key tool to study the universe.The linear or first order theory is well understood,however,developing and applying the theory beyond linear order is at the cutting edge of current research in theoretical cosmology.In this article,I will describe some signatures of non-linear perturbation theory that do not exist at linear order,focusing on vorticity generation at second order.In doing so,we discuss why this,among other features such as induced gravitational waves and non-Gaussianities,shows that cosmological perturbation theory is crucial for testing models of the universe. 展开更多
关键词 COSMOLOGY perturbation theory NON-LINEAR
原文传递
关于一阶理论的型与可数模型的关系 被引量:3
7
作者 陈国龙 《数学研究》 CSCD 1997年第3期300-302,共3页
引入了一类特殊的型的概念,较集中地论述了一阶理论的型与可数模型的关系.
关键词 一阶理论模型 可数模型 可数语言 经典模型论
下载PDF
基于类型一阶理论的逻辑自动编程 被引量:3
8
作者 姜涛 孙怀民 《软件学报》 EI CSCD 北大核心 1994年第11期50-58,共9页
本文用类型一阶理论来定义逻辑程序,并通过引入Lakatos的基于证伪的发现方法论将原有的封闭型类型一阶理论改造为开放的类型一阶理论.在此基础上,建立了一个基于假说演算的逻辑自动编程理论,并利用这一理论在Sun工作站上... 本文用类型一阶理论来定义逻辑程序,并通过引入Lakatos的基于证伪的发现方法论将原有的封闭型类型一阶理论改造为开放的类型一阶理论.在此基础上,建立了一个基于假说演算的逻辑自动编程理论,并利用这一理论在Sun工作站上建立了一个自动设计Prolog型程序的实验系统. 展开更多
关键词 类型一阶理论 逻辑程序 自动编程
下载PDF
完全二叉树理论的计算复杂度 被引量:2
9
作者 李志敏 罗里波 李祥 《数学学报(中文版)》 SCIE CSCD 北大核心 2008年第2期311-318,共8页
完全二叉树的一阶理论已被证明具有量词消去的性质,进而计算了完全二叉树模型中元素的CB秩.本文利用有界Ehrenfeucht-Frassé博弈研究完全二叉树的一阶理论,证明了此理论的时间计算复杂度上界为22cn,空间计算复杂度上界为2dn(其中... 完全二叉树的一阶理论已被证明具有量词消去的性质,进而计算了完全二叉树模型中元素的CB秩.本文利用有界Ehrenfeucht-Frassé博弈研究完全二叉树的一阶理论,证明了此理论的时间计算复杂度上界为22cn,空间计算复杂度上界为2dn(其中n为输入长度,c,d为合适的常数). 展开更多
关键词 完全二叉树的一阶理论 有界Ehrenfeucht-Fraissé博弈 计算复杂度
原文传递
精化一阶剪切变形理论和三角形层合板单元
10
作者 任晓辉 《大连铁道学院学报》 2006年第3期13-16,共4页
基于L i和L iu的整体-局部高阶理论思想(1997),推导了精化一阶剪切变形理论.这种理论满足位移和横向剪切应力层间连续条件并且未知数个数独立于层合板的层数,同时不需要任何剪切校正系数.基于此理论建立了满足C1连续条件的三节点三角形... 基于L i和L iu的整体-局部高阶理论思想(1997),推导了精化一阶剪切变形理论.这种理论满足位移和横向剪切应力层间连续条件并且未知数个数独立于层合板的层数,同时不需要任何剪切校正系数.基于此理论建立了满足C1连续条件的三节点三角形单元.结果表明:当前理论能准确计算层合板的自然频率. 展开更多
关键词 精化一阶理论 三角形单元 层间应力连续条件 自然频率
下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部