不同界面形状及结构的涂层残余热应力的有限元分析

为了提高大厚度耐磨涂层的结合强度,运用 ANSYS 软件对不同界面形状及结构的耐磨涂层中残余热应力进行有限元分析。分析表明:界面形状为齿形的涂层比界面形状为平面的涂层残余热应力值略大,但不存在局部的应力集中且应力分布较均匀;随着过渡层的增加,涂层热膨胀系数过渡越好,残余热应力越小。同时应用盲孔法获得残余应力实际值,用CMT4105型微机电子万能试验机测试涂层与基材的剪切结合强度,验证应力分布的正确性。     

Towards Verified Software: Mirror Theory of Programming

—A program, when being executed, acts like a mirror that produces mirror images for objects in front of it. A mirror distinguishes itself from others by the way how it changes the shape of an object. A program can be char-acterized by the way how the final values of variables (the mirror images) are related to the initial values of variables (the objects). Axioms that specify relationships between final values and initial values of variables in a program are proposed. The logic to be discussed in this paper serves to prove and to deduce properties based on given axioms. Both the axioms and the logic belong to a theory, namely the mirror theory of programming, in which a program ap-pears as an operation expression set. It is a step forward towards verified software.     

基于UCM的持续改进型软件配置管理

先简单介绍了持续改进型软件开发的特点和配置管理需求,然后阐述了基于统一变更(UCM,UnifiedChange Management)配置管理的原理和方法,最后给出持续改进型软件的UCM应用的实现。     

一种分布式软件发布部署系统

为适应高密度测控任务需求,实现测控软件一站式快速部署、管理和发布,研究了一种可实现分布式测控软件的统一发布部署的系统,详细阐述了该系统的体系结构、C/S模式的服务器端分布式发布部署软件和客户端代理软件的主要功能模块,阐述了该系统的系统软件部署发布的一致性、系统安全机制和软件系统状态点恢复等技术。     

计算机辅助设计的现状及发展对策

计算机辅助设计（简称ＣＡＤ）是加快设计速度、提高设计质量的现代设计方法，是工程技术人员进行创造性设计的重要手段。本文简介了这一设计方法在国内外的发展状况，并就我国推行ＣＡＤ技术面临的问题及应有的对策发表了见解；指出，我国科技界应树立强烈的使命感和紧迫感，广泛推行ＣＡＤ技术，更新陈旧的设计方法，以适应国民经济新发展的需要。     

分层分布开放式计算机监控系统的设计

水电厂计算机监控系统是水电厂处于最高层次的综合自动化系统，其目的是对水电厂各种发，输，配电运行设备状态进行实时监视，并实现自动化操作和控制，以便运行人员及时掌握设备的运行情况，保证设备安全经济可靠运行。     

基于极大似然法的负偏水文序列参数估计方法研究

针对皮尔逊Ⅲ型曲线参数估计方法中尺度参数β>0,无法适用于潮位、水位等负偏水文序列(β<0)参数估计的问题,从正偏序列与负偏序列的关系出发,提出了一种极大似然估计的新方法。该方法是将负偏序列先后转换为正偏序列、伽马分布序列,并利用负偏序列确定ξ初值,通过伽马分布序列迭代计算得到α,β的极大似然估计值。以某潮位站44 a的最高潮位数据为算例,比较了负偏极大似然法、负偏矩法、正偏查表法3种估计方法对负偏序列拟合的精度,结果发现负偏极大似然估计法的3项拟合指标:PPCC检验值为0.993,OLS检验值为0.010,KS检验值为0.052,均优于负偏矩法、正偏查表法。为此,负偏极大似然法对负偏序列拟合的精度为最优。     

基于星座轨迹图的射频指纹提取方法

无线设备的接入安全是当今无线网络安全的一个严重挑战。基于射频指纹的物理层安全技术是解决无线设备接入安全的一个有效途径。在不同于已有的基于瞬态响应和稳态响应的射频指纹特征提取方法上,本文提出了一种使用星座轨迹图（CTF,Constellation Trace Figure）的射频指纹提取方法。在获得的星座轨迹图上,进一步通过K均值聚类提取射频指纹特征并进行设备身份识别。在理论阐述的基础上,本文通过在实际无线通信系统中提取射频指纹特征并进行无线设备身份识别,验证了提出方法的可靠性与实用性。使用基于星座轨迹图的射频指纹特征提取方法不需要获得设备发送信号的先验信息就可以快速获得无线设备唯一的射频指纹特征,可以被用于物理层安全以及无线接入设备的身份识别及认证。     

高油气比井拟真液面研究

高油气比油井由于泡沫段的影响,使得录取的资料数据误差大而不能准确地计算出油井的真实液面,为此对井中油套环空流体流动状态进行分析,并提出了理论计算泡沫液面的计算公式,即去掉拟泡沫段的拟真液面,使动液面资料真实、可靠,为油井采取措施提供可靠依据。     

JMAG在PMSM电磁有限元分析中的应用?

搭建实物系统对PMSM进行性能研究，需要耗费大量的人力、物力等成本，并且仍难以针对电机内部的铁耗、磁路饱和等问题进行深入分析。文章介绍了流行的JMAG计算机仿真软件的功能特点，以PMSM为例，阐述了采用有限元方法建模与分析的主要步骤，给出了电机的一些关键波形。