Model-constrained and data-driven double-supervision acoustic impedance inversion

Seismic impedance inversion is an important technique for structure identification and reservoir prediction.Model-based and data-driven impedance inversion are the commonly used inversion methods.In practice,the geophysical inversion problem is essentially an ill-posedness problem,which means that there are many solutions corresponding to the same seismic data.Therefore,regularization schemes,which can provide stable and unique inversion results to some extent,have been introduced into the objective function as constrain terms.Among them,given a low-frequency initial impedance model is the most commonly used regularization method,which can provide a smooth and stable solution.However,this model-based inversion method relies heavily on the initial model and the inversion result is band limited to the effective frequency bandwidth of seismic data,which cannot effectively improve the seismic vertical resolution and is difficult to be applied to complex structural regions.Therefore,we propose a data-driven approach for high-resolution impedance inversion based on the bidirectional long short-term memory recurrent neural network,which regards seismic data as time-series rather than image-like patches.Compared with the model-based inversion method,the data-driven approach provides higher resolution inversion results,which demonstrates the effectiveness of the data-driven method for recovering the high-frequency components.However,judging from the inversion results for characterization the spatial distribution of thin-layer sands,the accuracy of high-frequency components is difficult to guarantee.Therefore,we add the model constraint to the objective function to overcome the shortages of relying only on the data-driven schemes.First,constructing the supervisor1 based on the bidirectional long short-term memory recurrent neural network,which provides the predicted impedance with higher resolution.Then,convolution constraint as supervisor2 is introduced into the objective function to guarantee the reliability and accuracy of the inversion results,which makes the synthetic seismic data obtained from the inversion result consistent with the input data.Finally,we test the proposed scheme based on the synthetic and field seismic data.Compared to model-based and purely data-driven impedance inversion methods,the proposed approach provides more accurate and reliable inversion results while with higher vertical resolution and better spatial continuity.The inversion results accurately characterize the spatial distribution relationship of thin sands.The model tests demonstrate that the model-constrained and data-driven impedance inversion scheme can effectively improve the thin-layer structure characterization based on the seismic data.Moreover,tests on the oil field data indicate the practicality and adaptability of the proposed method.

SELF-ORGANIZING ASSEMBLY MODELING BASED ON RELATIONAL CONSTRAINTS

On the research of assembly modeling of mechanical products,current CAD systems can only support the design Process of component-to-assembly. It is difficult to realize the design process of assembly-to -component.The theory of self-organizing assembly modeling based on relational constraints is proposed, which implements the product design of assembly-to-component commencing with conceptual design and supporting abstract design and step-nice refinement design.

Multimodel-based flight control system reconfiguration control in the presence of input constraints

In this paper,an active fault accommodate strategy is proposed for the plant in the presence of actuator fault and input constraints,which is a combination of a direct adaptive control algorithm with multiple model switching.The μ-modification is introduced in the model reference architecture to construct the adaptive controller.The proof of stability is based on the candidate Lyapunov function,while appropriate switching of multiple models guarantees asymptotic tracking of the system states and the boundedness of all signals.Simulation results illustrate the efficiency of the proposed method.

Mathematical Constraints in Multiscale Subgrid-Scale Modeling of Nonlinear Systems

To shed light on the subgrid-seale （SGS） modeling methodology of nonlinear systems such as the Navier-Stokes turbulence, we define the concepts of assumption and restriction in the modeling procedure, which are shown by generalized derivation of three general mathematical constraints for different combinations of restrictions. These constraints are verified numerically in a one-dimensional nonlinear advection equation. This study is expected to inspire future research on the SGS modeling methodology of nonlinear systems.

MODELING COMPLIANT NON-PENETRATION CONSTRAINT FOR VP MOTION SIMULATION

A unilateral non-penetration constraint dynamical simulation model withfriction is constructed based on compliant model for mechanical system VP (virtual prototyping)simulation. This model combines computer graphics with multi-body system dynamics. It avoidshandling multiplicity of solution, such as cases of no solution, multi-solution brought about byfriction during traditional construction of non-penetration constraint based on rigid model. At thesame time, the realism of VE (virtual environment) is improved in process of simulation.Furthermore, the valid condition of rolling and sliding unilateral contact is constituted based onsingular perturbation and linear complementary theory. Finally, the compliant method is verified byan interaction between a multi-legged robot and VE.

