检索结果-内蒙古大学图书馆

A differentially k-anonymity-based location privacy-preserving for mobile crowdsourcing systems

Procedia computer science 2018年 129卷 28-34页

作者： Yingjie Wang Zhipeng Cai Zhongyang Chi Xiangrong Tong Lijie Li School of Computer Science and Engineering South China University of Technology Guangzhou 510006 China School of Computer and Control Engineering Yantai University Yantai 264005 China Department of Computer Science Georgia State University Atlanta 30303 USA College of Computer Science and Technology Harbin Engineering University Harbin 150001 China

With the rapid development of mobile devices, the problem privacy leaking has become an important research focus in the field of mobile crowdsourcing. In order to guarantee the security and truthfulness of mobile crowdsourcing, this paper proposes a differentially k -anonymity location privacy-preserving for mobile crowdsourcing. Through combining k-anonymity and differential privacy-preserving, the differentially k -anonymity-based location privacy-preserving is proposed in order to prevent workers’ location information from being leaked. Through comparison experiments, the effectiveness, adaptation and flexibility of the proposed differentially k -anonymity-based location privacy-preserving is verified. The differentially k -anonymity-based location privacy-preserving can inspire workers to participate crowd tasks, and protect workers’ location privacy effectively.

关键词： Mobile crowdsourcing location privacy-preserving k -anonymity differential privacy

来源：评论

学校读者我要写书评

暂无评论

Loop Invariant Generation for Non-monotone Loop Structures

Loop Invariant Generation for Non-monotone Loop Structures

引用

IEEE Annual International computer Software and Applications Conference (COMPSAC)

作者： Chunyan Hou Jinsong Wang Chen Chen Kai Shi School of Computer Science and Engineering Tianjin University of Technology Tianjin China College of Computer and Control Engineering Nankai University Tianjin China

ISBN: (纸本)9781538626672

A key problem in any automatic software verification system is the inference of loop invariants. When analyzing program structures involving disjunctive semantics, abstract interpretation has the problem of precision loss. Thus, some techniques were proposed to decompose such loop structures into a semantically equivalent sequence of loops with conjunctive semantics whose invariants can be generated by abstract interpretation directly. However, these works assumed that the iteration processes of nested branches are separate without consideration of non-monotone loop structures where those interweave with each other. In order to solve this problem, we present a novel static analysis technique for non-monotone loops. It analyzes loop convergence condition and traces the transfer between nested branches of finite non-monotone loops. With analytical results, it generates the loop invariants with precise semantics. Meanwhile, it takes advantage of cyclical nature of result expressions to restrict search space and accelerate computation procedure. Finally, experimental results show the potential of our approach, which is also helpful for reasoning about certain program security properties.

关键词： Convergence Semantics Software Static analysis Acceleration Security Standards

来源：评论

学校读者我要写书评

暂无评论

An Effective Retinal Blood Vessel Segmentation by Using Automatic Random Walks Based on Centerline Extraction

引用

BioMed Research International 2020年第0期2020卷 000-000页

作者： Gao, Jianqing Chen, Guannan Lin, Wenru Smart Home Information Collection and Processing on Internet of Things Laboratory of Digital Fujian Fujian Jiangxia University Fuzhou 350108 China School of Electronic Information Science Fujian Jiangxia University Fuzhou 350108 China Key Laboratory of OptoElectronic Science and Technology for Medicine of Ministry of Education Fujian Provincial Key Laboratory for Photonics Technology Fujian Normal University Fuzhou 350007 China Fujian Provincial Engineering Technology Research Center of Photoelectric Sensing Application Fujian Normal University Fuzhou 350117 China College of Computer and Control Engineering Minjiang University Fuzhou 350121 China Fujian Provincial Key Laboratory of Information Processing and Intelligent Control Minjiang University Fuzhou 350121 China

