一、JML简单引导 JML(Java Modeling Language)是用于对Java程序进行规格化设计的一种表示语言。 规范的JML语言描述了正确的Java程序的功能性要求，但如何实现，以及实现的性能如何就交给了程序猿自己了。理论基础 JML以javadoc注释的方式来表示规格，有行注释和块注释两类。行注释以“//@”开头；块注释以“/@”开头，而每一行又以“@”开头。一个完整的方法规格包括
转载
2023-06-07 13:46:14
163阅读
第三次博客作业JML语言的理论基础、应用工具链情况 JML（Java Modeling Language）—— java建模语言，是一种行为接口规范语言( behavioral interface specification language, BISL)。同时，JML也是一种进行详细设计的符号语言，它鼓励你用一种全新的方式来看待Java的类和方法，既规定了方法或抽象数据类型的接口，也规定了它们
1.1 什么是UMLUML统一建模语言存在的意义在于统一设计建造标准，是设计语言的图纸。简而言之，任何工厂可通过设计图纸加工统一标准的标准件。以一个UML图说明，表示类的框分为以下几层（从上到下）·类名：Programmer·属性清单·方法清单·性质清单如果一个类有内部成员类，它的类图就会有五层。在类的类图中，除了类名层是不能省略的、必须显示的以外，其他几层都是可以在UML图中省略的。第一层是类名
一、JML语言的理论基础、应用工具链情况JML：（1）概述建模语言（Java Modeling Language, JML）是一种用来进行详细设计的表示法，它倡导一种思考方法和类的新思路。JML将注释添加到Java代码中，让我们能够去描述方法预期的功能，而不必去说明如何做到这一点，这样JML就把面向对象拓展到了方法设计阶段。为了能够对于功能进行说明，JML引入了许多的构造，包括模型字段、量词、断言
转载
2023-10-11 07:17:30
75阅读
# Java语言建模桌子
在软件开发中，建模是一种用于抽象和设计系统的有效手段。本文将探讨如何用Java语言建模一个“桌子”对象。我们将通过状态图和甘特图来帮助更好地理解这一过程，并给出相应的代码示例。
## 1. 什么是建模？
建模是指将现实世界的对象或系统抽象成某种形式，以便用计算机程序进行操作和管理。对于一个桌子，我们可以考虑其属性（如颜色、尺寸、材质）和行为（如开合、移动）。
##
文章目录1.建模语言(UML)1.1类1.2接口1.3UML类图1.4 类之间的关系2.面向对象语言的设计原则3.单例模式4.工厂模式5.代理模式JDK代理CgLib代理 1.建模语言(UML)建模语言（Unified Modeling Language，UML）是用来设计软件蓝图的可视化建模语言，1997 年被国际对象管理组织（OMG）采纳为面向对象的建模语言的国际标准.1.1类指具有相同属性
R语言做滚动garch模型 roll-garch model前几天做了一个滚动garch模型，刚开始没搞清楚，走了很多弯路，最后终于搞好了。 接下来就是分析我写roll-garch的思路。其实roll-garch模型在rugarch里面其实是有的。但是，我也看了开发者写的文档，如果你希望更快，更复杂的滚动garach模型，你就要自己写函数。我的天，我哪里会，其实我连garch模型都没搞懂，但是我会
转载
2023-06-07 12:48:39
207阅读
前言第1章 概率统计模型11.1 数据的描述性分析11.1.1 数据的数字特征11.1.2 随机变量的分布51.1.3 常用的分布61.1.4 数据的图形描述91.2 参数的区间估计与假设检验131.2.1 单个总体的区间估计与假设检验131.2.2 两个总体的区间估计与假设检验141.2.3 区间估计与假设检验的计算161.2.4 两个正态总体方差比σ21/σ22的估计与检验221.3 非参数检
目录一、NETCONF、RESTCONF和YANG是之间什么关系？二、Netconf简介2.1、一般使用工具：MG-Soft 简介三、Netconf YANG 原理与实践3.1、NETCONF协议3.2、YANG建模语言3.3、RESTCONF协议网管协议：SNMP（基于UDP） Netconf（功能更强大）一、NETCONF、RESTCONF和YANG是之间什么关系？YANG是建模语言
转载
2023-08-16 15:22:51
99阅读
目录前言一、第1问1.1 计算模型中等待时间t2MATLAB程序1.2 计算模型中等待时间t2（灵敏度分析）MATLAB程序二、第2问2.1 代入t2到模型进行计算MATLAB程序2.2 代入t2到模型进行计算（灵敏度分析）MATLAB程序三、第3问3.1 第3问求解MATLAB程序3.2 第3问仿真MATLAB程序四、第4问4.1 第4
自从Python流行后，R貌似逐渐被人遗忘，可是，每款语言和工具都有它存在的价值，R也具有强大的可视化功能，你真的了解R吗？还是说，掌握了Python就不用再掌握R了。本文科普性的介绍下R，带你走进R的世界。R是一种应用统计软件和语言，主要为统计计算和绘图而生，而且R是一套开源的数据分析解决方案。它主要包括简单却很强大的R语言、数据存储和处理、数据运算工具、完整的统计分析工具、优秀的统计可视化以及
目录0引言1、课本介绍1.1理论的书1.2 R语言的书2、构造数据3、相关性分析4、多元回归模型的建立4.1建立模型5.2模型分析5.3方差分析表5、变量选择5.1 逐步回归5.2所有子集法5.3套索法6、回归模型常用函数总结7、参考文献 0引言在毕业实用模型一1、二2、三3中介绍了时间序列模型的建模思路与在R语言中的调参，今天来讲解一下回归模型的建模思路和实现。 在这里你将会学到：推荐的回归模
转载
2023-10-25 21:22:28
526阅读
本文介绍caret包中的建立模型及验证的过程。主要涉及的函数有train()，predict()，confusionMatrix()，以及pROC包中的画roc图的相关函数。建立模型在进行建模时，需对模型的参数进行优化，在caret包中其主要函数命令是train。 train(x, y, method = "rf", preProcess = NULL, ...,
weights
转载
2023-08-16 09:53:43
44阅读
安装软件
比赛名称
比赛论文
算法及常用代码
模板
小白如何学习数学建模安装软件MATLAB(物理建模)
python(数据分析)
R
SPSS
Stata
OriginLingo软件替代方案Yalmip工具箱+OPTI工具箱+gurobi求解器Yalmip是基于matlab的求解规划问题的高级建模语言OPTI提供众多开源的规划求解器 包括非线性求
Unified Modeling Language (UML)又称统一建模语言或标准建模语言,是始于1997年一个OMG标准，它是一个支持模型化统
转载
2023-07-24 14:32:07
85阅读
# R语言轨迹建模指南
## 1.简介
在本文中，我将向你介绍如何使用R语言进行轨迹建模。轨迹建模是一种分析和预测移动对象行为的方法。通过对移动对象的位置数据进行分析，我们可以了解它们的行为模式、趋势和未来的动态。
## 2.流程概述
下表展示了整个R语言轨迹建模的流程：
| 步骤 | 描述 |
| --- | --- |
| 1 | 数据加载和预处理 |
| 2 | 轨迹可视化 |
| 3
# R语言建模实例教程
## 一、整体流程
```mermaid
journey
title R语言建模实例流程
section 开始
开始 --> 数据准备
section 建模
数据准备 --> 数据清洗
数据清洗 --> 数据分析
数据分析 --> 模型训练
模型训练 --> 模型评估
SysML(System Modeling Language，系统建模语言)，是一种专门为系统工程应用开发的标准建模语言，它是由对UML2．0的子集进行重用和扩展而来的。SysML与UML的关系在应用方面，SysML和UML最大的区别是，SysML是专门为系统工程开发的，而UML更多的是面向软件工程，其设计初衷也是为了方便软件开发。在语言结构方面，SysML是由图和元模型组成，图是语法，元模型是语
# 习题2
# 2.1
x=c(1,2,3)
y=c(4,5,6)
e=c(rep(1,3))
z=2*x+y+e;z
x%*%y # 若x，y如答案那样定义为矩阵，则不能用%*%,因为，维数不对应，
x%o%y
# 答案
x<-matrix(1:3,nrow=3)
y<-matrix(4:6,nrow=3)
e<-matrix(c(1,1,1),nrow=3)
z<-
转载
2023-06-06 22:03:13
190阅读
SIR模型概念看到网上很多人在讲新冠肺炎的预测模型，主流的是SIR 与 SIRE， 这里大致记录一下我对传染病模型的理解。之后会陆续补充该模型的应用，扩展，以及code。一、SIR的由来（网络资料）： 该模型最早是在1760年于Daniel Bernoulli对于天花预防的研究中有所提到。该模型具体被引入是20世纪初基于Hamer、Ross等人在建立传染病数学模型的研究中做出了大量的工作，直到19
