On Enforcing Dyadic-type Homogeneous Binary Function Product Constraints in MatBase

Homogeneous binary function products are frequently encountered in the sub-universes modeled by databases,spanning from genealogical trees and sports to education and healthcare,etc.Their properties must be discovered and enforced by the software applications managing such data to guarantee plausibility.The(Elementary)Mathematical Data Model provides 17 types of dyadic-based homogeneous binary function product constraint categories.MatBase,an intelligent data and knowledge base management system prototype,allows database designers to simply declare them by only clicking corresponding checkboxes and automatically generates code for enforcing them.This paper describes the algorithms that MatBase uses for enforcing all 17 types of homogeneous binary function product constraint,which may also be employed by developers without access to MatBase.

Asymmetric time-varying integral barrier Lyapunov function based adaptive optimal control for nonlinear systems with dynamic state constraints

This paper investigates the issue of adaptive optimal tracking control for nonlinear systems with dynamic state constraints.An asymmetric time-varying integral barrier Lyapunov function(ATIBLF)based integral reinforcement learning(IRL)control algorithm with an actor–critic structure is first proposed.The ATIBLF items are appropriately arranged in every step of the optimized backstepping control design to ensure that the dynamic full-state constraints are never violated.Thus,optimal virtual/actual control in every backstepping subsystem is decomposed with ATIBLF items and also with an adaptive optimized item.Meanwhile,neural networks are used to approximate the gradient value functions.According to the Lyapunov stability theorem,the boundedness of all signals of the closed-loop system is proved,and the proposed control scheme ensures that the system states are within predefined compact sets.Finally,the effectiveness of the proposed control approach is validated by simulations.

RESEARCH ON THE CONSTRAINT MAPPING FROM FUNCTION TO ASSEMBLY

Assembly sketch is not only the visualization of abstract function, but alsothe template of detail design. Two kinds of information are needed to create assembly sketch:structure and assembly constraint. Most researches are aimed at bow to obtain Structures fromfunction, but the problem of how to obtain assembly constraint from function is ignored. Followingthe definition of assembly unit and the classification of function, a hierarchical mapping methodfrom function to assembly constraint is put forward, and the mapping method includes two steps. Thefirst step is the mapping from function to assembly semantics which is assembly expression andaccordant with engineer's design habit. The second one is the mapping from assembly semantics tobasic assembly constraints that are convenient for computer to handle. The mapping method is appliedto DDMS (design, drafting and management system) successfully.

Time-variant fragility analysis of the bridge system considering time-varying dependence among typical component seismic demands

This paper presents a copula technique to develop time-variant seismic fragility curves for corroded bridges at the system level and considers the realistic time-varying dependence among component seismic demands. Based on material deterioration mechanisms and incremental dynamic analysis, the time-evolving seismic demands of components were obtained in the form of marginal probability distributions. The time-varying dependences among bridge components were then captured with the best fitting copula function, which was selected from the commonly used copula classes by the empirical distribution based analysis method. The system time-variant fragility curves at different damage states were developed and the effects of time-varying dependences among components on the bridge system fragility were investigated. The results indicate the time-varying dependence among components significantly affects the time-variant fragility of the bridge system. The copula technique captures the nonlinear dependence among component seismic demands accurately and easily by separating the marginal distributions and the dependence among them.

Determination of the degree 120 time-variable gravity field in the Sichuan-Yunnan region using Slepian functions and terrestrial measurements

The terrestrial time-variable gravity measurements are characterized by a high signal-to-noise ratio and sensitivity to the sources of mass change in the Earth's crust.These gravity data have many applications,such as surface deformation,groundwater storage changes,and mass migration before and after earthquakes.Based on repeated terrestrial gravity measurements at 198 gravity stations in the Sichuan-Yunnan region(SYR)from 2015 to 2017,we determine a time series of degree 120 gravity fields using the localized spherical harmonic(Slepian)basis functions.Our results show that adopting the first 6 Slepian basis functions is sufficient for effective localized Slepian modeling in the SYR.The differences between two gravity campaigns at the same time of year show an obvious correlation with tectonic features.The degree 120 timevariable gravity models presented in this paper will benefit the study of the regional mass migration inside the crust of the SYR and supplement the existing geophysical models for the China Seismic Experimental Site.