The retinal blood vessel analysis has been widely used in the diagnoses of diseases by ophthalmologists. According to the complex morphological characteristics of the blood vessels in normal and abnormal images, an automatic method by using the random walk algorithms based on the centerlines is proposed to segment retinal blood vessels. Hessian-based multiscale vascular enhancement filtering is used to display the vessel structures in maximum intensity projection. Random walk algorithm provides a unique and quality solution, which is robust to weak object boundaries. Seed groups in the random walk segmentation are labeled according to the centerlines, which are extracted by using the divergence of the normalized gradient vector field and the morphological method. Experiments of the proposed method are implemented on the publicly available STARE (the Structured Analysis of the Retina) database. The results are compared to other existing retinal blood vessel segmentation methods with respect to the accuracy, sensitivity, and specificity, and the proposed method is proved to be more sensitive in detecting the retinal blood vessels in both normal and pathological areas. © 2020 Jianqing Gao et al.

关键词：

来源：评论

学校读者我要写书评

暂无评论

SD-Unet: A Structured Dropout U-Net for Retinal Vessel Segmentation

SD-Unet: A Structured Dropout U-Net for Retinal Vessel Segme...

引用

IEEE Symposium on Bioinformatics and Bioengineering (BIBE)

作者： Changlu Guo Márton Szemenyei Yang Pei Yugen Yi Wei Zhou Department of Control Engineering and Information Technology Budapest University of Technology and Economics Budapest Hungary Budapest University of Technology and Economics Budapest Hungary School of Software Jiangxi Normal University Nanchang China College of Computer Science Shenyang Aerospace University Shenyang China

ISBN: (纸本)9781728146188

At present, artificial visual diagnosis of fundus diseases has low manual reading efficiency and strong subjectivity, which easily causes false and missed detections. Automatic segmentation of retinal blood vessels in fundus images is very effective for early diagnosis of diseases such as the hypertension and diabetes. In this paper, we utilize the U-shaped structure to exploit the local features of the retinal vessels and perform retinal vessel segmentation in an end-to-end manner. Inspired by the recently DropBlock, we propose a new method called Structured Dropout U-Net (SD-Unet), which abandons the traditional dropout for convolutional layers, and applies the structured dropout to regularize U-Net. Compared to the state-of-the-art methods, we demonstrate the superior performance of the proposed approach.

关键词： Image segmentation Biomedical imaging Blood vessels Training Retinal vessels Diseases

来源：评论

学校读者我要写书评

暂无评论

An Edge Computing Platform of Guide-dog Robot for Visually Impaired

An Edge Computing Platform of Guide-dog Robot for Visually I...

引用

International Symposium on Autonomous Decentralized Systems (ISADAS)

作者： Jinhui Zhu Yinong Chen Mei Zhang Qiang Chen Ying Guo Huaqing Min Zhilie Chen School of Software Engineering South China University of Technology Guangzhou China School of Computing Informatics and Decision Systems Engineering Arizona State University Tempe USA School of Automation Science and Control Engineering South China University of Technology Guangzhou China College of computer & information science Southwest University Chongqing China School of Information Science and Technology Qingdao University of Science and Technology Qingdao China EVOC Intelligent Technology Company Limited Shen zhen China

ISBN: (数字)9781728116723

ISBN: (纸本)9781728116730

Information processing of guide dog robot requires expensive computing resources to meet real-time performance. We propose an edge computing framework based on Intel Up-Squared board and neural compute stick. Image processing and real-time control are performed on the framework. In addition, the voice recognition and commanding are also implemented, which are processed on Amazon cloud service. Vision, speech, and control services are integrated by ASU VIPLE (Visual IoT/Robotics Programming Language Environment). A prototype is developed, which implements the guide dog's obstacle avoidance, traffic sign recognition and following, and voice interaction with human.

关键词： Dogs Mobile robots Robot sensing systems Wheelchairs Edge computing Cameras

来源：评论

学校读者我要写书评

暂无评论

arXiv

引用

arXiv 2020年

作者： Li, Jiashuo Zhou, Sili Wei, Wendong Qi, Jianchuan Li, Yumeng Chen, Bin Zhang, Ning Guan, Dabo Qian, Haoqi Wu, Xiaohui Miao, Jiawen Chen, Long Liang, Sai Feng, Kuishuang Institute of Blue and Green Development Shandong University Weihai264209 State Key Laboratory of Coal Combustion School of Energy and Power Engineering Huazhong University of Science and Technology Wuhan430074 China School of International and Public Affairs Shanghai Jiao Tong University Shanghai200030 China State Key Joint Laboratory of Environment Simulation and Pollution Control School of Environment Beijing Normal University Beijing100875 China Laboratory of Anthropogenic Systems Ecology College of Engineering Peking University Beijing100871 China Department of Earth System Science Tsinghua University Beijing100871 China Institute for Global Public Policy Fudan University Shanghai200433 China School of Optical-Electrical and Computer Engineering University of Shanghai for Science and Technology Shanghai200093 China Key Laboratory of Geographic Information Science Ministry of Education School of Geographic Sciences East China Normal University Shanghai200241 China

