An Outer-Measure Approach for Resource-Bounded Measure

Lutz developed a general theory of resource-bounded measurability and measure on suitable complexity classes C⊆C (see Proceedings of the 13th IEEE Conference on Computational Complexity, pp. 236–248, 1998), where Cantor Space C is the class of all decision problems, and classes C include various exponential time and space complexity classes, the class of all decidable languages, and the Cantor space C itself. In this paper, a different general theory of resource-bounded measurability and measure on those complexity classes is developed. Our approach is parallel to the Carathéodory outer measure approach in classical Lebesgue measure theory. We shall show that many nice properties in the classical Lebesgue measure theory hold in the resource-bounded case also. The Carathéodory approach gives short and easy proofs of theorems in the resource-bounded case as well as in the classical case. The class of measurable sets in our paper is strictly larger than that of Lutz, and the two resource-bounded measures assign the same measure for a set if the set is measurable in the sense of Lutz.     

一种面向工业控制的串口通信控制技术

介绍了串口通信的接口定义、接线标准、通信协议和梅钢热轧喷印控制系统使用串口通信的网络组态、数据交换、信息通信及喷印系统进程软件的功能实现。     

引人注目的新材料——准晶材料(二) 准晶基础

描述了准晶的定义,介绍了准晶常用的两种分类方法、三个典型结构模型及准晶结构不完整性等准晶的基础知识。     

炼化工程EPC项目的WBS编制与应用

WBS（工作分解结构）是项目管理的重要组成部分及核心内容,是制定进度计划、资源需求、成本预算、风险管理计划、变更与索赔管理的重要基础。论文就某已执行完海外炼化EPC项目,在WBS的编制、维护、应用等方面给予详细论述,包括WBS结构的定义、WBS字典的编制、WBS的更新、维护等内容。其中,结合了笔者对WBS的理解,针对性总结提炼了一些心得,目的是提高我们的WBS编制水平。从本项目执行效果看,此WBS能够满足项目的管理需要,为项目的成功执行发挥了应有作用,对于类似的EPC项目,在WBS结构的规划、WBS字典的编制和应用等方面对读者有所帮助。     

智能加载激光洛氏硬度标准装置C标尺力值加载系统的控制

介绍了智能加载激光洛氏硬度标准装置C标尺力值加载控制系统,控制部分利用电机控制砝码的运动,利用旋转电磁铁实现砝码的自动变换,利用激光干涉仪实现压痕深度和主轴运行速度的自动测量,实现了压痕深度和力值变化的全程监测以及洛氏硬度试验的自动化。试验结果符合国际洛氏硬度新定义标准草案的要求。     

适合实时硬件实现的Bayer图像插值算法

现今已有大量的CFA插值算法问世,然而大多数只是针对独立使用或者是后期处理的场合。因为这些方法往往需要复杂的运算过程甚至迭代计算,所以不适合实时硬件实现。针对高清Bayer图像,提出了一种面向硬件的实时、高效的插值算法。该算法专注于插值过程的计算复杂度最小化以适合低资源利用量的实时硬件实现并且使最终输出的彩色图像保持较高的质量。使用加权梯度方法对每个像素的3乘5邻域分析得到最平滑的两个方向,丢失的两个颜色分量则沿该两个方向进行插值。采用了峰值信噪比(PSNR)和CIELAB颜色空间误差两种评判标准将该算法与目前一些常用的插值算法进行了比较。     

Finite element computation of fatigue growth rates for mode I cracks subjected to welding residual stresses

This paper presents a finite element modeling procedure for predicting fatigue crack growth rate in butt welds subject to mode I loading condition. Sequentially coupled three-dimensional thermal–mechanical finite element model to simulate welding residual stress was first developed. The weld-induced residual stress effect on the fatigue crack growth rate was then modeled by calculating the stress intensity factor due to the residual stress field based on the superposition rule of the linear elastic fracture mechanics. The results demonstrated the significance of the residual stresses in assessment of the fatigue crack growth rate in the welds.     

调理食品现状及发展趋势探讨

阐述了调理食品的定义、分类及特点,并对国内、国际调理食品的现状及发展趋势进行了说明,提出了发展国内调理食品的几点建议。作为一种新型消费模式,具有食用方便、健康营养、新鲜多样等特点的调理食品,发展前景广阔。     

采用HD-SDI的高清视频采集卡的设计与实现

设计了一种采用HD-SDI的高清视频采集卡,主要介绍了其电路结构,并通过上位机软件实现了数据的采集和预览,经过对该卡的实验和调试,达到了预期的效果,在此基础上可进一步研发基于FPGA的视频图像处理器.