Lorentz Transform in Multi-Dimensional Space

It is shown that in Euclidean space with any number of spatial dimensions more than three, the Lorentz transform holds true if the proper time of each elementary particle is proportional to the length of its path in the extra-dimensional subspace, and all elementary particles move at the speed of light in the complete space. The six-dimensional treatment of the Coulomb force of interaction between two charges is given. The electric force is due to the motion of charges in the extra-dimensional subspace and is equal to the corresponding Lorentz force.

Dynamics and adaptive control of a dual-arm space robot with closed-loop constraints and uncertain inertial parameters

A dynamics-based adaptive control approach is proposed for a planar dual-arm space robot in the presence of closed-loop constraints and uncertain inertial parameters of the payload. The controller is capable of controlling the po- sition and attitude of both the satellite base and the payload grasped by the manipulator end effectors. The equations of motion in reduced-order form for the constrained system are derived by incorporating the constraint equations in terms of accelerations into Kane＇s equations of the unconstrained system. Model analysis shows that the resulting equations perfectly meet the requirement of adaptive controller design. Consequently, by using an indirect approach, an adaptive control scheme is proposed to accomplish position/attitude trajectory tracking control with the uncertain parameters be- ing estimated on-line. The actuator redundancy due to the closed-loop constraints is utilized to minimize a weighted norm of the joint torques. Global asymptotic stability is proven by using Lyapunov＇s method, and simulation results are also presented to demonstrate the effectiveness of the proposed approach.

A branch-and-bound algorithm for multi-dimensional quadratic 0-1 knapsack problems

In this paper, a branch-and-bound method for solving multi-dimensional quadratic 0-1 knapsack problems was studied. The method was based on the Lagrangian relaxation and the surrogate constraint technique for finding feasible solutions. The Lagrangian relaxations were solved with the maximum-flow algorithm and the Lagrangian bounds was determined with the outer approximation method. Computational results show the efficiency of the proposed method for multi-dimensional quadratic 0-1 knapsack problems.

NOETHER'S THEOREM FOR NONHOLONOMIC SYSTEMS OF NON-CHETAEV'S TYPE WITH UNILATERAL CONSTRAINTS IN EVENT SPACE

To study the Noether's theorem of nonholonomic systems of non_Chetaev's type with unilateral constraints in event space, firstly, the principle of D'Alembert_Lagrange for the systems with unilateral constraints in event space is presented, secondly, the Noether's theorem and the Noether's inverse theorem for the nonholonomic systems of non_Chetaev's type with unilateral constraints in event space are studied and obtained, which is based upon the invariance of the differential variational principle under the infinitesimal transformations of group, finally, an example is given to illustrate the application of the result.

Unified symmetry of the nonholonomic system of non-Chetaev type with unilateral constraints in event space

This paper studies the unified symmetry of a nonholonomic system of non-Chetaev type with unilateral constraints in event space under infinitesimal transformations of group. Firstly, it gives the differential equations of motion of the system. Secondly, it obtains the definition and the criterion of the unified symmetry for the system. Thirdly, a new conserved quantity, besides the Noether conserved quantity and the Hojman conserved quantity, is deduced from the unified symmetry of a nonholonomic system of non-Chetaev type with unilateral constraints. Finally, an example is given to illustrate the application of the results.

Influence of Constraint in Parameter Space on Quantum Games

We study the influence of the constraint in the parameter space on quantum games.Decomposing SU(2)operator into product of three rotation operators and controlling one kind of them,we impose a constraint on the parameter space of the players' operator.We find that the constraint can provide a tuner to make the bilateral payoffs equal,so that the mismatch of the players' action at multi-equilibrium could be avoided.We also find that the game exhibits an intriguing structure as a function of the parameter of the controlled operators,which is useful for making game models.

A Novel Generalized Nonholonomy Criteria and Physical Interpretation of Holonomic/Nonholonomic Constraints of a Free-Flying Space Robot with/without Interaction with a Flying Target Satellite