Rheological Behaviour for Polymer Melts and Concentrated SolutionsPart Ⅱ: Material Function with Nagai Chain Constraints and Determination of Their Parameters from Flow Curves

An integral constitutive equation and a set of material functions for describing the strain history of polymer melts were formulated in terms of the Cauchy-Green and Finger tensors. A simple memory function and the dependence of ηo and τt on M3.4 were derived from the theory of non-linear viscoelasticity with constraints of entanglements for polymer melts and substituted into the Oldroye-Walters-Fredickson constitutive equation. An integral constitutive equation for polymer melts was consequently obtained. Some material functions of the constitutive equation related to certain 'test flow' are examined as follows : (1) simple steady shear flow; (2) steady elongation flow; (3) small-amplitude oscillatory shear flow; (4) stress growth upon the inception of steady shear elongation flow; (5) stress relaxation (modulus and compllance). These theoretical relations for simple steady shear flow were compared with experimental data from our laboratory and references for various polymer melts and concentrated solutions. A good agreement between the theory and experiment was achieved.

Functionally Graded Cellular Structure Design Using the Subdomain Level Set Method with Local Volume Constraints

Functional graded cellular structure(FGCS)usually shows superiormechanical behaviorwith lowdensity and high stiffness.With the development of additivemanufacturing,functional graded cellular structure gains its popularity in industries.In this paper,a novel approach for designing functionally graded cellular structure is proposed based on a subdomain parameterized level set method(PLSM)under local volume constraints(LVC).In this method,a subdomain level set function is defined,parameterized and updated on each subdomain independently making the proposed approach much faster and more cost-effective.Additionally,the microstructures on arbitrary two adjacent subdomains can be connected perfectly without any additional constraint.Furthermore,the local volume constraint for each subdomain is applied by virtue of the augmented Lagrange multiplier method.Finally,several numerical examples are given to verify the correctness and effectiveness of the proposed approach in designing the functionally graded cellular structure.From the optimized results,it is also found that the number of local volume constraints has little influence on the convergence speed of the developed approach.

Stabilization of linear time-varying systems with state and input constraints using convex optimization

The stabilization problem of linear time-varying systems with both state and input constraints is considered. Sufficient conditions for the existence of the solution to this problem are derived and a gain-switched（gain-scheduled） state feedback control scheme is built to stabilize the constrained timevarying system. The design problem is transformed to a series of convex feasibility problems which can be solved efficiently. A design example is given to illustrate the effect of the proposed algorithm.

Moult intensity constraints along the complete moult sequence of the House Sparrow(Passer domesticus)

Sequence and intensity are two essential components of bird moult.While the moult sequences of remex tracts are highly homogenous across passerines,other tracts apparently show a high variability.Moreover,order of moult activation among tracts are insufficiently known.Likewise,dynamics of moult intensity as moult progresses remains poorly known.Here,we provide detailed quantitative description of moult sequence and intensity in the House Sparrow(Passer domesticus).To understand their role,we tested two hypotheses on the:1) protection function of moult sequence,and 2) aerodynamic and physiological constraints on moult intensity.We scored percentage growth of 313 captured sparrows using the mass of the feathers of each tract(also length for remiges)to monitor moult intensity throughout the complete moult progress,which is defined as the fraction of new and growing feathers in a moulting bird relative to the total plumage.Moult sequence was highly variable both within wing coverts and among feather tracts,with moult sequence differing among all birds to some degree.We only found support for the protection function between greater coverts and both tertials and secondaries.Remex-moult intensity conformed to theoretical predictions,therefore lending support to the aerodynamic-constraint hypothesis.Furthermore,remex-moult speed plateaued during the central stages of moult progress.However,overall plumage-moult speed did not fit predictions of the physiological-constraint hypothesis,showing that the remex moult is only constrained by aerodynamics.Our results indicate that aerodynamic loss is not simply the inevitable effect of moult,but that moult is finely regulated to reduce aerodynamic loss.We propose that the moult of the House Sparrow is controlled through sequence and intensity adjustments in order to:1) avoid body and wing growth peaks;2) fulfil the protection function between some key feather tracts;3) reduce detrimental effects on flight ability;4) keep remex sequence fixed;and 5) relax remex replacement to last the whole moult duration.

