不同尺度农业节水潜力的概念界定与耦合关系

不同尺度的农业节水潜力是当前的研究热点,国内外对节水潜力涉及的概念和内涵还没有一个统一的标准,当前对于不同尺度农业节水潜力的研究大多没有考虑尺度效应的问题。从节水潜力涉及的概念入手,对不同尺度的农业节水潜力、资源节水潜力和灌溉节水潜力,理论节水潜力和实际节水潜力进行了科学界定,同时对不同尺度农业节水潜力之间的耦合关系也进行了初步探讨,为研究不同尺度农业节水潜力提供理论基础。     

自尊心理研究综述

在心理学界中,自尊心理的重要性已广为心理学家们所认可和接受。国内外学者从自尊心理的概念、结构、研究工具进行了广泛深入的研究,不少学者还对自尊心理与学业成就、自尊与暴力和犯罪、自尊与滥用药物和酒精的关系进行了研究,得出了很多有价值的成果。同时,不少研究还探讨了影响自尊心理的因素,为自尊心理的培养提供了良好的理论支持。自尊心理研究虽然取得了丰硕的研究成果,但还有一些课题值得研究者继续研究。     

面向对象的CAD／CAM集成技术的研究

将面向对象方法应用于ＣＡＤ／ＣＡＭ集成的研究，提出面向对象的ＣＡＤ／ＣＡＭ集成的思想和方法；利用面向对象方法建立够集成产品设计和制造信息的产品定义模型－面向对象的产品定义模型，集成表达零件的设计，工艺规划，数控编程等活动所需信息，在此基础上开发ＣＡＤ／ＣＡＭ集成系统。介绍利用该思想方法所开发的回转类零件ＣＡＤ／ＣＡＭ集成系统。     

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.     

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

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

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

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

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.     

基于双树复小波变换的多聚焦图像融合方法

针对同一场景的多聚焦图像融合,提出了一种基于双树复小波变换(DT-CWT)的图像融合新算法.首先利用DT-CWT对图像进行多尺度和多方向分解,并根据双树复小波分解域各子带的系数特性定义了图像局部方向对比度,然后针对高频分量系数的选择,采用基于方向对比度的融合规则,而在低频域采用图像清晰度为测度的融合策略.实验结果表明,该算法能够很好地将多聚焦图像中的重要信息提取并注入到融合图像中,与其他方法相比较,取得了更好的融合效果,提高了融合图像的质量.     

基于符号模型检测的Web服务组合形式化验证

随着经济的发展和市场竞争的加剧,企业必须能够快速且准确地满足市场和用户的各种需求.Web服务组合正是由于单个Web服务不能满足企业及用户的需求而产生的一种技术,而如何确保组合的正确性来实现服务增值是一个尚未完全解决的问题.针对此问题,提出了一种基于符号模型检测器NuSMV对Web服务组合进行验证的方法,并提出了基于消息...