Institution
Zhejiang Gongshang University
Education•Hangzhou, China•
About: Zhejiang Gongshang University is a education organization based out in Hangzhou, China. It is known for research contribution in the topics: Computer science & Chemistry. The organization has 8258 authors who have published 7670 publications receiving 90296 citations. The organization is also known as: Zhèjiāng Gōngshāng Dàxué.
Topics: Computer science, Chemistry, Adsorption, Catalysis, China
Papers published on a yearly basis
Papers
More filters
••
01 Jan 2012
TL;DR: The computational efficiency of the SMS enumeration task is significantly improved by the proposed method, and computational time comparisons are provided on several S3PRs to show its superior efficiency.
Abstract: Strict minimal siphons (SMS) play an important role in the development of deadlock control policies for flexible manufacturing systems (FMS). For a class of Petri nets called Systems of Simple Sequential Processes with Resources (S3PR), the resource circuit-based method is an effective way to compute SMS. In this paper, a more effective one to compute SMS is proposed. First, the concepts of loop resource subsets and their characteristic resource subnets are proposed. Next, sufficient and necessary conditions for loop resource subsets to generate SMS are established. Finally, an algorithm is given to find all the SMS based on loop resource subsets. Since the number of loop resource subsets is much less than that of resource circuits and their combinations, the computational efficiency of the SMS enumeration task is significantly improved by the proposed method. An FMS example is used to illustrate the application of the proposed method, and computational time comparisons are provided on several S3PRs to show its superior efficiency.
83 citations
••
TL;DR: Wang et al. as discussed by the authors explored using graph neural networks and expert knowledge for smart contract vulnerability detection, which cast the rich control-and data-flow semantics of the source code into a contract graph, and designed a node elimination phase to normalize the graph.
Abstract: Smart contract vulnerability detection draws extensive attention in recent years due to the substantial losses caused by hacker attacks. Existing efforts for contract security analysis heavily rely on rigid rules defined by experts, which are labor-intensive and non-scalable. More importantly, expert-defined rules tend to be error-prone and suffer the inherent risk of being cheated by crafty attackers. Recent researches focus on the symbolic execution and formal analysis of smart contracts for vulnerability detection, yet to achieve a precise and scalable solution. Although several methods have been proposed to detect vulnerabilities in smart contracts, there is still a lack of effort that considers combining expert-defined security patterns with deep neural networks. In this paper, we explore using graph neural networks and expert knowledge for smart contract vulnerability detection. Specifically, we cast the rich control- and data- flow semantics of the source code into a contract graph. To highlight the critical nodes in the graph, we further design a node elimination phase to normalize the graph. Then, we propose a novel temporal message propagation network to extract the graph feature from the normalized graph, and combine the graph feature with designed expert patterns to yield a final detection system. Extensive experiments are conducted on all the smart contracts that have source code in Ethereum and VNT Chain platforms. Empirical results show significant accuracy improvements over the state-of-the-art methods on three types of vulnerabilities, where the detection accuracy of our method reaches 89.15%, 89.02%, and 83.21% for reentrancy, timestamp dependence, and infinite loop vulnerabilities, respectively.
83 citations
••
TL;DR: In this paper, the authors examined the effects of China's outward direct investment on growth in its own productivity, and at two specific reasons for this growth: technology sourcing and improvements in efficiency.
83 citations
••
TL;DR: It was suggested that the increase in activities of defense-related enzymes and in levels of substances related to disease resistance might collectively contribute to resistance in kiwifruit against fungi such as P. expansum in storage.
83 citations
••
TL;DR: The results demonstrated that imidazolium chloride ILs are phytotoxic to rice growth and their photosystem, the toxicity increased as the alkyl chain length increased with the following order: [OMIM]Cl<[DMIM] cl<[C12M IM]Cl.
83 citations
Authors
Showing all 8318 results
Name | H-index | Papers | Citations |
---|---|---|---|
David Julian McClements | 131 | 1137 | 71123 |
Sajal K. Das | 85 | 1124 | 29785 |
Ye Wang | 85 | 466 | 24052 |
Xun Wang | 84 | 606 | 32187 |
Tao Jiang | 82 | 940 | 27018 |
Yueming Jiang | 79 | 452 | 20563 |
Mo Wang | 61 | 274 | 13664 |
Robert J. Linhardt | 58 | 1190 | 53368 |
Jiankun Hu | 57 | 493 | 11430 |
Xuming Zhang | 56 | 384 | 10788 |
Yuan Li | 50 | 352 | 8771 |
Chunping Yang | 49 | 173 | 8604 |
Duo Li | 48 | 329 | 9060 |
Matthew Campbell | 48 | 236 | 13448 |
Aiqian Ye | 48 | 163 | 6120 |