Anti-Disturbance Control for Tethered Aircraft System With Deferred Output Constraints

In this paper,we investigate the peaking issue of extended state observers and the anti-disturbance control problem of tethered aircraft systems subject to the unstable flight of the main aircraft,airflow disturbances and deferred output constraints.Independent of exact initial values,a modified extended state observer is constructed from a shifting function such that not only the peaking issue inherently in the observer is circumvented completely but also the accurate estimation of the lumped disturbance is guaranteed.Meanwhile,to deal with deferred output constraints,an improved output constrained controller is employed by integrating the shifting function into the barrier Lyapunov function.Then,by combining the modified observer and the improved controller,an anti-disturbance control scheme is presented,which ensures that the outputs with any bounded initial conditions satisfy the constraints after a pre-specified finite time,and the tethered aircraft tracks the desired trajectory accurately.Finally,both a theoretical proof and simulation results verify the effectiveness of the proposed control scheme.

Nonlinear dynamics and performance analysis of modified snap-through vibration energy harvester with time-varying potential function

Vibration energy harvesting has emerged as a promising method to harvest energy for small-scale applications.Enhancing the performance of a vibration energy harvester(VEH)incorporating nonlinear techniques,for example,the snap-through VEH with geometric non-linearity,has gained attention in recent years.A conventional snap-through VEH is a bi-stable system with a time-invariant potential function,which was investigated extensively in the past.In this work,a modified snap-through VEH with a time-varying potential function subject to harmonic and random base excitations is investigated.Modified snap-through VEHs,such as the one considered in this study,are used in wave energy harvesters.However,the studies on their dynamics and energy harvesting under harmonic and random excitations are limited.The dynamics of the modified snap-through VEH is represented by a system of differential algebraic equations(DAEs),and the numerical schemes are proposed for its solutions.Under a harmonic excitation,the system exhibits periodic and chaotic motions,and the energy harvesting is superior compared with the conventional counterpart.The dynamics under a random excitation is investigated by the moment differential method and the numerical scheme based on the modified Euler-Maruyama method.The Fokker-Planck equation representing the dynamics is derived,and the marginal and joint probability density functions(PDFs)are obtained by the Monte Carlo simulation.The study shows that the modified snap-through oscillator based VEH performs better under both harmonic and random excitations.The dynamics of the system under stochastic resonance(SR)is investigated,and performance enhancement is observed.The results from this study will help in the development of adaptive VEH techniques in the future.

Constraint-induced movement therapy promotes brain functional reorganization in stroke patients with hemiplegia

Stroke patients with hemiplegia exhibit flexor spasms in the upper limb and extensor spasms in the lower limb, and their movement patterns vary greatly. Constraint-induced movement therapy is an upper limb rehabilitation technique used in stroke patients with hemiplegia; however, studies of lower extremity rehabilitation are scarce. In this study, stroke patients with lower limb hemiplegia underwent conventional Bobath therapy for 4 weeks as baseline treatment, followed by constraint-induced movement therapy for an additional 4 weeks. The 10-m maximum walking speed and Berg balance scale scores significantly improved following treatment, and lower extremity motor function also improved. The results of functional MRI showed that constraint-induced movement therapy alleviates the reduction in cerebral functional activation in patients, which indicates activation of functional brain regions and a significant increase in cerebral blood perfusJon. These results demonstrate that constraint-induced movement therapy promotes brain functional reorganization in stroke patients with lower limb hemiplegia.

