{"title":"Smart Contract Defect Detection Based on Parallel Symbolic Execution","authors":"Zemin Tian","doi":"10.1109/CIRSYSSIM.2019.8935603","DOIUrl":"https://doi.org/10.1109/CIRSYSSIM.2019.8935603","url":null,"abstract":"There are more than 1 million smart contracts in Ethereum and the number of ethers managed by smart contracts has exceeded 100 million, but the security vulnerabilities in smart contracts seriously jeopardize the financial security of Ethereum users. Existing method for defect detection of smart contract bytecode using symbolic execution does not take care of the accuracy and detection realtime at same time. In this paper a smart contract bytecode defect detection algorithm based on parallel symbolic execution is proposed. We split a smart contract in units of functions by analyzing the smart contract function selection process. A symbolic execution tree is constructed for each function to predict the function execution path. Then we partition the symbolic execution tree into multiple sub-trees evenly. Finally, a process pool is used to perform parallel symbolic execution on those sub-trees to reduce the analysis time of smart contract defect detection. Experimental data shows our method has a significant improvement in detection efficiency compared with existing symbolic execution method. The speedup ratio is up to 3.1x in a 4-core computer. Besides, it does not introduce false positives or false negatives.","PeriodicalId":367267,"journal":{"name":"2019 3rd International Conference on Circuits, System and Simulation (ICCSS)","volume":"33 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-06-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125149809","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"A 40-nm CMOS 90-GHz Power Amplifier","authors":"Lianming Li, Tianze Wu","doi":"10.1109/CIRSYSSIM.2019.8935610","DOIUrl":"https://doi.org/10.1109/CIRSYSSIM.2019.8935610","url":null,"abstract":"A 90-GHz transformer-based power amplifier (PA) is presented in this paper. The amplifier consists of two common-source pseudo-differential stages. To improve the amplifier gain and bandwidth performance in a compact size, a low loss impedance matching network is utilized. Test results show that a small-signal gain of 14 dB is achieved at 90 GHz and its bandwidth is larger than 15 GHz. Under 1V supply voltage, its 1-dB compression output power (OP 1dB) is 13 dBm. Fabricated in a 40 nm CMOS technology, the chip occupies a core area of about 0.3 mm2.","PeriodicalId":367267,"journal":{"name":"2019 3rd International Conference on Circuits, System and Simulation (ICCSS)","volume":"39 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-06-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123529041","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Long-Term Effect of Visual Fatigue Caused by LEDs with Modulated Light","authors":"Lili Wang, Y. Tu","doi":"10.1109/CIRSYSSIM.2019.8935597","DOIUrl":"https://doi.org/10.1109/CIRSYSSIM.2019.8935597","url":null,"abstract":"The visual fatigue caused by long-term work under steady light generated by fluorescent luminaires and fluctuated light generated by LED luminaires with different modulation depth was investigated through subjective reports of symptoms and physiological signals. Both the subjective feelings and the physiological results show that visual fatigue becomes more serious with increasing time under all the test lighting conditions. Compared to fluorescent luminaires, the LED luminaires with full-modulated light produced significantly severer symptoms. However, the LEDs with 75% modulation depth was fully accepted.","PeriodicalId":367267,"journal":{"name":"2019 3rd International Conference on Circuits, System and Simulation (ICCSS)","volume":"43 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-06-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128718394","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Gas Sensor Based on Surface Acoustic Waves Using Zinc Oxide Piezoelectric Thin Films","authors":"Jian Luo, Chongjun He, Rong Mao","doi":"10.1109/CIRSYSSIM.2019.8935565","DOIUrl":"https://doi.org/10.1109/CIRSYSSIM.2019.8935565","url":null,"abstract":"Gas sensor based on surface acoustic wave (SAW) using piezoelectric zinc oxide (ZnO) thin film was simulated with COMSOL. The gas sensor is designed with an inter-digital transducer (IDT) on a ZnO substrate and covered with a thin polyisobutylene (PIB). The results show that there are the resonant frequency and ant-resonant frequency of SAW in the ZnO substrate arising from the electrode effect of the IDT, and deformed shape of the resonance SAW mode is different with that of anti-resonance SAW mode. The effect of the dichloromethane (DCM) on the gas sensor was also researched. Because the mass of the PIB film increases with PIB selectively adsorbing DCM in air, a shift in resonance to a slightly lower frequency was found.","PeriodicalId":367267,"journal":{"name":"2019 3rd International Conference on Circuits, System and Simulation (ICCSS)","volume":"36 6","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-06-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114013017","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"A Low Level Pulse GOA Circuit Consisted of a-IGZO TFT","authors":"Liuqi Zhang, Xinnan Lin, Baixiang Han, Gary Chaw","doi":"10.1109/CIRSYSSIM.2019.8935590","DOIUrl":"https://doi.org/10.1109/CIRSYSSIM.2019.8935590","url":null,"abstract":"In order to compensate the threshold voltage variation, the AMOLED compensative pixel circuit needs to be driven by multi-pulse signals which have continuous high/low level pulses. By using traditional gate driver on array (GOA) with amorphous indium-gallium-zinc-oxide (a-IGZO), we can achieve the high level pulse. But under the same process, the low level pulse is hardly got. In this paper, novel low level pulse integrated gate driver circuit for AMOLED pixel compensation purpose are presented. The simulation results show that this circuit works successfully.","PeriodicalId":367267,"journal":{"name":"2019 3rd International Conference on Circuits, System and Simulation (ICCSS)","volume":"21 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-06-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124415652","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Performance Study of Polypyrrole-nanowires Based Microbial Fuel Cells","authors":"Yuan Chen, Zhiwei Zhao, Z. Weng, Boai Li, Yong Fang, Helong Jiang","doi":"10.1109/CIRSYSSIM.2019.8935592","DOIUrl":"https://doi.org/10.1109/CIRSYSSIM.2019.8935592","url":null,"abstract":"In this study, polypyrrole (PPy)-based nanomaterials synthesized by electrochemical method were used as anode materials to improve the power output of microbial fuel cells (MFCs). The respective introduction of carbon dots and graphene into the PPy nanowires makes the surface morpology of carbon-based PPy nanocomposites more interesting than those of PPy nanomaterials, and the high specific surface area is more conducive to microbial adhesion. The maximum power density of mini-MFCs equipped with PPy-based nanocomposites as anodes increased by nearly 40% than the mini-MFCs equipped with PPy nanowires. This work suggests PPy-based nanocomposites be more promising materials as anodes in application of mini-MFC.","PeriodicalId":367267,"journal":{"name":"2019 3rd International Conference on Circuits, System and Simulation (ICCSS)","volume":"19 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-06-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127745801","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"The Rearch on Improved LVQ Neural Network Method","authors":"Biao Wang, Qingnan Chen, Zelong Wang, Yingdi Hu","doi":"10.1109/CIRSYSSIM.2019.8935608","DOIUrl":"https://doi.org/10.1109/CIRSYSSIM.2019.8935608","url":null,"abstract":"By analyzing the basic structure and algorithm of LVQ neural network and its deformation, this paper studies the breast tumor diagnosis method based on improved LVQ neural network. The LVQ neural network needs to process all input features, because the input feature dimension is too large, the redundant information is too much, the training takes too long, so apply PCA algorithm to preprocess the input features. In essence, PCA algorithm takes the direction with the largest variance as its main feature and “de-correlates” the data in each orthogonal direction. It is a parameterless technology without the intervention of subjective parameters, so PCA is convenient for general implementation. In this paper, PCA algorithm is proposed to optimize LVQ neural network, and the results are compared with LVQ neural network. The results show that the optimized LVQ neural network by PCA has shorter running time and higher diagnostic accuracy than LVQ neural network.","PeriodicalId":367267,"journal":{"name":"2019 3rd International Conference on Circuits, System and Simulation (ICCSS)","volume":"6 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-06-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132484744","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Carbon Dots/Graphene Hybrids for UV Photodetectors","authors":"Yong Fang, Zhiwei Zhao, Mengru Zhu, Z. Weng, Chao Fang, X. Jia","doi":"10.1109/CIRSYSSIM.2019.8935602","DOIUrl":"https://doi.org/10.1109/CIRSYSSIM.2019.8935602","url":null,"abstract":"The intrinsical poor optical absorption and short carrier lifetime of graphene have restricted its practical application of photodetectors. Carbon dots (CDs) have received much attention due to their fascinating optical properties, environmentally-friendly nature, small size and superiority of a large optical absorptivity. Thus, in this work, hybrid photodetector of graphene and CDs has been proposed for the deep-UV photodetection, in which CDs integrated with graphene to form a planar hybrid structure. An inverse photoelectricity response was observed after illumination, which means the decline of conductivity under irradiation. The mechanism for this behavior is attributed to the built-in electric field generated across the interface between graphene layer and CDs layer, which separates the photogenerated electrons and holes, and promotes the holes to graphene layer and electrons to CDs layer. Our result demonstrates that the integration of graphene and CDs shows better optical absorption and wavelength selectivity. Together with the mechanism, it paves a step for practical applications of quantum dots sensitized graphene-based photodetectors.","PeriodicalId":367267,"journal":{"name":"2019 3rd International Conference on Circuits, System and Simulation (ICCSS)","volume":"53 211 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-06-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125951660","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Real-time Video Image Super-Resolution Network for Mobile Terminals","authors":"Zhipeng Gong, Feng Yu, Yongming Tang","doi":"10.1109/CIRSYSSIM.2019.8935596","DOIUrl":"https://doi.org/10.1109/CIRSYSSIM.2019.8935596","url":null,"abstract":"A lightweight video image super-resolution (SR) neural network and its processing system, which is aimed for real-time video processing of mobile terminals, has been developed. The result showed that the system with the edge calculation device is feasible. We choose the PYNQ-z2 as the mobile terminal to transplant our algorithm. When the input size is 200×200 and the upscale is x2, the time cost can be no more than 65ms with the system.","PeriodicalId":367267,"journal":{"name":"2019 3rd International Conference on Circuits, System and Simulation (ICCSS)","volume":"7 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-06-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122214891","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Predicting Decision-making Using Item Response Theory","authors":"Li Chen, Y. Tu, Xinglong Xia, Lili Wang, Lei Bao","doi":"10.1109/CIRSYSSIM.2019.8935601","DOIUrl":"https://doi.org/10.1109/CIRSYSSIM.2019.8935601","url":null,"abstract":"Predicting consumers decision making is significant for improving retail performance. To reflect the shopping process, eye movement data is tracked. The relationship between eye tracking data and decision making is analyzed using item response theory. A decision predicting model is given with the parameters, like observation time and number of roundtrips. Influence of color characterization on the decision making is also studied. The results show that luminance will impact the decision making behavior more significantly than saturation.","PeriodicalId":367267,"journal":{"name":"2019 3rd International Conference on Circuits, System and Simulation (ICCSS)","volume":"28 5","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-06-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132767601","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}