China has implemented retrofitting measures in coal-fired power plants (CFPPs) to reduce air pollution through small unit shutdown (SUS), the installation of air pollution control devices (APCDs) and power generation efficiency (PGE) improvement. The reductions in highly toxic Hg emissions and their related health impacts by these measures have not been well studied. To refine mitigation options, we evaluated the health benefits of reduced Hg emissions via retrofitting measures during China's 12th Five-Year Plan by combining plant-level Hg emission inventories with the China Hg Risk Source-Tracking Model. We found that the measures reduced Hg emissions by 23.5 tons (approximately 1/5 of that from CFPPs in 2010), preventing 0.0021 points of per-foetus intelligence quotient (IQ) decrements and 114 deaths from fatal heart attacks. These benefits were dominated by CFPP shutdowns and APCD installations. Provincial health benefits were largely attributable to Hg reductions in other regions. We also demonstrated the necessity of considering human health impacts, rather than just Hg emission reductions, in selecting Hg control devices. This study also suggests that Hg control strategies should consider various factors, such as CFPP locations, population densities and trade-offs between reductions of total Hg (THg) and Hg2+. Copyright © 2020, The Authors. All rights reserved.

关键词： Fossil fuel power plants

来源：评论

学校读者我要写书评

暂无评论

MIMO Scheduling Effectiveness Analysis for Bursty Data Service from View of QoE

引用

Chinese Journal of Electronics 2017年第5期26卷 1079-1085页

作者： CHEN Lei JIANG Dingde BAO Rong XIONG Jiping LIU Fuqiang BEI Lulu Jiangsu Province Key Laboratory of Intelligent Industry Control Technology Xuzhou University of Technology School of Computer Science and Engineering Northeastern University College of Mathematics Physics and Information EngineeringZhejiang Normal University College of Electronics and Information Engineering Tongji University

In the user selection phrase of the conventional Multiple-input-multiple-output(MIMO) scheduling schemes,the frequent user exchange deteriorates the Quality of user experience(Qo E) of the bursty data *** the channel vector orthogonalization computation results in a high time *** address these problems,we propose an inertial scheduling policy to reduce the number of noneffective user exchange,and substitute self-organization policy for channel vector orthogonalization computation to reduce computational *** relationship between the scheduling effectiveness and the inertia of objective function is observed in the *** simulation results show that the inertial scheduling policy effectively reduce the number of potential noneffective scheduling which is inversely proportional to the Mean opinion score(MOS)that quantifies the Qo *** proposed scheduling scheme provides significant improvement in Qo E performance in the *** the proposed scheduling scheme does not consider the channel vector orthogonalization in the user selection phrase,its throughput approaches the level of the throughput-oriented scheme because of its selforganization scheduling policy.

关键词： Bursty data service Multiple-inputmultiple-output(MIMO) Quality of user experience(QoE) Time perception

来源：评论

学校读者我要写书评

暂无评论

Developing an Identity Recognition Low-cost Home Service Robot Based on Turtlebot and ROS 29

Developing an Identity Recognition Low-cost Home Service Rob...

引用

第29届中国控制与决策会议

作者： Chengguang Xu Wenyu Li Jeffrey Too Chuan TAN Zengqiang Chen Han Zhang Feng Duan College of Computer and Control Engineering Nankai University Institute of Industrial Science University of Tokyo

ISBN: (纸本)9781509046584

Aging population and disabled assistance have become serious social problems these years. However, it is impossible to make sure that every old people has a caregiver. Therefore, the home service robot is a good method to mitigate these issues. Although current robotic technology is mature, service robots with advanced functions are very expensive. In this paper, we developed an identity recognition low-cost home service robot based on Turtlebot and Robot Operating System(ROS). In order to verify the performance of the service robot, we designed a series of experiments in a simulated home environment. The average successful rates of the designed experiments were all above 90%. The results confirmed that the low-cost service robot satisfied our design target.

