面向图文法的体系结构测试方法研究

针对目前体系结构描述语言对体系结构动态行为描述方面的不足而难以生成测试路径问题,提出一种基于超边图文法的软件体系结构测试技术,首先用超边图文法表示软件体系结构,同时用实体语言EL描述体系结构,然后根据EL描述导出接口互联图IIG,再根据测试覆盖准则,生成测试路径,最后以Client/Server为例验证该方法的有效性.     

带电的标量场扰动下Reissner-Nordstrm Anti-de Sitter黑洞的不稳定性

研究了带电的有质量标量场微扰下Reissner-Nordstrm anti-de Sitter黑洞的稳定性问题.在乌龟坐标下推导出了标量场所满足的径向运动方程,并给出有效势.采用有限差分法将标量场所满足的波方程进行离散化.通过数值计算研究了扰动场随时间的演化.研究结果表明,随着时间的演化,带电的标量场在晚期会出现暴涨.这就意味着在带电的标量场扰动下,Reissner-Nordstrm anti-de Sitter黑洞会出现不稳定.随着标量场电荷的增加,扰动场在晚期出现暴涨的速度将加快.随着标量场质量的增加,扰动场暴涨的速度将减慢.     

随机奇异系统分布式最优分量融合滤波器

应用射影理论,基于奇异系统典范型分解,对带相关噪声的单传感器随机奇异系统,给出一种新的递推滤波器;当系统带有多个传感器时,基于线性最小方差标量加权的分量融合算法,给出了多传感器分布式最优分量融合滤波器.融合估计的每个分量分别由局部估计的相应分量按标量加权融合获得,它只需并行计算一系列标量权重.可改善各局部估计的精度和减小计算负担.推得了随机奇异系统任两个局部估计之间的滤波误差互协方差阵.仿真例子验证了其有效性.     

关于力学中的正负号问题

本文通过例子来说明在力学中处理矢量问题和标量问题中正、负号的应用     

按三种不同加权准则的信息融合Kalman滤波器的性能比较

用Kalman滤波方法,在三种不同的线性最小方差最优融合准则下分别提出两传感器按矩阵加权,按对角阵加权和按标量加权的信息融合稳态Kalman滤波器.它们可以处理带相关的输入和观测噪声和带相关的观测噪声系统.一个目标跟踪系统的仿真例子说明了它们的有效性.仿真结果表明,同按矩阵加权和按对角阵加权融合滤波器相比,按标量加权融合滤波器的精度没有明显损失,但却显著地减小了计算负担,构成一种快速信息融合估计算法,适合实际应用.     

物联网体系结构与实现方法的比较研究

目前物联网有一个亟待解决的问题就是构建物联网的设计与实现的统一的方法。而物联网的体系结构的设计是是实现物联网体系结构的重要前提。本论文介绍了物联网体系结构与现实的统一方法,并做了进一步研究。     

一种新的复合场引力理论

本文采用５维空间４＋１分解的方法建立了标量场、电磁场和引力场的复合场理论，并给出了一个复合场方程的静态球对称解；当标量场及其与电磁场的耦合不存在时（β＝０），此解退化为Ｒｅｉｓｓｎｅｒ－Ｎｏｒｄｔｓｔｒｏｍ度规。本文还给出了标量场和电磁场产生的复合场源流密度矢量的表示式。     

复数标量场的宇宙学解

复用复数标量场理论对爱因斯坦自协场方程和存在“尘埃”物质的开型Ｆｒｉｅｄｍａｎｎ宇宙模型的复数标量场方程进行研究,得到了宇宙学解,发现在基态发生了Ｃ不变性自发破缺,出现了非零的真空电荷密度宏观值,引起了真空涨落。     

SOA中企业应用支撑环境的研究与实现

面向服务的体系结构作为一种崭新的应用集成规范在近几年中成为分布式计算领域的热点,然而企业内部服务资源的开发、组织和管理问题没得到很好的解决.文中提出一种基于SOA的多层企业应用框架,着重分析了企业内部的服务资源开发与部署,讨论了服务的运行过程和协作交互原理,并介绍了相关实现技术.     

负超几何及其推广分布的概率计算方法

为避免计算负超几何分布的分布律时大阶乘计算导致的计算机上溢问题，利用Bernoulli数得到Stirling公式，给出n!的高精度近似表达式．利用负超几何分布的性质，推导出负超几何分布概率分布律的有效计算方法，并与R软件包的计算结果比较，验证了方法的正确性.同时，给出了最小负超几何分布和最大负超几何分布概率分布律的计算方法和相关的比较结果．     

递归分布表示与N—组分分离算法