Multi-model predictive control with local constraints based on model switching

Because model switching system is a typical form of Takagi-Sugeno（T-S） model which is an universal approximator of continuous nonlinear systems, we describe the model switching system as mixed logical dynamical （MLD） system and use it in model predictive control （MPC） in this paper. Considering that each local model is only valid in each local region,we add local constraints to local models. The stability of proposed multi-model predictive control （MMPC） algorithm is analyzed, and the performance of MMPC is also demonstrated on an inulti-multi-output（MIMO） simulated pH neutralization process.

Establishment of Output Models and Constraints Analysis for Independent Wind/PV/Storage System

In remote areas far from the grid, wind/PV/storage generating system is relatively a good choice, whatever in resource configuration, performance or prices. For the independent hybrid power system, the output models of wind turbines, photovoltaic arrays and batteries are built in this paper, and based on the objectives of the capacity configuration optimal model, constraints used in the process of capacity configuration are analyzed. These provide convenient conditions and theoretical basis for the optimal capacity configuration of independent wind/PV/storage system.

CONSTRAINT MODELLING IN AN OBJECT-ORIENTED DATA MODEL FOR THE CAPP

The Object-Attribute-Relationship(OAR)model provides a single model tocapture data structure,behavior properties and knowledge rules in the CAPP application.This paper focuses on how to integrate a variety of different knowledge rules into the OARmodel and how to form transactions against the data structure with these rules in order toimplement intelligent process planning for designed components.The mapping from theOAR to Smalltalk can be directly carried out.It makes the implementation an entirely Ob-ject-Oriented approach.

New model reference adaptive control with input constraints

A new scheme of adaptive control is proposed for a class of linear time-invariant（ LTI） dynamical systems,especially in aerospace,with matched parametric uncertainties and input constraints. Based on a typical and conventional direct model reference adaptive control scheme,various modifications have been employed to achieve the goal. ＂C omposite model reference adaptive control＂of higher performance is seam-lessly combined with ＂positive μ-mod＂,which consequently results in a smooth tracking trajectory despite of the input constraints. In addition,bounded-gain forgetting is utilized to facilitate faster convergence of parameter estimates. The stability of the closed-loop systemcan be guaranteed by using Lyapunov theory.The merits and effectiveness of the proposed method are illustrated by a numerical example of the longitudinal dynamical systems of a fixed-wing airplane.

Cosmic Constraints to the wCDM Model from Strong Gravitational Lensing

We study the cosmic constraint to the wCDM （cold dark matter with a constant equation of state w） model via 118 strong gravitational lensing systems which are compiled from SLA CS, BELLS, LSD and SL2S surveys, where the ratio between two angular diameter distances Dobs =DA（Zl, Zs ） / D A （ O, Zs ） is taken as a cosmic observable. To obtain this ratio, we adopt two strong tensing models： one is the singular isothermal sphere model （SIS） and the other one is the power-law density profile （PLP） model. Via the Markov chain Monte Carlo method, the posterior distribution of the cosmological model parameters space is obtained. The results show that the cosmological model parameters are not sensitive to the parameterized forms of the power-law index γ. Furthermore, the PLP model gives a relatively tighter constraint to the cosmological parameters than that of the SIS model. The predicted value of Ωm = 0.31＋0.44 -0.24 by the SIS model is compatible with that obtained by P1anck2015： Ωm = 0.313 ± 0.013. However, the value of Ωm =0.15＋0.13 -0.11 based on the PLP model is smaller and has 1.25σ tension with that obtained by Planck2015.

Energy Conditions and Constraints on the Generalized Non-Local Gravity Model

We study and derive the energy conditions in generalized non-local gravity, which is the modified theory of general relativity obtained by adding a term m2n-2R□-nRto the Einstein-Hilbert action. Moreover, to obtain some insight on the meaning of the energy conditions, we illustrate the evolutions of four energy conditions with the model parameter ε for different n. By analysis we give the constraints on the model parameters ε.

Feasibility analysis and online adjustment of constraints in model predictive control integrated with soft sensor

