期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到2篇文章
< 1 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
可计算性逻辑中CL4系统定理证明
1
作者 马晓珏 《西安邮电学院学报》 2011年第5期80-82,97,共4页
可计算性逻辑的形式系统CL4具有强大的表达能力和很好的应用前景,为了进一步完善其理论基础,采用严格的逻辑方法,对该系统中的相关重要定理进行证明。证明过程及其结果显示,该系统中的一般原子表示一般的可计算性问题,在意义上有别于经... 可计算性逻辑的形式系统CL4具有强大的表达能力和很好的应用前景,为了进一步完善其理论基础,采用严格的逻辑方法,对该系统中的相关重要定理进行证明。证明过程及其结果显示,该系统中的一般原子表示一般的可计算性问题,在意义上有别于经典逻辑中的原子。 展开更多
关键词 可计算性逻辑 cl4系统 定理证明
在线阅读 下载PDF
ISO3834和EN15085标准下CL4焊接质量体系的建立 被引量：3
2
作者 黄思俊 靳利 《电焊机》 北大核心 2012年第12期43-46,共4页
随着EN15085在国内的推广和运用,涉及到轨道产品及其零部件焊接生产的制造厂商根据产品的认证等级应取得与之相对应的CL1和CL2的认证级别,同样,对于不进行焊接制造而只进行设计、采购和销售或采购和安装铁路产品及其零部件的企业,通过EN... 随着EN15085在国内的推广和运用,涉及到轨道产品及其零部件焊接生产的制造厂商根据产品的认证等级应取得与之相对应的CL1和CL2的认证级别,同样,对于不进行焊接制造而只进行设计、采购和销售或采购和安装铁路产品及其零部件的企业,通过EN15085体系CL4级别的认证对企业本身产品质量体系的改进和完善以及未来自身核心竞争力的提升成为企业发展战略和规划的核心要素之一。通过此次某公司的EN15085-2:CL4的认证经历,描述了认证前期准备工作及如何建立CL4等级的质量体系,为其他企业的认证提供一定参考和借鉴。 展开更多
关键词 EN15085—2 cl4 焊接质量体系
在线阅读 下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 下一页 到第 页
使用帮助 返回顶部