This paper presents a new nonholonomy criteria and reveals the physical interpretation of holonomoic and nonholonomic constraints acting on a free-flying space robot with or without interaction with a free Flying/Floating target object. The analysis in this paper interprets the physical interpretation behind such constraints, and clarifies geometric and kinematic conditions that generate such constraints. Moreover, a new criterion of finding the holonomy/nonholonomy of constraints impose on a free-flying space robot with or without interaction with a floating object is presented as well. The proposed criteria are applicable in case of zero or non-zero initial momentum conditions. Such nonholonomy criteria are proposed by utilizing the concept of orthogonal projection matrices and singular value decomposition (SVD). Using this methodology will also enable us to verify online whether the constraints are violated in case of real-time applications and to take a correction action or switch the controllers. This criterion is still yet valid even the interaction with floating object is lost. Applications of the proposed criteria can be dedicated to in-orbit servicing robotic satellite to capture malfunctioned spacecrafts and satellites, docking space of NASA and Russian shuttles with International Space Station (ISA), building in-orbit stations, space rescue missions and asteroids dust sampling. Finally, simulation results are presented to demonstrate the effectiveness of the proposed criterion.

State Space Model Predictive Control of an Aerothermic Process with Actuators Constraints

This paper investigates State Space Model Predictive Control (SSMPC) of an aerothermic process. It is a pilot scale heating and ventilation system equipped with a heater grid and a centrifugal blower, fully connected through a data acquisition system for real time control. The interaction between the process variables is shown to be challenging for single variable controllers, therefore multi-variable control is worth considering. A multi-variable state space model is obtained from on-line experimental data. The controller design is translated into a Quadratic Programming (QP) problem, in which a cost function subject to actuators linear inequality constraints is minimized. The outcome of the experimental results is that the main control objectives, such as set-point tracking and perturbations rejection under actuators constraints, are well achieved for both controlled variables simultaneously.

A structural topological optimization method for multi-displacement constraints and any initial topology configuration

In density-based topological design, one expects that the final result consists of elements either black （solid material） or white （void）, without any grey areas. Moreover, one also expects that the optimal topology can be obtained by starting from any initial topology configuration. An improved structural topological optimization method for multidisplacement constraints is proposed in this paper. In the proposed method, the whole optimization process is divided into two optimization adjustment phases and a phase transferring step. Firstly, an optimization model is built to deal with the varied displacement limits, design space adjustments, and reasonable relations between the element stiffness matrix and mass and its element topology variable. Secondly, a procedure is proposed to solve the optimization problem formulated in the first optimization adjustment phase, by starting with a small design space and advancing to a larger deign space. The design space adjustments are automatic when the design domain needs expansions, in which the convergence of the proposed method will not be affected. The final topology obtained by the proposed procedure in the first optimization phase, can approach to the vicinity of the optimum topology. Then, a heuristic algorithm is given to improve the efficiency and make the designed structural topology black/white in both the phase transferring step and the second optimization adjustment phase. And the optimum topology can finally be obtained by the second phase optimization adjustments. Two examples are presented to show that the topologies obtained by the proposed method are of very good 0/1 design distribution property, and the computational efficiency is enhanced by reducing the element number of the design structural finite model during two optimization adjustment phases. And the examples also show that this method is robust and practicable.

Timeline based autonomous mission planning system for deep space exploration

In order to realize the explorer autonomy, the software architecture of autonomous mission management system (AMMS) is given for the deep space explorer, and the autonomous mission planning system, the kernel part of this architecture, is designed in detail. In order to describe the parallel activity, the state timeline is introduced to build the formal model of the planning system and based on this model, the temporal constraint satisfaction planning algorithm is proposed to produce the explorer’s activity sequence. With some key subsystems of the deep space explorer as examples, the autonomous mission planning simulation system is designed. The results show that this system can calculate the executable activity sequence with the given mission goals and initial state of the explorer.

