Position: Home page » Blockchain » Where can SCE blockchain be downloaded
Where can SCE blockchain be downloaded
Publish: 2021-05-07 08:24:34
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. Professor Hu Kai of Beihang is one of the earliest scholars engaged in the research of blockchain technology in China. He proposed and developed theories and methods such as smart contract engineering (SCE), legal code technology, and verification as a service (VAAs). He presided over the research and development of Beihang blockchain series procts, including various forms of blockchain systems, browsers, monitors, and other procts with independent intellectual property rights Deployment tools and blockchain big data management system (opendata).
4. Open sxe and hide it
remember, if your sxe is the latest version, otherwise the server will say you don't have sxe installed
remember, if your sxe is the latest version, otherwise the server will say you don't have sxe installed
5. Dear users, thank you for choosing Haojixing! The format of textbooks supported by different models is different. The two formats are not universal.
6. Blockchain + classified information life service platform, which will be launched on the mainstream exchange in November, will be launched next year. SCE is priced at one dollar. If you are interested, you can close Xiagong
ZHONG
Hao: symbiotic chain SCE.
ZHONG
Hao: symbiotic chain SCE.
7. Blockchain + classified information life service platform, which will be launched on the mainstream exchange in November, will be launched next year. SCE is priced at one dollar. If you are interested, you can close Xiagong
ZHONG
Hao: symbiotic chain SCE.
ZHONG
Hao: symbiotic chain SCE.
8. November! The symbiotic chain SCE is about to be formally put on the
line, and the first person to raise money privately has a chance to get 66% of the income.
line, and the first person to raise money privately has a chance to get 66% of the income.
9. 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.
Hot content