考虑冷变形加工硬化的翻边力理论计算

在分析现有计算公式存在不足的基础上,根据翻边变形区材料的应力应变特点,考虑了冷变形加工硬化(取幂函数硬化规律)和变形区材料厚度变化(翻边为变薄)两个因素的影响,利用金属塑性成形问题求解理论中的主应力法,推导和提出了圆孔翻边力计算的一个新公式.通过用钢板(SPCC)和铜板(T1)进行了翻边工艺试验的验证,并与经验公式和现有理论公式的计算结果进行了比较,表明新公式计算结果能接近于实际,且原理上更为科学合理.     

广义KDV-MKDV方程的精确解

利用直接积分方法将广义KDV-MKDV方程化为一阶变系数非线性常微分方程组,然后用待定系数法确定相应的常数获得了广义KDV-MKDV方程新的精确解;利用先作假设变换后选取试探函数的方法来直接构造广义KDV-MKDV方程新的精确解.     

水电站月度调度函数的模型制定与模拟结果评价

基于统计学中多元逐步回归原理建立了多年调节水电站分月调度函数模型,并根据水电站优化调度特征确定待选自变量,用以指导电站实际优化调度运行。在考虑电站自身各约束及综合利用要求的前提下,进一步采用程序设计模拟调度函数指导水电站长系列调度运行,通过对模拟结果的全面评价,证实所建立的调度函数具有良好的指导意义和实用价值。     

古木建筑榫卯连接M-θ相关曲线模型研究

通过对木结构榫卯连接模型试验及其试验结果分析,得出影响连接刚度的主要因素是替木尺寸,榫头尺寸和卯孔对柱的削弱程度.利用最小二乘法对试验数据进行处理,得出榫头尺寸及卯孔对刚度影响的规律.在原有的3参数幂函数模型的基础上,建立适合木结构榫卯连接的4参数幂函数弯矩-转角的相关曲线模型.本文基本结论可以为古木结构的研究和修缮工作提供一些理论帮助.     

功能弹性体

功能弹性体是近年发展起来的新的高分子科学领域.本文由其归纳和分类出发.分别评述了s-、D-和Sh-功能弹性体,并以最新发展的典型例子为基础,指出了未来发展方向。     

Global Avalanche Characteristics of Boolean Functions by Concatenation

In order to measure the correlation propeties of two Boolean functions,the global avalanche characteristics of Boolean functions constructed by concatenation are discussed,i.e.,f_1‖f_2and f_1‖f_2‖f_3‖f_4.Firstly,for the function f = f_1‖f_2,the cross-correlation function of f_1,f_2 in the special condition are studied.In this case,f,f_1,f_2 must be in desired form.By computing their sum-of-squares indicators,the crosscorrelation function between f_1,f_2 is obtained.Secondly,for the function g = f_1‖f_2‖f_3‖f_4,by analyzing the relation among their auto-correlation functions,their sum-of-squares indicators are investigated.Based on them,the sum-of-squares indicators of functions obtained by Canteaut et al.are investigated.The results show that the correlation property of g is good when the correlation properties of Boolean functions f_1,f_2,f_3,f_4 are good.     

技能大师工作室内涵及其作用分 析简

目前,我国正处在改革发展的关键时期,深入贯彻落实科学发展观,加快各级各类人才培养,全面推进经济社会转型发展,实现中华民族伟大复兴,成为全民族的共同使命。在此背景下,各行业的技能大师工作室应运而生。文章对技能大师的概念、技能大师工作室的构成要素、技能大师工作室的功能作用进行了深入探讨。     

射线检测中运动模糊图像的恢复

X射线实时成像检测中,若曝光时间内工件和X射线图像采集设备有相对线性运动,会造成图像运动模糊降质。提出利用运动模糊点扩展函数的频域特征和Hough变换得到模糊图像的运动方向,并将之旋转到水平轴方向,利用差分法求解运动模糊点扩展函数的长度。并用Wiener滤波的方法,恢复降质的图像,取得了较好的效果。     

Debugging mixed‐environment programs with Blink

Programmers build large‐scale systems with multiple languages to leverage legacy code and languages best suited to their problems. For instance, the same program may use Java for ease of programming and C to interface with the operating system. These programs pose significant debugging challenges, because programmers need to understand and control code across languages, which often execute in different environments. Unfortunately, traditional multilingual debuggers require a single execution environment. This paper presents a novel composition approach to building portable mixed‐environment debuggers, in which an intermediate agent interposes on language transitions, controlling and reusing single‐environment debuggers. We implement debugger composition in Blink, a debugger for Java, C, and the Jeannie programming language. We show that Blink is (i) simple: it requires modest amounts of new code; (ii) portable: it supports multiple Java virtual machines, C compilers, operating systems, and component debuggers; and (iii) powerful: composition eases debugging, while supporting new mixed‐language expression evaluation and Java native interface bug diagnostics. To demonstrate the generality of interposition, we build prototypes and demonstrate debugger language transitions with C for five of six other languages (Caml, Common Lisp, C#, Perl 5, Python, and Ruby) without modifications to their debuggers. Using real‐world case studies, we show that diagnosing language interface errors require prior single‐environment debuggers to restart execution multiple times, whereas Blink directly diagnoses them with one execution. Copyright © 2014 John Wiley & Sons, Ltd.