检索结果-南通市图书馆

Using the slot method, the moving boundary problem caused by the change of the tide water elevation is treated. A two-dimensional advection - diffusion model with moving boundary is proposed, and the input pollutant is considered as moving source to meet the water level variation. The model given in this paper has been used to simulate the pollutant transport in the Bohai Gulf, the computational results are in good agreement with the measured data.

关键词： Slot method advection-diffusion mild slope beach moving source

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

作者： 2-702 22-29

学校读者我要写书评

暂无评论

作者： 22-80 36-8

学校读者我要写书评

暂无评论

永恒的丰碑：“大陈岛垦荒红色档案”建设侧记

引用

浙江档案 2024年第5期 10-11+16页

作者： 1.台州市档案馆 2.台州市椒江区档案馆台州市档案馆台州市椒江区档案馆

在台州市椒江区档案馆的特藏馆内，挂着一幅由团中央在1956年赠给温州青年志愿垦荒队的旗帜“建设伟大祖国的大陈岛”，这面旗帜承载着一件件珍贵的档案史料和一个个生动的历史场景，大陈岛激情燃烧的垦荒史、波澜壮阔的发展史，宛如画...

在台州市椒江区档案馆的特藏馆内，挂着一幅由团中央在1956年赠给温州青年志愿垦荒队的旗帜“建设伟大祖国的大陈岛”，这面旗帜承载着一件件珍贵的档案史料和一个个生动的历史场景，大陈岛激情燃烧的垦荒史、波澜壮阔的发展史，宛如画卷般展现在眼前。“大陈岛垦荒精神”是台州的城市精神，是这座城市发展生生不息的力量源泉。1956年到1960年，温州、台州两地467名青年陆续上岛支援建设，他们卷起裤管，咬紧牙关，用血和汗锻炼成了一个个生产能手，在荒岛上发展出种植业、畜牧业和海洋养殖业。一代垦荒人用青春和汗水孕育了“艰苦创业、奋发图强、无私奉献、开拓创新”

关键词：

来源：

同方期刊数据库评论

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

A numerical storm surge forecast model with Kalman filter

引用

Acta Oceanologica Sinica 2001年第4期20卷 483-492页

作者：于福江张占海林一骅 National Marine Environment Forecast Center Beijing 100081 China LASG Institute of Atmospheric Physics Chinese Academy of Sciences Beijing 100029 China

Kalman filter data assimilation technique is incorporated into a standard two-dimensional linear storm surge model. Imperfect model equation and imperfect meteorological forcimg are accounted for by adding noise terms to the momentum equations. The deterministic model output is corrected by using the available tidal gauge station data. The stationary Kalman filter algorithm for the model domain is calculated by an iterative procedure using specified information on the inaccuracies in the momentum e- quations and specified error information for the observations. An application to a real storm surge that occurred in the summer of 1956 in the East China Sea is performed by means of this data assimilation technique. The result shows that Kalman filter is useful for storm surge forecast and hindcast.

关键词： Storm surge model Kalman filter

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

Nonlinear quantum interferometry with Bose condensed atoms

引用

Frontiers of physics 2012年第1期7卷 109-130页

作者： Chaohong Lee (1) Jiahao Huang (1) Haiming Deng (1) Hui Dai (1) Jun Xu (1) 1. State Key Laboratory of Optoelectronic Materials and Technologies School of Physics and Engineering Sun Yat-Sen University Guangzhou 510275 China

In quantum interferometry, it is vital to control and utilize nonlinear interactions for the achievement of high-precision measurements. Due to their long coherence time and high controllability, ultracold atoms including Bose condensed atoms have been widely used for quantum interferometry. Here, we review recent progress in theoretical studies of quantum interferometry with Bose condensed atoms. In particular, we focus on nonlinear phenomena induced by atom-atom interactions, and how to control and utilize these nonlinear phenomena. With a mean-field description, due to atom-atom interactions, matter-wave solitons appear in the interference patterns, and macroscopic quantum self-trapping exists in Bose-Josephson junctions. With a many-body description, atom-atom in- teractions can generate non-classical entanglement, which can be utilized to achieve high-precision measurements beyond the standard quantum limit.

关键词： nonlinear quantum interferometry Bose Einstein condensate Bose-Josephson junction

来源：

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Abstraction for model checking multi-agent systems

引用

Frontiers of Computer Science 2011年第1期5卷 14-25页

作者： Conghua Zhou (1) chzhou@*** Bo Sun (1) Zhifeng Liu (1) Jiangsu Univ Sch Comp Sci & Telecommun Engn Zhenjiang 212013 Peoples R China

Model checking multi-agent systems （MAS） always suffers from the state explosion problem. In this paper we focus on an abstraction technique which is one of the major methods for overcoming this problem. For a multi-agent system, we present a novel abstraction procedure which reduces the state space by collapsing the global states in the system. The abstraction is automatically computed according to the property to be verified. The resulting abstract system simulates the concrete system, while the universal temporal epistemic properties are preserved. Our abstraction is an over-approximation. If some universal temporal epistemic property is not satisfied, then we need to identify spurious counterexamples. We further show how to reduce complex counterexamples to simple structures, i.e., paths and loops, such that the counterexamples can be checked and the abstraction can be refined efficiently. Finally, we illustrate the abstraction technique with a card game.

关键词： model checking abstraction refinement,epistemic temporal logic

来源：

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

“有机统一的新的文化生命体”的内涵、构建与发展

引用

党政研究 2024年第2期 16-25,M0004页

作者：崔发展胡卜什西南石油大学马克思主义学院四川成都610500

习近平在文化传承发展座谈会上提出的“有机统一的新的文化生命体”新概念,进一步丰富和发展了马克思主义关于文化创新和建设的理论,为我们从生命体的有机性、创新性和主体性上认识其主要特征提供了观察视角,从马克思主义基本原理同中... 详细信息

习近平在文化传承发展座谈会上提出的“有机统一的新的文化生命体”新概念,进一步丰富和发展了马克思主义关于文化创新和建设的理论,为我们从生命体的有机性、创新性和主体性上认识其主要特征提供了观察视角,从马克思主义基本原理同中华优秀传统文化的相互契合和互相成就上理解其构建路径指明了方法论原则,从人的自由和全面发展上掌握其发展要义确立了价值尺度。

关键词：文化生命体中华优秀传统文化文明习近平文化思想

来源：

维普期刊数据库

同方期刊数据库博看期刊评论

在线全文

学校读者我要写书评

暂无评论

欢迎您,

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

请选择保存的检索档案：

请选择收藏分类：

通借通还

欢迎您,

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：