模型转换中特性保持的描述与验证

模型转换主要用于模型的演化、求精以及重构.模型转换需要遵循一定的约束规则以保持模型的某些特性.模型演化通常要求保持已有的接口;模型重构则必须保证重构前后的软件具有相同的外部行为特性.为了严格证明某个模型转换规则是否满足这些约束,特性保持约束必须形式化地加以描述.为了实现证明过程的自动化,需要总结通用的证明过程并给出实现算法.提出了一种基于图转换的特性保持约束描述机制,将模型演化与重构中的转换规则以及特性保持约束都描述为图转换规则.借助图转换的冲突检测机制,给出了严格证明转换规则是否满足特性保持约束的算法.

基于斑点统计特性保持的SAR影像迭代滤波

合成孔径雷达(Synthetic Aperture Radar,SAR)影像中的斑点现象是地物后向散射信号相互干扰产生的,其虽然类似噪声却涉及地物目标的散射特征.同一地物目标的散射特征可通过斑点统计分布模型来刻画,因此降噪过程中可通过恢复影像斑点的统计分布特性来保留斑点包含的地物散射信息.基于该思想,提出一种基于斑点统计特性保持的SAR影像迭代滤波算法.该算法假设给定SAR影像的统计分布函数是先验已知的,即建模为混合Gamma分布,其分布参数可利用影像的像素值估计;接着基于构建的混合Gamma分布模型,运用EM(Expectation Maximization)算法分割影像中的同质区域;再针对不同同质区域,选取拟合误差较大的灰度级,根据分割结果计算像素值为该灰度级的像素的密度,判断其是否是异常像素,并对异常像素运用Frost滤波器进行降噪.重复上述步骤,直到滤波后的影像直方图较好地服从统计分布函数.GF-3和Radarsat-2 SAR影像数据实验结果表明,该算法在保证影像质量的前提下,不仅能获得较好的统计建模结果,而且较好地抑制了相干斑噪声,实现影像降噪.

弹性环式挤压油膜阻尼器一体化圆柱滚子轴承保持架振动特性分析

航空发动机主轴中滚动轴承为了降低系统振动经常与弹性环式挤压油膜阻尼器(elastic ring squeeze film damper, ERSFD)联合使用。基于滚动轴承动力学理论和流体力学控制方程,采用变步长积分算法建立圆柱滚子轴承与ERSFD耦合的动力学分析模型,对外圈带ERSFD的圆柱滚子轴承保持架振动特性和打滑率进行研究。研究结果表明:与未装配ERSFD的圆柱滚子轴承相比,ERSFD可以提高圆柱滚子轴承保持架的稳定性。过大或过小的弹性环凸台数量与宽度都不利于圆柱滚子轴承保持架的稳定性,需要选择合适的凸台数量和宽度。径向载荷与转速对带弹性环的圆柱滚子轴承保持架稳定性影响显著,保持架涡动频率的谐波次数随着径向载荷的增加而减少,其对应的幅值也减小;保持架涡动频率的谐波次数随着转速的增加而增加,其对应幅值也增加。

考虑AGC采样保持特性的时滞电力系统频率稳定性分析

电力系统的自动发电控制(automaticgeneration control,AGC)是典型的采样控制系统,具有调节周期长、通信延迟显著的特点。基于单区域负荷频率控制(load frequency control,LFC)系统,该文提出一种适用于考虑AGC采样保持特性的时滞电力系统频率稳定性分析方法。首先利用零阶保持器建立考虑AGC采样保持特性的LFC连续–采样混合系统模型;然后利用切比雪夫离散化方法处理模型中的时滞变量,基于函数空间方法建立等值的离散化系统;随后提出基于离散化系统特征值的稳定性判据。为说明考虑AGC采样保持特性的必要性,该文还建立了忽略AGC采样保持特性和用零阶保持器连续传递函数建模的LFC连续系统模型,通过比较不同模型的时滞稳定裕度说明不同建模方法的保守冒进程度。最后通过时滞稳定裕度上的时频域仿真分析验证所提稳定性分析方法的准确性。

