第三单元总结 Tags: OO JML实现方法 JML是一种用于形式化表述程序规格的语言，其具体实现方法是通过逻辑推理语言对程序的输入输出以及数据交互做出限制，来保证程序按照设计者的预期运行。同时它也被用来提高代码的可维护性和可读性，通过针对已有的代码写出其JML规格，有利于维护该代码。 在本文中， ...
分类：
其他好文 时间：
2021-06-02 16:31:20
阅读次数：
0
Nginx是一款高性能的http 服务器/反向代理服务器及电子邮件（IMAP/POP3）代理服务器。由俄罗斯的程序设计师Igor Sysoev所开发，官方测试nginx能够支支撑5万并发链接，并且cpu、内存等资源消耗却非常低，运行非常稳定。本文主要简述Nginx的配置文件及示例配置，仅供学习分享使... ...
分类：
其他好文 时间：
2021-06-02 16:30:14
阅读次数：
0
1：效果 一运行起来，红色是下载的部分，蓝色是为下载部分，下载完之后先缩成一个椭圆，在缩成一个圆 GitHub地址：https://github.com/luofangli/MyDrawProgress 详细代码： <?xml version="1.0" encoding="utf-8"?><and ...
分类：
移动开发 时间：
2021-06-02 16:08:01
阅读次数：
0
项目介绍： 本项目是使用Java swing开发，可实现ATM系统/银行系统的基本登陆、转账、查询余额、存取款业务。界面设计比较简介 项目结构： 运行截图： 作者QQ:1334611189 现成的产品直接使用，功能设计+代码+任务说明书+提纲+论文+远程部署，诚信为本，希望大家支持与帮助！ 点击查看 ...
分类：
编程语言 时间：
2021-06-02 16:07:22
阅读次数：
0
主要技术、spring、 springmvc、 springboot、 mybatis 、 jquery 、 layUI、md5 、bootstarp.js tomcat、、拦截器等项目主要功能:登录、用户、菜单管理、角色管理、权限管理、立项申请、报名、结、经费管理、审核、统计等用户登录：输入账号密 ...
分类：
数据库 时间：
2021-06-02 16:03:06
阅读次数：
0
对学院网站进行抓取、建索、排序、搜索、摘要显示。是Web界面。首先利用httpclient+多线程去模拟客户端去进行获取网页的内容，然后采用jsoup+多线程来进行解析网页内容并存储本地 项目主要使用技术HttplcientJsoup多线程数据库dao模式IKAnanyzerLuceneJavasc ...
分类：
编程语言 时间：
2021-06-02 16:01:44
阅读次数：
0
1. jps 查看正在运行的JVM进程 2. jstat 监视虚拟机运行时状态信息，显示虚拟机进程中的类装载、内存、垃圾收集、JIT编译等数据 3. jmap 生成heap dump文件，除了这个命令还可以配置-XX:+HeapDumpOnOutOfMemoryError参数让虚拟机出现OOM时自动 ...
分类：
其他好文 时间：
2021-06-02 16:01:06
阅读次数：
0
运行环境: 最好是java jdk 1.8 eclipse tomcat环境： Tomcat 7.x,8 主要功能说明： 用户角色包含以下功能： 查看所有蛋糕, 用户登录和注册, 查看蛋糕详情, 提交订单, 查看我的订单, 查看我的购物车 ,确认收货, 评价等 评论商品等功能。管理员角色包含以下功能 ...
分类：
数据库 时间：
2021-06-02 15:58:14
阅读次数：
0
摘要：GaussDB在大规模集群上运行的过程中，随着时间推移，部分节点可能会出现性能严重下降的情况。此时这些节点仍然能对外提供服务，但响应明显变慢，处理同样的请求所需时间较其他正常节点大很多，从而影响了整个集群的性能。这样的节点称为“亚健康节点”，或“慢节点”。 本文分享自华为云社区《GaussDB ...
分类：
其他好文 时间：
2021-06-02 15:41:25
阅读次数：
0
Tensorflow绪论 有句话说的好：“工欲善其事 必先利其器”。 为什么选择Tensorflow2 Tensorflow目前发布了两个版本：1.x和2.0，通过对这两个版本的使用，相较于Tensorflow1.x,有以下特点： (1)简单易用: Tensorflow2去除了冗余的接口，并将计算过 ...
分类：
其他好文 时间：
2021-06-02 15:30:53
阅读次数：
0
