超晶格界面上的TM电磁表面波

该文研究超晶格体中TM电磁表面波的传播特性.分析了超晶格体液晶层晶轴取向θ角对TM表面波传播的重要影响,导出了TM表面波色散关系,给出了其电场和磁场的分布曲线.理论揭示:超晶格中TM表面波存在的条件是:(1)θ=0或θ=π/2;(2)超晶格体覆盖层的复介电常数ε满足Re (ε)<0.     

模型误差条件下MUSIC算法的测向成功概率

测向成功概率是特征空间类算法的一项重要性能指标. 该文推导了模型误差条件下MUSIC算法的测向成功概率．通过对空域谱函数进行一阶Taylor展开得到MUSIC算法的测向误差及其统计特性,给出针对单个信源的测向成功和两类整体测向成功的定义,并结合模型误差的统计特性推导了针对单个信源和两类整体测向成功概率的计算公式．针对均匀圆阵和均匀线阵给出了仿真实验,结果表明理论值和仿真实验值能够较好地吻合,验证了理论推导的正确性．     

掩膜数据布尔运算的并合算法

本文介绍一种灵活、易扩充.适用于任意角度的平面几何图形布尔运算算法——简称A算法.A算法对平面上的几何图形作了新的规范化的定义和假设,且对数据结构作了改进,使得平面图形的各种布尔运算在算法上并合和统一,便于功能的扩充.     

Vague集上基于蕴含算子I(x,y)的三I算法

给出区间集上蕴含算子的定义和一个蕴含算子。利用三I思想,给出了Vague集上基于蕴含算子I (x,y)的三IVMP算法的计算公式,分析了三IVMP算法的还原性,并给出了基于区间集上蕴含算子I (x,y)的三IVMP算法具有还原性的本质条件.由于Vague集具有表达不确定性知识比Fuzzy集更为丰富的特点,三I思想更为可信,故在不确定性的推理中,三IVMP算法是较为令人满意的算法。     

在超立方体计算机上的光栅图形算法

本文论述了新一代并行计算机的应用光栅图形显示，光栅图形算法大多是象空间算法，因而操作间关联少，能产生极好的并行性，特别适合在超立体机上的运行，本文对光栅图形算法如何在超立方体机上的运行做了讨论。分析了几种算法的任务分配，并从中得出结论超立方体机理理想的光栅图形算法运行的环境。     

PBC:一种基于路径的XML文档聚类方法

提出了一种基于路径的XML文档结构聚类方法(PBC).与其他方法直接计算XML文档结构距离不同,该方法通过对文档包含的路径聚类,间接完成文档的聚类.首先,包含某一路径的文档集合形成初始类,并用该路径作为初始类的标识.然后,用层次聚类方法根据设定的标准,合并初始类,直至结束.类的标识信息是类中文档包含的路径,结果直观,容易理解.算法的复杂度是O(n),其中n是文档的大小.相关实验证明该算法不但能保证聚类结果准确,而且能大幅度提高计算的速度.     

InSb1-xBix的液相外延

本文采用液相外延方法在InSb衬底上生长InSb_1-xBi_x外延层,初步得出了外延生长条件包括温度,生长速率,熔池组分及衬底取向等与外延层x值的关系.此外,为了使x值达到所希望的适当范围,进行了InSb_1-xBi_x电外延的初步试验.     

捷联惯导初始对准的超球体采样SRUKF算法

平淡卡尔曼滤波(UKF)在捷联惯导系统静基座大方位失准角初始对准中计算量大,且滤波数值不稳定. 针对这一问题,该文将超球体采样策略与平方根UKF(SRUKF)算法相结合,提出一种改进的SRUKF算法. 该算法在保证其滤波精度和UKF算法相当的前提下,通过引入超球体采样减少了采样点数,提高了计算速度. 并以协方差阵的平方根矩阵代替协方差阵参加递推运算,减少了计算机舍入误差,提高了滤波数值稳定性. 仿真结果表明,该算法在保证初始对准滤波精度的前提下降低了计算量,提高了滤波性能.     

一类可优化的平方伪布尔函数

该文给出一类平方伪布尔函数f(x)=xQx^T+cx^T+d,它的最小点与最小值可在线性时间内找到。其基本思想在于将Q和C所关联的图转换为由NOT,AND,OR,NAND,NOR,XOR和XNoR门组成的逻辑电路,后者的相容信号值对应伪布尔平方函数的最小点。这种方法建立了平方伪布尔函数与逻辑电路之间的结构关系。     

自动定理证明中带有等词的连接法

连接法是一种较新的自动定理证明的方法.该文讨论了带有等词的连接法,给出了形式化的定义,证明了带有等词的逻辑公式是eq有效的当且仅当它有互补复合例的规范矩阵的定理,并设计了带有等词的连接法的有关算法.     

机械手时间-能量综合最优轨迹规划