保水剂对风沙土保水特性的影响

在东北西部农业种植区,生长季干旱少雨极大制约作物的水肥利用效率,对我国粮食安全和水土资源利用的可持续性造成重大威胁。除工程措施外,合理的农用保水剂(SAP)施用是改善低产农田持水性能的必然途径。针对吉林省西部典型风沙土开展室内模拟试验,通过3因素多水平的正交试验设计,探究土壤田间持水量、凋萎系数和有效水含量等水土保持特性对保水剂的类型(地津Dijin、安信Anxin、沃特Wote和旱宝贝Hanbaobei)、粒径(大粒径和小粒径)及用量(0、0.2%、0.5%、1.0%、2.0%、4.0%和6.0%)的响应。结果表明:1)SAP的持水量受其类型、粒径、施用量及其相互作用的影响显著,而施用量是影响持水量的关键因素;2)土壤水分状况与SAP类型密切相关,土壤持水量Dijin>Anxin>Wote>Hanbaobei,SAP中K^(+)和Na^(+)的含量可能是影响保水性的主要因素,而非Ca^(2+)和Mg^(2+);3)随着SAP施用量的增加,土壤田间持水量、凋萎系数和有效水容量显著增加,与对照相比,最大增量分别为15.53、1.95和17.75倍,可有效增强严重干旱土壤中植物与SAP之间的竞争;4)与大粒径相比,小粒径SAP能显著提高土壤的田间持水量(1.21倍)和可用水量(1.23倍),而对凋萎系数则产生负面影响。综上,保水剂的合理选择与应用,对旱区水土资源持续性具有积极的推动作用,可以改善干旱土壤环境水分状况,实现低产农田“增粮”。

极化散射特性保持的改进迭代Wishart分类算法

为克服基于极化散射特性保持的迭代Wishart分类算法不适用于城区及对混合散射像素分类欠理想等不足,本文提出一种改进方法。其基本思想是先应用四分量分解算法将像素分成4种基本散射类型和混合散射类型,接着以平均合并度为指导对基本散射类型中的像素自适应聚类,最后对所有像素进行散射特性保持的迭代Wishart分类。试验结果表明,改进算法较原始算法有更好的适应性和分类效果。

波浪与水流作用对翼形网箱容积保持特性的影响

采用有限元法,对NACA0030型翼形网箱在纯浪和浪流共同作用下的容积保持率进行了计算,通过对比分析研究了网箱容积的变化趋势。研究结果表明:两类环境条件下网箱的容积保持率有所降低,浪高越大,降低越多,且随着波浪周期降低而降低;容积保持率变化情况呈现周期性变化,变化周期与波浪周期基本保持一致,容积保持率变化曲线存在相位前置约π/4;纯浪情况下网箱容积最大值出现于7/8T处,最小值位于2/8T处,而浪流情况下网箱容积最大值出现于7/8T处,最小值位于4/8T处;纯浪情况下会明显出现浮管与网衣X向运动的不协调,浪流共同作用时二者除了会出现纯浪条件下的X向不一致,也会导致Z向运动的不一致。水流对网衣的容积保持性能有较大的影响,翼形网箱实际使用时应着重加以考虑。

小麦粉溶剂保持力特性与挂面力学质地的关系

为了探究小麦粉溶剂保持力（solvent retention capacity,SRC）特性与挂面力学质地之间的相关性,选取品质性状差异较大的6 种小麦粉进行4 种SRC的测定,利用物性仪对其制作的挂面蒸煮前后力学质地进行测定.结果表明：乳酸溶液SRC与弹性模量、断裂位移、断裂应力、硬度、咀嚼性之间均呈显著或极显著正相关（r=0.84～0.92）,与蒸煮损失率呈极显著负相关（r=-0.99）;蔗糖溶液SRC与断裂应力、咀嚼性、蒸煮损失率之间均呈显著相关（r=0.84、0.82、-0.83）;碳酸氢钠溶液SRC与内聚性、弹性、面条吸水率之间均呈显著或极显著相关（r=-0.87、-0.85、0.98）;蒸馏水SRC与挂面品质指标之间相关性均不显著.SRC方法可以在-定程度上替代传统品质指标（蛋白质含量、湿面筋含量、十二烷基硫酸钠沉降值和破损淀粉含量）测定方法,有效预测挂面力学质地.