Feasibility analysis of soft constraints for input and output variables is critical for model predictive control(MPC).When encountering the infeasible situation, some way should be found to adjust the constraints to guarantee that the optimal control law exists. For MPC integrated with soft sensor, considering the soft constraints for critical variables additionally makes it more complicated and difficult for feasibility analysis and constraint adjustment. Therefore, the main contributions are that a linear programming approach is proposed for feasibility analysis, and the corresponding constraint adjustment method and procedure are given as well. The feasibility analysis gives considerations to the manipulated, secondary and critical variables, and the increment of manipulated variables as well. The feasibility analysis and the constraint adjustment are conducted in the entire control process and guarantee the existence of optimal control. In final, a simulation case confirms the contributions in this paper.

Rheological Behaviour for Polymer Melts and Concentrated Solutions Part Ⅰ:A New Multiple Reptation Model to Predict the Nonlinear Visco-elasticity with Nagai Chain Constraints in Entangled Polymer Melts

An approach of stochastically statistical mechanics and a unified molecular theory of nonlinear viscoelasticity with constraints of Nagai chain entanglement for polymer melts have been proposed. A multimode model structure for a single polymer chain with n tail segments and N reversible entanglement sites on the test polymer chain is developed. Based on the above model structure and the mechanism of molecular flow by the dynamical reorganization of entanglement sites, the probability distribution function of the end-to-end vectr for a single polymer chain at entangled state and the viscoelastic free energy of deformation for polymer melts are calculated by using the method of the stochastically statistical mechanics. The four types of stress-strain relation and the memory function are derived from this thery. The above theoretical relations are verified by the experimentaf data for various polymer melts. These relations are found to be in good agreement with the experimental results

Multiple-Constraint-Aware RWA Algorithms Based on a Comprehensive Evaluation Model:Use in Wavelength-Switched Optical Networks

Because of explosive growth in Internet traffic and high complexity of heterogeneous networks, improving the routing and wavelength assignment （RWA） algorithm in underlying optical networks has become very important. Where there are multiple links between different the node pairs, a traditional wavelength-assignment algorithm may be invalid for a wavelength-switched optical networks （WSON） that has directional blocking constraints. Also, impairments in network nodes and subsequent degradation of optical signals may cause modulation failure in the optical network. In this paper, we propose an RWA algorithm based on a novel evaluation model for a WSQN that has multiple constraints. The algorithm includes comprehensive evaluation model （CEM） and directional blocking constraint RWA based on CEM （DB-RWA）. Diverse constraints are abstracted into various constraint conditions in order to better assign routing and wavelength. We propose using the novel CEM to optimize routing according to an assessed value of constraints on transmission performance. This eliminates the effects of physical transmission impairments in a WSON. DB-RWA based on CEM abstracts directional blocking conditions in multiple links between network nodes into directional blocking constraints. It also satisfies rigorous network specifications and provides flexibility, scalability, and first-fit rate for the backbone, especially in multiple links between WSON nodes.

Origin and Evolution of Life Constraints on the Solar Model

Life arose as a non-equilibrium thermodynamic process to dissipate the photon potential generated by the hot Sun and cold outer space. Evidence from the geochemical record of the evolutionary history of life on Earth suggests that life originated in a hot aqueous environment dissipating UV light and evolved later to dissipate visible light. This evidence places constraints on models of solar origin and evolution. The standard solar model seems less compatible with the data than does the pulsar centered solar model.

顾及BDS-3星钟约束的GNSS超快速轨道钟差解算方法

BDS-3高稳定星载原子钟作为北斗星座的显著技术优势,在GNSS数据处理中尚未得到充分利用。针对严格时效性限制下GNSS超快速轨道钟差参数精度受限问题,本文提出顾及BDS-3星钟约束的GNSS超快速轨道钟差解算方法。首先,以GNSS轨道钟差参数间相关性为基础,构建顾及BDS-3星钟参数特性的GNSS定轨模型;然后,基于GNSS精密钟差产品,分析星钟约束对GNSS轨道钟差参数精度的影响规律;最后,为克服预报钟差精度与约束筛选对定轨影响,建立BDS-3星钟建模与GNSS超快速轨道钟差估计的同步处理方法。试验结果表明,在BDS-3星钟参数最优约束下,BDS-3与GPS轨道钟差精度可分别提升27.5%、5.1%和20.2%、5.2%;且较传统BDS-3星钟单历元处理策略,基于BDS-3星钟建模与GNSS超快速定轨同步处理方法,GNSS超快速轨道钟差精度可分别提升至4.8%与34.2%,轨道精度实现了毫米级改善。因此,顾及BDS-3星钟约束的GNSS超快速轨道钟差解算方法可有效对BDS-3高稳星钟信息模型化,并实现GNSS超快速轨道钟差精度的优化处理。

