关于饱和模型的讨论

一阶模型论中,关于可数模型的讨论是一个重要课题。在这方面,对于可数饱和模型的研究已得到了一些意义重要的经典结果。在文献[1]中,Benda定义了比饱和模型的条件要弱一些的几乎饱和模型和满模型的概念,探讨了它们的一些相关性质,证明了如果一个可数语言上     

北京奥运村洪水淹没风险模型研究

随着城市化的加剧, 城市暴雨积水的风险越来越大, 城市洪水问题已成为全球性环境灾害的热点问题. 如何有效分析城市水文过程, 准确评估城市洪水风险是市政建设和水资源管理的迫切需要. 城区人工下垫面复杂, 水利设施众多, 传统的水文模型和水动力模型均难以准确地模拟洪水非恒定演变过程. 以城市复杂环境下的产汇流、排水、积水等过程作为研究对象, 首先建立水文模型实时模拟降雨径流过程, 进而分别建立适用于排水系统的一维水动力模型和适用于地表洪水漫流的二维水动力模型, 最终在地理信息系统平台上将这三类模型进行在线耦合, 最终建立起适用于城市洪水预测模拟的耦合模型系统. 以北京奥运村为例, 针对不同的典型降雨过程, 对该模型系统进行验证和分析, 模拟结果表明该模型能够有效地模拟复杂市区降雨积水过程, 能够提供可信度较高的城市洪水潜在风险评估, 切实指导区域水利设施建设和水资源管理.     

基于异步电机工作模型的设计

综述了异步电机的分析模型，讨论了什么时候、什么场合，宜选用哪种模型，并根据异步电机模型的功能和用途，详细分析了设计用模型、诊断仿真用模型和控制用模型等几种常见类型。     

固氮酶活性中心网兜模型研究的回顾和前瞻

研究自然界中固氮酶是如何把氮分子转化为氨的课题已经成为当前分子生物学的热点之一.1992年,Kim和Rees发表了棕色固氮菌(Av)的固氮酶的分辨率为0.27nm的晶体学分析结果,他们最近又进一步与Chan合作发表了分辨率为0.22nm的固氮酶晶体学分析结果,阐明了FeMo辅基和P-簇对活性中心模型结构.Bolin等也发表了对巴氏梭菌(Cp)的固氮酶的分辨率为0.22nm的晶体学分析结果.这些重要结果,标志着固氮酶研究已经上了     

基于异步电机工作模型的设计

综述了异步电机的分析模型,讨论了什么时候、什么场合,宜选用哪种模型,并根据异步电机模型的功能和用途,详细分析了设计用模型、诊断仿真用模型和控制用模型等几种常见类型.     

布尔模态逻辑的泛模型与有限模型

布尔模态逻辑是一种模态词带结构的模态逻辑,其模态词及模态词的运算构成一个布尔代数.文献[1]讨论了布尔模态逻辑BML的有关性质,本文在此基础上研究了BML泛模型的存在性.文献[2]中考察了PDL泛模型的存在性,由于BML拟标准模型的可达关系的运算要求满足布尔运算规律,与PDL模型有很大的差异,文献[2]中构造泛模型的方法对BML无效,本文利用基本模态词编码的方法将“P-射”技术一般化,由非标准模型构造出拟标准泛模型.另外,本文还讨论了含n个原子模态词时BML的有限模型性质并进一步利用公式闭包及符号闭包的方法给出BML小模型规模的上界,所谓模型的规模指模型可能世界集的基数.     

军备竞赛的混沌动力学模型

混沌力学模型在物理学中的成功应用,极大地激发了科学家将它应用于更广泛的诸如军备竞赛这样的领域中去.如果把从和平到战争的转变看成是从稳定到不稳定、从有序到混沌的转变,那么,混沌动力学模型十分确切地描述了这一转变过程.     

EIAA和AERMOD大气预测模型应用对比分析

文章从大气预测模型应用过程、预测结果等方面对两者进行比较分析.并以山西省壶关县常平集团钢铁项目大气预测为例,对以93导则模型为内核的EIAA软件和以AERMOD为内核的EIAPROA2008软件计算部分大气预测结果进行的比较和分析.     

大学教育的目的(一)

大学教育问题是一个公众十分关注的问题。关于大学教育的目标是什么、什么是研究型大学，如何检验教育的水准，以及一流大学的标志等，是当前社会各界议论较多的话题。本刊特请长期在海外学习和工作的时东陆教授撰文，谈谈西方大学和学院的概念，介绍英美大学的结构、理念等，并分析中国大学的现状、特点和问题。本文将分两期刊出，本期为第一篇，主要介绍大学和学院的起源．以及西方大学的概况：下期刊出的第二篇将涉及对21世纪中国大学的看法。[编者按]     

EIAA和AERMOD大气预测模型应用对比分析

文章从大气预测模型应用过程、预测结果等方面对两者进行比较分析。并以山西省壶关县常平集团钢铁项目大气预测为例,对以93导则模型为内核的EIAA软件和以AERMOD为内核的EIAPROA2008软件计算部分大气预测结果进行的比较和分析。     

模型研究动态

本文阐述了模型及其对科学研究的意义，在分析模型研究现状的基础上，指出了模型研究的发展趋势。     

宇宙线双泄漏箱模型的进一步探讨

近年来,人们已获得了大量较为精确的宇宙线核和电子的观测数据,这为宇宙线传播模型的研究提供了较好的实验数据。按照目前流行的宇宙线起源加速机制(如激波加速、费米加速等)都假定核和电子有相同形状的能谱,一般采用的源谱形式是q(E)=AE~(-(γ_0)),其中A是常数,E是能量,γ_0是源谱指数,如果用单泄漏箱模型处理观测到的核和电子成分,可有核的     

控制理论的困境和新发展

目前,现代控制理论在控制技术的实施上已陷入困境,导致理论的危机。1986年第6期的日本机械学会杂志,以“振动传感和有效控制”为专刊,对此进行了多方面的理论分析和展望,总计的七篇文章中就有五篇是以现代控制理论的方法为课题的,可以说,六十年代的“先行投资’已取得成效,我们该对此进行理论总结和     

具有特殊协方差结构的SURE模型中UMRU估计的存在性

本文始终使用下述记号.对于矩阵A,A>0为A是正定对称的;R(A),A′和A分别表示A的列空间、转置和广义逆;P_A=A(A′A)-A′且(?)_A=I_K-P_A,此处I_K是k阶单位阵,k是A的行数.R~(m×n)是m×n实矩阵的全体考虑m个似乎不相关回归方程(SURE)模型     

关于三维激波损失模型的讨论

Wennerstrom和Puterbaugh于1984年推出了三维激波损失模型.跨音压气机转子叶片排中的实测结果和理论分析表明,在设计工况下,从S_1流面看,通道激波几乎垂直于来流方向.沿展向方向,由于转子叶片的后掠,激波面是倾斜的.但在叶尖区域,激波和机匣附面层的复杂的相互作用,使得Wennerstrom和Puterbaugh的按无粘流动考虑所形成的三维激波曲面沿展向方向倾斜进入机匣表面的假设不成立.     

DNA同源重组机制的确立

介绍了DNA同源重组机制确立的过程。其主要内容包括基因连锁和重组现象的发现,交叉假设的提出,断裂重接假设和复制选择假设的出现,同源重组的三个模型(Holliday模型、单链断裂模型和双链断裂模型)的确立。