Position: Home page » Blockchain » Formalization of blockchain
Formalization of blockchain
Publish: 2021-05-10 00:04:23
1. Professor Hu Kai's research mainly includes:
digital economy and blockchain Technology: he is one of the earliest scholars engaged in blockchain technology in China. He has proposed and developed such theoretical methods as smart contract engineering (SCE), legal code technology, verification as a service (VAAs), etc. in the fields of combination of digital economy and blockchain, planning and consulting of digital economic Park, digital governance of blockchain, and so on Blockchain scalability, Multi Chain interconnection and blockchain formal verification technology have in-depth research and patent achievements. He presided over the research and development of Beihang blockchain series procts, including various forms of blockchain systems with independent intellectual property rights, browsers, monitors, deployment tools and blockchain big data management system (opendata)
distributed parallel computing and network: he has been engaged in cluster computing system, high-performance computing, aerospace electronic bus, and integrated network information technology research in complex computing environment for a long time. He proposed and studied the theory of reconfigurable multi cluster computing based on wolf pack and applied it to practice, and developed several application software systems
formal design and verification methods: in close cooperation with irit and INRIA, we have established a Sino French joint research laboratory for formal methods, studied model driven formal design and verification methods, proposed a number of innovative extension technologies based on AADL and synchronous language signal, and developed a number of model transformation, model validation and verification methods Verification and automatic code generation tools
in recent years, he has published more than 60 papers on SCI / EI retrieval in important academic journals at home and abroad, edited new technologies of network computing (416 pages, published by Science Press in 2001), and cooperatively completed the national authoritative textbook introction to distributed computing system (490 pages, published by Tsinghua University Press in 2014), which won the first prize of 2016 textbook, It has been adopted by more than ten key universities. He has successively presided over and participated in a number of National Natural Science Fund, national key R & D projects, 863 major projects, Junkou 863 project, National Nuclear high-tech foundation project, aerospace fund, and a number of important engineering projects in aerospace field. He won more than 30 national invention patents and soft works, won the five-year achievement award of aviation fund in 2015, and won the second-class innovation achievement award of Instry University Research Institute in 2018.
digital economy and blockchain Technology: he is one of the earliest scholars engaged in blockchain technology in China. He has proposed and developed such theoretical methods as smart contract engineering (SCE), legal code technology, verification as a service (VAAs), etc. in the fields of combination of digital economy and blockchain, planning and consulting of digital economic Park, digital governance of blockchain, and so on Blockchain scalability, Multi Chain interconnection and blockchain formal verification technology have in-depth research and patent achievements. He presided over the research and development of Beihang blockchain series procts, including various forms of blockchain systems with independent intellectual property rights, browsers, monitors, deployment tools and blockchain big data management system (opendata)
distributed parallel computing and network: he has been engaged in cluster computing system, high-performance computing, aerospace electronic bus, and integrated network information technology research in complex computing environment for a long time. He proposed and studied the theory of reconfigurable multi cluster computing based on wolf pack and applied it to practice, and developed several application software systems
formal design and verification methods: in close cooperation with irit and INRIA, we have established a Sino French joint research laboratory for formal methods, studied model driven formal design and verification methods, proposed a number of innovative extension technologies based on AADL and synchronous language signal, and developed a number of model transformation, model validation and verification methods Verification and automatic code generation tools
in recent years, he has published more than 60 papers on SCI / EI retrieval in important academic journals at home and abroad, edited new technologies of network computing (416 pages, published by Science Press in 2001), and cooperatively completed the national authoritative textbook introction to distributed computing system (490 pages, published by Tsinghua University Press in 2014), which won the first prize of 2016 textbook, It has been adopted by more than ten key universities. He has successively presided over and participated in a number of National Natural Science Fund, national key R & D projects, 863 major projects, Junkou 863 project, National Nuclear high-tech foundation project, aerospace fund, and a number of important engineering projects in aerospace field. He won more than 30 national invention patents and soft works, won the five-year achievement award of aviation fund in 2015, and won the second-class innovation achievement award of Instry University Research Institute in 2018.
2. Professor Hu Kai is one of the earliest scholars engaged in the research of blockchain technology in China. He proposed and developed such theoretical methods as smart contract engineering (SCE), legal code technology, and verification as a service (VAAs). He has made great achievements in the combination of digital economy and blockchain, planning and consulting of digital economic Park, digital governance of blockchain, scalability of blockchain, and so on There are in-depth research and patent achievements in Multi Chain interconnection and blockchain formal verification technology.
3. The art instry
ascribe allows artists to declare ownership by using blockchain technology, issue numbered, limited edition works, and target any type of art in digital form. It even includes a trading market where artists can buy and sell through their websites without any intermediary services<
in the legal instry
bitproof is the most advanced of many document timestamp applications emerging in recent years, which will make the traditional notarization method a thing of the past. Bitproof offers more services than free versions including blocksgin and originstaemp, including one for intellectual property. Interestingly, bitproof recently cooperated with an it school in San Francisco to put their students' academic certificates on the blockchain, completely redefining how to handle and use diplomas and student certificates<
development instry
colu is the first enterprise to allow other enterprises to issue digital assets. Many people are impressed that they can "token" all kinds of assets. Although the free bitcoin wallet couperparty also allows simple tokens to be issued and traded among other wallet holders, the tokens of colu can be set with various states and types, can be detached from or returned to the system, and can be stored on BitTorrent's network when the data stored on the blockchain is too large<
the real estate instry
they plan to modernize the whole instry chain process and solve various problems faced by everyone when participating in real estate, including naming process, land registration, agency, etc
viewing blockchain from a financial perspective
the essence of money: money is just a kind of broad value consensus, and it does not have value precipitation
the relationship between assets and currency: currency describes assets
what is digital assets: assets are digital, segmentable and tradable, and the price is determined by the supply and demand market, not by the value intermediary currency<
Internet of things
application scenario analysis [7]
a possible application scenario is: generate corresponding behavior through transaction, assign address to each device, inject a certain fee into the address, and perform relevant actions, so as to achieve the application of Internet of things. Similar to: PM2.5 monitoring point data acquisition, server leasing, webcam data call, DNS server, etc
in addition, with the increasing number of Internet of things devices and the increasing demand for edge computing, a large number of devices need to adopt a distributed self-organization management mode, and the requirement for fault tolerance is very high. The distributed and anti attack characteristics of blockchain can be well used in this scenario
IBM [7]
IBM has continuously invested in the research and development of the Internet of things for decades, and is exploring the use of blockchain technology to rece the cost of Internet of things applications
in early 2015, IBM and Samsung announced their cooperation in developing adept system
logistics supply chain [7]
the supply chain instry often involves many entities, including logistics, capital flow, information flow, etc. there are a lot of complex cooperation and communication between these entities. Under the traditional mode, different entities keep their own supply chain information, which is seriously lack of transparency, resulting in higher time cost and money cost, and it is difficult to trace and deal with problems (false claim, counterfeit goods, etc.)
through the blockchain, all parties can obtain a transparent and reliable unified information platform, which can view the status in real time, rece the logistics cost, and trace the whole process of proction and transportation of goods, so as to improve the efficiency of supply chain management. When disputes arise, the proof and tracing become clearer and easier
this field is considered as a promising application direction of blockchain
for example, the carrier can scan the QR code to prove that the goods arrive at the designated area, and automatically charge the fees agreed in advance. We can refer to how the blockchain changes the supply chain finance and brings transparency to the supply chain
skuchain creates a new supply chain solution based on blockchain to realize the synchronization of commodity flow and capital flow, and alleviate the problem of counterfeit goods
public network service [7]
the normal operation of the existing Internet is inseparable from many nearly free network services, such as domain name service (DNS). Anyone can query the domain name for free. Without DNS, all kinds of websites can't be accessed. Therefore, for the network system, similar basic services must be safe, reliable and low-cost
blockchain technology just has these characteristics. The DNS system based on blockchain will no longer have all kinds of wrong query results, and can provide services stably and reliably
Insurance Instry
in the past two years, the hottest topic in the field of science and technology can not be separated from blockchain technology. This underlying technology, born out of bitcoin, has proved its highly secure and reliable architecture and algorithm design with more than seven years of stable operation. At the same time, with innovative technologies such as distributed ledger and smart contract, it has opened up a huge imagination space for instrial upgrading of many instries. Some instry experts even predict that blockchain technology will set off the second Internet revolution
the financial instry has always been the most sensitive to advanced technology. Traditional banking and securities giants have been investing in blockchain venture capital since 2014. In two years, the total global investment is as high as US $1 billion, and there is no lack of a-round financing such as US $60 million of Dah and US $50 million of blockstream. In addition to capital investment, major companies have personally participated in and promoted specific business applications: for example, the LINQ blockchain equity exchange launched by the Nasdaq Stock Exchange in the United States has started issuing tests at the end of 2015; The R3 CEV alliance formed by 43 multinational banks in the world has been testing and improving the inter-bank clearing alliance chain, with unprecedented speed and participation
although the insurance instry's participation in blockchain technology is relatively conservative, it has been actively exploring and researching in the academic field. At the end of 2014, the 50 page "lifelong chain" special research report launched by the European and American insurance instry forum initiated by the famous Z / yen Group Consulting Group in the UK discussed the innovation and change that blockchain will bring to the insurance instry from many aspects
while studying blockchain technology, I have exchanged with many domestic experts and scholars in the insurance instry, and deeply discussed the specific foothold of blockchain in the insurance business from the perspectives of business process and company management. Now I share with readers some thoughts on credit risk management.
ascribe allows artists to declare ownership by using blockchain technology, issue numbered, limited edition works, and target any type of art in digital form. It even includes a trading market where artists can buy and sell through their websites without any intermediary services<
in the legal instry
bitproof is the most advanced of many document timestamp applications emerging in recent years, which will make the traditional notarization method a thing of the past. Bitproof offers more services than free versions including blocksgin and originstaemp, including one for intellectual property. Interestingly, bitproof recently cooperated with an it school in San Francisco to put their students' academic certificates on the blockchain, completely redefining how to handle and use diplomas and student certificates<
development instry
colu is the first enterprise to allow other enterprises to issue digital assets. Many people are impressed that they can "token" all kinds of assets. Although the free bitcoin wallet couperparty also allows simple tokens to be issued and traded among other wallet holders, the tokens of colu can be set with various states and types, can be detached from or returned to the system, and can be stored on BitTorrent's network when the data stored on the blockchain is too large<
the real estate instry
they plan to modernize the whole instry chain process and solve various problems faced by everyone when participating in real estate, including naming process, land registration, agency, etc
viewing blockchain from a financial perspective
the essence of money: money is just a kind of broad value consensus, and it does not have value precipitation
the relationship between assets and currency: currency describes assets
what is digital assets: assets are digital, segmentable and tradable, and the price is determined by the supply and demand market, not by the value intermediary currency<
Internet of things
application scenario analysis [7]
a possible application scenario is: generate corresponding behavior through transaction, assign address to each device, inject a certain fee into the address, and perform relevant actions, so as to achieve the application of Internet of things. Similar to: PM2.5 monitoring point data acquisition, server leasing, webcam data call, DNS server, etc
in addition, with the increasing number of Internet of things devices and the increasing demand for edge computing, a large number of devices need to adopt a distributed self-organization management mode, and the requirement for fault tolerance is very high. The distributed and anti attack characteristics of blockchain can be well used in this scenario
IBM [7]
IBM has continuously invested in the research and development of the Internet of things for decades, and is exploring the use of blockchain technology to rece the cost of Internet of things applications
in early 2015, IBM and Samsung announced their cooperation in developing adept system
logistics supply chain [7]
the supply chain instry often involves many entities, including logistics, capital flow, information flow, etc. there are a lot of complex cooperation and communication between these entities. Under the traditional mode, different entities keep their own supply chain information, which is seriously lack of transparency, resulting in higher time cost and money cost, and it is difficult to trace and deal with problems (false claim, counterfeit goods, etc.)
through the blockchain, all parties can obtain a transparent and reliable unified information platform, which can view the status in real time, rece the logistics cost, and trace the whole process of proction and transportation of goods, so as to improve the efficiency of supply chain management. When disputes arise, the proof and tracing become clearer and easier
this field is considered as a promising application direction of blockchain
for example, the carrier can scan the QR code to prove that the goods arrive at the designated area, and automatically charge the fees agreed in advance. We can refer to how the blockchain changes the supply chain finance and brings transparency to the supply chain
skuchain creates a new supply chain solution based on blockchain to realize the synchronization of commodity flow and capital flow, and alleviate the problem of counterfeit goods
public network service [7]
the normal operation of the existing Internet is inseparable from many nearly free network services, such as domain name service (DNS). Anyone can query the domain name for free. Without DNS, all kinds of websites can't be accessed. Therefore, for the network system, similar basic services must be safe, reliable and low-cost
blockchain technology just has these characteristics. The DNS system based on blockchain will no longer have all kinds of wrong query results, and can provide services stably and reliably
Insurance Instry
in the past two years, the hottest topic in the field of science and technology can not be separated from blockchain technology. This underlying technology, born out of bitcoin, has proved its highly secure and reliable architecture and algorithm design with more than seven years of stable operation. At the same time, with innovative technologies such as distributed ledger and smart contract, it has opened up a huge imagination space for instrial upgrading of many instries. Some instry experts even predict that blockchain technology will set off the second Internet revolution
the financial instry has always been the most sensitive to advanced technology. Traditional banking and securities giants have been investing in blockchain venture capital since 2014. In two years, the total global investment is as high as US $1 billion, and there is no lack of a-round financing such as US $60 million of Dah and US $50 million of blockstream. In addition to capital investment, major companies have personally participated in and promoted specific business applications: for example, the LINQ blockchain equity exchange launched by the Nasdaq Stock Exchange in the United States has started issuing tests at the end of 2015; The R3 CEV alliance formed by 43 multinational banks in the world has been testing and improving the inter-bank clearing alliance chain, with unprecedented speed and participation
although the insurance instry's participation in blockchain technology is relatively conservative, it has been actively exploring and researching in the academic field. At the end of 2014, the 50 page "lifelong chain" special research report launched by the European and American insurance instry forum initiated by the famous Z / yen Group Consulting Group in the UK discussed the innovation and change that blockchain will bring to the insurance instry from many aspects
while studying blockchain technology, I have exchanged with many domestic experts and scholars in the insurance instry, and deeply discussed the specific foothold of blockchain in the insurance business from the perspectives of business process and company management. Now I share with readers some thoughts on credit risk management.
4. I normally use the algorithmic cat aggregate payment, which is very convenient to use, especially the bookkeeping function, which saves a lot of time. I can check the accounts at any time and make it clear at a glance (qiaohu)
5. One of the earliest scholars engaged in the research of blockchain technology in China has proposed and developed such theoretical methods as smart contract engineering (SCE), legal code technology, and verification as a service (VAAs), which are applied in the combination of digital economy and blockchain, planning and consulting of digital economic Park, digital governance of blockchain, scalability of blockchain, and so on There are in-depth research and patent achievements in Multi Chain interconnection and blockchain formal verification technology.
6. Digital economy and blockchain Technology: he is one of the earliest scholars engaged in blockchain technology in China. He has proposed and developed theories and methods such as smart contract engineering (SCE), legal code technology, and verification as a service (VAAs). He has made great achievements in the combination of digital economy and blockchain, planning and consulting of Digital Economy Park, digital governance of blockchain, scalability of blockchain, and so on There are in-depth research and patent achievements in Multi Chain interconnection and blockchain formal verification technology. He presided over the research and development of Beihang blockchain series procts, including various forms of blockchain systems with independent intellectual property rights, browsers, monitors, deployment tools and blockchain big data management system (opendata)
distributed parallel computing and network: he has been engaged in cluster computing system, high-performance computing, aerospace electronic bus, and integrated network information technology research in complex computing environment for a long time. He proposed and studied the theory of reconfigurable multi cluster computing based on wolf pack and applied it to practice, and developed several application software systems
formal design and verification methods: in close cooperation with irit and INRIA, we have established a Sino French joint research laboratory for formal methods, studied model driven formal design and verification methods, proposed a number of innovative extension technologies based on AADL and synchronous language signal, and developed a number of model transformation, model validation and verification methods Verification and automatic code generation tools
in recent years, he has published more than 60 papers on SCI / EI retrieval in important academic journals at home and abroad, edited new technologies of network computing (416 pages, published by Science Press in 2001), and cooperatively completed the national authoritative textbook introction to distributed computing system (490 pages, published by Tsinghua University Press in 2014), which won the first prize of 2016 textbook, It has been adopted by more than ten key universities. He has successively presided over and participated in a number of National Natural Science Fund, national key R & D projects, 863 major projects, Junkou 863 project, National Nuclear high-tech foundation project, aerospace fund, and a number of important engineering projects in aerospace field. He won more than 30 national invention patents and soft works, won the five-year achievement award of aviation fund in 2015, and won the second-class innovation achievement award of Instry University Research Institute in 2018.
distributed parallel computing and network: he has been engaged in cluster computing system, high-performance computing, aerospace electronic bus, and integrated network information technology research in complex computing environment for a long time. He proposed and studied the theory of reconfigurable multi cluster computing based on wolf pack and applied it to practice, and developed several application software systems
formal design and verification methods: in close cooperation with irit and INRIA, we have established a Sino French joint research laboratory for formal methods, studied model driven formal design and verification methods, proposed a number of innovative extension technologies based on AADL and synchronous language signal, and developed a number of model transformation, model validation and verification methods Verification and automatic code generation tools
in recent years, he has published more than 60 papers on SCI / EI retrieval in important academic journals at home and abroad, edited new technologies of network computing (416 pages, published by Science Press in 2001), and cooperatively completed the national authoritative textbook introction to distributed computing system (490 pages, published by Tsinghua University Press in 2014), which won the first prize of 2016 textbook, It has been adopted by more than ten key universities. He has successively presided over and participated in a number of National Natural Science Fund, national key R & D projects, 863 major projects, Junkou 863 project, National Nuclear high-tech foundation project, aerospace fund, and a number of important engineering projects in aerospace field. He won more than 30 national invention patents and soft works, won the five-year achievement award of aviation fund in 2015, and won the second-class innovation achievement award of Instry University Research Institute in 2018.
7.
8. MSI z270 krait gaming motherboard (intelz270 / LGA 1151), motherboard, motherboard is very powerful, the price is very conscientious, there are a lot of things that need to be studied slowly, otherwise many functions will not be used
brand: MSI motherboard
launch time: January 2017
CPU interface: LGA 1151
Intel chip: Intel z270
motherboard version: ATX (standard)
memory type: DDR4
maximum memory: 64GB
brand: MSI motherboard
launch time: January 2017
CPU interface: LGA 1151
Intel chip: Intel z270
motherboard version: ATX (standard)
memory type: DDR4
maximum memory: 64GB
9. You can see it on the official website of the Venetian Hotel. There is a transportation guide on the top column of the official website. Click in to have the bus scheles of the Venetian Hotel, the Parisian Hotel and the center of Jinsha city.
Hot content