Krein space approach to robust H_∞ filtering for linear uncertain systems

A novel Krein space approach to robust H∞ filtering for linear uncertain systems is developed. The parameter uncertainty, entering into both states and measurement equations, satisfies an energy-type constraint. Then a Krein space approach is used to tackle the robust H∞ filtering problem. To this end, a new Krein space formal system is designed according to the original sum quadratic constraint （SQC） without introducing any nonzero factors into it and, consequently, the estimate recursion is obtained through the filter gain in Krein space. Finally, a numerical example is given to demonstrate the effectiveness of the proposed approach.

NEW SYSTEMS OF GENERALIZED QUASI-VARIATIONAL INCLUSIONS IN FC-SPACES AND APPLICATIONS

In this paper, we study some new systems of generalized quasi-variational inclusion problems in FC-spaces without convexity structure.By applying an existence theorem of maximal elements of set-valued mappings due to the author, some new existence theorems of solutions for the systems of generalized quasi-variational inclusion problems are proved in noncompact FC-spaces. As applications, some existence results of solutions for the system of quasi-optimization problems and mathematical programs with the systems of generalized quasi-variational inclusion constraints are obtained in FC-spaces.

Quasi-static Deployment Simulation for Deployable Space Truss Structures

A new method was proposed for quasi-static deployment analysis of deployable space truss structures. The structure is assumed a rigid assembly, whose constraints are classified as three categories:rigid member constraint, joint-attached kinematic constraint and boundary constraint. And their geometric constraint equations and derivative matrices are formulated. The basis of the null space and M-P inverse of the geometric constraint matrix are employed to determine the solution for quasi-static deployment analysis. The influence introduced by higher terms of constraints is evaluated subsequently. The numerical tests show that the new method is efficient.

土地出让市场化对城市碳排放绩效的影响研究--基于城市面板数据的检验分析

文章基于2011—2022年中国地级市的面板数据,测算地级市土地出让市场化水平与地级市碳排放绩效,采用空间面板模型、工具变量法及调节效应模型等实证方法,检验了土地出让市场化对城市碳排放绩效的影响及其内在机制。研究发现:土地出让市场化与城市碳排放绩效之间呈显著的“U”型非线性关系,且通过系列稳健性检验与内生性处理后,该结论依然成立;作用机制检验表明,资源配置与产业结构升级在土地出让市场化对城市碳排放绩效的作用机制中发挥中介作用;调节效应检验表明,双重目标约束在土地出让市场化与碳排放绩效关系中发挥显著调节作用。研究结论有助于深入理解土地出让市场化对城市碳排放绩效的影响效果和内在机理,为推进土地出让市场化发展、提升城市碳排放绩效和优化目标约束提供有益借鉴。

高斯感知约束空间异常的相关滤波目标跟踪

针对目标在复杂场景运动过程中容易出现跟踪丢失问题,提出一种高斯感知约束空间异常的目标跟踪算法。以高斯均匀分布为分布规律建立目标特征采样点,采用卷积结构提取目标的外观模型以及权重模型;为了约束空间异常,在目标函数中构建空间正则项,同时更新目标权重模型,减小空间过拟合的产生,增强跟踪器的空间异常适应性;应用加权最小二乘法思想,获得权重响应模型中心,确定目标中心,更新跟踪位置,增强跟踪器鲁棒性。使用OTB2015和UAV20L数据集,与其他主流相关滤波算法相比,该算法在目标运动导致低分辨率、遮挡等复杂条件下,跟踪成功率以及跟踪精度较高。

基于足间距信息辅助的行人三维惯性定位算法

