中国博士后科学基金(20080431331)
- 作品数：5 被引量：1H指数：1
- 相关作者：裘江杰李鹏周北海黄华新杨昊更多>>
- 相关机构：浙江大学北京大学更多>>
- 发文基金：中国博士后科学基金国家社会科学基金更多>>
- 相关领域：哲学宗教自动化与计算机技术医药卫生更多>>
- 萨奎斯特逻辑的格
- 2009年
- 以萨奎斯特公式为额外公理添加到极小正规逻辑K上得到的逻辑都是完全的。这样得到的逻辑被称为萨奎斯特逻辑。所有的萨奎斯特逻辑组成了一个格。这个格中有可数无穷长的链以及可数无穷长的反链,格中的每个逻辑相对于格的不完全度是1。另外,萨奎斯特逻辑格的子格E具有规整的结构。
- 裘江杰周北海
- 模态逻辑的典范性问题
- 2009年
- 裘江杰
- 关键词：模态逻辑逻辑学家农业革命语义理论克里普克人类学
- 基础认知词模态逻辑
- 2009年
- 自然语言处理涉及推理,出于可实现性的考虑,为之建立逻辑系统需顾及表达力与复杂性之间的平衡。本文给出了一类简单的模态逻辑,它们刻画了认知词一个基本的性质——有限性,统一得到了它们的完全性,并且证明它们都是可判定的。
- 裘江杰黄华新
- 关键词：模态逻辑
- 超声波色差对二次谐波成像影响的研究
- 2010年
- 为了分析超声波中色差对二次谐波成像的影响,通过理论分析和仿真实验研究组织谐波成像中的色差问题.仿真结果显示,在有色差存在的情况下,二次谐波的能量产生主要集中在近场附近,谐波声束剖面与色差的基波相似,尽管二次谐波是在较深的深度产生的,它仍然会经历较大的色差,背散射声束在经过体壁传输时会使脉冲产生更严重的色差,并且随着频率的增加,非线性部分平滑振幅波动的能力减弱,从而使得色差幅度更严重.
- 郑音飞李鹏杨昊
- 关键词：医学超声组织谐波成像
- 基础认知词模态逻辑被引量：1
- 2009年
- 自然语言处理涉及推理,出于可实现性的考虑,为之建立逻辑系统需顾及表达力与复杂性之间的平衡。简单的模态逻辑刻画了认知词一个基本的性质——有限性,统一得到了它们的完全性,并且证明它们都是可判定的。
- 裘江杰
- 关键词：模态逻辑
