您的位置: 专家智库 > >

刘军

作品数:35 被引量:20H指数:2
供职机构:西南交通大学更多>>
相关领域:经济管理建筑科学交通运输工程自动化与计算机技术更多>>

文献类型

  • 15篇学位论文
  • 13篇专利
  • 4篇期刊文章
  • 2篇会议论文
  • 1篇科技成果

领域

  • 7篇经济管理
  • 5篇建筑科学
  • 3篇自动化与计算...
  • 3篇交通运输工程
  • 2篇理学
  • 1篇金属学及工艺
  • 1篇电气工程
  • 1篇核科学技术
  • 1篇政治法律
  • 1篇文化科学
  • 1篇艺术

主题

  • 12篇矛盾体
  • 9篇命题逻辑
  • 7篇机器证明
  • 5篇一阶逻辑
  • 5篇逻辑公式
  • 4篇并行处理
  • 3篇代数
  • 3篇蕴涵代数
  • 3篇删除
  • 3篇子句
  • 3篇逻辑
  • 3篇逻辑关系
  • 3篇刻画
  • 2篇延拓
  • 2篇铁路
  • 2篇企业
  • 2篇网络
  • 2篇建筑
  • 2篇格蕴涵代数
  • 2篇格值

机构

  • 34篇西南交通大学
  • 3篇中国建筑西南...

作者

  • 35篇刘军
  • 13篇陈树伟
  • 13篇何星星
  • 13篇徐扬
  • 13篇钟小梅
  • 3篇陈斌
  • 1篇张涛
  • 1篇韩正庆
  • 1篇何正友
  • 1篇周晓东
  • 1篇王牣
  • 1篇陈奇志
  • 1篇高仕斌
  • 1篇陈维荣
  • 1篇赵擎夏

传媒

  • 2篇四川建筑
  • 1篇建筑学报
  • 1篇中国战略新兴...
  • 1篇四川省土木建...
  • 1篇中国系统工程...

年份

  • 2篇2019
  • 14篇2018
  • 1篇2017
  • 2篇2015
  • 1篇2014
  • 2篇2013
  • 1篇2012
  • 1篇2009
  • 1篇2006
  • 1篇2005
  • 1篇2004
  • 1篇2003
  • 1篇2001
  • 2篇2000
  • 2篇1998
  • 1篇1996
  • 1篇1994
35 条 记 录,以下是 1-10
排序方式:
基于三角模的蕴涵代数
刘军
关键词:模(数学)模糊蕴涵三角模模糊逻辑
闭式导叶轮的数控加工关键技术研究
闭式导叶轮是核反应堆冷却剂循环泵(简称核主泵)中重要的能量转换部件,其加工质量直接影响着核主泵长期安全运行的稳定性和工作效率。由于闭式导叶轮不仅具有和叶轮叶片相似的复杂曲面特征,还具有深流道、窄空间、材料难加工的特点,其...
刘军
关键词:三维造型机械制造数控加工
高速铁路控车场景的功能仿真设计与虚拟化测试
对高速铁路CTCS-3(ChineseTrainControlSystemLevel-3)级列控系统来说,行车许可是保证列车安全运行的关键信息之一。围绕行车许可的生成及执行,高速铁路控车场景功能主要包括CTC(Centr...
刘军
关键词:虚拟化技术高速铁路
一阶逻辑中基于扩展三角形的矛盾体分离演绎推理方法
本发明公开了一阶逻辑中基于扩展三角形的矛盾体分离演绎推理方法,该方法依次通过:对于一阶逻辑中的子句集构造扩展三角形标准矛盾体,形成标准矛盾体分离式,根据标准矛盾体分离式判断子句集的不可满足性;如果能够判断子句集不可满足,...
徐扬陈树伟刘军钟小梅何星星
文献传递
柔性交流输电系统(FACTS)及其稳态潮流计算方法
刘军
关键词:交流输电系统FACTS控制器潮流计算
基于时变T-Copula的沪深股指组合的风险度量
当前的金融市场,随着金融改革的深入化,金融市场的联系日益紧密,投资组合、金融风险管理更是成为学者们关注的热点问题。投资组合风险的研究,首先就是要研究金融变量之间的相关性关系。对于研究投资组合的相关关系,传统投资组合一般都...
刘军
关键词:COPULA函数时变COPULA蒙特卡洛模拟
文献传递
西藏博物馆主馆被引量:2
2006年
赵擎夏刘军聂毅
关键词:西藏博物馆建筑
共性与个性——地方主义建筑综述
引用L.A.怀特的话:'一种栖息环境会产生一种文化类型,另一种栖息环境则会产生另一种文化环境.'本文通过对世界范围内不同时段建筑文化的分析,其中以欧洲为主,比较建筑文化,体现共性与个性.
陈斌刘军
关键词:建筑文化
文献传递
命题逻辑中基于极大子句判定公式属性的方法
本发明公开了命题逻辑中基于极大子句判定公式属性的方法,其步骤为:首先,根据子句集S中出现的所有命题变元集合V(S),构造一个关于V(S)的极大子句D(k),其次,在子句集S中将与子句~D(k)含有相同文字的子句删除,并将...
徐扬钟小梅刘军何星星陈树伟
文献传递
地铁隧道钻孔设备的结构分析及液压系统
针对传统地铁隧道汇流排安装施工中定位立柱锚螺栓孔钻孔作业施工环境差、施工质量难以保障、施工效率低以及现有隧道钻孔设备自动化和智能化程度低的特点,设计并研究了一种新型的地铁隧道钻孔设备的机械工作机构和电液控制系统。  设备...
刘军
关键词:地铁隧道钻孔设备液压系统
文献传递
共4页<1234>
聚类工具0