目录 写在前面 一.JML语言理论基础与应用工具链情况 1.语言理论基础知识梳理 2.JML表达式分类 3.方法规格 4.类型规格 5.应用工具链二.部署SMT Solver 三.部署JMLUnitNG/JMLUnit 四.三次作业的设计思路 Ⅰ.第一次作业设计（MyPathContainer的实现） Ⅱ.第二次作业设计（MyGraph的实现) III.第三次作业设计（MyRailwaySystem的实现)五.基于类图、基于度量的分析 Ⅰ.第一次作业 Ⅱ.第二次作业 III.第三次作业六.基于Solid原则的评价 七...
MySQL简介MySQL是一个关系型数据库管理系统，由瑞典MySQL AB 公司开发，目前属于 Oracle 旗下产品。MySQL 是最流行的关系型数据库管理系统之一，在 WEB 应用方面，MySQL是最好的 RDBMS (Relational Database Management System，关系数据库管理系统) 应用软件之一。 MySQL是一种关系数据库管理系统，关系数据库将数据保存在不同的表中，而不是将所有数据放在一个大仓库内，这样就增加了速度并提高了灵活性。 MySQL所使用的 SQL 语言...
在进行项目开发的时候进行了后台数据库存储过程的建立，果然这种存储过程，只要进行了一次之后 ，后面的就会轻松很多 上图就是存储过程建立的一个简单的过程， 在实际中大概的流程也是差不多的， 不过我在项目过程中，还是发现了许多的问题，因为就算需求文档写的再详细， 有些部分还是有不能够直接描述很清楚， 这个时候就得找需求人员进行确定。这些问题都是要能够马上确认好的， 因为到了后面再进行更改的话就会比较的麻烦。然后...
前言 今天刚好有空，跟大家聊聊如何学好算法进大厂。 前两天一个读者和我说，他坚持刷算法题2个月，薪资翻番去了他梦寐以求的大厂，期间面字节跳动还遇到了原题…其实据我所知目前国内的大厂和一些独角兽，已经越来越效仿硅谷公司的做法，通过编程定题面试，来考察数据结构和算法的扎实程度。 以我的经验来说，**对于新手来说，扎实的掌握一门语言是其一，其二就是要有基本的算法能力，这个非常重要。对于进阶的用户，更多技术栈的...
结合第二阶段后3天，我们试用了UI，antionbar，menu等实用，成功的做出了字体的转换，题目的转化等功能。 其实四则运算，说难不难 说易不易，总结出 主要有付出，就有回报。menu等做的过程也遇到各种错误，也参考了网上的不少资料，问了同学。总得出，至少做出了。第三阶段最后的冲刺，只有不停的努力，才有不停的进步。成员们所各自负责的任务也接近着快完成了。算法的运算代码还在尝试修改着更为新颖的，也将会更大的美化界面的...
Thymeleaf 基本用法总结一、引用命名空间 <html xmlns:th="http://www.thymeleaf.org"> 在html中引入此命名空间，可避免编辑器出现html验证错误，虽然加不加命名空间对Thymeleaf的功能没有任何影响。二、输出内容2.1 <p th:text="#{home.welcome}">Welcome to our grocery store!</p>说明：1. th:text 用来将内容输出到所在标签的body中。2. #{home.welcome} 用来引入数据home对象中的 welcome属性。3. 可以用th:utext 用来显示“...
1. 计算机网络概述 1.1. 基本术语 结点 （node） ：网络中的结点可以是计算机，集线器，交换机或路由器等。链路（link ） : 从一个结点到另一个结点的一段物理线路。中间没有任何其他交点。主机（host） ：连接在因特网上的计算机。ISP（Internet Service Provider） ：因特网服务提供者（提供商）。 IXP（Internet eXchange Point） ： 互联网交换点 IXP 的主要作用就是允许两个网络直接相连并交换分组，而不需要再通过第三个网络...
目录总结一、黑客是什么二、普通黑客与优秀黑客三、黑客与艺术的关系四、什么是好的设计1.简单2.永不过时3.具有启发性4.看似容易5.对称性6.大胆7.成批出现 总结 这个时代是程序员主导的时代，而伟大的程序员就是黑客。 《黑客与画家》这本书不仅仅是给程序员看的，而是给所有人看的，能帮助人们了解黑客的定义、黑客的成长、编程的本质、互联网的规则等等。 书名叫《黑客与画家》是以画家为参考，给普通人解释黑客与艺术相通的地方...
字符函数 length() concat() substr() instr() trim() upper() lower() lpad() rpad() replace()数学函数 round() ceil() truncate() mod()日期函数 now() curdate() curtime() year() month() monthname() day() hour() minute() second() str_to_date() date_format()其它函数 version() database() user()控制函数 if() case()
这个作业属于那个课程 C语言程序设计II 这个作业要求在哪 https://edu.cnblogs.com/campus/zswxy/computer-scienceclass3-2018/homework/3237 我在这个课程的目标是 了解数组，函数，结构之间的关系 这个作业在那个具体方面帮助我实现目标 PTA练习 参考文献 《C语言程序设计》 本题要求实现一个函数，用于计算有n个元素的指针数组s中最长的字符串的长度。 函数接口定义： int max_len( char *s[], int n ); 其中n个字符串存储在s[]...
这是笔者第一次接触Java多线程，本单元的电梯调度作业把我领进了多线程作业的世界，也给我带来了很大的启发，比如说synchronized() 锁与同步块的使用、wait() 和 notifyAll() 的配合使用，也让我尝试实现了多线程的debug、性能的优化等等，可以说是一次充满挑战与收获的旅程。回首整个单元，看着自己的调度系统逐渐从单部电梯发展到多部不同类型的电梯，运转流程也更迅速更稳定，笔者由衷地觉得一路春光、不虚此行。下面，笔者将从...
今晚继续进行Sql效能问题的分享，今天主要是一些具体的sql优化方法和思路分享，若看过后你也有其他想法，欢迎一起探讨，好了，进入今天的主题。 针对性地对一些耗资源严重的具体应用进行优化 出现效能问题时，首先要做的是什么？这个问题我问过不少同事，有人说凭经验对出问题的sql进行优化，如我们一般说的要合理使用索引，尽量不要使用 前面带*号的Like语句，不要再比较操作符前边进行计算或使用函数等等，这些道路都是对的，...
2020年1月10日到16日是在忐忑中度过的，直到收到PMI发的5A成绩后，才算放松下来。下面就我PMP备考学习经验做一个总结，也算是把项目收尾工作做完做好，善始善终。 我是一名IT从业者，从大学毕业到今天又10年的从业经历了，早在几年前就想考个PMP认证，系统的学习下项目管理相关知识体系，但因为平时工作太忙，经常加班熬夜的，哪怕是周末时间也不能正常的休息，当时市面上的培训机构基本上都是脱产面授的班型，实在是没时间去现场上...
有幸在读研的最后一年秋招中找到了一份自己想要的工作，虽然有疫情的影响，不过最后的结果还是自己很满意的。个人最后找到的工作是5G网络相关的，读研期间参与实验室与东软集团联合的项目，对传统的网站开发也有一定的了解，包括SSM架构等，下面就从自己的角度，给出自己的建议： 大多数作为计算机学院的研究生，一个很大的误区就是毕业出来的研究生都得找编程、写算法方面的工作，其实不然，我的同学很多就去了运营商，国企和公务...
char Varchar Text 为Unicode Nchar Nvarchar Ntext 三、日期和时间数据类型 datatime smalldatetime 四、二进制数据类型 binary varbinary image 五、专用数据类型 cursor sql_variant table timestamp uniqueidentifier xml sql数据类型总结标签：unicode atime text 日期 ant arc ima class rom 本文系统来源：http://www.cnblogs.com/wzjhoutai/p/6718601.html