动态构造网管中管理功能与被管对象的关联

在动态构造的网络管理中,管理功能与被管对象的关联机制是核心关键技术.这种关联机制采用被管对象集MOS(Managed Objects Sets)的思想.MOS提供对协议、设备及应用相关的被管对象的定义及描述,通过动态编译的技术生成及扩展MOS,并通过对MOS的访问实现与管理功能的关联.      

基于原模图扩展的QC-LDPC构造方法

基于原模图构造的低密度奇偶校验码(LDPC)性能很大程度上取决于扩展算法。为此,提出了一种构造准循环低密度奇偶校验码(QC-LDPC)的新方法。所述算法经过两步扩展得到QC-LDPC:第一步是原模图去重边,在边置换条件的约束下,使扩展所得矩阵局部围长最大化;第二步进行准循环扩展,通过计算机搜索得到规定长度内的所有闭环路径,比较环长和近似环路外信息度得到置换矩阵的最优偏移量,目的是剔除连通性差的短环对码性能的负面影响。对于不存在重边的原模图,则直接进行准循环扩展。仿真结果表明,利用该方法构造的QC-LDPC在译码门限和误码平层两方面都具有优异的性能。     

原模图LDPC码的准循环扩展和编码算法

原模图LDPC码性能优异, 适合高速编译码, 但针对它的扩展和编码算法研究较少. 利用矩阵环与多项式环的同构关系, 提出了原模图LDPC码准循环扩展和生成矩阵求解的高效算法. 仿真结果表明, 用所提出的扩展算法得到的原模图LDPC码, 在相同的最大变量节点度条件下, 性能优于已知的最好无结构非正则码.      

扩展的基于角色的访问控制模型

提出了一种扩展的基于角色的访问控制RBAC(Role Based Access Control)模型--RTBAC (Role & Task Based Access Control)模型.该模型在RBAC96模型之上引入了任务和任务实例的概念,形式化地定义了任务和任务实例的层次结构,界定了传统会话同任务实例之间的关系以及任务实例同权限之间的关系,并且提供了几种辅助函数.该模型可以更为自然地描述业务流程和访问控制策略,更适合分布式协作应用,特别是工作流和组合服务.基于该模型定义了一种新的动态职责分离约束--基于任务的动态职责分离约束,并且同传统动态职责分离约束进行了比较.该约束可以更准确地刻画访问控制相关的系统运行时上下文的范围,从而提高运行时访问控制的效率.     

通断式多态系统扩展测试性建模方法

现有测试性建模方法有一定的约束条件,包括故障判据的一致性、故障传递关系的一致性、测试的逻辑值判据一致性.针对通断式多态系统具有的状态差异性的特点,提出了一种扩展测试性建模方法.在引入状态集合的基础上,对故障、测试、 D 矩阵和诊断树进行了扩展定义,最后定义了扩展测试性模型.介绍了扩展测试性建模分析的算法,主要有模型建立算法、扩展 D 矩阵生成算法、扩展诊断树生成算法.以某液压操纵系统为例进行了应用,结果验证了方法的可行性和有效性.     

基于工艺失效知识的工艺改进方法及实现

工艺设计是一个不断改进与优化的过程,而反面工艺知识即工艺失效知识,对工艺改进与优化往往十分有效.提出了一种基于工艺失效知识的改进方法,包括8个步骤:确定潜在失效模式,分析潜在失效原因,计算风险优先数N,提出改进措施,计算改进后的风险优先数N’,权衡改进措施,采纳改进措施和存储工艺改进数据.在基于Web的工艺失效知识库管理系统——工艺FMEA(Failure Mode and Effect Analysis)的基础上,通过建立工艺失效知识与产品和工艺信息的关联,实现工艺FMEA系统与CAPP(Computer Aided Process Planning)系统的信息集成和过程集成,从而达到工艺改进的目的.给出某飞机结构件(主梁)利用工艺失效知识进行工艺改进的验证实例,为在工艺设计阶段主动预防地改进工艺方案提供了一种有效手段.      

一种支持工作流模式的扩展工作流网

为了满足企业用户对工作流模型在描述能力和分析能力上的要求,提出了一种 支持工作流模式的扩展工作流网(EWF_net,Extended WorkFlow net).EWF_net是在工作 流网(WF_net,WorkFlow net)的基础上增加一些机制扩展而成的,它改善了WF_net对于动态工作流模型的描述能力,直接支持所有工作流模式,特别是多实例 、取消、高级同步等WF_net不能直接描述的模式.EWF_net通过引入控制变量 来描述工作流模型的相关数据信息;通过引入一类特殊的变迁——传递变迁,来 支持模型的动态路由.在Petri网分析技术的基础上提出EWF_net的形式化的正确性分析方 法.该方法由一致性分析和对应的WF_net的合理性分析2部分组成.最后,通过一个应用实例 来说明EWF_net强大的描述和分析能力.      

