1. The theoretical basis and application tool chain of JML
1. Theoretical basis
\result: Represents the return value of a non-void method after execution.
\old(expr): Indicates the value of an expression expr before executing the corresponding method
\not_assigned(x, y,...): Indicates whether the variable in ...
Posted by shawnyoung on Sun, 21 Jun 2020 03:10:32 +0200
Note: the following tips are based on Python 3
Exchange variable value
a, b = 1, 2
print("Assignment:", a, b)
# Exchange variable value
a, b = b, a
print("Exchange:", a, b)
Assignment: 1 2
Exchange: 2 1
a = 5
print(1 < a < 10)
print(5 < a < 10)
Posted by tazgalsinh on Sat, 20 Jun 2020 10:42:18 +0200
Baidu sexy beauty wallpaper to understand, for nothing else, is to be able to better learn Python! Do you believe that?
As long as I see the website with photos of my sister, I just want to download them in bulk!
Why to learn about web crawlers(1) Learning the web crawler, you can customize a search engine to better understand the principle o ...
Posted by kappaluppa on Sat, 20 Jun 2020 05:55:04 +0200
Recently, the practical village planning under the system of territorial spatial planning has been expanded in a large area, "three-tone" data is directly facing the problem of converting the current land use. Today, we will talk about the method of "one key" conversion through code. ...
Posted by tpc on Sat, 20 Jun 2020 04:56:20 +0200
AI: Keras PyTorch MXNet TensorFlow PaddlePaddle Deep Learning Actual Warfare (Update from time to time)
2.3 Sessions, Tensors, Variables OP
applicationSess.runOr eval runs the diagram program and gets the tensor value
Apply feed_dict mechanism to ...
Posted by Pinkerbot on Sat, 20 Jun 2020 03:37:48 +0200
matplotlib is a module of python, which is used to draw various graphs. Today, I will introduce the drawing of line graph.
Let's start with a simple example:
from matplotlib import pyplot as plt
The above lines of code can dr ...
Posted by KDesigns on Fri, 19 Jun 2020 11:15:53 +0200
This is an original article by Chen Gang, a Suning network architect.
01 prepare the tester
The 16G laptop didn't run, so it simply put together a game studio level machine: dual E5-2860v3 CPU, 24 core 48 threads, 128G DDR4 ECC memory, NVME disk 512G. Open 5 VM S on it and pretend to be physical serve ...
Posted by prasanthmj on Fri, 19 Jun 2020 04:27:47 +0200
Disadvantages of list: 1) a large amount of data can be stored in the list, but the correlation between data is not strong; 2) the query speed of the list is relatively slow
Container data type: dict
Classification by variable and immutable data types:
Immutable (hashable) data types: int, str, bool (Boolean), tuple (tuple).
Posted by JD* on Thu, 18 Jun 2020 09:11:13 +0200
Building neural network
The core of all neural networks in Python is the autograd package, which provides the mechanism of automatic derivation for all operations on tensors. It is a framework defined at runtime, which means that the back propagation is determined by how the code runs, and each itera ...
Posted by thepeccavi on Thu, 18 Jun 2020 07:30:39 +0200
python learning summary day8 tuples, dictionaries, sets
1. Tuple: a tuple is an immutable list and a container type of data. It does not support addition, deletion and modification, but only supports query (subscript operation).
1) Empty tuple: () - > tuple
2) Tuple of single element ...
Posted by NightCoder on Thu, 18 Jun 2020 04:29:39 +0200