利用B样条函数逼近机械手运动轨线,并通过引入样条曲线的伪距离和伪速度参量化解轨迹,进一步利用动态规划法进行二维动态寻优,最终获得机械手时间能量综合最优轨迹.     

非周期实时任务过载的判别和处理机制

提出一种基于任务价值的非周期实时任务过载处理机制. 在给出一种非周期实时任务过载判断方法的基础上,将任务的截止期和价值这两个参数结合起来,提出处理实时任务过载的数学模型,并采用改进的动态贪婪算法求解. 设计了任务参数和任务价值函数,从实现价值率方面分析改进的动态贪婪算法的性能. 实验结果表明,在所有额定负载条件下,改进的动态贪婪算法相对于截止期优先、最高价值优先和鲁棒最高价值优先等算法能达到更高的实现价值率.     

ASP环境下如何实现Oracle数据库的访问

活动服务器网页(ASP)是一种被广泛用于创建动态网页的功能强大的服务器端的脚本语言。Oracle 数据库功能强大,在浏览器中访问大量数据信息时需要在 ASP 环境下访问 Oracle 数据库。本文在 ASP 与 Oracle 数据库的访问方面进行了一些实践和探讨。     

凸函数的一个命题及衔接运算

从点集角度给出了凸函数的一个命题和凸函数f和g在衔接运算下不变性的几个充分条件，并将此结果推广到可数个凸函数的情形；最后，指出了文献[6]的一处错误，并给予了反例。     

基于显式多项式恢复的后验误差估计

设计了一种基于显示多项式恢复（EPR）的后验误差估计,这种恢复是对函数值进行恢复,它的核心思想是在每条边上通过求解只有一个未知量的局部问题来恢复边中点的函数值。首先,给出了EPR方法的显示公式。该文基于EPR的后验误差估计分别与最新顶点加密方法和CVDT加密方法相结合,构造自适应有限元算法求解椭圆方程。数值试验表明基于EPR的后验误差是有效的,特别地对于泊松方程,在CVDT网格上EPR具有超收敛性质.最后,对一维情形,给出了相应的理论分析.     

应用启发式边缘生长的遥感影像分割

基于边缘的遥感影像分割方法有两个难点：边缘点检测和边缘线连接. 文中提出一种基于启发式边缘生长的分割方法. 首先对Canny 算子进行三方面的改进以准确提取边缘点：自适应小波去噪、最优双阈值计算、基于邻域全变分的边缘决策. 定义一个新的边缘连接异质性指标,包括空间异质性和光谱异质性. 在此基础上提出启发式的全局交互最优决策技术以正确连接断裂边缘线. 文中用快鸟影像和航空影像进行分割实验,并与eCognition 的分割结果进行定性和定量比较. 实验表明启发式边缘生长分割方法能正确地连接绝大多数边缘线,并提供准确的分割结果.     

基于贝叶斯网络的Peer-to-Peer识别方法

网络业务分类与识别是网络管理、网络规划和安全的必要途径,而Peer-to-Peer (P2P)流量由于采用伪装端口、动态端口以及应用层加密,已成为业务分类与识别的主要难点. 该文提出了P2P业务的精确识别方法,通过对流统计特性的分析,提取相关特征属性,应用遗传算法选取最优特征属性子集,并采用贝叶斯网络机器学习方法识别P2P流量. 实验表明Ｋ2,TAN和BAN能有效快速地识别P2P业务,分类精度高达95%以上,很大程度上优于朴素贝叶斯分类和BP神经网络方法. 同时该系统具有可扩展性,能够识别未知的P2P流量,并适用于实时分类识别环境.     

基于特殊选择的抽象进化算法的收敛性

首先定义了抽象选择算子和抽象进化算子，基于这两种算子给出了一般抽象进化算法的定义．特别讨论了一种基于特殊选择的抽象进化算法，根据状态空间的分类，分析了这种特殊选择进化算法种群的一步转移概率矩阵的性质，最后证明了这种算法的Markov链存在极限概率分布．     

三叉树形冲突分解算法研究

提出一类新的三叉树形冲突分解算法,并对随机多址系统中信息分组冲突分解进行了研究,给出了冲突信息分组平均分解次数的解析式及动态吞吐量和静态吞吐量的解析式.     

利用自适应像素对匹配的图像纹理区隐写

图像纹理区结构随机性较强,因此在纹理丰富区域嵌入隐蔽信息比在平坦区域嵌入的安全性更高。提出一种基于自适应像素对匹配法（adaptive pixel pairmatching,APPM）的纹理区隐写算法,优先在复杂纹理区嵌入密信。定义了图像纹理区域判别准则,由此根据待嵌入秘密信息的长度调整阈值,实现自适应隐写。在嵌入过程中可能出现嵌密块纹理复杂度小于阈值的异常情况,为解决这一问题,算法包含了基于最小失真的像素值局部调整策略。实验结果表明,该算法的嵌入效率高于原始APPM算法,而且KL距离较小,抵抗几种常用隐写分析算法的能力也比其他几种代表性算法LSB和APPM更强。