Taking into Account of Functional Constraints in Optimization of Modes of Power Systems by Genetic Algorithms

The development of the capabilities of computational tools has created up new possibilities for the effective use of a number of classical mathematical methods and algorithms for solving many important problems in the power engineering. In particular, a set of algorithms are developed to optimize the modes of electric power systems based on genetic algorithms. At the same time, the issues of taking into account functional constraints in solving such problems by genetic algorithms need to be improved. In accordance with it in this article the problems of taking into account of different constraints in optimization of modes of power systems using genetic algorithms are considered. The algorithm of optimization by genetic algorithm taking into account of functional constraints in forms of equality and inequality by penalty functions is proposed. The results of research of proposed algorithm’s efficiency in example of optimization of mode of power system with 8 buses, 4 thermal power plants and 3 transmission lines with controlled power flow are presented.

A Penalty Function Algorithm with Objective Parameters and Constraint Penalty Parameter for Multi-Objective Programming

In this paper, we present an algorithm to solve the inequality constrained multi-objective programming (MP) by using a penalty function with objective parameters and constraint penalty parameter. First, the penalty function with objective parameters and constraint penalty parameter for MP and the corresponding unconstraint penalty optimization problem (UPOP) is defined. Under some conditions, a Pareto efficient solution (or a weakly-efficient solution) to UPOP is proved to be a Pareto efficient solution (or a weakly-efficient solution) to MP. The penalty function is proved to be exact under a stable condition. Then, we design an algorithm to solve MP and prove its convergence. Finally, numerical examples show that the algorithm may help decision makers to find a satisfactory solution to MP.

Robust elastic impedance inversion using L1-norm misfit function and constraint regularization

The classical elastic impedance(EI) inversion method,however,is based on the L2-norm misfit function and considerably sensitive to outliers,assuming the noise of the seismic data to be the Guassian-distribution.So we have developed a more robust elastic impedance inversion based on the L1-norm misfit function,and the noise is assumed to be non-Gaussian.Meanwhile,some regularization methods including the sparse constraint regularization and elastic impedance point constraint regularization are incorporated to improve the ill-posed characteristics of the seismic inversion problem.Firstly,we create the Ll-norm misfit objective function of pre-stack inversion problem based on the Bayesian scheme within the sparse constraint regularization and elastic impedance point constraint regularization.And then,we obtain more robust elastic impedances of different angles which are less sensitive to outliers in seismic data by using the IRLS strategy.Finally,we extract the P-wave and S-wave velocity and density by using the more stable parameter extraction method.Tests on synthetic data show that the P-wave and S-wave velocity and density parameters are still estimated reasonable with moderate noise.A test on the real data set shows that compared to the results of the classical elastic impedance inversion method,the estimated results using the proposed method can get better lateral continuity and more distinct show of the gas,verifying the feasibility and stability of the method.

Functional magnetic resonance imaging evaluation of brain function reorganization in cerebral stroke patients after constraint-induced movement therapy

In this study, stroke patients received constraint-induced movement therapy for 3 weeks. Before and after constraint-induced movement therapy, the flexibility of their upper limbs on the affected side was assessed using the Wolf motor function test, and daily use of their affected limbs was assessed using the movement activities log, and cerebral functional reorganization was assessed by functional magnetic resonance imaging. The Wolf motor function test score and the movement activities log quantity and quality scores were significantly increased, while action performance time in the Wolf motor function test was significantly decreased after constraint-induced movement therapy. By functional magnetic resonance imaging examination, only scattered activation points were visible on the affected side before therapy. In contrast, the volume of the activated area was increased after therapy. The activation volume in the sensorimotor area was significantly different before and after therapy, and the activation area increased and appeared adjusted. In addition to the activated area around the lesions being decreased, there were also some new activated areas, including the supplementary movement area, premotor area and the ipsilateral sensorimotor area. Our findings indicate that constraint-induced movement therapy significantly improves the movement ability and daily use of the affected upper limbs in stroke patients and promotes cerebral functional reorganization.

