-
题名石油钻杆接头热处理工艺技术探索
被引量:1
- 1
-
-
作者
刘建群
-
机构
大庆钻井技术服务公司工具分公司
-
出处
《大庆师范学院学报》
2006年第2期31-34,共4页
-
文摘
以材料选择、化学成分分析为基础,确定钻杆接头的热处理工艺方法和工艺参数,并通过实践结果分析,改进工艺,满足技术条件要求。
-
关键词
钻杆接头
热处理工艺
材质分析
调质
-
Keywords
tool joint
heat treatment technology
material analysis
metal seasoning
-
分类号
TG162.79
[金属学及工艺—热处理]
-
-
题名反对称性和传递性的两个等价定义及应用
被引量:2
- 2
-
-
作者
孙凤芝
程霜梅
刘建群
-
机构
大庆师范学院数学系
长春师范学院信息技术学院
大庆钻井技术服务公司工具分公司
-
出处
《长春师范学院学报(自然科学版)》
2004年第4期16-19,共4页
-
基金
黑龙江省教育学会省级教改课题项目
-
文摘
直接根据现有离散数学教材--文献中的二元关系反对称性和传递性定义,有时不好判定二元关系的反对称性和传递性。本文给出二元关系反对称性和传递性的两种等价定义,从而可以方便、快捷地实现二元关系反对称性和传递性的判定。
-
关键词
反对称性
传递性
二元关系
等价定义
离散数学
判定
教材
文献
根据
应用
-
Keywords
binary relation
antisymmetry
transitivity
-
分类号
G633.6
[文化科学—教育学]
O158
[理学—基础数学]
-
-
题名浅析离散数学在计算机科学中的应用
被引量:2
- 3
-
-
作者
孙凤芝
马占春
刘建群
丛惠敏
-
机构
大庆师范学院数学系
齐齐哈尔大学数学
大庆钻井技术服务公司工具分公司
哈尔滨师范大学数学系
-
出处
《齐齐哈尔大学学报(自然科学版)》
2004年第4期62-62,共1页
-
文摘
1数理逻辑在计算机科学中的应用
数字逻辑作为计算机科学的一个重要理论,在很大程度上起源于离散数学的数理逻辑中的命题与逻辑演算,其在计算机硬件设计中应用更为突出.利用命题中各关联词的运算规律把由高低电平表示的各信号之间的运算与二进制数之间的运算联系起来,使得我 们可以用与非门或者用或非门来解决电路设计问题,使得整个设计过程变得更加直观,更加系统化.
-
关键词
计算机科学
计算机硬件
数字逻辑
离散数学
设计
数理逻辑
逻辑演算
命题
-
分类号
O158
[理学—基础数学]
TP301
[自动化与计算机技术—计算机系统结构]
-
-
题名二元关系传递性的探讨
被引量:1
- 4
-
-
作者
孙凤芝
刘建群
祁彦平
-
机构
大庆师范学院数学系
大庆钻井技术服务公司工具分公司
齐齐哈尔市民族中学
-
出处
《大庆师范学院学报》
2005年第4期37-38,共2页
-
文摘
通过对二元关系传递性定义的深入研究,本文给出传递性的两种等价定义,应用他们可以方便、快捷地进行传递性的判定。
-
关键词
离散数学
二元关系
传递性
-
Keywords
discrete mathematics
binary relation
transitivity
-
分类号
O211
[理学—概率论与数理统计]
-
-
题名计算机专业离散数学教学侧重点的转变
被引量:1
- 5
-
-
作者
孙凤芝
刘建群
祁彦平
-
机构
大庆师范学院数学系
大庆钻井技术服务公司工具分公司
齐齐哈尔民族中学
-
出处
《高师理科学刊》
2005年第1期87-87,共1页
-
-
关键词
离散数学教学
现代数学
分支
计算机科学
计算机专业
基础性
学科
转变
地位
层次
-
分类号
O158
[理学—基础数学]
G642
[文化科学—高等教育学]
-