本单元是基于JML规格来实现对社交关系的模拟和查询，整体架构与设计都是官方给出。在实现过程中，我深感JML是一个非常适合开发的形式化规格语言。尤其对于团队项目的开发，用JML可以清晰规定每一部分的代码要求，程序员在实现时仅需思考在此基础上如何提升性能，而不用为架构设计发愁，体验极佳。 设计策略 由于 ...
分类：
其他好文 时间：
2021-06-02 15:07:31
阅读次数：
0
软件工程课程的课程实践项目之一，总的来说是毫无实用性的玩具程序。 不过在编写的过程中较为有意识的使用了软件工程方面的知识（起码将程序分为了三个模块，并且努力的降低了耦合性。。。） 站在本人的角度上来讲，是对软件工程的一次实践，美中不足的地方在于没有事先编写需求说明文档、设计用例，并使用UML云云。 ...
分类：
其他好文 时间：
2021-06-02 14:58:19
阅读次数：
0
#引言 题目：编写一个算法来判断一个数n是不是快乐数 来源：网友分享的面试算法题 #题目描述 【快乐数定义】 对于一个正整数，每一次将该数替换为它每个位置上的数字的平方和。 然后重复这个过程直到这个数变为1，也可能是 无限循环，但始终变不到1。 如果可心变为1，那么这个数就是快乐数。 如果n是快乐数 ...
分类：
其他好文 时间：
2021-06-02 14:53:26
阅读次数：
0
YY/T 0664-2020《医疗器械软件 软件生存周期过程》 标准书： YY/T 0664-2020 医疗器械软件 软件生存周期过程 - 道客巴巴 (doc88.com) 国家药监局关于发布34项医疗器械行业标准的公告(2020年第108号)第10项为“YYT0664—2020”标准已于2020年 ...
分类：
其他好文 时间：
2021-06-02 14:47:57
阅读次数：
0
鞅、停时定理 鞅，用来描述一种 公平、连续 随机过程。首先来看定义，这里只考虑离散意义下的鞅。 称随机过程 \(X=\{X_n,n\ge 0\}\) 为 鞅，若 \(E(|X_n|)\le\infty\) \(E(X_{n+1}|X_0,\cdots,X_n)=E(X_n)\) 称随机过程 \(Y= ...
分类：
其他好文 时间：
2021-06-02 14:46:37
阅读次数：
0
一、异常 1.什么是异常？ 在程序执行过程中，出现的非正常的、最终导致JVM的非正常停止的情况，就是异常 2.异常体系 异常机制的存在就是为了帮使用者找出程序中的问题所在，异常的根类是java.lang.Throwable，在其下还有两个子类：java.lang.Error和java.lang.Ex ...
分类：
其他好文 时间：
2021-06-02 14:40:22
阅读次数：
0
基于形状的模板匹配算法有着一些比较特殊的地方，在很多情况下在速度和准确度方面他有着优于基于NCC的匹配的结果，而且基于形状可以用于带缩放的匹配中，本文继续前面的系列文章简要的记录了在本人实现这些算法的过程中的一些心得和体会。 ...
分类：
编程语言 时间：
2021-06-02 14:34:06
阅读次数：
0
--指定库 use[SC_Flow] --判断存储过程是否存在 IF EXISTS(SELECT 1 FROM SYSOBJECTS T1 WHERE T1.NAME='Proc_BiddingReport') begin drop PROCEDURE Proc_BiddingReport end ...
分类：
数据库 时间：
2021-06-02 14:02:23
阅读次数：
0
计算机网络参考模型与5G协议 目录 一、分层思想 1.1·2：分层思想概念 1.2、优点 二、OSI七层参考模型 三、TCP/IP协议族 3.1、TCP/IP协议族的组成 3.2、OSI模型与TCP/IP协议的比较 四、数据封装与解封装的过程 4.1、数据封装与解封装以及PDU的关系 4.2、PDU ...
分类：
其他好文 时间：
2021-06-02 13:52:26
阅读次数：
0
用于记录一些个人开发过程中遇到的或者查询的CSS问题，做一个汇总记录。 ...
分类：
Web程序 时间：
2021-06-02 13:45:15
阅读次数：
0