介绍数据的递归分布表示同时，以Ｎ_组分混合物分离方法为模型，构造及分析了它的递归分布表示，实现了分离方法的递归算法，并与矩阵－子列式分离方法的实现作了空间复杂度．时间复杂度的分析比较．     

基于频繁模式树的约束最大频繁项目集挖掘算法研究

目前绝大多数频繁项目集(或最大频繁项目集)挖掘算法并没有考虑相关领域知识,其结果会产生许多无关的模式.因此,发现约束频繁(或约束最大频繁)项目集是多种数据挖掘应用中的关键问题,然而,这方面的研究工作却很少.为此该文提出了一种快速的基于频繁模式树(FP-tree:一种扩展前缀树结构)的约束最大频繁项目集挖掘及其更新算法.实验结果表明该算法是快速有效的.     

一种基于结构和可测性分析的BIST部分扫描算法

提出了一种在内建自测试(BIST)中进行部分扫描的算法,此算法综合了电路的结构分析和可测性分析.文中对其原理和实现分别进行了详细的叙述,最后运用此算法对ISCAS89 benchmark电路进行计算,修改其结构后进行故障模拟,并将实验结果与全扫描结构和仅考虑结构因素的部分扫描结构进行了比较,最后得出结论.     

改进的点集凸包的增量算法

凸包是计算几何中得到广泛研究的问题之一,在图像处理、地理信息系统中有着广泛应用.对传统点集快速凸包算法进行改进,在脱机算法中首先进行排序,通过比较当前凸壳中极值点与新增点来避免一些不必要的运算.在联机算法中,通过保持一个各方向极值点的表来快速确定新增点的粗略位置,排除对凸包内的点的运算,并有效减少了不必要的运算.算法可使用双向链接表或栈这样的数据结构.整个过程达到复杂度下限.本算法结构清晰,易于编程实现.     

基于关联规则的电子商务推荐系统研究

电子商务网站可以使用推荐系统分析客户的消费偏好,向每个客户具有针对性地推荐商品．推荐系统在帮助了客户的同时也提高了顾客对商务活动的满意度．本文首先对基于关联规则的推荐系统的相关知识进行了讨论,提出基于项目支持度的关联规则推荐算法,并通过实验验证该算法的可行性．在此基础上对基于关联规则推荐系统的结构进行了研究．     

离散变量结构拓扑优化协同混合遗传算法

针对离散变量桁架结构拓扑优化问题,提出了将拟满应力法与遗传算法相结合的混合遗传算法,并引入了拓扑和尺寸协同演化的思想,使得桁架拓扑和尺寸的演化能够相互独立又协同进行.并给出算例证明该方法是非常有效的     

像素填充算法的研究

对CIG像素处理器中像素填充的数据结构及其填充算法作了研究,在此基础上提出了CIG中像素填充部件的一种设计方案。     

基于混合进化计算的GMM优化方法及其在说话人辨认中的应用

提出了基于进化高斯混合模型(EGMM)的说话人辨认系统建模方法.EGMM在进化算法的框架下,为改善模型的泛化性能对GMM模型的结构与参数共同进行了优化.同时,系统的优化目标中引入了其他用户的区分性信息以提高其分类精度.根据GMM的特点设计了专门的遗传算子并结合GA与EP提出了一种新的混合进化算法.初步实验结果表明,EGMM方法建立的说话人模型具有更强的泛化能力.在说话人辨认实验中,较之传统的GMM方法,基于EGMM的系统的正识率提高了近3%,并且模型具有更小的平均尺寸.     

Chan-Vese模型下的复合多相水平集图像分割

Chan-Vese模型(C-V模型)能够实现图像的二区域分割,但在多区域分割上存在局限. 目前解决C-V模型多区域分割问题有两种方案：一是采用多水平集同时收敛的并行多相分割;另一种是采用多水平集依次收敛的串行多相分割. 文中将两种方案结合起来,利用并行多相算法表示区域量大和串行多相算法分割效率高的特点,提出基于C-V模型的复合多相水平集分割算法,增加了串行结构下的分割区域量,也提高了并行结构下各水平集的实际分割效率. 实验结果表明,该方法可实现多区域分割,并能检测由弱边缘构成的子目标.     

自然遗传算法及其性能分析

在为种群大小遗传算法的基础上引入“种群阈值”及“移民”等概念,并采用动态调节交配率及变异率等措施,提出了一种自适应的遗传算法。该算法通过模拟自然界的“生老病死”过程来实现问题求解,并力求解决遗传算法的参数控制及过早收敛等问题。且介绍了该算法的基本思路,并对其性质进行了分析。