Position: Home page » Blockchain » Blockchain SCI
Blockchain SCI
Publish: 2021-05-17 20:28:49
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. Hu Kai's graate degree course distributed operating system. In recent years, he has published more than 60 SCI / EI retrieval papers in important academic journals at home and abroad, edited new technologies of network computing (416 pages, published by Science Press in 2001), and completed the national "Eleventh Five Year Plan" textbook introction to distributed computing system (490 pages, published by Tsinghua University Press in 2014).
3.
Senior students with four years of experience to answer questions ~
for this behavior, I highly appreciate it. In the four years of University, you can use the existing resources to broaden your knowledge and improve your vision to the maximum extent? I would like to recommend a few professors who are very enlightening to me
I believe that for many students, Jin Yong is a treasure of entertainment in our junior and senior high school years. The martial arts of Jin Yong that I saw secretly under my desk in those years, and the "love in my heart" that was confiscated by the head teacher in those years... If you also have such a regret that you dream back at midnight, I strongly recommend you to rub a modern and contemporary literature class of CAI Aiguo, a teacher of Humanities College 
finally, I would like to sincerely advise the younger students, four years of university are fleeting, time really does not wait for them . If you are a liberal arts student, you should expand your cultural knowledge and cultural heritage. If you are a science student , find a course that can spread your thinking and reshape your thinking process. Cherish time and improve yourself
4. The cost range is relatively wide, with MBA generally ranging from 60000 to 300000, and DBA from 160000 to 800000< The MBA and DBA, which are free of joint examination, are more independent in recruiting students. On the one hand, they study the basic business knowledge of scholars, and more importantly, they focus on the ability of business leaders of students. The more excellent business schools are, the more excellent the students they recruit, and even the entrepreneurs who have a little reputation, the higher the tide is. Money is not a problem for excellent students. The tuition fee is naturally very high because of the large amount of money and resources that the University cultivates. The MBA tuition fee of Tsinghua University, Renmin University, Peking University, etc. is about 300000 yuan. If it is full-time, it may be slightly lower, and it will be higher if it is out of work< But many people are still flocking to it. And some unknown, low threshold schools, business schools, on the contrary, are cheaper, that is, some basic costs, maybe tens of thousands can also get a diploma. DBA is an upgraded version of MBA. It's a doctor of business, but the truth is the same, but the amount is doubling< Br > taking the Dutch business school as an example, the admission requirements of DBA are more than 5 years of middle and senior management experience, master's degree or above, professional and international, no joint examination, on-the-job study and global recognition< The Netherlands business school is an application-oriented university recognized by the Dutch government and one of the largest business schools in the Netherlands at present. The former Minister of ecation of the Netherlands is the director of the school. BSN focuses on degree learning and enterprise management training at the graate level and above. BSN's excellent ecation quality and successful ecation methods have successively won three international certifications, namely nvao, ACBSP and equa, To become one of the few outstanding business schools in the world with three important international certifications at the same time< Br > BSN Dutch Business School MBA, DBA on-the-job study, free of joint examination, weekend classes, action learning practical teaching, more suitable for on-the-job managers< Br > for more questions, please consult Bors customer service< br>
5. Tianwen
time is slightly sweet - qiangtui (very sweet and funny, similar to xiaoyixiao, the style is very good), hidden marriage 100 points: angry wife marry one get one free (also known as Xuyou wanzhangguanghao, the lady is strong and handsome), his fairy - qiangtui, her little pear vortex, little tail is very sweet Every day, she teases me, Sijin, junjiuling, jiaoluan, poor princess, daily breakup, don't be so proud, pay homage to shaweng, leisurely life of treacherous minister's wife
rebirth text
rebirth of the Lord is too heavy mouth - forced push (female owner is abnormal, heavy mouth text), intimate love 100 points: bad fresh wife is a little sweet (also known as just like the cold light in the hot sun), rebirth of another kind of happiness, return to the good time of 60, rebirth of 60 all-round military sister-in-law, love who who Rebirth chief's daughter-in-law (also known as rebirth 80 pretty good wife) rebirth military sister-in-law cute child soldier elder brother, sycophant beloved wife,
Tan Meiwen
how to say love you (very sweet, a little bit abusive), quick to wear the face of the devil, rebirth of the young master rampant, on the fate of judging people by appearance - forced push Again (by butterfly shadow under the moon), superstar, what is it? The literary magnate of the Republic of China,
fantasy
Xiuzhen chat group (male frequency), shocking poison concubine: frivolous young lady, peerless Thief: waste material seven young lady, matchless women, natural winner quick wear, best male god quick wear, slag man wash white manual, body (by nine herons not incense), and Canglan Jue (also known as devil), the strategy of sister corpse, Gong Dou's failure to keep a dog, resentment against the bell (by tail fish) cannon fodder to cultivate immortals, killing Matt again won the first place
time is slightly sweet - qiangtui (very sweet and funny, similar to xiaoyixiao, the style is very good), hidden marriage 100 points: angry wife marry one get one free (also known as Xuyou wanzhangguanghao, the lady is strong and handsome), his fairy - qiangtui, her little pear vortex, little tail is very sweet Every day, she teases me, Sijin, junjiuling, jiaoluan, poor princess, daily breakup, don't be so proud, pay homage to shaweng, leisurely life of treacherous minister's wife
rebirth text
rebirth of the Lord is too heavy mouth - forced push (female owner is abnormal, heavy mouth text), intimate love 100 points: bad fresh wife is a little sweet (also known as just like the cold light in the hot sun), rebirth of another kind of happiness, return to the good time of 60, rebirth of 60 all-round military sister-in-law, love who who Rebirth chief's daughter-in-law (also known as rebirth 80 pretty good wife) rebirth military sister-in-law cute child soldier elder brother, sycophant beloved wife,
Tan Meiwen
how to say love you (very sweet, a little bit abusive), quick to wear the face of the devil, rebirth of the young master rampant, on the fate of judging people by appearance - forced push Again (by butterfly shadow under the moon), superstar, what is it? The literary magnate of the Republic of China,
fantasy
Xiuzhen chat group (male frequency), shocking poison concubine: frivolous young lady, peerless Thief: waste material seven young lady, matchless women, natural winner quick wear, best male god quick wear, slag man wash white manual, body (by nine herons not incense), and Canglan Jue (also known as devil), the strategy of sister corpse, Gong Dou's failure to keep a dog, resentment against the bell (by tail fish) cannon fodder to cultivate immortals, killing Matt again won the first place
6.
There are both true and false. Now there are too many scams about making money on the Internet, so many people doubt that making money on the Internet is false. If we carefully identify them, some of them can still make money. Here are two reliable ways to make money online: idle fish, open online shop
2, open online shop
do not decorate the purchase and so on the ordinary shop must go through the process, click the mouse to open the keyboard can open an online shop. You can have no physical stores, nor need to register a company, and just open an online store, you can sell the baby to the whole country, which is also an attractive feature of online stores. So if the capital is less, you can try to open online shop to make money
7. 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