咨询与建议
  • 全部搜索
  • 期刊论文
  • 图书
  • 学位论文
  • 标准
  • 纸本馆藏
  • 外文资源发现
  • 数据库导航
  • 超星发现
高级检索

限定检索结果

文献类型

  • 15 篇 期刊文献
  • 2 篇 会议

馆藏范围

  • 17 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 11 篇 工学
    • 4 篇 机械工程
    • 4 篇 计算机科学与技术...
    • 3 篇 软件工程
    • 2 篇 控制科学与工程
    • 1 篇 仪器科学与技术
    • 1 篇 材料科学与工程（可...
    • 1 篇 信息与通信工程
  • 9 篇 理学
    • 8 篇 数学
    • 2 篇 系统科学
  • 4 篇 哲学
    • 4 篇 哲学
  • 2 篇 军事学
    • 1 篇 军队指挥学
    • 1 篇 军事装备学
  • 1 篇 管理学
    • 1 篇 管理科学与工程(可...

主题

  • 3 篇 中介逻辑
  • 2 篇 计算机模拟
  • 2 篇 虚拟现实
  • 1 篇 微分方程
  • 1 篇 数理逻辑
  • 1 篇 气象数据库
  • 1 篇 语言表达能力
  • 1 篇 cscw
  • 1 篇 图象金字塔处理
  • 1 篇 数学方法论
  • 1 篇 三值逻辑
  • 1 篇 分布式
  • 1 篇 数学发现
  • 1 篇 数项级数
  • 1 篇 类比
  • 1 篇 焊缝
  • 1 篇 应用程序
  • 1 篇 图象处理
  • 1 篇 程序设计
  • 1 篇 概集

机构

  • 7 篇 空军气象学院
  • 4 篇 南京航空航天大学
  • 2 篇 大连理工大学
  • 2 篇 中共芜湖市委党校...
  • 2 篇 航空航天大学
  • 2 篇 南京大学
  • 2 篇 南京空军气象学院
  • 2 篇 南京解放军理工大...
  • 1 篇 南京气象学院
  • 1 篇 南京市空军气象学...
  • 1 篇 南京通信工程学院
  • 1 篇 解放军信息工程学...
  • 1 篇 气象学院
  • 1 篇 通信工程学院
  • 1 篇 军事经济学院
  • 1 篇 西安空军工程大学
  • 1 篇 云南省气象局
  • 1 篇 人民解放军空军气...
  • 1 篇 中国人民解放军空...
  • 1 篇 南京空军司令部气...

作者

  • 8 篇 肖奚安
  • 3 篇 朱梧
  • 3 篇 顾大权
  • 3 篇 朱梧槚
  • 3 篇 王建东
  • 2 篇 侯太平
  • 2 篇 张东摩
  • 2 篇 吴志坚
  • 2 篇 章铸
  • 2 篇 顾红芳
  • 2 篇 徐利治
  • 1 篇 翟建设
  • 1 篇 孙勇鹤
  • 1 篇 傅德胜
  • 1 篇 朱梧贾
  • 1 篇 姚楠
  • 1 篇 周正华
  • 1 篇 白鹏
  • 1 篇 杨利平
  • 1 篇 蒋林

语言

  • 17 篇 中文
检索条件"机构=南京空军气象学院计算机教研室"
共 17 条 记 录，以下是11-20 订阅
全选 清除本页 清除全部 题录导出 标记到"检索档案"
详细 简洁
排序：
中介逻辑十五年
中介逻辑十五年
收藏
分享
引用
1998年计算机专题学术会议
作者： 朱梧(木贾) 肖奚安 航空航天大学计算机科学研究所 人民解放军空军气象学院数学教研室(南京)
该文从构造和发展中介逻辑的思想背景与原则、数学背景与相关方案的实施情况以及中介逻辑在计算机科学中的应用前景等几个方面阐述了开始研制中介逻辑至今年１５年来的发展概况。
来源： 评论
经典公理集合论系统与中介公理集合论系统之间的包含关系
收藏
分享
引用
Journal of Mathematical Research and Exposition 1997年 第3期17卷 475-478页
作者： 张东摩 肖奚安 南京航空航天大学计算机系 空军气象学院数学教研室
本文首先在中介公理集合论系统ＭＳ中构造出Ｐｅａｎｏ自然数系统，以此为基础重新定义了ＭＳ中的良集概念，证明了新定义的良集满足经典公理集合论系统ＺＦＣ－（ＺＦＣ中去掉正则公理的集合论系统）的全部公理，从而说明经典公理集合... 详细信息
来源： 评论
通过从平面几何到立体几何的类比进行数学发现的计算机模拟
收藏
分享
引用
数学物理学报（A辑） 1996年 第4期16卷 377-384页
作者： 王建东 朱梧 肖奚安 陈松灿 张东摩 空军气象学院 南京航空航天大学南京大学计算机软件国家重点实验室
该文从数学方法论的角度阐述了归纳、类比等数学方法在数学发现、发现与创新中的重要作用．从这一观点出发，提出了采用类比方法实现数学发现的计算机模拟的基本思想，并介绍了一个通过类比平面几何中的定理来发现立体几何中的有关定理... 详细信息
来源： 评论
常系数线性微分方程RMI解题机
收藏
分享
引用
Journal of Mathematical Research and Exposition 1996年 第3期16卷 471-476页
作者： 王建东 朱梧(木贾) 肖奚安 徐利治 南京航空航天大学计算机科学与工程系 南京大学计算机软件国家重点实验室 空军气象学院数学教研室 大连理工大学数学科学研究所
本文介绍的常系数线性微分方程解题机是利用数学方法论的研究成果，摸拟人的数学思维过程，采用关系映射反演（ＲＭＩ）方法，通过符号推理给出微分方程解析解的数学软件．文中介绍了研制该解题机的基本思想和实现技术，并给出了用解题... 详细信息
来源： 评论
分布式监测系统的设计与实现
收藏
分享
引用
计算机系统应用 1994年 第3期3卷 2-4页
作者： 胡友彬 空军气象学院计算机教研室
本文分析了分布式监测系统的结构和特点，以吴江发电厂分布式监测系统（WJDS）的具体实施为例，提出了分布式监测系统的设计方法，并针对公布式监测系统实现中的一些问题进行了讨论。
来源： 评论
数学直觉形象思维的应有地位及其计算机模拟问题
收藏
分享
引用
常熟高专学报 1994年 第1期3卷 1-11,17页
作者： 朱梧贾 肖奚安 南京航空航天大学计算机科学研究室 中国人民解放军空军气象学院数学教研室
来源： 评论
焊缝X射线底片中图象的预处理算法
收藏
分享
引用
计算机应用 1992年 第4期12卷 15-18页
作者： 傅德胜 孙勇鹤 周正华 南京气象学院计算机开发应用教研室 210044 云南省气象局
本文阐述了利用微机自动评定焊缝射线底片前的预处理工作,其中包括图象输入、灰度线性变换、噪声消除、边缘检测、背景去除、图象细化等内容。既介绍了算法,又给了处理实例。
来源： 评论
全选 清除本页 清除全部 题录导出 标记到“检索档案”
共2页 <<  < 1 2 >  >>
回到顶部
执行限定条件