一种面向对象的形式化规范说明技术——VDM＋＋

介绍了一种新的面向对象的形式化规范说明技术ＶＤＭ＋＋它是ＶＤＭ的一种扩充，并且通过一个实例说明如何应用ＶＤＭ＋＋技术对面向对象系统进行形式化规范说明。     

搭接率对激光重熔氧化锆涂层结构及热震性能的影响

针对大面积激光重熔热障涂层后搭接区域结构的变化影响涂层使用寿命这一问题,对氧化锆涂层进行多道次激光重熔,探究了不同搭接率下重熔涂层表面及截面微观组织形貌的变化规律,并在电阻式加热炉中进行了热震实验,温度设定为1 050℃,分析随搭接率变化的涂层结构对热循环寿命的影响规律。通过扫描电镜观察发现:前后两个道次重熔层的裂纹在分界线处相互贯通,随着搭接率的增加,搭接区域的裂纹密度随之减小,而凹坑和微块的数目随之增加;热震实验后,裂纹平均宽度减小至5μm,表面出现大量凹坑,大部分由微块脱落所致;随着搭接率的增加,搭接区域截面纵向裂纹的偏转角先增加后减小,而涂层的热循环寿命先减小后增加;截面纵向裂纹的偏转加速水平裂纹的产生,当搭接率为0.30时,偏转角最小;当涂层脱落面积达到20%及以上、搭接率为0.30时,重熔涂层的热循环寿命最长。     

相互作用DBI暗能量模型的高维动力学系统稳定性分析

深入探讨相互作用狄拉克-玻恩-因费尔德(Dirac-Born-Infeld,简称DBI)暗能量模型的高维动力学系统稳定性问题.具体地,在五维相空间{X,Y,Z,Γ,Θ}中,求解动力学系统的临界点,并通过相关的宇宙学条件讨论其稳定性和吸引子行为以限制相互作用耦合参数β的取值范围.进一步,为了直观地描绘DBI暗能量模型的五维动力学系统的演化特性,在稳定点S3c附近通过选取多个初始值(取耦合常数β=2),画出了五维相空间{X,Y,Z,Γ,Θ}向二维{X,Y}和三维子空间{X,Y,Z}以及不存在相互作用(耦合常数为零)特殊情况的投影相图,以便考察稳定点S3c的吸引子行为,并与柯尼克姆(Kaeonikhom)的二维相空间{X,Y}和科普兰德(Copeland)的三维相空间{X,Y,Z}结果进行比较分析.最后,利用数值方法分别描绘出DBI暗能量宇宙密度参数Ω,态参数w,有效态参数weff和减速参数q的演化规律,给出它们的今天值,并与天文观测数据做比较.     

计算机病毒的防治

随着计算机的逐步普及与推广,计算机的安全已经引起人们的高度重视,其中除去计算机本身的元器件的故障造成机器不能正常工作外,计算机病毒是危害计算机正常运行的首要因素。据报道,我国微机染毒率达32％,情况相当严重。 如果发现计算机感染病毒了,应立即关闭计算机电源,且不要用ctrl ALL Del键进行热启动,这样做,为的是减少病毒造成的损失,否则,会给病毒感染机会。此后要对计算机病毒进行治疗处理。     

异种钢焊接接头高温力学性能的研究

为提高电站锅炉过热器铁素体－奥氏体异种钢焊接接头的高温蠕变断裂强度和延长服役寿命，设计了用专用镍基填充材料焊接的不锈钢－镍基焊缝－耐热钢三元组合接头。通过对不同焊缝接头的高温持久性能试验及用ＳＥＭ和ＥＰＭＡ对焊缝界面组织变化的对比分析，认为在高温低应力条件下接头早期失效的主要原因是熔合区及热影响区碳、铬等元素迁移和碳化物聚集所引起的蠕变断裂。组合接头的设计方案对改善接头应力分布，阻碍碳扩散和提高接头蠕变强度具有显著效果     

一种基于灰度修正的心肌瘢痕阈值分割方法

将心肌瘢痕从心脏磁共振延迟强化图像中分离出来并进行定性定量分析,对缺血性心脏病患者的早期诊断和准确预后评估具有十分重要的意义.针对心脏左心室内外膜边缘周围常见的噪声容易导致心肌瘢痕错分的问题,构建了一种基于灰度修正的心肌瘢痕阈值分割方法.方法依次采用像素标记、影响力计算和灰度更新三个步骤对心肌区域进行灰度修正,然后结合OSTU算法对心肌瘢痕进行阈值分割.实验结果表明,本文方法较以往的心肌瘢痕分割算法更接近有经验医生的人工分割结果,有效避免了左心室内外膜边缘噪声可能导致的心肌瘢痕的错分.     

具有双峰效应特性的复杂网络模型研究

为解决BA网络模型采用增长与择优处理节点之间的连接而导致节点连接数目无限增长等不足,通过对BA网络模型的节点连接策略改进,即通过引入节点最大连接数目,设置新增节点连接数目亚线性增长并采用Logistic函数得到了一种度分布具有双峰效应特性的BE网络模型,并给出了其若干性质。该模型可应用于解释经济、社会等现实生活中的两极分化现象,而且通过调整其参数可实现峰的移动和缩放,在极限情况下BE模型可退化成BA模型。     

微探体育课堂教学中的批评方法

体育课堂教学中经常运用表扬和批评这两种教育手段，而批评是对学生的否定评价，使他们认识到与教师要求或自己与同伴的差距。但是由于课堂中不慎重使用否定评价，会造成有的学生产生了自卑心理，从而影响体育课堂教学效果。本文就批评的内涵及其方法进行简单阐述，以便为今后的体育教学提供理论参考。     

新会计准则下公允价值计量的谨慎运用

国家财政部2006年2月发布的新会计准则体系，在诸多方面实现了突破，其中公允价值计量属性的运用是最为显著的方面。但在两年多实践中，我国特有的经济、法律环境以及会计自身发展所处的特殊发展阶段等因素，给其染上了中国特色——适度引入。谨慎运用。     

关联系统可靠性理论模型及其应用

基于“软系统”的显著特性，提出了介质元件、关联系统等新的概念、理论，并给出了关联系统的可靠性数学模型。借助于关联系统的可靠性函数模型，对简单系统的联结关系进行了系统分类，同时分析了该模型在软系统中的应用方法和前景。