基于AOV图及二叉树的梯形图与指令表互换算法

通过对可编程逻辑控制器(Programma blelogic contro ller,PLC)的梯形图语言及指令表语言的分析,提出了基于AOV(Activity on vertex)有向图和二叉树实现梯形图与指令表程序相互转换的算法。转换算法将梯形图映射为AOV图,并由其建立二叉树来表示指令间的逻辑关系,通过遍历二叉树实现PLC梯形图与指令表的转换。文中给出一个转换实例,介绍了算法思想及其实现步骤。该算法具有通用性,适于复杂控制逻辑的梯形图,已成功用于水电自动化监控系统中的PLC编程软件平台。     

基于模因算法的飞机装配序列规划

针对飞机制造的装配序列规划问题,提出一种基于模因算法的飞机部件装配序列规划方法。在装配优先约束矩阵和非正交干涉矩阵的基础上构建装配规划模型,以飞机零部件间的装配方向和装配工具的差异性来构建适应度函数。在非干涉解空间中进行全局搜索,获得较优的装配规划方案,通过二叉树中序遍历法将较优的方案转化为可行解,再经过交叉操作和变异操作后,在可行解空间内进行局部搜索,最终获取较优的装配方案。以某型号的飞机舱门装配为例,通过与传统遗传算法对比,证实模因算法在飞机装配序列规划中的可行性和有效性。     

基于上/下行NOMA的卫星通信系统遍历容量分析

卫星通信作为实现广域覆盖和泛在连接不可或缺的一种手段，在民航空管、应急通信等实际应用中扮演着重要的角色。为了提升卫星通信系统的频谱效率和传输速率，首先将点波束和非正交多址（Non-orthogonal multiple access, NOMA）技术相结合，提出了一种高效的上/下行NOMA传输方案。其次，在假设卫星链路服从阴影莱斯（Shadowed-Rician, SR）分布，同时接收端采用完美和非完美串行干扰消除（Successive interference cancellation, SIC）的情况下，推导出所提方案的卫星系统遍历容量闭合表达式。最后，仿真结果验证了理论分析的正确性以及所提方案相较于正交多址方案获得的性能提升，并进一步分析了信道衰落系数、功率分配系数和残余干扰程度等因素对系统遍历容量的影响。     

Banach空间中椭圆方程Dirichlet问题的迭代解

以半序理论为工具，在Ｂａｎａｃｈ空间中用上下解方法研究了椭圆方程Ｄｉｒｉｃｈｌｅｔ问题的迭代解，并证明了存在两个迭代序列分别一致收敛于该问题的最小解和最大解。     

格序群的极子群在凸l－子群格中生成的闭子格

设Ｇ是一个格序群，Ｐ（Ｇ）是Ｇ的极子群集合，Ｃ（Ｇ）是Ｇ的凸ｌ－子群集合，Ω（Ｇ）是Ｐ（Ｇ）在Ｃ（Ｇ）中生成的闭子格，本文通过对Ω（Ｇ）的研究得到了一系列重要结果，对有限值格序群给予了一系列新的刻画，证明了ｇ是基元当且仅当ｇ－是ｇ的唯一的Ω－值等结论，实际上对Ｐ．Ｃｏｎｒａｄ提出的问题＂Ｄｅｓｃｒｉｂｅｔｈｅｅｌｅｍｅｎｔｓｉｎ＂进行了富有意义的探索。     

壁湍流调制雷诺应力和拟序结构应变率空间形态的层析PIV实验研究

