基于重写逻辑的UML模型一致性检查方法

在模型驱动开发的场景下，保证UML模型的一致性具有重要意义，但目前大多数UML／MDA工具仪提供了有限支持。该文提出了一种基于代数重写逻辑的UML模型一致性检查的方法。首先定义了基于两级代数规范的实施构架以分别检查UML模型的没讣时和运行时语义一致性，其次定义了检查包括类图、状态机图和顺序图在内的多图一致性的重写规则。该方法为保持面向可执行的UML模型的一致性提供了有效支持。     

运动前景在视差空间中的扰动区域研究

对于静止摄像机产生的双目视频序列,运动前景进入场景时将会引起视差空间中匹配方体内的元素值变化.通过分析双目视差计算过程,可以得到该变化的扰动区域与前景物体位置和形状的对应关系.扰动区域与构成物体的像点的左右视线有关,在视差空间中表现为类似X形状的一个变化区域,这种对应关系对于视差计算和前景分割都有重要意义.     

基于候选中心融合的多观测点I-nice聚类算法

伴随着问题场景数据在规模上的快速增长和构成上的复杂化,精确估计簇的个数和簇的中心点是当下聚类算法处理和分析复杂大规模数据的重要挑战.簇数及簇心的精确估计对于部分有参聚类算法、数据集整体复杂性度量和数据简化表示等都十分关键.文中在深入分析I-nice的基础上,提出基于候选中心融合的多观测点I-nice聚类算法.在原多观测...     

利用COM包容和聚合实现软件重用

组件对象模型是Ｍｉｃｒｏｓｏｆｔ许多新技术如ＯＬＥ、ＡｃｔｉｖｅＸ的基础,也是Ｍｉｃｒｏｓｏｆｔ迈向分布式计算的基础上,本文着重论述其在软件重用方面的技术：ＣＯＭ包容和聚合,并通过实例说明。     

极小曲面力学超材料抗冲吸能特性分析

本文基于极小曲面结构构建了一类力学超材料,并研究了其准静态及动态力学特性.首先,通过对等效密度为30%、40%和50%的超材料样件进行准静态压缩试验,分析了不同等效密度下结构准静态力学特性变化规律,结果表明,结构模量及平台应力随等效密度的增长呈指数上升,其变化规律可用Gibson-Ashby模型进行精准拟合;其次,研究了不同冲击工况对极小曲面力学超材料动态力学特性的影响规律.根据动态力学特性影响因素及变化规律,分别构建了刚性-完美塑性-锁定模型和简化吸能特性预测模型,对冲击时的力学超材料强度及吸能特性进行预测.结果表明,基于三周期极小曲面的力学超材料具有良好的抗压抗冲吸能特性,且其动态力学性能可以通过建立的模型进行精确预测,为高性能防护结构设计提供了理论基础.     

面向Web服务自动集成的目标描述语言

提出了目标驱动的Web服务自动集成协议栈来实现过程的自动建模;基于本体描述语言OWL,开发了位于集成协议栈最高一层的目标描述语言,来描述需要实现的目标、目标之间的关系以及实现目标的各种约束,并提出在目标描述中不一致的检测方法。目标描述语言是实现Web服务自动集成的第一步工作。     

无轨机械化盘区点柱式充填采矿法实践

20 世纪80～90 年代,新城金矿主要采用上向水平分层充填采矿法和无轨机械化盘区水平分层充填采矿法,回采较高品层的矿块。- 430m 中段属低品位矿块,在此中段试验了无轨机械化盘区点柱式充填采矿法, 获得了极大的经济效益和社会效益, 为- 430m中段以下低品位矿块的回采找到了一条新的回采途径。     

复杂矿体采矿方法的改进

20世纪80年代，新城金矿复杂矿体采用沿倾斜分条嗣后一次充填采矿法回采。随着无轨机械化程度的提高，此种采矿方法暴露出诸多缺点，改进后的采矿方法为平底漏斗式沿倾斜分条嗣后一次充填采矿法，采矿6方法改进后降低了采场的损失率，缩短了采场的回采周期，提高了采场的生产能力，获得了极大的经济效益和社会效益。     

一种Web系统性能测试框架及其混合建模过程

由于Web系统的复杂性,仅采用性能测试或单一建模方法在多个性能指标度量准确性、预测有效性和测试迭代控制等方面存在局限性.提出一种支持混合性能建模的Web性能测试框架,依据不同的性能指标,采取不同的性能建模方法,导出性能指标的封闭函数及其度量假设条件,执行回归分析和测试.以一个实际Web社区系统为例,针对系统响应时间和伸缩性指标,提出了排队网模型化简方法和伸缩性模型US-γ的混合建模与测试过程.测试结果表明,预测响应时间错误率在4%以内,预测吞吐量饱和点错误率在1%以内,预测拐点下界错误率在5%以内.通过关联系统与Web服务器线程2个伸缩性模型,在构架级识别出一个HTTP处理瓶颈.     

磁流变液响应时间检测方法及装置研究

磁流变液的响应时间是一个关键指标,关系到磁流变智能执行器的实时可控性能。 然而,MRF 的动态响应面临从电 流、磁场强度及剪切应力等多参数耦合中解耦的难题。 本文提出基于偏置正弦激励电流的相位检测法,通过施加偏置正弦电流 激励正弦磁通密度,由扭矩与磁场相位差获得 MRF 响应时间,无需面临阶跃响应中的复杂解耦问题。 此外,本文通过关键机械 参数设计,突破商用流变仪的剪切率限制,实现了最高 3 000 s -1 下的响应时间测量。 基于此,本文设计和制作了一套 MRF 响应 时间检测装置,分析了装配偏心和磁场探针位置引起的误差;测得多种样品在 1~ 3 A 振幅电流下的响应时间为 23 ~ 140 ms,并 发现响应时间随 MRF 浓度增大而先减小再延长,且与外部磁场强度呈负相关。