一种基于D-STTD的下行MIMO-OFDM链路模型

提出了一种基于D-STTD模式的下行MIMO-OFDM链路模型,为满足下行高速通信和大的系统容量.基于移动接收端已知信道状态信息的假设,提出了一种将4N×4N矩阵求逆分解为N个4×4小矩阵求逆的算法,从而降低了运算量和移动接收机的复杂度,最后通过仿真研究了模型在频率选择性信道及其相关信道下的性能.     

基于操作日志的完井数据同步模型

同步技术是提高移动数据库系统性能的一项关键技术。依托完井移动平台,结合完井业务数据,提出一种基于操作日志的移动数据同步处理模型,重点分析了该模型中的日志序列的生成以及冲突的消解,并给出了具体的实现算法。该模型允许移动终端在断接状态下对本地副本数据进行操作,并通过移动事务日志记录用户行为,当重新连接时,根据服务器返回的日志序列进行同步处理,使系统最终收敛于一致性状态。同时还引入了日志合并、时间戳等方法,有效减少了移动终端的资源消耗,提高了同步效率。实验表明该算法能快速高效地完成客户端与服务器之间的数据更新与交互。     

基于图模型矩阵理论的决策者权力不对称冲突稳定性研究

为了描述冲突中决策者权力不对称的现象,方便权力不对称冲突的求解和决策支持系统中权力不对称模块的开发,基于冲突分析图模型现有研究框架,对其权力不对称模块的理论进行系统性拓展.首先,利用矩阵理论重新定义冲突分析图模型的建模要素,给出权力改良偏好矩阵和权力可达矩阵的定义;然后,为便于权力不对称下稳定解的计算,定义权力影响下5种稳定性的代数表达;最后,利用图模型框架下的权力不对称稳定性分析方法求出医疗保险冲突的稳定解,从而给出冲突解决方案.结果表明该方法能够准确有效地解决权力不对称冲突.     

基于虚拟维修系统的配件模型实时移动方法

给出Pro/E中的3种坐标系以及配件在Pro/E中的位姿矩阵。研究配件模型在各种坐标系下的位姿矩阵变换,分析基于鼠标控制的模型实时移动方法。以Pro/Toolkit为工具,对Pro/E进行二次开发,在Pro/E中实现配件的实时移动,为构建虚拟维修系统提供技术支持。     

基于连续状态的隐Markov模型网络安全态势评估方法

在网络安全态势评估方法中,基于隐Markov模型的评估方法能较准确的反映网络安全状态的变化。但模型建立过程中,观测序列与转移矩阵难以科学地赋值,直接影响模型的准确性和有效性。针对上述挑战,本文提出了连续状态隐Markov模型的网络安全态势评估方法,首先,将安全状态空间划分为若干个有序状态,新获得的报警信息最优化的匹配已划分的有序状态作为观测序列;其次,基于划分的有序状态,将网络安全下一时间间隔可能处于的连续状态作为状态空间建立状态转移矩阵,从而有效降低转移矩阵维度,减少计算量的同时也更加突出地反映了网络的状态变化。最后,通过仿真实验分析,本文提出的模型建立方法更加合理地反映网络安全态势变化。     

移动区域建模在Agent仿真中的应用

目前有关移动区域的应用不断增加,而传统的移动点模型已不能很好地适应移动区域的应用。为此,针对基于移动点Agent模型的局限性,提出一种新的基于移动区域的Agent模型,该模型结合新Agent技术及XML技术,将仿真运行过程中的Agent状态记录到移动对象XML数据库,以便于仿真回放和仿真事后分析。仿真实验结果证明了该模型的可行性。     

船舶定位信号短时中断下的插值预测模型?

根据基于时间序列的船舶航行定位数据的特征,在差分自回归移动平均模型的基础上,运用马尔可夫链状态转移概率特性解决非平稳数据的预测问题,在建立马尔可夫链状态迁移概率矩阵过程中,使用K-means聚类算法划分预测值与真实值的差值状态区间,继而构建出优化预测算法。对算法进行了理论分析和数值实验,并与其他算法进行了比较,结果表明,该优化算法在船舶定位数据短时预测领域具有较好的预测效果,优于多个其他算法,可应用于船舶移动定位产品中。     

一种基于指数积的移动机械臂联合标定方法

