9.1 计算机学科方法论简介 9.2 计算机学科的定义 9.3 计算机学科方法论 9.4 计算机学科的三个过程 9.5 计算机学科中的核心概念 9.6 计算机学科中的数学方法 9.7 计算机学科中的系统科学方法

一、通量的定义 二、通量的能谱和角分布 三、计算体通量的模拟方法 四、计算面通量的模拟方法 五、计算点通量的模拟方法 六、与通量有关的物理量的计算

一、目的要求 1. 了解队列研究的设计及需注意的问题； 2. 掌握相对危险度和归因危险度的意义、计算；熟悉相对危险度的假设检验与区间估计方法方法；熟悉M-H分层分析方法及趋势检验方法; 3. 掌握人时发病率、发病概率和累计发病概率的意义、区别与计算方法；熟悉暴露人年的计算

一、目的要求 1. 了解队列研究的设计及需注意的问题； 2. 掌握相对危险度和归因危险度的意义、计算；熟悉相对危险度的假设检验与区间估计方法方法；熟悉M-H分层分析方法及趋势检验方法; 3. 掌握人时发病率、发病概率和累计发病概率的意义、区别与计算方法；熟悉暴露人年的计算

对求解问题本身就具有概率和统计性的情况,例如中子在介 质中的传播,核衰变过程等,我们可以使用直接蒙特卡洛模拟 方法。该方法是按照实际问题所遂循的概率统计规律,用电子 计算机进行直接的抽样试验,然后计算其统计参数直接蒙特 卡洛模拟法最充分体现出蒙特卡洛方法无可比拟的特殊性和优 越性,因而在物理学的各种各样问题中得到广泛的应用

一、 目的要求 掌握：掌握成组设计和配对设计资料的优势比的 意义、计算和置信区间估计的方法。 熟悉：成组设计资料优势比的假设检验方法； M-H分层分析方法及其趋势检验方法；1:1配 对设计两分类变量优势比的假设检验方法

9.1 计算机学科方法论简介 9.2 计算机学科的定义 9.3 计算机学科方法论 9.4 计算机学科的三个过程 9.5 计算机学科中的核心概念 9.6 计算机学科中的数学方法 9.7 计算机学科中的系统科学方法

讨论了非协调增强假设变形梯度有限元的基本理论、所采用的本构关系和有限元列式.为了克服原先由Simo建议的方法中所固有的缺陷,即在模拟压缩变形时容易出现奇异能量模式而导致计算失稳甚至崩溃,对原方法中有关内变量和应力更新算法进行了改进.计算结果表明,改进的方法在模拟压缩和拉伸模型时,具有较好的计算稳定性

• 形式化设计方法和过程 • 系统描述方法 – 基于模型的方法 – 基于语言的方法 • SystemC – PetriNet，1960 • 德国数学家Petri发明 • 形式化验证 – Model Checking • 属性分析 – 正确性、性能、可靠性？

◆ 12.1 软件测试基础 ◆ 12.2 软件测试方法与技术 ◆ 12.3 软件测试过程 ◆ 12.4 面向对象的测试方法 ◆ 12.5 程序的静态分析方法 ◆ 12.6 软件调试方法 ◆ 12.7 软件测试工具 ◆ 12.8 软件的可靠性