采用高时间分辨率的层析PIV技术,测量了水洞壁湍流三维速度分量空间分布的时间序列,应用局部平均速度结构函数概念对流向速度信号进行多尺度分解,以流向速度分量的局部平均速度结构函数过零点作为特征量检测壁湍流中拟序结构猝发的喷射和扫掠过程,应用空间相位平均技术提取拟序结构猝发的喷射和扫掠过程各速度分量、涡量分量、拟序结构速度应变率分量以及调制雷诺应力分量的空间相位平均拓扑形态.为了引入平衡态涡粘模型假设模拟调制雷诺应力,研究了拟序结构猝发过程中调制雷诺应力分量和速度变形率分量的空间分布形态,发现两者之间的空间相位分布不一致.由于存在时空相位不同步性,说明需要考虑大尺度拟序涡结构引起动量传递的时空弛豫效应.应用经典的线性平衡态下的Boussinesq涡粘模型不能准确地描述壁湍流拟序结构动量传递非平衡现象的物理机理.对于壁湍流拟序结构动力学方程中调制雷诺应力的模拟,应采用包含时空相位信息的复涡粘张量模型.由于雷诺应力与速度变形率的时空不同步性,对非平衡非局部湍流场的数值模拟提出了一个挑战性的问题,建议采用包含相位信息的复涡粘张量模型来模拟雷诺应力张量,从而更加符合雷诺应力演化的物理机理,这一模型有可能成为一个很有发展前景的封闭模型,从而更加准确地预测工业领域中广泛存在的非平衡湍流.     

基于PEV准则的不确定随机多目标规划问题求解

为解决独立变量的不确定随机多目标规划问题在传统求解中存在分析不全面等问题,在期望值-方差准则下提出了一种新的求解方法。基于机会理论,引入不确定随机变量,在此基础上提出了不确定随机多目标规划问题;引入不确定随机变量的序关系,利用变量间的序关系把不确定随机多目标规划问题转化成不确定随机单目标规划问题,并通过期望值-方差准则把不确定随机单目标规划问题转化成确定的单目标规划问题进行求解;通过理论推导证明,在新准则下转化后的问题得到的最优解是原不确定随机多目标规划问题的有效解;最后,通过对无人机情报侦察监视任务分配问题的求解,利用改进的萤火虫算法求得有效飞行序列,验证了所提方法的可行性和有效性。     

含有文字序逻辑程序的一种辩论语义

有序逻辑程序的语义研究是常识推理的重要研究内容。文中对Dung的辩论框架进行了扩充,针对含有文字序的逻辑程序提出了一种优先辩论框架,加入了对文字之间优先序的处理,进而定义了相应的优先回答集语义和优先扩充语义。证明了文中的优先回答集是Sakama回答集的特例,而优先扩充语义可以处理没有回答集的优先逻辑程序。     

来流边界层拟序结构对超声速混合层流场结构的影响研究

超声速混合层涉及可压缩湍流的根本问题,具有重要的应用背景.通过设计超声速混合层实验装置、应用新近提出的高分辨率NPLS测试技术,拍摄了来流边界层分别为层流和湍流流态下混合层的流向和展向流动图像.根据流动图像的特征,分析了混合层的流向与展向流场切面中拟序结构的成因;深入讨论了来流边界层中拟序涡结构与混合层涡结构的相互作用问题;比较了层流和湍流来流条件下混合层拟序结构的异同及其对混合效率的影响.结果表明:当来流边界层为湍流时,对应的混合层具有较高的混合效率.     

关于Caristi不动点定理的一点注记

本文利用半序方法给出了一个新的Caristi型不动点定理，与原有结果不同的是：在我们的定理中，不动点可以用迭代方法求出。     

最小支撑树算法在基因表达数据聚类分析中的应用

聚类分析已成为对基因表达数据进行挖掘以提取生物医学信息的主要方法.本文提出了基于图论的最小支撑树(Minimum spanning tree,MST)聚类算法,用MST表示多维基因表达数据,可将数据的聚类转换为对最小支撑树的分割,相对于传统聚类方法,最小支撑树算法具有形象直观、对一些准则函数能产生全局最优解等优点;将MST算法分别与Memetic algorithm及人工免疫算法(Artificial immune network,aiNet)相结合,则产生更优化的聚类结果.对酵母基因表达数据的实验结果表明,最小支撑树聚类算法是一种有效的基因表达数据的聚类方法.     

航班运控中飞机和机组快速整合优化恢复

