Cross-domain Resemblance Detection based on Meta-learning for Cloud Storage
作者：
Li, Baisong;Tian, Wenlong;Li, Ruixuan;Xiao, Weijun;Fu, Zhongming;...
期刊：
IEEE International Conference on Performance, Computing, and Communications ,2022年2022-November:374-379 ISSN：1097-2641
通讯作者：
Tian, WL
作者机构：
[Li, Baisong; Ye, Xuming; Duan, Renjiao; Tian, Wenlong; Li, Yusheng; Fu, Zhongming] Univ South China, Sch Comp Sci & Technol, Hengyang, Peoples R China.;[Tian, Wenlong] Nanyang Technol Univ, Sch Phys & Math Sci, Singapore, Singapore.;[Tian, Wenlong; Fu, Zhongming] Hunan Prov Base Sci & Technol Innovat Cooperat, Hengyang, Peoples R China.;[Li, Ruixuan] Huazhong Univ Sci & Technol, Sch Comp Sci & Technol, Wuhan, Peoples R China.;[Xiao, Weijun] Virginia Commonwealth Univ, Elect & Comp Engn, Richmond, VA USA.
通讯机构：
[Tian, WL ] U;Univ South China, Sch Comp Sci & Technol, Hengyang, Peoples R China.;Nanyang Technol Univ, Sch Phys & Math Sci, Singapore, Singapore.;Hunan Prov Base Sci & Technol Innovat Cooperat, Hengyang, Peoples R China.
会议名称：
2022 IEEE International Performance, Computing, and Communications Conference, IPCCC 2022
会议时间：
November 11, 2022 - November 13, 2022
会议地点：
Austin, TX, United states
会议主办单位：
[Li, Baisong;Tian, Wenlong;Fu, Zhongming;Ye, Xuming;Duan, Renjiao;Li, Yusheng] Univ South China, Sch Comp Sci & Technol, Hengyang, Peoples R China.^[Tian, Wenlong] Nanyang Technol Univ, Sch Phys & Math Sci, Singapore, Singapore.^[Tian, Wenlong;Fu, Zhongming] Hunan Prov Base Sci & Technol Innovat Cooperat, Hengyang, Peoples R China.^[Li, Ruixuan] Huazhong Univ Sci & Technol, Sch Comp Sci & Technol, Wuhan, Peoples R China.^[Xiao, Weijun] Virginia Commonwealth Univ, Elect & Comp Engn, Richmond, VA USA.^[Xu, Zhiyong] Suffolk Univ, Math & Comp Sci Dept, Boston, MA USA.^[Xu, Zhiyong] Chinese Acad Sci, Shenzhen Inst Adv Technol, Beijing, Peoples R China.
会议论文集名称：
2022 IEEE International Performance, Computing, and Communications Conference (IPCCC)
关键词：
Cloud Storage;Data Deduplication;Meta-Learning;Resemblance Detection
摘要：
Recently, cloud storage has been widely used in our daily life. And there are lots of redundancy among these outsourced data. Conventional deduplication technology efficiently splits these data at the chunk level and removes the duplicate chunks to save the network bandwidth and improve the cloud storage utility. But it ignores the redundancy among similar chunks. Resemblance detection has recently become a hot issue with detecting these redundant parts among similar data. CARD, the state-of-the-art work, can efficiently and effectively remove these redundancies by introducing the neural network with resemblance detection. However, the source domain of the CARD model may have an explicitly different input distribution. The cloud cannot deal with the possible future domain data based on CARD design. This cross-domain setting may serials degrades the performance of CARD. To overcome this problem, we propose a cross-domain resemblance detection scheme called MetaContext. Integrating the chunk-context aware model and the learn-to-learn idea can produce a more robust chunk feature than CARD. As a byproduct, it also outperforms the CARD in speed. Finally, we implement the MetaContext and conduct serial experiments on real workloads. The results show that our method can efficiently and effectively detect and remove the redundancy among similar data. © 2022 IEEE.
语种：
英文
展开
Loco-Store: Locality-Based Oblivious Data Storage
作者：
Tian, Wenlong;Li, Ruixuan;Xu, Zhiyong;Xiao, Weijun
期刊：
IEEE TRANSACTIONS ON DEPENDABLE AND SECURE COMPUTING ,2022年19(2):1395-1406 ISSN：1545-5971
通讯作者：
Li, RX
作者机构：
[Tian, Wenlong] Univ South China, Sch Comp Sci & Technol, Hengyang 421001, Hunan, Peoples R China.;[Li, Ruixuan] Huazhong Univ Sci & Technol, Sch Comp Sci & Technol, Wuhan 430074, Hubei, Peoples R China.;[Xu, Zhiyong] Suffolk Univ, Math & Comp Sci Dept, Boston, MA 02108 USA.;[Xu, Zhiyong] Chinese Acad Sci, Shenzhen Inst Adv Technol, Beijing 518000, Peoples R China.;[Xiao, Weijun] Virginia Commonwealth Univ, Elect & Comp Engn, Med Coll Virginia Campus, Richmond, VA 23284 USA.
通讯机构：
[Li, RX ] H;Huazhong Univ Sci & Technol, Sch Comp Sci & Technol, Wuhan 430074, Hubei, Peoples R China.
关键词：
Cloud computing;Bandwidth;Security;Random access memory;Servers;Computer architecture;Oblivious data storage;cloud storage;spatial locality;temporal locality
摘要：
With the growing popularity of cloud storage, how to prevent information leakage from cloud access patterns attracts great attention. Oblivious RAM is proposed for this purpose. It is designed for the memory system, and most existing work focused on improving performance in the main memory. Recently, ORAM has been extended to the cloud environment, and it is called Oblivious Data Storage. TaoStore, the state-of-the-art oblivious data storage system, integrates the ORAM technology with synchronous I/O technology to reduce the mean response time. As we observed, there is a strong locality existing in user accesses. However, existing Oblivious Storage research did not consider this. In this article, we propose Loco-Store, an oblivious data storage. In Loco-Store, we design a novel stash controller scheme that can dynamically group relevant blocks during the oblivious I/O processes. We also propose a locality-based eviction algorithm to keep the security guarantee. The theoretical proof proves that our scheme keeps the security definition of ORAM. Finally, we implement a prototype and conduct extensive experiments on real-world datasets. The results show that Loco-Store can save the network bandwidth consumption up to 39.19 percent, and reduce the overall access time by 26.17 percent © 2004-2012 IEEE.
语种：
英文
展开
Test case generation techniques based on isolation forest algorithms
作者：
He, Chen;Yang, Xiaohua;Li, Meng;Yan, Shiyu
期刊：
Proceedings of SPIE - The International Society for Optical Engineering ,2022年12331:193 ISSN：0277-786X
通讯作者：
Li, Meng(mlemon@usc.edu.cn)
作者机构：
[He, Chen] School of Computer Science and Technology, University of South China, Hunan, Hengyang;421001, China;[Yang, Xiaohua; Li, Meng; Yan, Shiyu] CNNC Key Laboratory on High Trusted Computing, Computer School, University of South China, Hunan, Hengyang, China;[He, Chen] 421001, China
摘要：
Test cases are the key to software testing, and it is particularly important to generate and select test cases that detect faults more quickly.This paper first analyses the characteristics and applicability of typical ART, then combines the isolation forest algorithm with ART, proposes a test case generation technique for IForest-ART, and compares the fault detection effects of typical distance-based ART and IForest-ART in low to high dimensions.The experimental results show that the test validity of IForest-ART in high-dimensional input domain space is significantly higher than that of FSCS-ART, which effectively alleviates the problem of decreasing test validity of typical ART in high-dimensional input domain space and provides a new idea for ART. © 2022 SPIE.
语种：
英文
展开
Blockchain-based accountability for multi-party oblivious RAM
作者：
Cao, Huikang;Li, Ruixuan* ;Tian, Wenlong;Xu, Zhiyong;Xiao, Weijun
期刊：
Journal of Parallel and Distributed Computing ,2020年137:224-237 ISSN：0743-7315
通讯作者：
Li, Ruixuan
作者机构：
[Li, Ruixuan; Cao, Huikang] Huazhong Univ Sci & Technol, Sch Comp Sci & Technol, Wuhan, Peoples R China.;[Tian, Wenlong] Univ South China, Sch Comp Sci & Technol, Hengyang, Peoples R China.;[Xu, Zhiyong] Suffolk Univ, Math & Comp Sci Dept, Boston, MA 02114 USA.;[Xu, Zhiyong] Chinese Acad Sci, Shenzhen Inst Adv Technol, Beijing, Peoples R China.;[Xiao, Weijun] Virginia Commonwealth Univ, Elect & Comp Engn, Richmond, VA USA.
通讯机构：
[Li, Ruixuan] H;Huazhong Univ Sci & Technol, Sch Comp Sci & Technol, Wuhan, Peoples R China.
关键词：
Access control;Blockchain;Cloud computing;Network security;Accountability;Cryptographic systems;Design and implements;Group signatures;Random access machines;Security and performance;Security challenges;Trusted third parties;Random access storage
摘要：
Recently, oblivious random access machine (ORAM) has been widely used to prevent privacy leakage from user's access pattern. However, in multi-user scenarios, the obliviousness property of ORAM facilitates the malicious data modification by unauthorized users, which brings a new security challenge of user accountability to ORAM applications. Moreover, based on our observations, existing user accountability schemes for multi-user ORAM induce the extremely unacceptable overhead in both time and storage. What is worse, it is still inherent the traditional cloud accountability problem that the untrusted cloud server may have misbehavior on storing the outsourced data. In this paper, we focus on the issue that how to do accountability for both malicious users and untrusted cloud server without the independent trusted third party server. To address the above problem, we design and implement a Traceable Oblivious RAM, or T-ORAM for short, a cryptographic system that protects the privacy of users and the integrity of outsourced data based on group signatures. It can detect malicious users quickly by utilizing the traceability property of group signatures, and cost less storage overhead comparing with the existing solutions. Then, we further propose a more secure solution of Blockchain-based Traceable Oblivious RAM (BT-ORAM). Specifically, by introducing the blockchain technology, BT-ORAM can detect the malicious behavior from both malicious users and untrusted cloud server. BT-ORAM is the first accountability work for multi-user ORAM that deal with both malicious users and the untrusted cloud server. Finally, security analysis and experimental results show that our method outperforms the state-of-the-art accountability work for oblivious RAM, S-GORAM, in both security and performance. © 2019 Elsevier Inc.
语种：
英文
展开
miRTRS: A Recommendation Algorithm for Predicting miRNA Targets
作者：
Jiang, Hui;Wang, Jianxin* ;Li, Min;Lan, Wei;Wu, Fang-Xiang;...
期刊：
IEEE/ACM Transactions on Computational Biology and Bioinformatics ,2020年17(3):1032-1041 ISSN：1545-5963
通讯作者：
Wang, Jianxin
作者机构：
[Li, Min; Jiang, Hui; Lan, Wei; Wang, Jianxin] Cent South Univ, Sch Informat Sci & Engn, Changsha 410083, Peoples R China.;[Jiang, Hui] Univ South China, Sch Comp Sci & Technol, Hengyang 421001, Peoples R China.;[Wu, Fang-Xiang] Univ Saskatchewan, Div Biomed Engn, Saskatoon, SK S7N 5A9, Canada.;[Pan, Yi] Georgia State Univ, Dept Comp Sci, Atlanta, GA 30302 USA.
通讯机构：
[Wang, Jianxin] C;Cent South Univ, Sch Informat Sci & Engn, Changsha 410083, Peoples R China.
关键词：
Prediction algorithms;Bipartite graph;Feature extraction;Prediction methods;Gene expression;Software algorithms;miRNA target;recommendation algorithm;bipartite graph
摘要：
microRNAs (miRNAs) are small and important non-coding RNAs that regulate gene expression in transcriptional and post-transcriptional level by combining with their targets (genes). Predicting miRNA targets is an important problem in biological research. It is expensive and time-consuming to identify miRNA targets by using biological experiments. Many computational methods have been proposed to predict miRNA targets. In this study, we develop a novel method, named miRTRS, for predicting miRNA targets based on a recommendation algorithm. miRTRS can predict targets for an isolated (new) miRNA with miRNA sequence similarity, as well as isolated (new) targets for a miRNA with gene sequence similarity. Furthermore, when compared to supervised machine learning methods, miRTRS does not need to select negative samples. We use 10-fold cross validation and independent datasets to evaluate the performance of our method. We compared miRTRS with two most recently published methods for miRNA target prediction. The experimental results have shown that our method miRTRS outperforms competing prediction methods in terms of AUC and other evaluation metrics. © 2004-2012 IEEE.
语种：
英文
展开
Quantum Teleportation via Qutrit Entangled State
作者：
Huang, Yang;Yang, Wei*
期刊：
中国电子杂志(英文版) ,2020年29(2):228-232 ISSN：1022-4653
通讯作者：
Yang, Wei
作者机构：
[Huang, Yang] Univ South China, Sch Comp Sci & Technol, Hengyang 421001, Peoples R China.;[Yang, Wei] Univ Sci & Technol China, Sch Comp Sci & Technol, Hefei 230026, Peoples R China.;[Yang, Wei] Univ Sci & Technol China, Suzhou Res Inst, Suzhou 215123, Peoples R China.
通讯机构：
[Yang, Wei] U;Univ Sci & Technol China, Sch Comp Sci & Technol, Hefei 230026, Peoples R China.;Univ Sci & Technol China, Suzhou Res Inst, Suzhou 215123, Peoples R China.
关键词：
Teleportation;Qutrit;Quantum entanglement;Quantum measurement;quantum communication;quantum computing;quantum entanglement;quantum optics;teleportation;quantum teleportation;natural extension;quantum information processing;outperform qubit;unknown qubit state;unknown qutrit state;two-qutrit entangled pair;two-qutrit maximally entangled state
摘要：
Qutrit is the natural extension of qubit in quantum information processing and has quite a few advantages that outperform qubit. In this paper, we investigate the feasibility of teleportation of an unknown qubit state, as well as an unknown qutrit state using a two-qutrit entangled pair. We show that by carefully constructing the measurement bases, both the qubit and the qutrit can be faithfully teleported from Alice to Bob with a two-qutrit maximally entangled state.
语种：
英文
展开
Ultrathin 2D TiS2 Nanosheets for High Capacity and Long-Life Sodium Ion Batteries
作者：
Hu, Zhe;Tai, Zhixin;Liu, Qiannan;Wang, Shi-Wen* ;Jin, Huile;...
期刊：
Advanced Energy Materials ,2019年9(8):1803210- ISSN：1614-6832
通讯作者：
Wang, Shi-Wen;Chou, Shu-Lei;Wang, Shun;Tao, Zhanliang
作者机构：
[Hu, Zhe; Wang, Shi-Wen] Zhengzhou Univ Light Ind, Henan Prov Key Lab Surface & Interface Sci, Zhengzhou 450001, Henan, Peoples R China.;[Hu, Zhe; Wang, Shi-Wen] Zhengzhou Univ Light Ind, Coll Mat & Chem Engn, Zhengzhou 450001, Henan, Peoples R China.;[Chen, Mingzhe; Hu, Zhe; Tai, Zhixin; Chou, Shu-Lei; Liu, Qiannan; Lai, Weihong] Univ Wollongong, Inst Superconducting & Elect Mat, Wollongong, NSW 2522, Australia.;[Wang, Shun; Liu, Qiannan; Jin, Huile] Wenzhou Univ, Coll Chem & Mat Engn, Wenzhou 325027, Zhejiang, Peoples R China.;[Tao, Zhanliang; Li, Lin] Nankai Univ, Collaborat Innovat Ctr Chem Sci & Engn, Coll Chem, Key Lab Adv Energy Mat Chem,Minist Educ, Tianjin 300071, Peoples R China.
通讯机构：
[Wang, Shi-Wen] Z;[Chou, Shu-Lei] U;[Wang, Shun] W;[Tao, Zhanliang] N;Zhengzhou Univ Light Ind, Henan Prov Key Lab Surface & Interface Sci, Zhengzhou 450001, Henan, Peoples R China.
关键词：
exfoliation;few-atomic layers;nanosheets;sodium ion batteries;TiS2
摘要：
<jats:title>Abstract</jats:title><jats:p>Sodium ion batteries are now attracting great attention, mainly because of the abundance of sodium resources and their cheap raw materials. 2D materials possess a unique structure for sodium storage. Among them, transition metal chalcogenides exhibit significant potential for rechargeable battery devices due to their tunable composition, remarkable structural stability, fast ion transport, and robust kinetics. Herein, ultrathin TiS<jats:sub>2</jats:sub> nanosheets are synthesized by a shear‐mixing method and exhibit outstanding cycling performance (386 mAh g<jats:sup>−1</jats:sup> after 200 cycles at 0.2 A g<jats:sup>−1</jats:sup>). To clarify the variations of galvanostatic curves and superior cycling performance, the mechanism and morphology changes are systematically investigated. This facile synthesis method is expected to shed light on the preparation of ultrathin 2D materials, whose unique morphologies could easily enable their application in rechargeable batteries.</jats:p>
语种：
英文
展开
TSS: A two-party secure server-aid chunking algorithm
作者：
Tian, Wenlong;Li, Ruixuan;Xu, Zhiyong
期刊：
Concurrency and Computation: Practice and Experience ,2019年34(12):e6577- ISSN：1532-0626
通讯作者：
Li, Ruixuan(rxli@hust.edu.cn)
作者机构：
[Tian, Wenlong] Univ South China, Sch Comp Sci & Technol, Hengyang, Peoples R China.;[Li, Ruixuan] Huazhong Univ Sci & Technol, Sch Comp Sci & Technol, Luoyu Rd, Wuhan 1037, Peoples R China.;[Xu, Zhiyong] Suffolk Univ, Math & Comp Sci Dept, Boston, MA 02114 USA.;[Xu, Zhiyong] Chinese Acad Sci, Shenzhen Inst Adv Technol, Shenzhen, Peoples R China.
通讯机构：
[Ruixuan Li] S;School of Computer Science and Technology, Huazhong University of Science and Technology, Wuhan, China
关键词：
metadata size encryption key number;secure chunking;secure deduplication;server-aid
摘要：
Chunking is one of the most important processes in a secure deduplication system. It determines the deduplication ratio, metadata size, and the encryption key number. Existing chunking algorithms can be categorized as client-side chunking algorithm and the server-aid chunking algorithm. Although the former one can directly be applied into the secure deduplication, it ignores the management overhead caused by the metadata size and encryption key number. Thus, the conventional server-aid chunking algorithm is proposed. However, it is not secure because the interaction between the client and the server is based on the plaintext. Thus, we propose a two-party secure server-aid chunking algorithm, TSS. It supports the secure server-aid interaction and reduces the metadata size and the encryption key number in the secure deduplication with a comparable deduplication ratio. The theoretical proof and experimental results show that our method outperforms the state-of-the-art chunking algorithm, elastic chunking algorithm. © 2021 John Wiley & Sons Ltd.
语种：
英文
展开
Clinical Big Data and Deep Learning:Applications,Challenges,and Future Outlooks
作者：
Ying Yu;Min Li 0007;Liangliang Liu 0001;Yaohang Li;Jianxin Wang 0001
期刊：
大数据挖掘与分析(英文) ,2019年2(4):288-305 ISSN：2096-0654
通讯作者：
Wang, Jianxin(yaohang@odu.edu)
作者机构：
[Ying Yu; Min Li 0007; Liangliang Liu 0001; Jianxin Wang 0001] School of Computer Science and Engineering, Central South University, Changsha;410083, China;School of Computer Science and Technology, University of South China, Hengyang;421001, China;[Yaohang Li] Department of Computer Science, Old Dominion University, Norfolk
通讯机构：
[Wang, J.] S;School of Computer Science and Engineering, China
关键词：
Clinical data;Clinical note;Deep learning;Electronic health record (EHR);Medical image
摘要：
The explosion of digital healthcare data has led to a surge of data-driven medical research based on machine learning. In recent years, as a powerful technique for big data, deep learning has gained a central position in machine learning circles for its great advantages in feature representation and pattern recognition. This article presents a comprehensive overview of studies that employ deep learning methods to deal with clinical data. Firstly, based on the analysis of the characteristics of clinical data, various types of clinical data (e.g., medical images, clinical notes, lab results, vital signs, and demographic informatics) are discussed and details provided of some public clinical datasets. Secondly, a brief review of common deep learning models and their characteristics is conducted. Then, considering the wide range of clinical research and the diversity of data types, several deep learning applications for clinical data are illustrated: auxiliary diagnosis, prognosis, early warning, and other tasks. Although there are challenges involved in applying deep learning techniques to clinical data, it is still worthwhile to look forward to a promising future for deep learning applications in clinical big data in the direction of precision medicine. © 2020 The author(s).
语种：
英文
展开
Empirical study on character level neural network classifier for Chinese text
作者：
Chung, Tonglee;Xu, Bin;Liu, Yongbin* ;Ouyang, Chunping;Li, Siliang;...
期刊：
Engineering Applications of Artificial Intelligence ,2019年80:1-7 ISSN：0952-1976
通讯作者：
Liu, Yongbin
作者机构：
[Xu, Bin; Li, Siliang; Chung, Tonglee] Tsinghua Univ, Dept Comp Sci & Technol, Beijing 100084, Peoples R China.;[Ouyang, Chunping; Liu, Yongbin; Luo, Lingyun] Univ South China, Coll Comp Sci & Technol, Hengyang 421001, Peoples R China.
通讯机构：
[Liu, Yongbin] U;Univ South China, Coll Comp Sci & Technol, Hengyang 421001, Peoples R China.
关键词：
Character level classifier;CNN;Neural network;RNN
摘要：
Character level models are drawing attention recently. A number of these models have been proposed and shown successful in Natural Language Processing tasks. While most of the models are experimented mainly on English, or other alphabetic languages, a number of problems arise when they applied these models to non-alphabetic language such as Chinese. In this study, we investigated the problems encountered when transferring these models to the Chinese and put forward some solutions. We propose a double embedding neural network model that is also character level and consists of both CNN and RNN with two separate embeddings. The model is applied to a fundamental Natural Language Processing task, text classification. Experiment results conducted on the Chinese corpus demonstrated that our character level neural network model performs just as well as or better than those word level classification models. Our model is able to reach 95.9% accuracy on a Chinese Fudan news dataset, which outperforms the state-of-the-art models. © 2019
语种：
英文
展开
Robust object tracking via improved mean-shift model
作者：
Wang, Liqun;Shi, Xuenan;Han, Sunyi;Jinchi
期刊：
Lecture Notes in Electrical Engineering ,2018年425:86-93 ISSN：1876-1100
通讯作者：
Wang, Liqun(guoshuqiang@gmail.com)
作者机构：
[Han, Sunyi; Wang, Liqun; Shi, Xuenan] School of Information Engineering, Northeast Electric Power University Jilin, Jilin, 132012, China;[Jinchi] School of Computer Science and Technology, University of South China, China
会议名称：
4th iCatse Conference on Mobile and Wireless Technology, ICMWT 2017
会议时间：
26 June 2017 through 29 June 2017
会议论文集名称：
Mobile and Wireless Technologies 2017
关键词：
Computer vision;Wireless telecommunication systems;Color features;Mean shift;Mean shift algorithm;Mean shift model;Motion and deformations;Non-rigid objects;Object Tracking;Object tracking algorithm;Tracking (position)
摘要：
In this paper we propose a robust object tracking algorithm using a improved Mean-Shift model. As the traditional Mean-Shift algorithm for object tracking uses a single histogram. Because the traditional Mean-Shift lacks spatial distribution information, so it is difficult to track non-rigid object especially. With a focus on this problem, an improved Mean-Shift algorithm based on the shape feature and color of the target is presented. The results show that the algorithm can track the moving vehicles in real time, and it has a preferable adaptability and robustness to the irregular motion and deformation of the target. © Springer Science+Business Media Singapore 2018.
语种：
英文
展开
Optical and spin coherence properties of NV center in diamond and 3C-SiC
作者：
Cheng, G. D.* ;Wan, Y. P.;Yan, S. Y.*
期刊：
计算材料学(英文) ,2018年154:60-64 ISSN：2057-3960
通讯作者：
Cheng, G. D.;Yan, S. Y.
作者机构：
[Cheng, G. D.; Yan, S. Y.; Wan, Y. P.] Univ South China, Sch Comp Sci & Technol, Hengyang 421001, Hunan, Peoples R China.;[Cheng, G. D.; Yan, S. Y.] CNNC Key Lab High Trusted Comp, Hengyang 421001, Hunan, Peoples R China.
通讯机构：
[Cheng, GD; Yan, SY] U;Univ South China, Sch Comp Sci & Technol, Hengyang 421001, Hunan, Peoples R China.
关键词：
Defect;Optical properties;Qubit;Spin coherence time
摘要：
We investigated the optical properties and electronic structure of NV−1 center in diamond and 3C-SiC by combing photoluminescence spectroscopy (PL) and first-principles calculations. The NV−1 center in diamond and 3C-SiC were produced by 10 MeV electrons irradiation and 1 MeV silicon ions implantation at room temperature, respectively. We observed the zero phonon line (ZPL) of NV−1 center in 3C-SiC for the first time, which was different from that in diamond. The NV−1 centers in both host materials have the same configuration, which possess different spin-conserved optical transition energy. This phenomenon was interpreted by electronic structure and density of state calculations. Moreover, a long spin coherence time of NV−1 center in 3C-SiC was predicted by combining first-principles calculations and a mean-field theory for spin hyperfine interaction. © 2018
语种：
英文
展开
核电厂数字化人-机界面二类任务信息导航调度算法研究
作者：
蒋建军;张力;王以群;谢天;李敏;...
期刊：
核动力工程 ,2018年39(1):140-145 ISSN：0258-0926
作者机构：
[张力; 蒋建军; 王以群; 戴立操; 谢天] Human Factors Institute, School of Management, University of South China, Hengyang, Hunan, 421001, China;[彭玉元] School of Economic and Management, Guangzhou College of South China University of Technology, Guangzhou, 510830, China;[李敏] College of computer science and technique, University of South China, Hengyang, Hunan, 421001, China;[蒋建军; 张力] School of Safety and Environment Engineering, Hunan Institute of Technology, Hengyang, Hunan, 421002, China
关键词：
二类任务;信息导航;数学模型;调度算法
摘要：
为减轻核电厂数字化人-机界面二类任务信息导航画面配置给操纵员带来的工作负荷,本文提出二类任务信息导航的调度算法以解决导航信息画面的配置。通过建立调度算法的执行流程、数学模型、信息导航特征提取子算法、相同关键字统计子算法,获得了导航信息画面配置的调度算法。仿真实验结果表明,该算法在平均周转时间、算法的正确性方面具有较好的性能,能应用于导航信息画面的智能配置,以减少操纵员人工方式画面配置所产生的开销。
语种：
中文
展开
A proof-based method of hybrid systems development using differential invariants
作者：
Liu, Jie;Liu, Jing* ;Zhang, Miaomiao* ;Sun, Haiying;Chen, Xiaohong;...
期刊：
计算机科学前沿(英文) ,2018年12(5):1026-1028 ISSN：2095-2228
通讯作者：
Liu, Jing;Zhang, Miaomiao
作者机构：
[Liu, Jie; Chen, Mingsong; Liu, Jing; Sun, Haiying; Chen, Xiaohong; Du, Dehui] East China Normal Univ, Shanghai Key Lab Trustworthy Comp, Shanghai 200062, Peoples R China.;[Liu, Jie] Univ South China, Sch Comp Sci & Technol, Hengyang 421001, Peoples R China.;[Zhang, Miaomiao] Tongji Univ, Sch Software Engn, Shanghai 201804, Peoples R China.
通讯机构：
[Liu, Jing] E;[Zhang, Miaomiao] T;East China Normal Univ, Shanghai Key Lab Trustworthy Comp, Shanghai 200062, Peoples R China.;Tongji Univ, Sch Software Engn, Shanghai 201804, Peoples R China.
关键词：
混合系统;开发;证明;微分;分离控制;建模语言;研究人员;精炼
摘要：
Event-B is a widely applied and proof-based language for incremental development via refinement [1]. Hybrid systems exhibit hybrid characteristics of discrete control and real-time continuous behaviors. However, Event-B is a discrete modeling language. It does not support the development of hybrid systems. So, the researchers are currently trying to make the extension of Event-B for the refinement development of hybrid systems [2, 3].
语种：
英文
展开
Gradient boosting for single image super-resolution
作者：
Xiong, Dongping;Gui, Qiuling;Hou, Wenguang* ;Ding, Mingyue
期刊：
Information Sciences ,2018年454-455:328-343 ISSN：0020-0255
通讯作者：
Hou, Wenguang
作者机构：
[Xiong, Dongping; Hou, Wenguang; Ding, Mingyue; Gui, Qiuling] Huazhong Univ Sci & Technol, Dept Biomed Engn, Coll Life Sci & Technol, Wuhan 430074, Hubei, Peoples R China.;[Xiong, Dongping] Univ South China, Sch Comp Sci & Technol, Hengyang 421001, Peoples R China.
通讯机构：
[Hou, Wenguang] H;Huazhong Univ Sci & Technol, Dept Biomed Engn, Coll Life Sci & Technol, Wuhan 430074, Hubei, Peoples R China.
关键词：
Single image super-resolution;Gradient tree boosting;Multi-output regression
摘要：
The learning-based single image super-resolution (SISR) algorithm aims at recovering a high-resolution (HR) image from low-resolution (LR) input. The quality of the HR output mainly depends on the strength of the learning algorithms. Observing that gradient boosting is powerful in dealing with learning problems, we propose a new SISR method based on the gradient boosting framework. First, the boosting framework is extended to the general form of multi-output regression. Then, an error correction approximation is used to sequentially train the boosting trees. The training data for each tree are the pairs of the features of the LR image patches and the negative gradients of the loss function. Meanwhile, shrinkage, a slow learning strategy, is exploited to reduce the risk of overfitting. Finally, all boosting trees are linearly combined to form an accurate predictor. The experimental results verify that our method can generate visually pleasant HR images and achieve accuracy on par with state-of-the-art methods in terms of quantitative evaluation.
语种：
英文
展开
An Approach to Proving Proof Obligation of Hybrid Event B Based on Differential Invariants
作者：
Liu, Jie;Liu, Jing* ;Zhang, Miaomiao;Sun, Haiying;Chen, Xiaohong;...
期刊：
Proceedings - IEEE Computer Society's International Computer Software and Applications Conference ,2017年1:138-143 ISSN：0730-3157
通讯作者：
Liu, Jing
作者机构：
[Liu, Jie; Chen, Mingsong; Liu, Jing; Sun, Haiying; Chen, Xiaohong; Du, Dehui] East China Normal Univ, Shanghai Key Lab Trustworthy Comp, Shanghai 200062, Peoples R China.;[Liu, Jie] Univ South China, Sch Comp Sci & Technol, Hengyang 421001, Peoples R China.;[Zhang, Miaomiao] Tongji Univ, Sch Software Engn, Shanghai 200062, Peoples R China.
通讯机构：
[Liu, Jing] E;East China Normal Univ, Shanghai Key Lab Trustworthy Comp, Shanghai 200062, Peoples R China.
会议名称：
41st IEEE Annual Computer Software and Applications Conference (COMPSAC)
会议时间：
JUL 04-08, 2017
会议地点：
Torino, ITALY
会议主办单位：
[Liu, Jie;Liu, Jing;Sun, Haiying;Chen, Xiaohong;Du, Dehui;Chen, Mingsong] East China Normal Univ, Shanghai Key Lab Trustworthy Comp, Shanghai 200062, Peoples R China.^[Liu, Jie] Univ South China, Sch Comp Sci & Technol, Hengyang 421001, Peoples R China.^[Zhang, Miaomiao] Tongji Univ, Sch Software Engn, Shanghai 200062, Peoples R China.
会议论文集名称：
Proceedings International Computer Software and Applications Conference
关键词：
hybrid system;Hybrid Event B;differential event;differential invariant;proof obligation
摘要：
For modelling hybrid systems, we have extended Event B based on its framework with the differential event. The differential event describes continuous behaviors of hybrid systems by differential equations and evolution constraint, whose proof obligations provide dynamical properties of a model. In order to ensure the safety and reliability of a model, proof obligations should be proved. It is difficult to prove proof obligation in state space, because there is no a complete method to solve differential equations in the field of mathematics. Thus we proposed an approach to proving proof obligation based on differential invariants. It is to avoid uncontrollable computation on solving differential equation. The main result is that we prove some theorems for proving proof obligations involving differential events within the framework of refinement calculus. Lastly, through the case of the Train Control System, we further show that the approach is well suited. ©2017 IEEE.
语种：
英文
展开
Research on Testing Adequacy Criterion of Reactor Physics Code of NESTOR
作者：
Li Meng* ;Wang Li-Jun;Li Yu-Yan;Yang Xiao-Hua
期刊：
PROCEEDINGS OF THE 25TH INTERNATIONAL CONFERENCE ON NUCLEAR ENGINEERING, 2017, VOL 2 ,2017年2
通讯作者：
Li Meng
作者机构：
[Li Meng; Yang Xiao-Hua] CNNC Key Lab High Trusted Comp, Hengyang 421001, Hunan, Peoples R China.;[Li Yu-Yan; Wang Li-Jun] Univ South China, Sch Elect Engn, Hengyang 421001, Hunan, Peoples R China.
通讯机构：
[Li Meng] C;CNNC Key Lab High Trusted Comp, Hengyang 421001, Hunan, Peoples R China.
会议名称：
2017 25th International Conference on Nuclear Engineering
摘要：
In view of the characteristics of the physical code Nestor the focus is on the correctness of calculation for which the test adequacy criterion has been established. This is based on structural coverage and the input domain. According to such test adequacy criterion, testing strategies have been applied on the entire testing process. They consist of unit static, unit dynamic, integration, system and regression test strategy. Each strategy is composed of test target, test range, technology and method, entry criterion, completion criterion, test focus and priority. After compared with 11 basic benchmarks from nuclear power plants and calculation result of benchmark programs, the ELEMENT program result is correct and credible; the relative error of result is less than three percent. The ELEMENT testing is adequacy. Its test cases covers fuel grid element types, fuel types, non-combustible grid element types, and control rod computational models. Furthermore, it puts forward a research direction in the future.
语种：
英文
展开
Few Atomic Layered Lithium Cathode Materials to Achieve Ultrahigh Rate Capability in Lithium-Ion Batteries
作者：
Tai, Zhixin;Subramaniyam, Chandrasekar M.;Chou, Shu-Lei* ;Chen, Lingna;Liu, Hua-Kun;...
期刊：
Advanced Materials ,2017年29(34):1700605- ISSN：0935-9648
通讯作者：
Chou, Shu-Lei
作者机构：
[Tai, Zhixin; Chou, Shu-Lei; Liu, Hua-Kun; Subramaniyam, Chandrasekar M.; Dou, Shi-Xue] Univ Wollongong, Australian Inst Innovat Mat, Inst Superconducting & Elect Mat, Innovat Campus, North Wollongong, NSW 2500, Australia.;[Chen, Lingna] Univ South China, Sch Comp Sci & Technol, Hengyang 421001, Peoples R China.
通讯机构：
[Chou, Shu-Lei] U;Univ Wollongong, Australian Inst Innovat Mat, Inst Superconducting & Elect Mat, Innovat Campus, North Wollongong, NSW 2500, Australia.
关键词：
cathodes;high rate;lithium-ion batteries;nanosheets
摘要：
The most promising cathode materials, including LiCoO2 (layered), LiMn2O4 (spinel), and LiFePO4 (olivine), have been the focus of intense research to develop rechargeable lithium-ion batteries (LIBs) for portable electronic devices. Sluggish lithium diffusion, however, and unsatisfactory long-term cycling performance still limit the development of present LIBs for several applications, such as plug-in/hybrid electric vehicles. Motivated by the success of graphene and novel 2D materials with unique physical and chemical properties, herein, a simple shear-assisted mechanical exfoliation method to synthesize few-layered nanosheets of LiCoO2, LiMn2O4, and LiFePO4 is used. Importantly, these as-prepared nanosheets with preferred orientations and optimized stable structures exhibit excellent C-rate capability and long-term cycling performance with much reduced volume expansion during cycling. In particular, the zero-strain insertion phenomenon could be achieved in 2–3 such layers of LiCoO2 electrode materials, which could open up a new way to the further development of next-generation long-life and high-rate batteries. © 2017 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim
语种：
英文
展开
Carbon-Coated Na3.32 Fe2.34 (P2 O7 )2 Cathode Material for High-Rate and Long-Life Sodium-Ion Batteries
作者：
Chen, Mingzhe;Chen, Lingna;Hu, Zhe;Liu, Qiannan;Zhang, Binwei;...
期刊：
Advanced Materials ,2017年29(21):1605535- ISSN：0935-9648
通讯作者：
Chou, Shu-Lei;Guo, Xiaodong
作者机构：
[Chen, Mingzhe; Wang, Jian-Li; Zhang, Binwei; Hu, Zhe; Chou, Shu-Lei; Liu, Qiannan; Dou, Shi-Xue] Univ Wollongong, Inst Superconducting & Elect Mat, Australian Inst Innovat Mat, Innovat Campus,Squires Way, North Wollongong, NSW 2522, Australia.;[Chen, Lingna] Univ South China, Sch Comp Sci & Technol, Hengyang 421001, Peoples R China.;[Wang, Lian-Zhou; Hu, Yuxiang] Univ Queensland, Sch Chem Engineer, Brisbane, Qld 4072, Australia.;[Wang, Lian-Zhou; Hu, Yuxiang] Univ Queensland, Australian Inst Bioengn & Nanotechnol, Brisbane, Qld 4072, Australia.;[Gu, Qinfen] Australian Synchrotron, 800 Blackburn Rd, Clayton, Vic 3168, Australia.
通讯机构：
[Chou, Shu-Lei] U;[Guo, Xiaodong] S;Univ Wollongong, Inst Superconducting & Elect Mat, Australian Inst Innovat Mat, Innovat Campus,Squires Way, North Wollongong, NSW 2522, Australia.;Sichuan Univ, Coll Chem Engn, Chengdu 610065, Peoples R China.
关键词：
carbon coatings;cathode materials;cycling stability;polyanion frameworks;sodium-ion batteries
摘要：
Rechargeable sodium-ion batteries are proposed as the most appropriate alternative to lithium batteries due to the fast consumption of the limited lithium resources. Due to their improved safety, polyanion framework compounds have recently gained attention as potential candidates. With the earth-abundant element Fe being the redox center, the uniform carbon-coated Na3.32Fe2.34(P2O7)2/C composite represents a promising alternative for sodium-ion batteries. The electrochemical results show that the as-prepared Na3.32Fe2.34(P2O7)2/C composite can deliver capacity of ≈100 mA h g−1 at 0.1 C (1 C = 120 mA g−1), with capacity retention of 92.3% at 0.5 C after 300 cycles. After adding fluoroethylene carbonate additive to the electrolyte, 89.6% of the initial capacity is maintained, even after 1100 cycles at 5 C. The electrochemical mechanism is systematically investigated via both in situ synchrotron X-ray diffraction and density functional theory calculations. The results show that the sodiation and desodiation are single-phase-transition processes with two 1D sodium paths, which facilitates fast ionic diffusion. A small volume change, nearly 100% first-cycle Coulombic efficiency, and a pseudocapacitance contribution are also demonstrated. This research indicates that this new compound could be a potential competitor for other iron-based cathode electrodes for application in large-scale Na rechargeable batteries. © 2017 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim
语种：
英文
展开
Platform-adaptive high-throughput surveillance video condensation on heterogeneous processor clusters
作者：
Qiao, Peng;Li, Teng;Dou, Yong;Lei, Yuanwu;Luo, Hongbing;...
期刊：
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) ,2017年10561 LNCS:1-13 ISSN：0302-9743
通讯作者：
Qiao, Peng(pengqiao@nudt.edu.cn)
作者机构：
[Li, Teng; Dou, Yong; Lei, Yuanwu; Qiao, Peng] National Laboratory for Parallel and Distributed Processing, School of Computer, National University of Defense Technology, Changsha, 410073, China;[Jin, Chi] School of Computer Science and Technology, University of South China, Hengyang, China;[Luo, Hongbing] Institute of Applied Physics and Computational Mathematics, Beijing, China
会议名称：
12th International Symposium on Advanced Parallel Processing Technologies, APPT 2017
会议时间：
29 August 2017 through 29 August 2017
关键词：
Acceleration;Combinatorial optimization;Condensation;Data handling;Efficiency;Graphics processing unit;Hardware;Multitasking;Throughput;Change detection;Computational resources;Data processing centers;GPU accelerations;Hardware configurations;Heterogeneous processors;Multi-threading;Task level parallelisms;Security systems
摘要：
Directly browsing and analyzing numerous surveillance videos is inefficient for human operators. Video condensation is a technical solution to fast video browsing. On the one hand, traditional video condensation methods that skip frames using simple strategies may lose some important frames. On the other hand, the methods that rearrange frame contexts improve the browsing efficiency, but are not easy to be accelerated using the data processing centers with various hardware configurations. In this paper, we propose a platform-adaptive video condensation system based on change detection, which is easy to accelerate and keeps important frames accurately. To take full advantage of hardware acceleration, we implement each module of the proposed system using multithreading and GPU acceleration, and then further accelerate the system by exploiting the task-level parallelism. We solve the computational resources assignment problem via local search method. To be platform-adaptive, the combination of module using different hardware acceleration are compared to choose the optimal combination to make full use of the computational resources. Detailed experiments are conducted to validate the accuracy of the proposed system, the efficiency of the platform-adaptive mechanism and the high throughput performance. © 2017, Springer International Publishing AG.
语种：
英文
展开
