搜索结果: 1-15 共查到“会议中心 工学 Model”相关记录18条 . 查询时间(0.187 秒)
Academy of Mathematics and Systems Science, CAS Colloquia & Seminars：Energy-preserving Mixed Finite Element Methods for a Ferrofluid Flow Model
铁磁流体 流动模型 节能混合 有限元方法
font style='font-size:12px;'>
2023/4/27
We develop a class of mixed finite element methods for the ferrofluid flow model proposed by Shliomis [Soviet Physics JETP, 1972]. We show that the energy stability of the weak solutions to the model ...
Academy of Mathematics and Systems Science, CAS Colloquia & Seminars：A decoupled, linear, and unconditionally energy stable finite element method for a two-phase ferrohydrodynamics model
两相铁 流体动力学模型 无条件能量稳定 有限元方法
font style='font-size:12px;'>
2023/4/28
In this talk, we present numerical approximations of a phase-field model for two-phase ferrofluids, which consists of the Navier-Stokes equations, the Cahn-Hilliard equation, the magnetostatic equatio...
Academy of Mathematics and Systems Science, CAS Colloquia & Seminars：Introduction to Peridynamics model and a POD-based fast algorithm for the nonlocal unsteady problems
近场动力学模型 POD 非局部 非定常问题 快速算法
font style='font-size:12px;'>
2023/5/6
A brief introduction to Peridynamics model and a fast algorithm for the nonlocal unsteady problems is given in this talk. The POD algorithm can be employed in the numerical simulation of nonlocal diff...
Academy of Mathematics and Systems Science, CAS Colloquia & Seminars：An active contour model with local variance force term and its efficient minimization solver for multi-phase image
局部方差力项 活动轮廓模型 多相图像 最小化求解器
font style='font-size:12px;'>
2023/5/8
In this work, we propose an active contour model with a local variance force (LVF) term that can be applied to multi-phase image segmentation problems. With the LVF, the proposed model is very effecti...
Academy of Mathematics and Systems Science, CAS Colloquia & Seminars：Nonlinear structural stability and linear dynamic instability of transonic steady-states to a hydrodynamic model for semiconductors
跨音速稳态 非线性结构稳定性 线性动态不稳定性 半导体 流体动力学模型
font style='font-size:12px;'>
2023/5/8
For unipolar hydrodynamic model of semiconductor device represented by Euler-Poisson equations, when the doping profile is supersonic, the existence of steady transonic shock solutions and C^\infty-sm...
Academy of Mathematics and Systems Science, CAS Colloquia & Seminars：Diffusion limit of the compressible Euler-P1 approximation model arising from radiation hydrodynamics
辐射流体动力学 可压缩欧拉 近似模型 扩散极限
font style='font-size:12px;'>
2023/5/8
We first show the nonequilibrium-diffusion limit of the compressible Euler-P1 approximation model arising in radiation hydrodynamics as the Mach number tends to zero when the initial data is well-prep...
Academy of Mathematics and Systems Science, CAS Colloquia & Seminars：Stability and instability of a generic non--conservative compressible two--fluid model
通用非保守 可压缩 双流体模型 稳定性 不稳定性
font style='font-size:12px;'>
2023/5/8
We are concerned with stability and instability of the steady state (1,0, 1, 0) for a generic non–conservative compressible two–fluid model in R^3. Under the assumption that the initial fraction densi...
IUTAM Symposium on Model order reduction of coupled systems (MORCOS 2018)
Engineering Mathematics Computer science Industry Coupling system
font style='font-size:12px;'>
2017/12/13
The purpose of this Symposium is to bring renowned experts as well as young promising researchers from Engineering, Mathematics, and Computer Science from the academic and industrial field to identify...
2017软件模型检验国际研讨会（International SPIN Symposium on Model Checking of Software）
2017 软件模型检验 国际研讨会
font style='font-size:12px;'>
2017/6/29
Welcome to SPIN 2017, the 24th International SPIN Symposium on Model Checking of Software! SPIN 2017 will be held in Santa Barbara, California on July 13 and 14.
2017 IEEE国际模型验证与确认研讨会（IEEE International Workshop on Model-Based Verification & Validation）
2017 IEEE 国际模型 验证 确认 研讨会
font style='font-size:12px;'>
2017/6/23
Costs entailed by software failures demonstrate that the systematic development of software in a certain quality is still a challenge, even after decades of research. A reason for this can certainly b...
2017 模型预测控制研讨会（Model Predictive Control Workshop）
2017 模型预测控制 研讨会
font style='font-size:12px;'>
2017/4/25
Model predictive control (MPC) has become the most popular advanced control method in use today. Its main attractive features are (i) optimization of a model forecast over the available actuators (ii)...
第5届模型驱动工程和软件国际会议（International Conference on Model-Driven Engineering and Software）
模型驱动工程 软件 国际会议
font style='font-size:12px;'>
2017/2/15
The purpose of the International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2017, is to provide a platform for researchers, engineers, academicians as well as industri...
第5届国模型驱动工程和软件开发国际会议（5th International Conference on Model-Driven Engineering and Software Development）
国模型驱动工程 软件开发 国际会议
font style='font-size:12px;'>
2017/2/15
The purpose of the International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2017, is to provide a platform for researchers, engineers, academicians as well as industri...
国际研讨会上域特定的基于模型的方法来验证和确认（International Workshop on domAin specific Model-based AppRoaches to vErificaTion and validaTiOn）
国际研讨会 域特定 基于模型 方法 验证 确认
font style='font-size:12px;'>
2017/2/15
Recent years have witnessed the emergence of domain specific model-based approaches for verification and validation in software development. These approaches are tailored to specific needs and use dom...
第二届国际模型驱动的Web工程高级实践研讨会（2nd International Workshop on Advanced practices in Model-Driven Web Engineering）
国际模型驱动 Web工程高级 实践 研讨会
font style='font-size:12px;'>
2017/2/15
The evolution and development of information systems and management systems for Web were and are clearly important in the last years and at present. In addition, the complexity and needs of higher qua...