简介:本文选取典型的面向对象语言SmllTalk为模型语言,采用VDM元语言给出SmallTalk语言的形式语义,并在SmallTalk语言的形式语义模型中增加了出错处理,补救措施,以及上下文条件的详细描述。
简介:在连续Gompertz模型基础上,导出了差分形式的Gompertz模型。通过对肿瘤生长数据的模拟,验证了差分形式的Gompertz模型对连续Gompertz模型具有良好的逼近效果;进一步,对其稳定性进行了研究,讨论了模型参数对平衡点稳定性的影响;最后,研究了一类基于差分形式的Gompertz模型的非线性动力系统的长期行为,数值模拟表明差分形式的Gompertz模型的长期行为对模型参数较为敏感。
简介:形式美是一种常见而重要的美的形态,同作为与美的内容构成辩证统一关系的美的形式是两个既有联系又有区别的概念。形式美是指色彩、线条、形体、声音等各种可感的形式因素有规律的组合构成的形式本身所具有的美。美的形式则是指审美对象中呈现或表达美的内容从而具有审美价值的形式。形式美与美的形式的联系,主要在于美的形式中包含着一部分形式美,或者换句话说,一部分形式美来自美的形式。作为审美对象,一般是由一定的审美内容和审美形式的辩证统一构成的,是内容和形式的统一体。其中,形式的因素可以区分为内在形式和外在形式。所谓内在形式是指内容诸要素之间的组织联系和结构安排。所谓外在形式是指审美对象
简介:摘要:近年来地理学业水平考试命题紧随时代发生变化,贴近生活,关注时代热点,呈现形式或情景多样,求新求变。并注重考查学生的学科核心素养,由最基础的识记到知识迁移、创造建构能力。而我们平时地教学只注重基础知识的识记,基本上不注重学生思维过程的培养,造成了在考试中手忙脚乱,无所适从,觉得地理太难学了。构建思维模型,注重学生地理思维地培养,在学生头脑中形成一种类似于公式的地理思维模式,可以改变这种“考试中一换地理情景就手忙脚乱,无所适从”现状。