协同维修过程的合成Petri网建模与分析

针对协同维修过程中共享资源约束、工序衔接时机和维修工时不确定3大问题,建立了一种基于合成Petri网的协同维修过程模型.该模型采用三参数的数组来描述不确定维修时间,引入活动图形来描述协同关系和建立共享资源控制网来约束资源派遣次序.给出了协同维修过程合成Petri网构造算法.解决了协同维修过程分析中3大难点,合理表述了协同维修活动依赖关系,实现了对协同维修过程的规范化描述.实例分析表明该模型能够帮助维修工程部门预测维修完工时间和把握工序衔接的时机,并提出共享资源优化配置的建议.      

基于描述逻辑DL_(RBAC)的RBAC形式化模型

提出了一种新的基于描述逻辑的形式化表示方法,将组成基于角色的访问控制(RBAC,Role-Based Access Control)模型的集合和关系分别用描述逻辑中的概念和角色表示,并且在基本的描述逻辑语言上引入了可以表示角色的复合关系和包含关系的符号,从而形式化表示出了RBAC与角色继承有关的一些关键性质和约束条件,如角色层次关系(RH,Role Hierarchy)传递性、用户角色分配关系(UA,User-Role Assignment)的继承性和权限角色分配关系(PA,Permission-Role Assignment)的继承性,以及RBAC中的静态职权分离约束和动态职权分离约束等.通过形式化地表示RBAC的继承关系及约束条件,利用描述逻辑本身的推理机制可以限制不符合访问控制策略的继承关系产生.     

簇飞行航天器网络动态连接和路径时空演进特性

簇飞行航天器模块的高速飞行增加了网络拓扑的不确定性.为优化簇飞行航天器的轨道设计，提升簇飞行航天器网络性能，在簇飞行航天器节点动态连接的基础上，开展基于概率连接矩阵的簇飞行航天器网络动态连接和路径时空演进特性研究.基于航天器双星伴飞模式，建立了簇飞行航天器节点移动模型，运用经验统计和曲线拟合的分析方法，得到簇飞行航天器网络节点间的距离密度函数；利用簇飞行航天器网络节点间相对距离有界的约束，给出节点连接距离的阈值范围；利用STK生成的轨道数据，通过给出序贯路径定义和一种新的矩阵乘法运算，得到节点多跳序贯路径的概率连接矩阵，分析轨道超周期内节点动态连接和路径时空演进特性，为簇飞行航天器网络的设计和优化提供理论参考.      

参数不定区间估计的对偶线性规划方法

将参数不定区间估计(PIE)问题变换成一组对偶线性规划(DLP)问题,提出了求解这组DLP问题的改进单纯形方法.该方法利用变量间的对偶关系,直接计算初始基本可行解,省去了初始基本可行解的搜索步骤.此外,在确定旋入和旋出变量时都采用了目标值最大减少规则,减少了旋转迭代次数.针对由PIE问题所导出的全部DLP问题都具有相同的目标函数和约束矩阵,给出了单搜索过程求解全部DLP问题的联合单纯形法.仿真结果说明了所给算法的计算效率.      

基于双层协方差矩阵重构的稳健波束形成算法

针对协方差矩阵含目标信号分量及目标导向矢量失配情况下，传统自适应波束形成器性能急剧下降的问题，提出了干扰加噪声协方差矩阵双层重构的稳健波束形成算法。首先，利用稀疏重构的方法预估干扰加噪声协方差矩阵，通过估计干扰导向矢量及干扰功率对干扰加噪声协方差矩阵进行优化校正；然后，基于子空间理论建立导向矢量约束误差优化模型，利用迭代方法对凸优化模型进行求解，得到最优权值向量。仿真结果表明:所提算法显著提高了波束形成器在目标导向矢量约束误差及阵列误差情况下的稳健性，低快拍条件下表现较好，输出性能优于仿真对比算法。      

空间科学任务协同设计过程优化

为了对概念设计阶段空间科学任务协同设计过程进行合理规划, 减少设计反馈, 降低系统耦合度, 提出了设计结构矩阵(DSM)过程建模和遗传算法(GA) 过程优化算法. 该方法采用DSM对空间科学任务设计活动序列进行建模, 通过DSM描述设计活动间的信息依赖关系, DSM上三角之和代表该设计活动序列设计反馈次数; 将 DSM对应的设计活动序列视为染色体, 采用GA进行序列优化, 最小化设计反馈次数. 通过过程优化算法获取最佳设计活动序列, 优化设计过程, 降低系统耦合度. 空间科学任务实例分析结果表明, 该方法能够有效应用于空间科学任务协同设计的过程建模和过程优化, 指导设计过程的制定.      