提出一种基于指数积的移动机械臂联合标定方法,以实现移动平台和机械臂两者间位姿标定与机械臂运动学参数标定模型的统一.机械臂运动学参数标定使用最多的是基于D-H参数法,但D-H参数法无法克服相邻关节平行或接近平行时的奇异性问题,以及建模过程复杂、建模后的模型通用性差等问题.基于指数积的移动机械臂联合标定方法建模时不会因为关节轴平行而出现奇异性问题,建模过程简单.通过对整个系统的运动学方程进行微分运算,获得末端位姿误差和移动机械臂零位状态旋量误差及关节旋量误差的线性化模型.利用伴随矩阵方式建立关节旋量理论值与关节旋量实际值的关系,并通过改变伴随矩阵实现基于最小二乘法的参数辨识计算过程中参数更新.使用高精度激光跟踪仪作为测量工具,通过实验验证所提出方法的有效性.     

移动计算环境下的一种同步复制模型

针对移动环境下的数据冲突和冲突消解处理的不足,提出基于Web内容和数据集同步的同步复制模型。移动设备端缓存两种不同粒度的数据,采用“订阅 取消订阅 订阅”的方式提供个性化的数据,以两种不同的同步策略：即用客户端限定时间偏差的方法,解决Web页面冲突;用同步预处理的方式减少数据库同步时上行的数据传输量,同时用基于优先级和事务协调相结合的方法解决数据库冲突,从而解决了模型冲突处理问题。     

基于图模型矩阵理论的决策者心理行为特征冲突稳定性

决策者的心理行为特征对冲突的演化路径与最终结局具有重要的影响.为了描述冲突中决策者的心理行为特征,方便考虑决策者心理行为特征冲突的求解和决策支持系统中相关模块的开发,基于图模型现有研究框架,对决策者面对风险时所表现的3种心理行为特征(攻击型、保守型和兼顾型)的稳定性理论进行研究.首先,利用矩阵理论定义了决策者3种心理行为特征下的可达矩阵;然后,为便于考虑决策者心理行为特征稳定解的计算,分别定义了决策者3种心理行为特征的一步稳定和考虑冲突对手反击的两步稳定计算的矩阵表达式;最后,利用图模型框架下考虑决策者心理行为特征的稳定性理论分析了环境污染冲突的均衡结局,从而给出冲突解决方案.案例分析结果表明,该理论是有效合理的.     

基于冲突率预测的自适应并发控制算法

并发控制算法能够保证数据库事务集并发执行的正确性和一致性。为了提高并发事务的执行效率,提出了一种基于冲突率预测的自适应并发控制算法(ACC-PRC)。该算法将并发控制过程分为信息收集和策略选择两个阶段。信息收集阶段利用先验事务队列保证事务执行的可串行化,并且利用循环冲突队列收集系统的事务执行状态。策略选择阶段在循环冲突队列上运用改进的加权移动平均法预测下一阶段冲突率,并根据双向阈值决策下一阶段的并发策略。所提算法在事务到达率较高时能保持良好的事务执行效率,同时能够准确及时地感知冲突率的变化。对比实验表明ACC-PRC算法的综合性能优于HCC算法和ADCC算法。     

Recursive Bayesian state estimation method for run‐to‐run control in high‐mixed semiconductor manufacturing process

One of the challenges in semiconductor manufacturing processes is the state estimation of a high‐mix production system. The traditional algorithm consists of constructing a context matrix based on the product fabricating thread. The state of the context matrix is estimated using the Moore‐Penrose pseudo‐inverse method. Although the method works well, the context matrix is often singular. Taking an integrated moving average disturbance into consideration, a novel state estimation method is proposed in a high‐mix manufacturing scenario. Furthermore, the recursive Bayesian estimation is presented to obtain the estimations of states combined with a moving window and an analysis of variance model. As a result, the calculation of the inverse of the context matrix is avoided and the unobservability problem is addressed. Both simulated and industrial cases are presented to demonstrate the effectiveness of the proposed algorithm.     

自校正解耦信息融合Wiener状态估值器

对含未知噪声方差阵的多传感器系统,用现代时间序列分析方法.基于滑动平均(MA)新息模型的在线辨识和求解相关函数矩阵方程组,可得到估计噪声方差阵估值器,进而在按分量标量加权线性最小方差最优信息融合则下,提出了自校正解耦信息融合Wiener状态估值器.它的精度比每个局部自校正Wiener状态估值器精度高.它实现了状态分量的解耦局部Wiener估值器和解耦融合Wiener估值器.证明了它的收敛性,即若MA新息模型参数估计是一致的,则它将收敛于噪声统计已知时的最优解耦信息融合Wiener状态估值器,因而它具有渐近最优性.一个带3传感器的目标跟踪系统的仿真例子说明了其有效性.     

基于模式运动的一类复杂生产过程的状态反馈渐近稳定性

