用daikon发现循环不变式

随着软件行业的深入发展,软件存在的问题与日俱增,程序正确性受到了广泛的关注,形式化方法是解决程序正确性的基本途径,而发现程序循环不变式是证明程序正确性的关键。本文介绍了循环不变式的基本概念以及计算不变式的基本方法;用JAVA重写了Siemens的replace C程序,并以JAVA和C两种语言的replace程序为例,对不变式动态探测工具daikon进行了深入的实验研究,试验结果揭示了daikon在探测循环语句不变式方面的不足,依此提出了改进daikon探测循环不变式的措施。     

锥面共形阵列天线实值盲极化DOA估计方法

将快拍数据协方差矩阵分裂思想引入到锥面共形阵列天线的测向中，提出了一种高效的锥面共形阵列盲极化波达方向(DOA)估计方法。该方法将子空间估计过程进行了实值化处理，通过子阵分割解决了协方差矩阵分裂引起的“镜像模糊”问题，同时，对参数估计的理论性能界进行了分析，推导了实值盲极化DOA估计的克拉美-罗界，并讨论了算法复杂度改善情况，在保证DOA估计精度的前提下有效降低了算法复杂度。仿真实验表明，所提算法在信噪比为10 dB时，估计精度与已有盲极化复值算法基本一致，而运算量仅为原算法的60%～70%,证明了算法的有效性。     

变系数Benjamin-Bona-Mahony-Burgers方程的微分不变量和精确解

通过应用经典李群方法,得到了变系数的Benjamin-Bona-Mahony-Burgers(BBMB)方程的连续等价变换。从等价代数着手,讨论了该方程的微分不变量,发现此方程不存在零阶微分不变量,但是具有8个相互独立的一阶不变量。利用已经求得的一阶微分不变量对方程进行了群分类。在此过程中,进一步应用上述微分不变量将一般的变系数BBMB方程映射为常系数BBMB方程、Burgers方程、Benjamin-Bona-Mahony(BBM)方程,进而得到了变系数BBMB方程的一些新的精确解,并且作出了特殊变系数BBM方程、Burgers方程的精确解的图像。     

超曲面的一系列共形不变量的极值问题

本文给出超曲面一系列共形不变量当维数n≥5时极值的具体计算.     

点群10mm二维准晶和经典弹性半无限裂纹塑性模拟

研究平面弹性中点群10mm十次对称二维准晶和经典弹性半无限裂纹的Dugdale模型问题.采用保角变换和复分析理论,将这个问题转化成一组函数方程,从而推导出相应的应力强度因子和内聚力区域.结果显示,准晶声子场与各向同性体应力强度因子、内聚力区域尺寸是一致的.     

部分边界受力情形下带裂纹的椭圆孔口问题的解析研究

引入新的保角映射函数,利用复变方法研究椭圆孔边裂纹仅在孔边受内压而裂纹面自由情形下的复杂缺陷,得到复杂缺陷附近Ⅰ型和Ⅱ型问题断裂判据的精确表达式.由所得结果可以得到圆孔边裂纹仅在孔边受内压裂纹面自由情形下的解析解,也可以退化为椭圆孔和圆孔边单裂纹在孔边及裂纹面上均受内压的结果.     

宽频带圆锥共形微带天线的CFDTD法分析

根据微带天线展宽频带的工作机理,基于共形时域有限差分(CFDTD)法,分别对工作在L波段和C波段的重叠贴片式和电容补偿式探针馈电圆锥共形微带天线的近远场特性做了分析. 结果表明,与普通的单贴片结构天线相比,其带宽有了明显改善. 在时域有限差分(FDTD)网格剖分时,采用了坐标系旋转的方法,以方便激励探针的建模,同时为了提高仿真的效率,引入了非均匀网格技术.     

某类Finsler-Einstein空间之间的共形映射(英文)

Liouville定理证明了欧氏空间到自身的共形变换是莫比乌斯变换.关于Riemann空间,Brinkmann首先得到了一般的结论.但对Finsler空间的研究乏人问津.本文运用导航术和共形映射的性质证明了Randers空间(或Kropina空间)之间保Einstein度量的共形变换必是相似变换.     

一种新型的单层介质宽频带圆柱共形微带天线

提出一种新型的单层介质宽频带圆柱共形微带天线.采用具有U形缝隙的金属贴片作为天线的辐射单元,缝隙的引入改变了贴片表面的电流分布,使天线的阻抗带增至39%左右.利用时域有限差分法(FDTD)结合圆柱分层媒质中谱域并矢格林函数的混合方法对该天线进行了全波分析,给出了天线单元的阻抗特性、辐射特性以及两天线单元间的互耦特性.该天线仅含有单层介质衬底,与叠层结构宽频带微带天线相比,剖面厚度减少约30%,更适合应用于天线剖面尺寸要求严格的场合.     

用多极理论保角变换法分析未屏蔽平板线

提出了用多极理论保角变换组合法计算未屏蔽平板线特性阻抗的问题,保角变换将未屏蔽平板线的无穷边界无界场或边值问题转化为有界场域边值问题,再利用多极理论方法进行求解。3种未屏蔽平板线的计算结果表明：多极理论方法确实具有较高的计算精度,多极理论保角变换组合法是分析未屏蔽平板线特性阻抗问题的一种有效方法,可以很方便地应用于传输线工程问题的设计与计算。