结合动静态分析实现架构恢复的方法

在大型遗留系统的维护活动中,通过聚类技术将系统划分为更小和更易于控制的子系统,是理解软件架构的一项重要措施。传统架构恢复的研究主要关注静态结构,而面向对象系统由于多态和动态绑定等复杂因素的存在,仅有结构分析还不足以支持架构恢复。功能特征作为一种可触发可观察的系统行为反映了系统实现的功能需求,已经成为构建核心架构的基础。提出一种动静态结合的分析方法,以软件特征作为出发点,通过特征的场景执行以及模块聚类,建立起目标系统的核心架构,然后分析系统的静态结构以提取模块的依赖关联,补充实体到已建立的聚类中。通过对两个开源项目的实验评估和讨论,分析所提方法的有效性和适用性。     

高锰钢高速压缩时γ→ε-M和ε-M→α'-M的相变特征

利用XRD技术对静态压缩和高速压缩高锰相变诱发塑性(TRIP)钢中γ(奥氏体)、ε-M(六方马氏体)和α'-M(体心马氏体)的体积分数进行计算,以确定应变速率对γ→ε-M和ε-M→α'-M相变动力学特征的影响.利用EBSD技术和相变晶体学计算对高速压缩样品中的γ→ε-M和ε-M→α'-M相变取向依赖性进行分析.结果表明:应变速率对γ→ε-M和ε-M→α'-M相变具有不同的影响.与静态压缩相比,高速压缩使得γ→ε-M相变被抑制、ε-M→α'-M相变被促进,这是由于两阶段相变分别受层错能和应力的影响较大.高应变速率使得变形初期的马氏体相变速率显著提高.高速压缩变形样品仍具有马氏体相变取向依赖性,这取决于不同取向γ晶粒内相变机械功的大小.γ→ε-M相变难易与ε-M的相变机械功有关;ε-M→α'-M相变难易则同时取决于ε-M和α'-M的相变机械功.     

聚乙烯醇在阶段性热处理下的结构变化

聚乙烯醇(PVA)在热处理作用下会逐渐发生侧基脱除、断链、环化等复杂的副反应。通过阶段性热处理方法,可望在减少副反应的同时在分子主链上生成双键,从而得到类似聚乙炔的共轭聚合物。文中以PVA1799为原料,通过阶段性加热法,利用在线红外技术,研究了PVA在氮气气氛下不同温度热处理后的结构变化。热处理温度范围为30~330℃,在150℃,180℃,210℃,240℃,270℃,300℃和330℃每个温度点停留30 min。研究发现,PVA的熔点为210℃,在240℃开始发生结构变化,并在分子主链生成双键和羰基。当温度超过300℃,有少量二氧化碳(CO_2)放出,开始出现更为复杂的副反应。     

基于弹性-黏弹性对应原理的复合材料层合板模态阻尼预测:理论及其有限元实现

提出一种利用通用有限元软件求解复合材料结构模态阻尼的有限元方法。该方法基于扩展弹性-黏弹性对应原理,定义出具有频率依存性的黏弹性复合材料复刚度矩阵,并借助ABAQUS提供的二次开发接口UMAT将其编入求解器中,结合复特征值法求解任意铺层层合板的模态阻尼。与已有的理论方法相比,本模型的计算结果更为接近实验数据。从而验证了本文提出的数值分析方法的有效性和精确性,为利用ABAQUS软件分析各向异性材料阻尼提供了一条有效途径。     

TiO2/硅橡胶复合型介电弹性体动态粘弹性的电场依赖性

研究电场对TiO_2/硅橡胶复合型介电弹性体动态粘弹性的影响。采用水解法制备无定形TiO_2颗粒,以其为分散相,硅橡胶为基体制备复合型介电弹性体。电致变形测试表明,在20 kV/mm的电场强度条件下,该介电弹性体的电致变形量达46.9%。动态粘弹性测试结果表明,该介电弹性体在5 kV/mm下其储能模量较零场下增大18.1%。说明在电场作用下,TiO_2/硅橡胶复合型介电弹性体的动态粘弹性变化不可忽略,在建立力电模型及器件设计时需予以考虑。     

考虑错误检测两阶依赖性以及错误校正延迟效应的软件可靠性模型

随着科技的进步和全面智能化时代的到来,软件在人类社会扮演着愈发重要的角色,因此软件的可靠性成为了一个重要的研究领域。然而到目前为止,还没有研究综合考虑到软件错误检测两阶依赖性和校正延迟效应的文献。文章提出了一个软件可靠性增长模型。该模型考虑了错误检测的两阶依赖性和错误校正的延迟效应。在文章中,软件错误被分为三种类型:独立错误、一阶依赖错误和二阶依赖错误。后两种错误依次对前一种错误具有依赖性,即只有相应的错误被检测之后,对应的依赖性错误才能被检测到。利用该模型可以计算出不同时刻下错误检测出的数量和校正的数量。这个模型相比于之前的模型更加符合实际情况。该模型对于软件投放时间等重要决策具有很大的参考价值。     

钛基二元纳米合金形成焓的尺寸效应

基于计算合金形成焓的改进Miedema模型和考虑纳米颗粒表面效应,研究了钛基二元纳米合金形成焓的尺寸和成分效应.计算结果表明钛基二元合金纳米颗粒的形成焓依赖颗粒尺寸,显示了明显的尺寸效应.纳米颗粒的形成焓随粒径的减小而增大,当粒径减小到某一临界尺寸时,纳米合金的形成焓由负值转变为正值,从而降低了纳米颗粒的热稳定性.当颗粒粒径小于10 nm时,纳米颗粒发生成分聚集,这种成分聚集发生的趋势取决于纳米合金的表面形成焓.     

一阶线性脉冲微分方程解的参数连续依赖性

在文献[6]的基础上,讨论了广义线性微分方程与一阶线性脉冲微分方程的关系,并给出一阶线性脉冲微分方程初值问题解对参数的连续依赖性定理.     

ZASP玻璃荧光体的激发波长依赖性及Dy3＋掺杂的荧光色彩调谐

采用熔融法制备了锌铝锑磷酸盐(ZASP)玻璃荧光 体,研究了其荧光色彩对激发波长的依赖性和Dy³⁺掺杂的色彩调谐作用。短波紫外(U VC)和中波紫外(UVB)激发下,ZASP基质玻璃 呈现Sb³⁺的宽谱带发射,色彩位于蓝白光和蓝光区域。差异性光谱行为表明,玻璃中 存在异质 性的Sb³⁺发光中心,导致玻璃荧光对激发波长产生依赖行为。Dy³⁺引入ZASP玻 璃后,产生归属 于Dy³⁺的约484nm波长窄带发 射,其在UVC和UVB激发下的发光有效性相当程度上归因于Sb ³⁺到Dy³⁺的能量传递。Dy³⁺的暖色成分使ZASP玻璃荧光总体上从蓝白区 向白光区移动,同时 也对荧光的激发波长依赖趋势产生显著影响,丰富了荧光发射色彩的多样性,为高质量荧光 器件的研发提供了可能。     

城市地名规划的编制原则

城市地名与城市的关系就好比人体器官与人体的关系,当一切都正常的时候你感受不到他的存在,一切都是自然而然的;而一旦出了问题就会给使用者带来极大不便甚至痛苦.随着城市化进程的加快,城市范围越来越大,城市地名也越来越多,人们出行更多的依赖于准确的城市地名的指引.这种切实的需求给城市地名的管理提出了更高的要求,原有城市地名的管理方式面临着前所未有的挑战,随着城市地名需求量的加大和对其依赖性的增强,城市地名规划应运而生.