针对基于模式运动描述的一类复杂生产过程的稳定性,给出了系统稳定的定义,提出了分析与判断系统渐近稳定的方法和充分条件.首先,介绍了基于模式运动的控制系统动力学描述方法.针对描述方法中的强非线性的分类、度量映射难以采用可运算函数描述的问题,推导并建立了相应的控制系统非线性状态空间模型.然后,利用李雅普诺夫稳定性理论研究了在状态反馈控制下时间离散、状态离散的非线性系统渐近稳定的充分条件,建立了系统输出的类别划分、状态空间模型的线性部分系统矩阵与系统渐近稳定的关系.最后,采用烧结机实际生产数据与非线性数值算例对该方法进行了仿真实验,结果验证了所提条件的有效性.     

自校正对角阵加权信息融合Kalman预报器

For the multisensor systems with unknown noise statistics, using the modern time series analysis method, based on on-line identification of the moving average (MA) innovation models, and based on the solution of the matrix equations for correlation function, estimators of the noise variances are obtained, and under the linear minimum variance optimal information fusion criterion weighted by diagonal matrices, a self-tuning information fusion Kalman predictor is presented, which realizes the self-tuning decoupled fusion Kalman predictors for the state components. Based on the dynamic error system, a new convergence analysis method is presented for self-tuning fuser. A new concept of convergence in a realization is presented, which is weaker than the convergence with probability one. It is strictly proved that if the parameter estimation of the MA innovation models is consistent, then the self-tuning fusion Kalman predictor will converge to the optimal fusion Kalman predictor in a realization, or with probability one, so that it has asymptotic optimality. It can reduce the computational burden, and is suitable for real time applications. A simulation example for a target tracking system shows its effectiveness.     

按对角阵加权自校正信息融合Kalman预报器及其收敛性分析

对于带未知噪声统计的多传感器系统，应用现代时间序列分析方法，基于滑动平均(MA)新息模型的在线辨识和相关函数矩阵方程的解，得到了噪声方差估值器，且在按对角阵加权线性最小方差最优信息融合准则下，提出了自校正信息融合Kalman预报器.它实现了状态分量的自校正解耦融合Kalman预报器.基于动态误差系统，提出了自校正融合器的一种新的收敛性分析方法.提出了按实现收敛新概念，它比以概率1收敛弱.严格证明了:假如MA新息模型参数估计是一致的，则自校正融合Kalman预报器将按实现或按概率1收敛到最优融合Kalman预报器，因而它具有渐近最优性.它可减小计算负担，且便于实时应用. 一个3传感器跟踪系统的仿真例子证明了其有效性.     

目标感知事件驱动的滑行道冲突控制策略

为避免机场滑行道发生冲突,减轻管制员负荷,提出一种基于传感器网络的滑行道冲突控制策略.根据滑行道运行过程,利用Petri网建立传感器网络条件下的滑行道动态模型,并定义了滑行道运行控制规范,将滑行道冲突避免问题转化为状态禁止问题。针对状态禁止问题利用局部关联矩阵方法和逻辑互斥方法设计控制器,并提出基于变迁使能状态决策灯光控制指令的方法,利用助航灯光实现滑行道冲突避免和自动引导。最后通过实验仿真验证控制策略的有效性。     

GOE-概念格基础上的冲突分析共性描述

冲突广泛存在于社会问题中。为了更好地直观展示冲突分析问题,并给出语义描述,受不完备形式背景上三支近似概念分析理论的启发,将冲突表看作三值形式背景,并在其基础上提出了广义三支算子及其逆算子,通过广义三支算子及其逆算子得到对象导出广义三支概念(GOE-概念),并给出其性质,进一步说明所有GOE-概念的集合可以形成GOE-概念格;进而,讨论了GOE-概念格在冲突分析中进行可视化描述的应用,说明每一个GOE-概念的内涵即为在外延所含代理人下的共性描述;最后,研究了对象导出三支近似概念格(OE-近似概念格)与GOE-概念格的关系,进一步表明GOE-概念相较于OE-近似概念,能够更全面更丰富地描述冲突分析的共性信息。     

采用独立复位信号的同步时序电路可测试性设计

针对同步时序电路提出一种结合了插入可观测点的部分复位方法，该方法是基于迭代计算的电路状态信息和冲突分析测度而提出的．根据基于电路状态信息的测度和冲突分析所选择出来的部分复位触发器，可以割断电路中的关键回路，使得电路容易被初始化．同时减少在时序ATPG中的潜在冲突．以前的部分复位方法中，部分复位的触发器不能由独立的复位信号所控制，这也是不能彻底改善可测试性的一个重要原因．当部分复位触发器可以由独立的复位信号所控制时，电路的可测试性会显著提高．该文提出了一种新的可测试性结构来设计部分复位触发器，该方法同时减小了在管脚、延时和面积的开销。