您的位置： 专家智库 > >

何运

作品数：7 被引量：0H指数：0
供职机构：长安大学更多>>
相关领域：交通运输工程自动化与计算机技术理学机械工程更多>>

合作作者

文献类型

  • 7篇中文期刊文章

领域

  • 3篇自动化与计算...
  • 3篇交通运输工程
  • 1篇机械工程
  • 1篇理学

主题

  • 3篇人工智能
  • 2篇硬件
  • 1篇弹性模量
  • 1篇定理
  • 1篇定理证明
  • 1篇动弹性模量
  • 1篇动强度
  • 1篇动态系统
  • 1篇台架
  • 1篇特征值
  • 1篇同步采集
  • 1篇土壤
  • 1篇土壤压实
  • 1篇频谱
  • 1篇频谱分析
  • 1篇子句
  • 1篇自动化
  • 1篇微机
  • 1篇无损检测
  • 1篇系统辨识

机构

  • 6篇西安公路学院
  • 1篇长安大学

作者

  • 7篇何运
  • 3篇陈进才
  • 2篇简林莎
  • 1篇魏继桐
  • 1篇卫雪莉
  • 1篇顾炳其

传媒

  • 5篇西安公路学院...
  • 1篇交通与计算机
  • 1篇中国公路学报

年份

  • 1篇1995
  • 1篇1994
  • 1篇1992
  • 2篇1991
  • 1篇1990
  • 1篇1989
共 7 条 记 录，以下是 1-7
全选 清除 导出
排序方式：
动态系统分析法在土壤压实中的应用研究
1995年
为了动态反映压实过程中土壤特性的变化．本文应用系统辨识理论对土的压实中出现的极限压实状态建立了基准模型。分析选择了能反映压实状态变化的若干特征值，并确立了待压实路段压实状态的判别准则。应用研制的本系统硬、软件，对土壤压实试验进行了动态判别，并分析其结果。
简林莎何运卫雪莉
关键词：土壤压实系统辨识特征值硬件
自动化定理证明的发展与现状
1989年
该文旨在扼要介绍自动化定理证明(ATP)的发展历史与现状。其中,阐述了 ATP 的理论基础、基本原理和研究方向,列举了部分定理证明系统的主要功能和特征,并介绍了在此领域一些主要人物的基本思想和方法。同时,也对四色问题与初等几何定理证明作了简单的讨论。最后,简单介绍了作者在 IBM—PC 机上实现的“格上的定理证明系统—TPSL”,并给出有关程序与算例。
何运陈进才
关键词：人工智能自动化定理证明
推广的算子模糊逻辑及其性质
1992年
本文针对改进的模糊逻辑系统及其结合算子格、α-解释和λα-恒设的概念,本文进一步引进Ⅰ—型算子格、Ⅱ—型算子格、Ⅲ—型算子格、典型算子格及标准算子格的概念,使建立在这些新概念基础上的算子模糊逻辑系统成为原系统的扩充.同时,给出并证明了一些在算子模糊逻辑系统中比原系统更一般的结果.
陈进才何运
关键词：人工智能模糊逻辑
在台架上仿真车辆运行中发动机的工作状况
1991年
本文论述了如何在台架上仿真车辆运行中发动机的工作状态,介绍了仿真系统构成,软件和硬件的设计。在所建立的仿真设备上完成了台架六工况仿真。
何运朱登文
关键词：仿真发动机硬件
通用微机同步采集与控制接口板的研制
1994年
本文介绍了用１２位Ａ／Ｄ转换器ＡＤ５７４Ａ、８２５３—５定时器／计数器和８２５９Ａ中断控制器等组成的通用微机同步采集与控制接口板的性能和使用方法。
简林莎魏继桐何运
关键词：微机同步采集
道路结构与动强度的无损检测
1991年
表面波频谱分析法是对路面体系的分层动弹性模量和分层厚度进行测定的无损方法,该法速度快、经济且结果具有唯一性。本文对其基本原理、现场检测技术和数据处理方法作了简单的介绍。
李其付顾炳其何运
关键词：频谱分析动弹性模量路面
两个改进的格的定理证明系统
1990年
该文运用Robinson的归结原理,分别用Prolog与Lisp实现了两个格上的定理证明系统——TPSL1和MTPSL2。其中,TPSL1采用深度优先、从左到右的输入搜索策略,证明格上基于Horn子句集的定理;MTPSL_2分为两部分:①利用Chang的单位归结通用证明程序,证明格上基于Horn集的定理;②利用MOL—归结,并采用深度优先及删除与半最小文字的启发策略的通用证明程序,证明格上基于非Horn集的定理。同时,给出了有关算法的完备性定理与相容性定理。
陈进才何运
关键词：HORN子句人工智能
全选 清除 导出
共1页<1>
聚类工具0