改进蚁群算法的送餐机器人路径规划

蚁群算法拥有良好的全局性、自组织性、鲁棒性,但传统蚁群算法存在许多不足之处。为此,针对算法在路径规划问题中的缺陷,在传统蚁群算法的状态转移公式中,引入目标点距离因素和引导素,加快算法收敛性和改善局部最优缺陷。在带时间窗的车辆路径问题(vehicle routing problem with time windows,VRPTW)上,融合蚁群算法和遗传算法,并将顾客时间窗宽度以及机器人等待时间加入蚁群算法状态转移公式中,以及将蚁群算法的解作为遗传算法的初始种群,提高遗传算法的初始解质量,然后进行编码,设置违反时间窗约束和载重量的惩罚函数和适应度函数,在传统遗传算法的交叉、变异操作后加入了破坏-修复基因的操作来优化每一代新解的质量,在Solomon Benchmark算例上进行仿真,对比算法改进前后的最优解,验证算法可行性。最后在餐厅送餐问题中把带有障碍物的仿真环境路径规划问题和VRPTW问题结合,使用改进后的算法解决餐厅环境下送餐机器人对顾客服务配送问题。

基于自适应速度趋势函数的约束层速度反演方法

论文研究了复杂构造区初始层速度约束反演问题。首先得出初始层速度模型的精度对偏移速度建模的质量和迭代稳定尤为重要,常规方法在构造复杂区使初始速度模型产生的误差易导致最终偏移速度模型地质意义失真、真实构造特征掩盖等问题。提升初始速度模型与地下地质特征的匹配和精度成为关键。基于此,论文提出了基于自适应速度趋势函数的约束层速度反演方法。在常规方法的基础上,利用复相关法在时间域剖面上获得地质构造的连续性与变化,并将其作为构造响应算子形成针对性的影响域和权重融入速度趋势函数中,使该函数自适应地质构造特征,提升初始速度模型的精度。再通过对基准速度和速度趋势对深度的梯度进行样条拟合,构建趋势函数的全局高频异常约束,有效预防在构造突变区产生异常高频,进一步增强算法的稳健和可靠性。理论模型和实际数据的测试,验证了本文方法的有效性,反演得到的层速度模型更符合地质规律,并能更好地解决构造复杂区层速度模型的连续性问题,有利于提高复杂构造叠前深度偏移成像精度。

基于双重约束的并网逆变器电流自动化控制方法研究

为降低并网逆变器逆变的并网电流畸变率,提出基于双重约束的并网逆变器电流自动化控制方法。以典型的三相LCL并网逆变器为例,分析其运行状态;并确定并网逆变器在进行逆变转换时,谐波对于逆变器并网电流的影响,计算并网逆变器环路增益函数;采用输出电流直接前馈的改进阻尼控制方法实现电流自动化控制,并引入全局-局部稳定双重约束原则,确定最佳的谐振抑制参数,提升电流的控制效果。测试结果显示,该方法的并网逆变器的电流畸变率均低于5%,电流跳变过程中,可在0.2 s内有效控制跳变电流结果。

基于改进哈里斯鹰算法的无人飞行器路径规划

针对无人飞行器三维路径规划问题,提出一种基于哈里斯鹰优化(Harris hawks optimization,HHO)算法的无人飞行器三维路径规划算法。首先根据路径规划代价指标和无人飞行器自身性能,建立路径规划模型确立代价函数和约束条件。接着针对传统HHO算法的不足,引入非线性能量因子来平衡全局搜索和局部搜索的关系,使算法避免陷入局部最小值;引入混沌映射对HHO算法进行初始化种群并对其进行局部混沌搜索,增强算法种群多样性和搜索能力。最后通过仿真实验证明,改进的哈里斯鹰优化(improvement Harris hawks optimization,IHHO)算法可以有效规划出安全的无人飞行器航线,并且能够跳出局部最小值和具备较优的收敛速度。