论文部分内容阅读
本文讨论了Girard Quantale范畴中的极限,并且给出了该极限的结构,同时得到了此范畴是完备范畴,且具有拉回等性质.
Girard Quantale范畴中的极限
【摘 要】
：
本文讨论了Girard Quantale范畴中的极限,并且给出了该极限的结构,同时得到了此范畴是完备范畴,且具有拉回等性质.
【机 构】
：
泰山学院数学与系统科学学院
【出 处】
：
泰山学院学报
【发表日期】
：
2009年3期
其他文献
提出用弹簧一质量系统抑制旋转柔性梁的振动，建立Euler-Bernoulli梁的动力学模型。对方程进行无量纲化，并在质量为慢时变运动、旋转角速度和角加速度为梁变形同阶小量时，对非线
介绍了参数化绘图技术,利用Visual Basic 6.0对AutoCAD进行二次开发,引入模块化思想,开发了DX型钢绳芯带式输送机参数化绘图系统,显著提高了绘图的效率和准确性。通过实例运
应用拉格朗日方程得到有阻尼弹簧测力机构在简谐激励作用下的非线性运动微分方程Duffing-Mathieu方程;根据非线性振动的多尺度法求得系统满足主参数共振情况的一次近似解,并
改革开放20多年来，河北农垦的土地经营制度多次进行了重大调整，在一定程度上促进了生产力的发展。但是，在实行以职工家庭承包经营为基础统分结合的双层经营体制、特别是我国加入
清代乾嘉时期,士人人格走向孱弱低靡,当时的人已对此有所指摘,稍后的批判则更为激烈。至嘉道之际,随着政局险象环生,士人人格开始发生转化,逐渐从委顿中挺立起来。
基于管道振动的模态分析及谐响应分析，计算管道的声辐射效率，建立结构体振动与其辐射噪声之间的关系。文中首先建立管道的圆柱壳模型，进行管道结构动力学分析，采用有限元方法获得
在复合材料层间植入韧性夹层，可以有效提高层间韧性，其增韧机理在于夹层可以有效降低纤维层对裂纹尖端的约束，并降低裂纹尖端应力。文中建立层间裂纹的有限元模型，采用数值分析方
王震曾是党和国家卓越的领导人。战争时期，他是驰骋沙场、骁勇善战的英雄；和平年代，他又是新中国农垦事业的奠基人、开拓者和领导者。他常年居住在首都，同样关心和支持并且亲自过
利用Hoff夹层板理论研究约束阻尼结构的固有频率和模态损耗因子的计算问题。计算结果表明，利用Hoff理论计算约束阻尼结构固有频率和模态损耗因子方法具有较高的计算精度，与Ansy
无论是何种手术，对患者都是一种强烈的心理刺激，都会使患者产生紧张和恐惧心理，如果这种心理障碍得不到一定的缓解，将会影响手术和麻醉的效果，同时也会影响术后病情恢复。因此在术