行动、博弈与推理

行动不描述客观事态,因而它无真值,因此不能用命题连接词将基本行动连接成复合行动.行动模态或意志模态--不同于命题模态--其算子加干行动之上才能构成行动模态命题.行动逻辑研究的是行动模态命题之间的逻辑关系,当然这里的关系可能处于多个行动者的博弈之中.     

关于S~(n+1)中常标量曲率极小超曲面的Pinching常数的注记

设M是单位球面S~(n+1)中的一个闭极小浸入超曲面,h是M的第二基本形式,s是h的模长的平方。根据Simons已得到的结果,若在M上有0≤s≤n,则s=0或n。本文讨论如下问题: s是否有另一个较大的值?若有,这个值是什么?此问题收集到[7],我们得到 定理 设M是S~(n+1)中的闭定向极小浸入超曲面,若s为大于n的常数,则 s>n+(5-17~(1/2))/(3+17~(1/2))n>n+n/9     

论模态逻辑的合法性——对蒯因式模态词解读的批判考察

全面考察蒯因式的模态词解读,可以发现这种解读是狭隘的,它过分地依赖于逻辑、语言之外的内容上的联系,不利于从外延角度来对模态词做一般的、形式化的研究;同时蒯因反驳第三等级的模态词的使用,这也是错误的,模态谓词逻辑是合法的。     

离散型指数曲线灰色拟合

定义了指数曲线离散点的曲率 ,推导出离散点列与指数函数拟合的一种新方法 ,得到离散型指数函数的灰色拟合曲线     

AP1100汽机基础动力特性研究

基于相似原理,本文按照1:8的比例设计建造了汽轮机组基础的模型,以研究其动力特性。本课题采取多点随机激振方法,测试结构的自振特性。采用锤击法考查动刚度信息。值得注意的是,本模型中尝试模拟凝汽器,模态分析后,也得到了凝汽器的振动。通过测试,得到了该汽机基础模型的各阶频率、振型、阻尼比以及各轴承160—240HZ的动刚度变化规律。     

模态性质命题传统逻辑方阵的建立

通过建立模态性质命题：模态A、模态E、模态I、模态O命题间的5个逻辑方阵,以及将模态单称命题：模态单称肯定命题（a）和模态单程否定命题（e）引入模态性质命题逻辑方阵,能够有效地涵盖模态性质命题推理的56个有效式,以及关于模态单称命题与模态A、模态E、模态I、模态O命题之间推理的48个有效式,从而有利于用传统逻辑的方法掌握繁多的模态性质命题问的关系及推理。     

基于刚柔耦合模型的混凝土泵车臂架系统动力学仿真

以某五节臂混凝土泵车臂架系统为研究对象,结合有限元理论和多体动力学理论,采用模态综合法,建立混凝土泵车臂架系统的刚柔耦合模型,以实测转台位移时间历程为激励,通过动力学仿真软件ADAMS对水平工况下臂架系统的泵送过程进行了动力学仿真,通过现场试验数据,验证了该方法的合理性。为泵车臂架系统结构动力学分析和结构改进提供了一种有效方法。     

基于Pro/E软件的传水机构特性分析及优化设计

水墨平衡是保证胶印印刷质量的关键。借助Pro/E软件,建立传水机构的三维模型,然后对传水机构的动态性能进行了系统的分析,并根据分析结果,对印刷机墙板结构进行了优化,从而为印刷机的传水辊设计和改进提供了一定的借鉴。     

一种基于模态语境的分析性刻画新方案

在借鉴前人,特别是蒯因与周北海对分析性的研究成果的基础上,提出了一个分析性刻画的新方案:在普通外延性逻辑语言的基础上再引进模态语组"必然地"及相关可能世界解释,在这种强化的语言中,就可以通过两个谓词的外延间在所有相关可能世界内的必然同一关系(即同义)而刻画分析性。这种做法既满足了蒯因要对分析性做严格外延化处理的要求,又能有效避免周北海先生的弱化结论。     

铁路缓和曲线代数式方程的通用设计方法

根据铁路缓和曲线的特点,介绍了利用缓和曲线边界条件确定其代数方程式的一种通用方法：首先给出缓和曲线要满足的边界条件,根据边界条件列出曲率待定方程;然后利用曲率边界条件确定出缓和曲线曲率方程;最后通过对曲率方程进行二次积分就可得到缓和曲线的方程。采用这种方法分别对各种类型的缓和曲线举出实例,详细说明了该方法的应用,证明了该方法正确、简单,是一种适用于推导缓和曲线方程的通用方法,可为铁路缓和曲线线型设计提供参考。