检索结果-南通市图书馆

Global attractor of 2D autonomous g-Navier-Stokes equations

Applied Mathematics and Mechanics(English Edition) 2013年第3期34卷 385-394页

作者：姜金平王小霞 College of Computer Yan'an University

In this paper, the existence of global attractors for the 2D autonomous g- Navier-Stokes equations on multi-connected bounded domains is investigated under the general assumptions of boundaries. The estimation of the ... 详细信息

关键词： global attractor g-Navier-Stokes equation bounded absorbing set semi-group multi-connected bounded domain Hausdorff dimension

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

Formal proof of integer adders using all-prefix-sums operation

引用

Science China(Information Sciences) 2012年第9期55卷 1949-1960页

作者： MOHAMED Otmane Ait Department of Electrical and Computer Engineering Concordia UniversityMontreal H3G 1M8Canada

Addition of two binary numbers is a fundamental operation in electronic *** integer adder architectures have been *** formal properties are well known,but the proofs are either incomplete or difficult to *** this paper,we present a formal proof for the correctness of prefix *** sequential and parallel algorithms are formalized and *** contrast to previous proofs using higher order functions and rewriting systems,our work is based on first order recursive equations,which are familiar to the computer arithmetic community and are therefore understandable by people working on VLSI circuit *** study sets up a basis for further work on formal proofs of computer arithmetic algorithms.

关键词： semi-group integer adder prefix computation computer arithmetic VLSI

来源：

同方期刊数据库评论

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Asymptotically Antiperiodic Solutions for a Nonlinear Differential Equation with Piecewise Constant Argument in a Banach Space

引用

Applied Mathematics 2016年第15期7卷 1726-1733页

作者： William Dimbour Vincent Valmorin UMR Espace-Dev Université de Guyane Cayenne Guyane Laboratoire C.E.R.E.G.M.I.A. Université des Antilles Pointe-à-Pitre Guadeloupe

In this paper, we give sufficient conditions for the existence and uniqueness of asymptotically w-antiperiodic solutions for a nonlinear differential equation with piecewise constant argument in a Banach space when w is an integer. This is done using the Banach fixed point theorem. An example involving the heat operator is discussed as an illustration of the theory.

关键词： Asymptotically ω-Antiperiodic Functions Differential Equations with Piecewise Constant Argument semi-group

来源：

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

A Modified Transitional Korteweg-De Vries Equation: Posed in the Quarter Plane

引用

Journal of Applied Mathematics and Physics 2024年第7期12卷 2691-2701页

作者： Charles Bu Department of Mathematics Wellesley College Wellesley MA USA

This paper is concerned with a modified transitional Korteweg-de Vries equation ut+f(t)u2ux+uxxx=0, (x,t)∈R+×R+with initial value u(x,0)=g(x)∈H4(R+)and inhomogeneous boundary value u(0,t)=Q(t)∈C2([ 0,∞ )). Under the conditions either 1) f(t)≤0, f′(t)≥0or 2) f(t)≤−αwhere α>0, we prove the existence of a unique global classical solution.

关键词： Modified Transitional KdV Equation Initial-Boundary Value Problem semi-group Local and Global Existence

来源：

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

欢迎您,

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

在线全文

在线全文

在线全文

在线全文

请选择保存的检索档案：

请选择收藏分类：

通借通还

欢迎您,

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

在线全文

在线全文

在线全文

在线全文

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：