一、规格化设计的发展历史以及为什么得到重视 规格的历史： 从20世纪60年代开始，就存在着许多不同的形式规格说明语言和软件开发方法。在形式规格说明领域一些最主要的发展过程列举如下： 1969－1972 C.A.R Hoare撰写了"计算机编程的公理基础（An Axiomatic Basis for ...
分类：
其他好文 时间：
2018-05-30 01:24:44
阅读次数：
204
第三次博客 一、 规格发展历史 从20世纪60年代开始，就存在着许多不同的形式规格说明语言和软件开发方法。在形式规格说明领域一些最主要的发展过程列举如下： 1969－1972 C.A.R Hoare撰写了"计算机编程的公理基础（An Axiomatic Basis for Computer Prog ...
分类：
其他好文 时间：
2018-05-29 20:42:43
阅读次数：
101
本文假设您对JDBC(Java Database Connectivity)有最基本的了解。您也可以将其同ADBC(ABAP Database Connectivity)做对比，细节请参考我的博客 "ADBC and JDBC" 这篇文章分为两部分，第一部分内容： 1. 介绍如何在SAP Cloud ...
分类：
数据库 时间：
2018-05-19 23:27:36
阅读次数：
226
SAP云平台(Cloud Platform)上的HANA数据库实例有两种方式访问： 1. 通过SAP云平台的基于网页版的Development Tool：SAP HANA Web Based Development Workbench 2. 通过Eclipse配合Cloud Connector直接访 ...
分类：
数据库 时间：
2018-05-19 23:20:44
阅读次数：
217
Given any signal $x\in R^n$, we can obtain sparse representation $\theta\in R^n$ of $x$ in two ways: 1. Basis expansion: given sparse inducing othonor ...
分类：
其他好文 时间：
2018-05-19 15:39:11
阅读次数：
176
today,i learned so much knowledge about the basis of python. firstly,i studied methematical operators like '+','/' and so on. for instance,2*3=5 , 4/2 ...
分类：
编程语言 时间：
2018-05-19 00:18:25
阅读次数：
151
Linux系统内核设置优化tcp网络，# vi /etc/sysctl.conf，添加以下内容 net.ipv4.tcp_syncookies = 1 表示开启SYN Cookies。当出现SYN等待队列溢出时，启用cookies来处理，可防范少量SYN攻击，默认为0，表示关闭； net.ipv4. ...
分类：
系统相关 时间：
2018-05-17 20:38:48
阅读次数：
216
An optimized molecular potential for carbon dioxide Author: Zhigang Zhang, and Zhenhao Duan Citation: The Journal of Chemical Physics 122, 214507 (200... ...
分类：
其他好文 时间：
2018-05-15 01:44:53
阅读次数：
228
打开SAP云平台上的SAP HANA Web Based Development Workbench超链接： 遇到错误信息：403 Forbidden The server refused to fulfill the request. solution 打开SAP HANA Cockpit, 选择 ...
分类：
Web程序 时间：
2018-05-12 17:30:48
阅读次数：
538
1 commons-lang 1.1 ReflectionToStringBuilder 将对象进行字符串拼接 /* * Licensed to the Apache Software Foundation (ASF) under one or more * contributor license ...
分类：
其他好文 时间：
2018-05-11 23:56:59
阅读次数：
226