真空混合漏孔示漏气体的延迟和保持特性研究

真空混合漏孔 ,如漏孔通道内含有空腔、毛细管道等 ,示漏气体除存在超长反应时间外 ,还存在超长的延迟时间和保持时间。只有经该延迟时间后 ,检漏仪才能探得信号。为满足真空元件在生产中的快速检漏的要求 ,又避免常规质谱检漏法漏检混合漏孔的可能性 ,在真空室内对检漏元件集体充氦 ,然后在保持期内逐个检测氦气浓度来判断有无混合漏孔 ;

一种具有边缘保持特性的超声图像小波域阈值去噪新方法

超声图像去噪是医学图像处理的研究热点之一 ,基于小波域阈值去噪技术及阈值选取方法的分析 ,提出一种新的医学超声图像小波域阈值去噪方法。这种方法采用半_软阈值去噪技术和广义交叉确认函数寻找阈值 ,在有效去噪的同时较好地保留了图像边缘细节。首先 ,把对数超声图像小波分解 ;然后 ,基于广义交叉确认函数寻找最小均方误差意义上的近似最优阈值 ,对所有的高频段采用半_软阈值去噪 ;最后 ,经小波反变换和指数变换获得去噪后的超声图像 ,文末对超声图像小波域阈值去噪方法作出定性比较 ,并对算法的去噪性能给出定量分析。仿真实验和实际测试结果表明此方法是有效的、可行的。

具有距离保持特性的高光谱彩色可视化模型

提出一种将高维的高光谱图像非线性优化到三维彩色空间的可视化方法.以距离保持特性作为主要设计标准,同时保证生成的图像具有尽可能大的类间可分性,使生成图像的各像元间的距离差与高光谱数据各光谱间距离差高度相关.该方法由以下四部分组成:1)将高光谱图像中各端元光谱降维到二维空间作为色品坐标;2)由第3维亮度值的优化使相关性达到最优,进而确定各端元的颜色标签:3)根据像素所含各类别的丰度值进行颜色的线性混合;4)利用局部优化方法对彩色图像进行优化校正,最终实现整幅图像的彩色可视化.实验表明,该方法合理可行,生成的图像具有较好的视觉效果,并能获得较好的距离保持特性及可分性,适用于高光谱数据的可视化显示.

激光制备多层铁电薄膜的C-V保持特性研究

采用脉冲准分子激光工艺在Ｓｉ（１００）单晶基片上，成功地淀积了ＢＩＴ、ＰＺＴ／ＢＩＴ和ＢＩＴ／ＰＺＴ／ＢＩＴ等多层结构的铁电薄膜。通过测量金属／ＢＩＴ／ＰＺＴ／ＢＩＴ／Ｓｉ多层结构的非回线型Ｃ－Ｖ特性曲线、电容与保持时间的关系，发现三层ＢＩＴ／ＰＺＴ／ＢＩＴ薄膜具有很好的电容保持特性。

月壤钻取与整形过程中样品层理保持特性分析

基于离散元方法建立了考虑颗粒间扭转、弯曲力矩及等效引力作用的三维离散元月壤模型,利用三轴仿真试验标定模型细观参数,得到满足真实月壤宏观力学特性的仿真模型。对月壤钻取和整形过程进行了仿真设计,提出了"分层概率法",以每层月壤在运动过程中向邻层错动的概率评价层理保持特性。由仿真结果可知:月壤钻进取样过程中样品层理信息会遭到钻取和整形两次破坏,二者破坏程度相当,且越靠近表层层理信息破坏越严重。分层概率法可有效描述月壤钻取与整形过程月壤样品的层理信息破坏情况,分析结果可为月壤采样机构设计提供参考。