SEMANTIC CONSTRAINT MODELER FOR 2D AND 3D GEOMETRY

Design changes for 2D & 3D geometry are the most important features in the process of product design.Constraint modeling for variationl geometry based on geometric reasoning is one of the best approaches for this goal.However,it is difficult for the proposed systems to maintain or handle the consistency and completeness of the constraint model of the design objects.To change this situation,a semantic model and its control approach are presented,aiming at the integration of the data,knowledge and method related to design objects.Aconstraint definition system for in- teractively defining the semantic model and a prototype modeler based on the semantic model are also implemented to examine the idea which is extended to 3D geometric design too.

多约束条件下四旋翼机动轨迹跟踪一体化控制方法

四旋翼无人机高动态飞行需求的增加使其成为一个越来越热门的研究主题。针对四旋翼执行废墟裂缝和树林缝隙穿越任务时的大机动轨迹状态跟踪控制问题,提出基于模型预测控制的一体化控制方法,包含多约束条件下的高机动轨迹规划和多参考状态量的一体化跟踪控制,并通过飞行试验验证了所提方法相比前馈PID控制方法在跟踪规划的高机动轨迹时的优越性能。在飞行试验中,四旋翼成功穿越了60°滚转角的窄框,其实际滚转角达到60°大角度的同时,z轴误差仅为0.065 m。

投保人高损失区间存在净损失约束的最优保险设计

在不完全保险情形下,投保人通常期望出险后能够获得保险公司足够的赔偿而将自己的实际损失控制在一定的范围内。为了满足这类投保人的需求,本文引入了投保人的净损失约束,研究在该约束下投保人的最优保险问题。研究表明:如果Arrow模型的解满足该约束,本模型的解与Arrow模型解一致,最优保单是有且仅有一个免赔额的部分保险契约,否则最优保单将存在两个免赔额。投保人效用最优时,本模型在应对高损时所提供的赔付水平始终不低于Arrow模型,而本模型在应对低损时对于IARA(DARA/CARA)型投保人所提供的赔付水平依次要低于(高于/等于)Arrow模型。此外,投保人的期望效用将随着其净损失上限的提高而逐渐增大,直到Arrow模型的解满足该约束时其效用达到最大。

Explicit Correlation Model of Multi-source Constraints for Re-design Parts with Complex Curved Surface

In precision machining of complex curved surface parts with high performance, geometry accuracy is not the only constraint, but the performance should also be met. Performance of this kind of parts is closely related to the geometrical and physical parameters, so the final actual size and shape are affected by multiple source constraints, such as geometry, physics, and performance. These parts are rather difficult to be manufactured and new manufacturing method according to performance requirement is urgently needed. Based on performance and manufacturing requirements for complex curved surface parts, a new classification method is proposed, which divided the complex curved surface parts into two categories： surface re-design complex curved surface parts with multi-source constraints（PRCS） and surface unique complex curved surface parts with pure geometric constraints（PUCS）. A correlation model is constructed between the performance and multi-source constraints for PRCS, which reveals the correlation between the performance and multi-source constraints. A re-design method is also developed. Through solving the correlation model of the typical paws performance-associated surface, the mapping relation between the performance-associated surface and the related removal amount is obtained. The explicit correlation model and the method for the corresponding related removal amount of the performance-associated surface are built based on the classification of surface re-design complex curved surface parts with multi-source constraints. Research results have been used in the actual processing of the typical parts such as radome, common bottom components, nozzle, et al., which shows improved efficiency and accuracy of the precision machining for the surface re-design parts with complex curved surface.