关键词： Aging population Disabled assistance Home service robot Low-cost

来源：评论

学校读者我要写书评

暂无评论

Using Chinese characters to generate text-based passwords for information security

arXiv

引用

arXiv 2019年

作者： Yao, Bing Mu, Yarong Sun, Yirong Sun, Hui Zhang, Xiaohui Wang, Hongyu Su, Jing Zhang, Mingjun Yang, Sihua Zhao, Meimei Wang, Xiaomin Ma, Fei Yao, Ming Yang, Chao Xie, Jianming College of Mathematics and Statistics Northwest Normal University Lanzhou730070 China School of Information Engineering Lanzhou University of Finance and Economics Lanzhou730030 China College of Science Gansu Agricultural University Lanzhou730070 China School of Electronics Engineering and Computer Science Peking University Beijing100871 China Department of Information Process and Control Engineering Lanzhou Petrochemical College of Vocational Technology Lanzhou730060 China School of Mathematics Physics & Statistics Shanghai University of Engineering Science Shanghai201620 China Department of Mathematics Lanzhou City University Lanzhou730070 China School of Electronics and Information Engineering Lanzhou Jiaotong University Lanzhou730070 China

Graphical passwords (GPWs) are in many areas of the current world, in which the two-dimensional code has been applied successfully nowadays. Topological graphic passwords (Topsnut-gpws) are a new type of cryptography, and they differ from the existing GPWs. A Topsnut-gpw consists of two parts: one is a topological structure (graph), and one is a set of discrete elements (a graph labelling, or coloring), the topological structure connects these discrete elements together to form an interesting "story". It is not easy to remember passwords made up of longer bytes for many Chinese people. Chinese characters are naturally topological structures and have very high information density, especially, Chinese couplets form natively public keys and private keys in authentication. Our idea is to transform Chinese characters into computer and electronic equipments with touch screen by speaking, writing and keyboard for forming Hanzi-gpws (one type of Topsnut-gpws). We will translate Chinese characters into graphs (Hanzi-graphs), and apply mathematical techniques (graph labellings) to construct Hanzi-gpws, and next using Hanzi-gpws produces text-based passwords (TB-paws) with longer bytes as desired. We will explore a new topic of encrypting networks by means of algebraic groups, called graphic groups (Ablian additive finite group), and construct several kinds of self-similar Hanzi-networks, as well as some approaches for the encryption of networks, an important topic of researching information security. The stroke order of writing Chinese characters motivates us to study directed Hanzi-gpws based on directed graphs. We will introduce flawed graph labellings on disconnected Hanzi-graphs such that each Hanzi-gpw with a flawed graph labelling can form a set of connected Topsnut-gpws, like a group. Moreover, we introduce connections between different graphic groups that can be used to encrypt networks based on community partition. Copyright © 2019, The Authors. All rights reserved.

关键词： Graphic methods

来源：评论

学校读者我要写书评

暂无评论

A New Anti-Spam Model Based on E-mail Address Concealment Technique

引用

Wuhan University Journal of Natural sciences 2018年第1期23卷 79-83页

作者： ZHANG Yuqiang HE Jingsha XU Jing Beijing Institute of Aerospace Control Devices Beijing100039 China College of Computer Science and Technology Beijing University of Technology Beijing 100124 China School of Software Engineering Beijing University ofTechnology Beijing 100124 China Department of Automation Tsinghua University Beijing100084 China

To deal with the junk e-mail problem caused by the e-mail address leakage for a majority of Internet users, this paper presents a new privacy protection model in which the e-mail address of the user is treated as a piece of privacy information concealed. Through an interaction pattern that involves three parties and uses an e-mail address code in the place of an e-mail address, the proposed model can prevent the e-mail address from being leaked, thus effectively resolving the junk e-mail problem. We compare the proposed anti-spam method with the filtering technology based on machine learning. The result shows that 100% spams can be filtered out in our scheme, indicating the effectiveness of the proposed anti-spam method.

关键词： spare e-mail address protection model e-mail address code

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：