针对行人惯性导航系统误差随时间累积致使定位精度严重下降的问题,提出了一种基于足间距信息辅助的行人三维惯性定位算法。该算法在零速修正算法的基础上,利用足部安装的超声波测距模块实时测量行人双足相对距离,构建了基于超声测距的足间距约束模型,通过随机森林算法实现行人运动模式识别,并针对上下楼梯场景,利用台阶高度和足间距信息进行高度解算,最终实现行人三维惯性定位。在实际路线上开展了三维定位实验,数据显示,所提算法平面闭环误差为总路程的0.64%,与零速修正算法相比下降了55.56%,高度误差为0.06 m,与零速修正和气压计联合算法相比下降了64.70%,能够实现导航误差在总路程的0.50%以内的三维定位。实验结果表明,所提算法具有良好的工程应用价值。

考虑电力网络约束的工业园区虚拟电厂调控边界求解方法

构建以新能源为主体的新型电力系统,亟须挖掘负荷侧灵活调节资源参与电网调控。含电解铝、矿热炉等高耗能负荷的工业园区具备良好的调控潜力,但是考虑园区内部电力网络约束,其精确调控边界求解面临着变量维数高、约束非线性的难题,现有方法不能较好地兼顾计算效率和精度。对此,文中将上述问题抽象为高维非线性状态空间在P-Q耦合平面的投影问题:分别建立考虑工业园区安全运行线性化和非线性约束的调控边界投影求解模型,采用一种新颖的高维状态空间投影算法,通过顶点“搜索-映射”的两步式求解过程,得到工业园区型虚拟电厂调控边界的精确投影。算例结果表明,采用所提方法求解的调控边界可由线性不等式组完全表征,与现有调度系统完全兼容,结合与叠加柔性资源调控能力和传统采样方法的对比,验证了该方法的可行性以及高求解精度和效率。

针对机动目标的三维领从协同制导律

针对多飞行器协同拦截机动目标的实际需求,提出一种三维领从时空协同制导律。在视线方向上,基于齐次度理论和固定时间稳定理论设计一种领从协同制导律,确保从飞行器与领飞行器的相对距离和相对速度在固定时间内趋于一致,并且给出一致性误差收敛时间的上界,实现多飞行器的同时刻拦截。在视线法向上为实现以特定的碰撞角度拦截目标,设计一种固定时间收敛的非奇异终端滑模制导律,实现攻击角度的固定时间收敛,并避免了制导指令奇异引起的控制饱和问题。考虑到目标的机动对制导系统产生的不利影响,引入固定时间扰动观测器对目标加速度进行前馈补偿。运用李雅普诺夫稳定性理论来证明系统的固定时间稳定特性。通过仿真实验验证所设计制导律可以有效控制多飞行器在领从框架下同时打击机动目标,并以期望的终端角度攻击目标。

基于Innovus混合放置的布局规划方法优化

随着集成电路后端设计中宏单元数量增多,传统布局规划方法效率低且耗时,而自动布局规划的混合放置(MP)技术存在物理规则违例数量多、电压降大和功耗高等问题。针对传统方式和MP方式的不足,提出了一种优化的MP布局规划方法,通过控制宏单元通道空间和标准单元密度大小、固定边界宏单元位置及脚本修复TSMC芯片集成检查(TCIC)违例的方法解决MP技术存在的问题。研究结果表明,优化的MP方式保留了MP技术的性能、功耗和面积(PPA)优势,且相比于传统方式布线长度优化了28%,时序违例优化了65%,功耗优化了609%。该方案可为多宏单元大规模设计的布局规划提供参考。

基于空间约束联合字典学习的三维冲击波超压场重建

针对有限测点条件下冲击波超压场全时空全区域重建的需求,提出一种基于空间约束联合字典学习的三维冲击波超压场重建方法。建立三维走时层析成像模型,利用字典学习对图像的稀疏表征优势和空间约束对图像边缘纹理保真特性,采用交替最小化思想对目标函数进行优化解算,实现大型病态稀疏矩阵的高精度求解。试验结果表明,该方法与代数重建算法(ART)、联合代数重建算法(SART)和期望极大化算法(EM)相比,重建精度更高,全区域重建误差达到了15.81%,在时空场重建过程中具有较高的应用价值。