损伤恢复机制对3D NAND闪存保持特性的影响

在3D NAND闪存的分布式编程擦除循环实验中发现,存储单元的保持特性随着编程擦除循环周期间隔的增加而改善。对实验数据的分析表明,编程擦除循环周期间隔中发生了损伤恢复,且在损伤恢复的两个机制中,氧化层电荷逸出对保持特性的改善起主要作用,而非界面陷阱修复。这说明,氧化层电荷逸出对于3D NAND闪存的保持特性有着重要影响。此外还发现,由于连续的电荷存储层所导致的电荷横向散布,损伤恢复对3D NAND闪存保持特性的影响与存储单元的编程模式有关。综上,损伤恢复机制是影响3D NAND闪存保持特性的一个重要因素,需要在产品的可靠性表征中予以考虑。

蚕品种退化与种性保持

一、蚕品种退化的原因一个新蚕品种在生产上使用多年后,其经济性状常会发生一些变化,如原种茧质提高,产卵数增多,体质下降,原蚕难养,杂交种产量不稳定,茧形杂驳,匀整度差,茧丝品质劣化等。如果这些变化大到足以影响该品种的总经济价值,人们就称这种变化为品种退化。家蚕是雌雄异体昆虫,它是通过雌雄个体精卵细胞的相互结合而繁殖后代的。由于双亲个体基因型存在差异,产生的结合子是异质性的,这是与自花授粉作物不同的。

模型驱动开发中模型演化语法和语义特性研究

模型演化由一系列复杂的变化活动组成,要遵循一定的约束以保持模型的某些特性。以一个实例描述模型演化的过程,并以集值映射为基础,定义模型成分与语义域的映射,通过定义模型演化的语义函数,研究模型演化的语法和语义性质,包括特性保持、一致性、等价性和吸收性等。

纳米晶浮栅存储器的模拟、制备和电学特性

介绍了在纳米晶浮栅存储器数据保持特性方面的研究工作,重点介绍了纳米晶材料的选择与制备和遂穿介质层工程。研究证明,金属纳米晶浮栅存储器比半导体纳米晶浮栅存储器具有更好的电荷保持特性。并且金属纳米晶制备方法简单,通过电子束蒸发热退火的方法就能够得到质量较好的金属纳米晶,密度约4×1011cm-2,纳米晶尺寸约6～7nm。实验证明,高介电常数隧穿介质能够明显改善浮栅存储器的电荷保持特性,所以在引入金属纳米晶和高介电常数遂穿介质之后,纳米晶浮栅存储器可能成为下一代非挥发性存储器的候选者。

利用Yamaguchi分解保持地物散射特性的极化SAR分类

本文提出一种利用Yamaguchi分解保持地物散射特性的极化SAR数据分类方法。该方法利用Yamaguchi分解获得4种散射机理:表面散射、体散射、偶次散射和螺旋体散射,根据4种散射机理的功率大小判断地物的主散射机理和类别之间的Wishart距离,合并到指定个数的初始类别;并结合Wishart距离分类器对初始类进行迭代修正,实现极化SAR图像的非监督分类。最后利用AIRSAR数据与已有分类方法进行对比实验,验证了本方法的优势及适用性。

一种面向领域基于XMI的模型映射方法

在开发特定业务领域系统时,为实现领域模型向通用模型的映射,往往会产生领域失配问题。为解决此问题,提出了一种面向领域基于XMI的模型映射方法。采用XMI技术,将领域模型首先映射成为领域相关的XML文件,然后通过基于领域元模型的XSL映射器,将其映射成为UML对应的XML文件,最后生成UML通用模型;并在此基础上给出了这一方法的形式化描述和应用实例。