由于 天气、交通流量、飞机故障等因素影响,航班推迟甚至取消经常发生。导致航班延误的因素 一旦解除,航班恢复工作必须立即执行,为此航班优化建模求解方法的高速高效尤其重要。 首先系统简要地回顾了航班优化恢复的研究现状。在此基础上,提出了飞机和机组一体 化恢复的数学模型。之后通过构建飞机恢复和机组恢复的可行路径和可行配对作为输入,对 建立的优化模型进行优化求解,以使其在合理的时间内,获得整合恢复的优化解。为了获得 飞机恢复和机组恢复的可行路径和可行配对,设计了专门的递归算法和配对存储树方法 。为了进一步提高计算速度,对计算数据进行了预处理,即将恢复限制在受扰航班中进行 。这样不仅提高了求解速度,同时也最大限度地减少了受扰航班数。计算试验表明,该方法 较之飞机、机组分阶段优化恢复,优度明显提升,而且求解速度快,可用于航空公司中小规 模的航班恢复。     

金属图像的自适应分割方法研究

针对金相图中分割问题,在分析对比传统的全局阈值分割方法的基础上,提出了一种自适应阈值分割方法。将原图像划分为若干子块,对每个子块利用最佳阈值的方法进行分割。实验表明,提出的方法简便易行,具有较好的鲁棒性和适应性;在完整、有效分割图像的同时,能够保留原始图像中的大量细节信息,对复杂背景图像的分割处理效果满意。本文研究为今后金相分析提供了可靠的依据。     

霍夫变换与最小二乘法相结合的直线拟合

将霍夫变换与最小二乘法相结合 ,研究对实验数据和图像处理中的二值边缘图进行直线拟合的方法。首先 ,用霍夫变换剔除数据点集中的干扰点或噪声 ,并将分布在不同直线附近的点分离出来 ;然后 ,用最小二乘法拟合各直线。该方法既解决了直接使用最小二乘法拟合时 ,拟合直线易受干扰点或噪声的影响和数据点分布在多条直线附近而无法拟合的两个问题 ;同时也解决了直接使用霍夫变换时 ,拟合直线精度不高和直线段有效区间不容易控制的问题。     

一种基于DOM树的XML数据频繁模式挖掘算法

由于XM L数据具有半结构化特性,使得面向XM L数据的数据挖掘不同于面向关系数据库的数据挖掘,它具有更复杂的层次结构。研究基于DOM树的XM L数据频繁模式挖掘算法,提出面向XM L数据的频繁模式增量式挖掘算法F reqtT ree。该算法首先将XM L数据转化成DOM树,然后从DOM树挖掘所有频繁模式。F reqtT ree算法采用最右扩展技术,只在树的最右分支上增加新结点生成新树。同时充分利用已生成的频繁模式信息,使得产生的候选模式数量较少。F reqtT ree算法利用频繁k-1模式的支持数计算候选k模式的支持数,该算法只对DOM树遍历一次,具有较高的效率。采用多组数据对此算法的性能进行检验,并与其他算法作对比实验,实验结果表明该算法高效可行。     

快速并行细化算法

本文提出一种快速并行细化算法。细化过程是一个迭代过程。每次迭代分成两个子迭代。算法收敛速度快,细化连续性好,几何畸变小,对二值纹理图像无特殊要求,具有通用性。算法实现巧妙,独特,占用内存少,特别适合小型计算机图像处理系统。该算法在PCvision图像处理系统上实现的效果良好。     

周期序列正交分解和离散傅里叶级数

本文试图用信号线性逼近的方法和正交分解的理论导出周期序列离散傅里叶级数DFS关系式。推导过程表明,在N维序列空间上,用N维复指数序列集线性逼近任一周期序列,在方均误差最小的条件下,其表达式就是DFS关系式;同时说明,周期序列的DFS部分展开式在方均误差准则下线性逼近误差最小。     

并发式软件系统横切关注点的建模方法

基于面向侧面技术及统一建模语言状态图提出了并发式软件系统开发过程中横切特性的建模方法.该方法将并发软件系统的业务逻辑和横切行为分别封装到复合状态的不同正交区域中,并通过事件广播机制反映二者的交互关系.同时,以模块化的状态迁移系统作为基本计算模型,对该建模方法进行形式化描述,给出了模型元素及建模过程的精确语义.实例研究表明,该方法在并发软件设计阶段实现了横切关注点的分离策略,并使得系统模型具有松耦合、适应性和可跟踪性的优点.