UML活动图模型正确性诊断方法

UML活动图的正确性决定了业务流程的正确执行,为此,提出一种UML活动图模型的正确性诊断方法。将模型分解后,对子模型进行模型验证,并对验证错误的子模型进行模型诊断,得到诊断结果。在质量管理过程实例中的应用结果表明,该方法能减小模型空间,减少诊断次数,准确锁定错误,有效地对模型的正确性进行诊断。     

基于动态附加布隆过滤器的RFID数据冗余处理算法

针对RFID设备在读取标签信息时产生的高度冗余会造成实时传输压力、存储空间浪费和上层应用分析结果不可靠等问题,提出一种动态附加布隆过滤器算法(Dynamic-Additional Bloom Filter,DATRBF)来清除RFID冗余数据.首先结合RFID动态数据流特点,利用时间和阅读器因素的影响设计了基础布隆过滤器(Time-Reader Bloom Filter,TRBF),然后根据定时间区间内数据量变化动态决定是否调整或附加额外的TRBF,通过附加TRBF从而扩充数组的方式将误判率控制在阈值内,最后结合两个过滤器对数据是否冗余进行综合判断.实验证明,在过滤RFID实时动态数据流中的冗余数据时,DATRBF算法相比传统布隆过滤器(Bloom Filter,BF)和时空布隆过滤器(Temporal-Spatial Bloom Filter,TSBF)有明显的优势,在数据量随机波动时DATRBF的误判率平均约为TSBF的49％,且DATRBF算法能够在数据量持续上升时保持平稳的低误判率.     

沧桑雄藩 文化丰蔚——通州的历史变迁和丰富的旅游资源

通州城坐落于京杭大运河北端西畔，西距北京建国门17公里，乃北京重要的卫星城之一。清世宗御制通州石道碑载：“自朝阳门至通州四十里，为国东门孔道。”故通州史称京门。因“潞河为万国朝宗之地，四海九州，岁致百货，千樯万艘，辐辏云集，商贾行旅梯山航海而至者，车毂织路，相望于道，盖仓庾之都会而路之冲达也。”故近千年来，通州城经济文化较他处繁荣，城市建设相应完备，规模也称冠燕蓟。明仁宗朝华盖殿大学杨士奇赞通州诗云：“城倚红云下，门临绿水滨，宝鞍驰骏马，多是帝京人。”可见，古代通州对北京的建设与繁荣关系至为密切。…     

基于字符编码和图像分块的文档完整性检测方法

提出了一种安全的、不可见的、通用的易碎文档数字水印方法。嵌入到文档图像中的水印完全依赖于文档内容及字符间距等格式，可有效检验文档的完整性和可信性。根据文档中字符的Unicode编码值及各个字符在文档中对应的位置，构造一个矩阵D，计算D经过一系列变换后的特征值，可以生成水印序列。若文档被篡改，则根据该文档提取出的水印也将发生改变。同时，通过将文档图像分块，可预测可能发生篡改的位置。     

上海闵浦二桥索梁钢锚箱锚固区应力分析

斜拉索索梁锚固区域结构复杂,受力集中,是设计的关键。掌握锚固区域在斜拉索作用下的应力大小及分布是十分重要的。采用非线性接触方法,对闵浦二桥索梁锚固区进行有限元计算分析,并对模型进行验证,计算分析锚固区域的应力分布和传力途径,为实际桥梁的设计和施工提供可靠的依据并提供合理的建议。     

开孔板连接件受剪性能试验研究

开孔板连接件是钢-混凝土组合梁中常用的一种抗剪连接件。通过21个开孔板连接件试件在单调静力荷载作用下的推出试验,研究了开孔板的开孔直径、混凝土强度等级、孔中横向贯通钢筋的直径和数量等对开孔板连接件的破坏形态、荷载-滑移特性和受剪承载力等的影响。研究表明:开孔板连接件的荷载-滑移曲线(P-S曲线)大致可分为弹性阶段、塑性发展阶段和下降段;提高混凝土强度等级、增大开孔直径可提高开孔板连接件的受剪承载力,横向贯通钢筋直径由16mm增大至20mm时,试件的受剪承载力提高了21.8%,配置横向贯通钢筋2 16的试件受剪承载力比相应的未配置横向贯通钢筋的试件高19.1%;随着混凝土强度等级的提高,试件抗剪刚度增大,而开孔直径及横向贯通钢筋直径则对抗剪刚度无明显影响。最后,基于试验结果提出了开孔板连接件受剪承载力的计算方法。研究成果可为编制《钢-混凝土组合桥梁设计规范》提供依据和参考。     

一类数据流连续查询的降载策略研究

在数据流系统中,输入数据流速增大会产生连续查询过载问题.针对输入数据流存在重要性差别情况,对过载引发的降载问题进行了专门研究.基于数据流和连续查询网络的特点,给出了问题的定义及约束条件,分析了现有的降载方法,提出了关于不等权输入数据流连续查询的降载策略.理论分析和试验结果表明了策略的有效性.     

基于类三维地图的无人机路径规划

在无人机低空飞行时,障碍物的形状大都不规则,很难建立其准确的解析模型;针对该问题,在栅格法的基础上提出了一种利用类三维地图进行路径规划的方法;首先阐述了类三维地图的创建方法,并提出了下降方向和驻点等概念;分析了在不规则障碍环境下进行路径规划时如何避免死锁以及提高规划效率;给出了算法的具体实现步骤;仿真结果表明,在不规则障碍物环境下此方法能迅速得到较好的规划结果。     

一种双站SAR同步方法及同步系统设计

收发单元之间的相位同步是双站合成孔径雷达的关键问题之一.高分辨率双站合成孔径雷达和双站干涉合成孔径雷达对收发单元的相位同步精度有很高的要求,本文结合理论模型和实验数据对相位同步问题进行了分析,提出了基于同步链方法的双站SAR同步系统方案,实现相位同步精度3°(1σ),并设计了实验系统,通过半物理仿真成像实验采集仿真成像数据,数据处理结果验证了同步方法的有效性.