Petri网中亚公平关系与亚公平网

Petri网中的弱公平但不公平的关系称为亚公平公系,由此可引伸出亚公平Petri网和亚公平网等概念。本文证明了一个重要性质：亚公平Petri网中一定存在着公平关系,并在此基础上讨论了亚公平网中的公平分支划分。此外,本文通过网的本原可重复向量集化简了一个网为亚公平网的一组充分必须条件。     

基于动态语义服务描述的服务匹配的研究

本文将动态描述逻辑与语义服务描述语言相结合,提出了一种动态语义描述方法来描述Web服务,并在经典服务匹配基础上进行改进,完善了服务匹配的类型,提高了Web服务的查全率与查准率。     

Mobile Robot Control Based on Dynamic Potential

An efficient method is presented for implementing mobile robot perception-action behaviors, based on time-varying environment potential field approach. First, in this paper, the concept of dynamic potential U(x,y,z,t) is proposed for representing the environment of a mobile robot, and the form of U(x,y,z,t) is deduced, and then the velocity control of the vehicle with two wheel is directly calculated by transition function T of U(x,y,z,t). Finally, the perception-action layer is successfully implemented for avoiding collision, wandering, and integrating path planning and steering control on THMR-Ⅱ (TsingHua university Mobile Robot system). Based on sonar array signals, the experimental results are given to show that THMR-Ⅱ has better reflexive function, real-time obstacle avoidance, adaptablity and robustness for complex environments.     

一种基于CMAC网络的自学习控制器

通过分析了ＣＭＡＣ神经网络的学习机制和连续搅拌反应釜的结构,提出了一种自动选择学习率的ＣＭＡＣ自学习控制方法。给出了自学习控制器的结构和算法,并以连续搅拌反应釜模型为对象进行了仿真研究,这种网络每次学习少量参数,算法简单,仿真结果表明所提出的控制器优于传统的ＰＩＤ控制器。     

双十字轴万向节传动力学建模与仿真

通过对典型双十字轴万向节传动空间运动约束分析，分别建立了万向节传动系统运动学和动力学模型；利用数值仿真分析软件，观察到万向节传动运动存在简谐特性，在车辆加速工况和准静态工况下，万向节传动支反力也存在周期简谐特性．分析得到的结论与传统矢量分析方法的结论相吻合；文中的建模和仿真分析方法为传统件结构的疲劳设计和失效分析提供了理论定量分析依据；对车辆中其他型式的万向节传动设计和研究具有参考价值．     

具有共轭复数重极点系统的一种状态转移矩阵

本文将求解无共轭复数重极点的模式系统（Ｍ，Ｂ，Ｃ）的状态转移矩阵推广到求解具有任意重共轭复数极点的一般情况，得出了用实数表示的求解公式和两个重要的拉氏变换式。为简便、迅速、准确，特别便于计算机求解这类状态方程创造了有利条件，具有明显的效果和普遍的实用价值。     

Schrödinger方程在Neumann边界控制下的正则性与能观测性

研究了Schrödinger方程的正则性和能观测性.在Neumann边界控制和同位观测下,利用适定性结果,证明了系统在G.Weiss意义下是正则的,其直接传输算子为零,并建立了能观测性不等式.     

动态超表面天线阵列混合发射波束成形

动态超表面天线(dynamic metasurface antenna, DMA)阵列是一种可实现模拟-数字混合波束成形的新型阵列结构, 其模拟波束成形部分由DMA实现, 系统实现的复杂度低。本文研究基于DMA阵列的混合发射波束成形, 核心问题是模拟与数字发射权值的联合优化。该文基于交替优化思想将模拟-数字权值联合优化问题分解为多个子问题, 提出一种基于交替方向乘子法(alternating direction multiplier method, ADMM)的求解方法。该方法首先引入辅助变量简化问题模型, 然后通过交替优化求解辅助变量、数字权值和模拟权值。其中, 辅助变量求解具有闭式表达式, 数字权值与模拟权值解耦合后利用ADMM分别求解。仿真结果表明, DMA阵列与典型的唯相混合阵列和恒模约束下的唯相阵列相比, 具有更好的混合发射波束成形性能。     

城市快速路入口匝道交通控制及优化

针对城市快速路入口匝道的信号灯控制方案,借助车流波动理论,分析了该类交叉口内部的车流运行时空特性,描述了快速路、入口匝道上的车流在交叉口的排队过程,以交叉口车流总延误最小为目标,快速路与入口匝道的绿时分配以及信号周期为参数,建立了城市快速路入口匝道交通控制优化模型,并通过一个实例对优化模型和求解算法进行了验证。研究结果表明：当快速路及匝道绿灯时间均满足最低要求而交叉口有效通行时间（信号周期与周期损失时间的差值）仍有富余时,应将富余的可通行时间分配给快速路,以使得交叉口车流总延误最小。快速路入口匝道交叉口的车辆平均延误由优化前的16.76 s下降至13.18 s,同比下降21.36%;匝道最大排队长度由48.82 m缩短至33.28 m,同比下降31.83%。     

空间科学卫星数据处理框架研究与系统实现

基于我国空间科学战略发展需求,针对我国空间科学先导专项当前在役与未来即将开展的众多卫星任务,对卫星地面段的数据处理框架及关键技术进行研究,提出了一种通用的具有任务级与资源级双层调度引擎的空间科学卫星数据处理技术框架（space science satellite data processing framework, SDPF）,设计实现了自动、高效、实时、标准化的空间科学卫星数据处理系统,使得多卫星任务、多载荷数据源的大规模数据的高度复杂的处理过程得以快速并行完成,在数据处理能力、计算资源规划、应对故障的可靠性、灵活性和可拓展性等方面体现出非常好的应用效果,也可为其他领域相关系统的设计提供参考思路。