一类二阶常系数线性椭圆型方程组解的唯一性

本文给出了在相同的三种变换下将三个二阶方阵的对称化部分同时化为正定的条件，从而证明了一类二阶常系数线性椭圆型方程组能化为强椭圆型方程组，并利用这一结论证明了这类方程组在有界闭区域上Dirichlet问题解的是唯一的。     

Effects of eccentricity of the reference orbit on multi-tethered satellite formations

The paper discusses the relevance of eccentric reference orbits on the dynamics of a tethered formation, when a massive cable model is included in the analysis of a multi-tethered satellite formation. The formations examined in this study are hub-and-spoke (HAS) and closed-hub-and-spoke (CHAS) configurations for in-plane and Earth-facing spin planes. Stability of the formations is studied by means of numerical simulation, together with the evaluation of the effects of eccentricity on tether elongation, agents relative position, and formation orientation and shape.     

三年上水平进程中廊坊市夜经济发展路径研究

2010年河北省召开了发展夜经济工作会议,把提高夜消费水平、做强夜经济作为当前扩大内需的一项重要工作来抓。夜经济是城市经济发展到特定阶段的反映,夜经济已成为一个城乡经济框架中的重要组成部分。在城镇建设三年上水平进程中,廊坊市城镇建设已经开始进入系统提升城市功能和品质,塑造城市特色上水平、出品位、生财富阶段。如何让夜经济发展成为廊坊市三年上水平进程中的有力推动者,本文就这一问题展开研究,进而提出相应的建议。     

水下机器人路径控制与仿真

研究了水下机器人的路径跟踪问题.首先考虑重力、浮力、推力、水动力以及附加质量的影响,建立了6自由度水下机器人的动力学模型.在此基础上设计了非线性控制系统,包括一个内控制回路和一个外控制回路.内控制回路根据机器人动力学模型引入非线性补偿,使得经内控制回路作用后的机器人化为一个解耦的线性定常系统,外控制回路采用比例微分(PD)控制,根据机器人实际轨迹与期望轨迹间的偏差进行负反馈控制.最后通过MATLAB对水下机器人追踪水面目标和跟踪空间螺旋线进行仿真,并给出了仿真曲线,从仿真结果可以看出,利用该方法可以使水下机器人具有较强的抗干扰能力,能够较好地实现对时变理论轨迹的跟踪.     

砂土硬化特征的描述及其试验验证

采用不同路径下砂土的三轴拉伸和三轴压缩试验结果,分别选用塑性体积应变、塑性剪应变、清华模型硬化参数、塑性功和统一硬化参数H作为硬化参数,在以上硬化参数和应力比空间里探讨了砂土的硬化规律和应力路径相关性.基于修正剑桥模型的屈服函数,采用塑性体积应变、塑性功和H作为硬化参数,推导了分别对应的本构模型.通过饱和塔克拉玛干沙漠砂的三轴试验结果,表明了H在描述砂土应力应变特性上的适用性.      

基于DTC和GPGP的多UCAV任务规划方法

以任务分析和环境建模仿真框架作为任务结构的描述模型,建立了无人作战飞机的任务模型描述及任务规划问题描述方法.提出了基于启发式设计准则的无人作战飞机任务规划算法,并在任务规划过程中集成路径规划.以通用局部全局规划协调理论为基础,提出了集成通用局部全局规划协调机制和同步协调机制的多无人作战飞机协同任务规划系统结构,对通用局部全局规划的任务规划过程进行控制和协调.仿真实例证明了任务规划算法的可行性.      

直纹面叶轮刀具轨迹规划的研究(英文)

At present, most commercial computer-aided manufacturing （CAM） systems are deficient in efficiency and performances on generating tool path during machining impellers. To solve the problem, this article develops a special software to plan cutting path for ruled surface impellers. An approximation algorithm to generate cutting path for machining integral ruled surface impellers is proposed. By fitting sampling data points of an impeller blade into a curve, a model of ruled surface blade of an impeller is built up. Furthermore, by calculating the points where the cutter axis vector intersects the free-form hub surface of an impeller, problems about, for instance, the ambiguity in calculation and machining the wide blade surface with a short flute cutter are solved. Finally, an integral impeller cutting path is planned by way of an integrated cutter location control algorithm. Simulation and machining tests with an impeller are performed on a 5-axis computer numerically controlled （CNC） mill machine, which shows the feasibility of the proposed algorithm.     

某类任务的无人作战飞机航路规划

讨论了对于包含了既是威胁又有价值的节点的任务模型,无人作战飞机航路规划问题解决的思路和关键环节,并构建了数学模型,然后应用A*启发算法求解各个目标点的最优航路,并依据作战指挥人员对作战方案的总体把握给出的权衡因子,计算每个目标点取得的费效比,确定满足一定条件下最先攻击目标.实例仿真表明该方法可以有效地解决这类任务的航路规划问题.     

飞机表面绕射射线的寻迹方法

研究一种电子对抗特种飞机表面绕射射线的寻迹新方法.对飞机进行快速三维几何建模和表面网格剖分,并根据需要对几何模型的剖面和结点加密,生成飞机表面网格数据;选定寻迹区域,对飞机表面网格结点进行管理,根据费马原理,采用改进的动态规划方法,在飞机表面网格上快速、准确地实现任意源点和绕射接收点间的短程线计算;在此基础上,采用递归方法实现可视化的几何绕射理论(GTD)、一致性几何绕射理论(UTD)绕射射线离散寻迹.绕射射线离散寻迹为数值方法求解机身表面任意两点间的天线隔离度提供了条件.      

基于关键路径追溯的组合逻辑电路故障仿真器

提出了一个基于关键路径追溯方法的组合逻辑电路故障仿真引擎,该引擎利用了简单的数据结构和算法,具有易于实现和简单高效的特点。