An optimization iterative algorithm based on nonnegative constraint with application to Allan variance analysis technique

It is well known that inertial integrated navigation systems can provide accurate navigation information. In these systems, inertial sensor random error often becomes the limiting factor to get a better performance. So it is imperative to have accurate characterization of the random error. Allan variance analysis technique has a good performance in analyzing inertial sensor random error, and it is always used to characterize various types of the random error terms. This paper proposes a new method named optimization iterative algorithm based on nonnegative constraint applied to Allan variance analysis technique to estimate parameters of the random error terms. The parameter estimates by this method are nonnegative and optimal, and the estimation process does not have matrix nearly singular issues. Testing with simulation data and the experimental data of a fiber optical gyro, the parameters estimated by the presented method are compared against other excellent methods with good agreement; moreover, the objective function has the minimum value.     

空时交织码

提出了一种可在频率选择性信道中获得分集增益的满速率满分集空时码.由于所设计方案在不同的天线上设置不同的随机交织器,因此称之为空时交织码.证明了该码满足准静态频选衰落信道满分集准则,并且无速率损失.由于方案仅在各天线处增加交织器,因此易于推广至多个发射天线的场景.同时交织器还使接收机可通过迭代检测逼近最大似然检测性能,因此分别设计了两种迭代接收结构,一种是直接在卷积关系与相等关系间迭代,另一种是在叠加关系、多路卷积关系与相等关系间进行迭代.这些简化了接收机复杂度,使之随发射天线数线性增长.与频选信道中的其他空时码方案相比,该方案在速率、分集以及复杂度方面做出了有效折中.仿真表明,瑞利块衰落信道中该码性能接近多重分集理论曲线.     

一种八质量MEMS陀螺模态频率分析方法

针对结构八质量MEMS陀螺在工作模态频率迭代设计过程中效率低下的问题,提出了一种模态频率解析分析方法。首先,根据八质量MEMS陀螺谐振子的构成方式是由集总质量按旋转对称的排布方式通过单向刚度柔性梁连接形成整体的特点,将其等效简化成一个质量-弹簧模型。然后,采用拉格朗日方程建立16自由度的质量-弹簧等效模型的动力学方程;考虑到八质量MEMS陀螺的工作模态振型特点,对动力学方程做出针对性的简化,提取其中的质量矩阵和刚度矩阵,求解质量矩阵和刚度矩阵行列式的特征值,通过逆推法筛选出符合工作模态振型特点的特征值,即为所需的工作模态频率。本文所提出的解析分析方法与有限元仿真频率偏差为12.8%,验证了所建频率分析模型的可行性。与有限元仿真所需的复杂建模流程相比,这种模态频率分析方法只需柔性梁的刚度以及质量块的质量,便能计算出工作模态的频率,因而能有效开展全局动力学模态分析,获取动力学最优解。     

姿态角幅值约束下的太阳帆Lissajous轨道保持控制

太阳帆航天器以两姿态角作为轨道控制输入时, 其轨道动力学方程具有非仿射非线性特性. 通过人工平动点处线性化获得的线性系统可完成太阳帆航天器轨道保持控制器的分析与设计. 由于线性近似模型为有误差模型, 存在近似有效范围约束, 表现为轨道高度约束和姿态角幅值约束. 本文研究了姿态角幅值约束对线性近似模型有效性的影响, 通过计算给出满足近似误差要求的姿态角幅值约束. 当控制输入存在幅值约束时, 控制器轨道修正能力受到束缚. 通过研究姿态角幅值约束下的最大允许入轨误差, 设计了最大允许入轨误差下线性二次型调节器(LQR)用于轨道保持控制, 并将控制器应用于太阳帆日地三体系统非线性模型中, 实现了日地人工L₁点Lissajous轨道最大允许入轨误差的控制收敛和良好精度下的轨道保持控制.      

一种改进的最小二乘景像匹配算法

为提高景像匹配系统的匹配速度和对初始定位误差、噪声的鲁棒性,对实时图与基准图之间的灰度分布关系进行分析,建立实时图和基准图之间的景像匹配模型,给出了一种改进的最小二乘景像匹配算法.该算法在最小二乘目标函数中引入一个辅助约束项构成综合目标函数,辅助约束项隐含有对量测输入平滑性的约束,提高了匹配算法的稳定性,运用牛顿法推导出该算法的递推公式,该算法充分利用了综合目标函数的一阶、二阶导数信息,因此具有较快的收敛速度.仿真结果表明了算法的有效性.