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

arXiv 2019年

作者： Wang, Xueying Liu, Lei Li, Guangli Dong, Xiao Zhao, Peng Feng, Xiaobing State Key Laboratory of Computer Architecture Institute of Computing Technology Chinese Academy of Sciences Beijing100190 China School of Computer and Control Engineering University of Chinese Academy of Sciences Beijing100049 China College of Computer Science and Technology Jilin University ChangchunJilin130012 China

Background subtraction is a significant component of computer vision systems. It is widely used in video surveillance, object tracking, anomaly detection, etc. A new data source for background subtraction appeared as the emergence of low-cost depth sensors like Microsoft Kinect, Asus Xtion PRO, etc. In this paper, we propose a background subtraction approach on depth videos, which is based on convolutional neural networks (CNNs), called BGSNet-D (BackGround Subtraction neural Networks for Depth video). The method can be used in color unavailable scenarios like poor lighting situations, and can also be applied to combine with existing RGB background subtraction methods. A preprocessing strategy is designed to reduce the influences incurred by noise from depth sensors. The experimental results on the SBM-RGBD dataset show that the proposed method outperforms existing methods on depth data, and even reaches the performance of the methods that use RGB-D data. Copyright © 2019, The Authors. All rights reserved.

关键词： Anomaly detection

来源：评论

学校读者我要写书评

暂无评论

Functional Synthetic Biology

arXiv

引用

arXiv 2022年

作者： Aldulijan, Ibrahim Beal, Jacob Billerbeck, Sonja Bouffard, Jeff Chambonnier, Gaël Delkis, Nikolaos Guerreiro, Isaac Holub, Martin Ross, Paul Selvarajah, Vinoo Sprent, Noah Vidal, Gonzalo Vignoni, Alejandro Systems Engineering Stevens Institute of Technology 1 Castle Point Terrace HobokenNJ07030 United States Intelligent Software & Systems Raytheon BBN Technologies 10 Moulton Street CambridgeMA02138 United States Molecular Microbiology Groningen Biomolecular Sciences and Biotechnology Institute University of Groningen Nijenborgh 7 Groningen9747 AG Netherlands Centre for Applied Synthetic Biology Department of Biology Concordia University 7141 Sherbrooke Street West MontréalQCH4B 1R6 Canada Department of Biological Engineering Massachusetts Institute of Technology CambridgeMA02139 United States Plant and Environmental Biotechnology Laboratory Department of Biochemistry and Biotechnology University of Thessaly Viopolis Mezourlo Larissa41500 Greece iGEM Foundation 45 Prospect Street CambridgeMA02139 United States Delft University of Technology Van der Maasweg 9 2629 HZ Netherlands BioStrat Marketing 9965 Harbour Lake Circle Boynton BeachFL33437 United States Department of Chemical Engineering Imperial College London South Kensington Campus Exhibition Road SW7 2AZ United Kingdom Research Group School of Computing Newcastle University Devonshire Building Devonshire Terrace Newcastle Upon TyneNE1 7RU United Kingdom Synthetic Biology and Biosystems Control Lab Instituto de Automatica e Informatica Industrial Universitat Politecnica de Valencia Camino de Vera s/n Valencia46022 Spain

Synthetic biologists have made great progress over the past decade in developing methods for modular assembly of genetic sequences and in engineering biological systems with a wide variety of functions in various contexts and organisms. However, current paradigms in the field entangle sequence and functionality in a manner that makes abstraction difficult, reduces engineering flexibility, and impairs predictability and design reuse. Functional Synthetic Biology aims to overcome these impediments by focusing the design of biological systems on function, rather than on sequence. This reorientation will decouple the engineering of biological devices from the specifics of how those devices are put to use, requiring both conceptual and organizational change, as well as supporting software tooling. Realizing this vision of Functional Synthetic Biology will allow more flexibility in how devices are used, more opportunity for reuse of devices and data, improvements in predictability, and reductions in technical risk and cost. © 2022, CC BY.

关键词： Biological systems

来源：评论

学校读者我要写书评

暂无评论

A Projection-Based Approach for Memory Leak Detection

A Projection-Based Approach for Memory Leak Detection

引用

IEEE Annual International Computer Software and Applications Conference (COMPSAC)

作者： Xiaohui Sun Sihan Xu Chenkai Guo Jing Xu Naipeng Dong Xiujuan Ji Sen Zhang Department of Computer and Control Engineering Nankai University School of Computing National University of Singapore Department of Binhai Nankai University

One of the major software safety issues is memory leak. Moreover, detecting memory leak vulnerabilities is challenging in static analysis. Existing static detection tools find bugs by collecting programs' information in the process of scanning source code. However, the current detection tools are weak in efficiency and accuracy, especially when the targeted program contains complex branches. This paper proposes a projection-based approach to detect memory leaks in C source code with complex control flows. According to the features of memory allocation and deallocation in C source code, this approach projects the original control flow graph of a program to a simpler one, and it reduces the analysis complexity. Besides, this paper implements a memory-leak detection tool-PML_Checker, and evaluates the tool by comparing with three open-source static detection tools on both public benchmarks and study test cases. The experimental results show that PML_Checker reports the most memory leak vulnerabilities among the four existing tools with complex control flows and complex data types, and PML_Checker obtains higher efficiency and accuracy on public benchmarks.

关键词： Aerospace electronics Resource management Tools Memory management Complexity theory Projection algorithms Software

来源：评论

学校读者我要写书评

暂无评论

Design embedded control system based controller of the quasi time optimization approach for a magnetic levitation system

引用

IOP Conference Series: Materials Science and engineering 2021年第1期1029卷

作者： C X Nguyen T D Pham A D Lukynov P C Tran Q D Truong Department of Automation and Computing Techniques Le Quy Don Technical University Hanoi Vietnam Department of Technology Equipment and Aerospace Le Quy Don Technical University Hanoi Vietnam Department of Automation of production processes Don State Technical University Rostov-on-Don Russia Department anti-aircraft missiles Faculty of Control Engineering Le Quy Don Technical University Hanoi Vietnam

The magnetic levitation system is a typical system with many successful applications in practice. Due to the inherent instability and strong open-loop nonlinearity of the MLS, a controller is used to control the stability of the magnetic levitation system. With the rapid development of embedded systems, the intelligent digital control has begun to replace conventional analog control technology creating a new approach to the control MLS. This paper proposes a hardware module for the MLS based on a digital signal processor combined with a fast acting controller to ensure system stability even with incomplete mathematical models. The simulation and experimental results are compared with the linearized feedback control law. Finally, experiments are carried out to test the practical feasibility of the proposed control laws in the MLS embedded control system. The system, with the recommended controller, well responds to the tolerances allowing for stable system working. Both simulation and test results are included in this paper to show that the fast acting suboptimal controller has the advantage of being more durable and less complicated to perform in MLS control applications.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Effective Source Camera Identification based on MSEPLL Denoising Applied to Small Image Patches

Effective Source Camera Identification based on MSEPLL Denoi...

引用

Asia-Pacific Signal and Information Processing Association Annual Summit and Conference (APSIPA)

作者： Wen-Na Zhang Yun-Xia Liu Ze-Yu Zou Yun-Li Zang Yang Yang Bonnie Ngai-Fong Law Shandong Provincial Key Laboratory of Network Based Intelligent Computing University of Jinan Jinan China School of Control Science and Engineering Shandong University Jinan China Integrated Electronic Systems Lab Co. Ltd Jinan China School of Information Science and Engineering Shandong University Qingdao China The Hong Kong Polytechnic University Hong Kong China

ISBN: (数字)9781728132488

ISBN: (纸本)9781728132495

Sensor Pattern Noise (SPN) has proven to be an effective fingerprint for source camera identification, while its estimation accuracy heavily relies on denoising algorithm. In this paper, an effective source camera identification scheme based on Multi-Scale Expected Patch Log Likelihood (MSEPLL) denoising algorithm is proposed, firstly. With enhanced prior modeling across multiple scales, MSEPLL can accurately restore the original image. As a consequence, estimated SPN is less influenced by image content. Secondly, the source camera identification problem is formulated by hypothesis testing, where normalized correlation coefficient is adopted for SPN detection. Finally, the effectiveness of the proposed method is verified by abundant experiments in terms of identification accuracy as well as receiver operating characteristic. Performance improvement is more prominent for small image patches, which is more conducive to real forensics applications.

关键词： Cameras Maximum likelihood estimation Gaussian processes Wiener filters Image denoising Image restoration

来源：评论

学校读者我要写书评

暂无评论

From Mind to Products:Towards Social Manufacturing and Service

引用

IEEE/CAA Journal of Automatica Sinica 2018年第1期5卷 47-57页

作者： Gang Xiong Fei-Yue Wang Timo R. Nyberg Xiuqin Shang Mengchu Zhou Zhen Shen Shuangshuang Li Chao Guo Key Laboratory for Management and Control of Complex Systems Institute of Automation Beijing 100190 China School of Science at Aalto University Aalto FI-00076 Finland Laboratory for Discrete Event Systems New Jersey Institute of Technology NJ-07102 USA Beijing Engineering Research Center of Intelligent Systems and Technology Institute of Automation Beijing 100190 China Qingdao Academy of Intelligent Industries Qingdao 266109 China Cloud Computing Center Dongguan 523808 China IEEE

After reviewing the development of industrial manufacturing, a novel concept called social manufacturing(SM) and service are proposed as an innovative manufacturing solution for the coming personalized customization era. SM can realize a customer's requirements of "from mind to products", and fulfill tangible and intangible needs of a prosumer, i.e., producer and consumer at the same time. It represents a manufacturing trend,and is expected to become popular in more and more ***, a comparison between mass customization and SM is given out, and the basis and motivation from social network to SM is analyzed. Then, its basic theories and supporting technologies,like Internet of Things(Io T), social networks, cloud computing,3 D printing, and intelligent systems, are introduced and analyzed,and an SM platform prototype is developed. Finally, three transformation modes towards SM and 3 D printing are suggested for different user cases.

关键词： Big data cloud computing intelligent system social manufacturing social networks 3D printing

来源：评论

学校读者我要写书评

暂无评论

Gut microbiota and diabetes: From correlation to causality and mechanism

引用

World Journal of Diabetes 2020年第7期11卷 293-308页

作者： Wei-Zheng Li Kyle Stirling Jun-Jie Yang Lei Zhang Microbiome-X Beijing Advanced Innovation Center for Big Data-Based Precision MedicineSchool of Medicine and EngineeringKey Laboratory of Big Data-Based Precision MedicineBeihang UniversityBeijing 100191China School of Biological Science and Medical Engineering Beihang UniversityBeijing 100191China Luddy School of Informatics Computing and EngineeringIndiana UniversityBloomingtonIN 47408United States The Crisis Technologies Innovation Lab Indiana UniversityThe Information Technology Services and the Pervasive Technology InstituteBloomingtonIN 47408United States Shandong Institute of Industrial Technology for Health Sciences and Precision Medicine Jinan 250000Shandong ProvinceChina College of Life Science Qilu Normal UniversityJinan 250000Shandong ProvinceChina Microbiome Research Center Shandong Institutes for Food and Drug ControlJinan 250000Shandong ProvinceChina Shandong Children’s Microbiome Center Qilu Children's Hospital of Shandong UniversityJinan 250000Shandong ProvinceChina Microbiological Laboratory Lin Yi People’s HospitalLinyi 276000Shandong ProvinceChina Qingdao Human Microbiome Center The Affiliated Central Hospital of Qingdao UniversityQingdao 266000Shandong ProvinceChina Institute for Medical Dataology Cheeloo College of MedicineShandong UniversityJinan 250000Shandong ProvinceChina Department of Biostatistics School of Public HealthCheeloo College of MedicineShandong UniversityJinan 250000Shandong ProvinceChina Shandong Children’s Microbiome Center Research Institute of PediatricsQilu Children's HospitalCheeloo College of MedicineShandong Universityand Jinan Children's HospitalJinan 250022Shandong ProvinceChina

In this review,we summarize the recent microbiome studies related to diabetes disease and discuss the key findings that show the early emerging potential causal roles for *** a global scale,diabetes causes a significant negative impact to the health status of human *** review covers type 1 diabetes and type 2 *** examine promising studies which lead to a better understanding of the potential mechanism of microbiota in diabetes *** appears that the human oral and gut microbiota are deeply interdigitated with *** is that *** studies of the human microbiome are capturing the attention of scientists and healthcare practitioners worldwide by focusing on the interplay of gut microbiome and *** studies focus on the role and the potential impact of intestinal microflora in *** paint a clear picture of how strongly microbes are linked and associated,both positively and negatively,with the fundamental and essential parts of diabetes in *** microflora seems to have an endless capacity to impact and transform *** conclude that there is clear and growing evidence of a close relationship between the microbiota and diabetes and this is worthy of future investments and research efforts.

关键词： Diabetes Microbiota Causality Mechanism Type 1 diabetes Type 2 diabetes Insulin resistance Inflammation Metabolites

来源：评论

学校读者我要写书评

暂无评论

Robust Dynamic Programming for Temporal Logic control of Stochastic Systems

arXiv

引用

arXiv 2018年

作者： Haesaert, Sofie Soudjani, Sadegh Control Systems Group Department of Electrical Engineering Eindhoven University of Technology Netherlands School of Computing Newcastle University United Kingdom

Discrete-time stochastic systems are an essential modelling tool for many engineering systems. We consider stochastic control systems that are evolving over continuous spaces. For this class of models, methods for the formal verification and synthesis of control strategies are computationally hard and generally rely on the use of approximate abstractions. Building on approximate abstractions, we compute control strategies with lower- and upper-bounds for satisfying unbounded temporal logic specifications. Firstly, robust dynamic programming mappings over the abstract system are introduced to solve the control synthesis and verification problem. These mappings yield a control strategy and a unique lower bound on the satisfaction probability for temporal logic specifications that is robust to the incurred approximation errors. Secondly, upper-bounds on the satisfaction probability are quantified, and properties of the mappings are analysed and discussed. Finally, we show the implications of these results for linear stochastic dynamic systems with a continuous state space. This abstraction-based synthesis framework is shown to be able to handle infinite-horizon properties. Approximation errors expressed as deviations in the outputs of the models and as deviations in the probabilistic transitions are allowed and are quantified using approximate stochastic simulation relations. Copyright © 2018, The Authors. All rights reserved.

关键词： Mapping

来源：评论

学校读者我要写书评

暂无评论

High-Frequency Keywords to Predict Defects for Android Applications

High-Frequency Keywords to Predict Defects for Android Appli...

引用

IEEE Annual International Computer Software and Applications Conference (COMPSAC)

作者： Yaqing Fan Xinya Cao Jing Xu Sihan Xu Hongji Yang College of Computer and Control Engineering Nankai University Tianjin China Centre for Creative Computing Bath Spa University Bath England

Android defect prediction has proved to be useful to reduce the manual testing effort for finding bugs. In recent years, researchers design metrics related to defects and analyze historical information to predict whether files contain defects using machine learning. However, those models learn to predict defects based on the characteristics of programs while ignoring the internal information, e.g., the functional and semantic information within the source code. This paper proposes a model, HIRER, to learn the functional and semantic information to predict whether files contain defects automatically for Android applications. Specifically, HIRER learns internal information within the source code based on the high-frequency keywords extracted from programs' Abstract Syntax Trees (ASTs). It gets rule-based programming patterns from high-frequency keywords and uses Deep Belief Network (DBN), a deep neutral network, to learn functional and semantic features from the programming patterns. We implement a defect testing system with five machine learning techniques based on HIRER to predict defective files in source code automatically. Then, we apply it on four open source Android applications. The results show that learned functional and semantic features can predict more defects than traditional metrics. In different versions of MMS, Gallery2, Bluetooth, Calendar open source applications, HIRER improves the AUC of the predicted results respectively in average.

关键词： Semantics Feature extraction Measurement Predictive models Androids Humanoid robots Programming

来源：评论

学校读者我要写书评

暂无评论

Applying the MQTT Protocol on Embedded System for Smart Sensors/Actuators and IoT Applications

Applying the MQTT Protocol on Embedded System for Smart Sens...

引用

International Conference on Electrical engineering/Electronics, Computer, Telecommunications and Information Technology, ECTI-CON

作者： Santi Nuratch Embedded Computing and Control Laboratory (ECC-Lab) Faculty of Engineering King Mongkut’s University of Technology Thonburi Bangkok Thailand

ISBN: (纸本)9781538635568;9781538635551

This research presents implementation guidelines and techniques for applying the MQTT protocol on an embedded system to construct smart sensors/actuators and many IoT applications. The proposed system is based on a small and low-cost microcontroller. A firmware of the microcontroller is designed and implemented based on a custom operating system using the special technique. The powerful implementation technique is called the Asynchronous Event-Driven Non-Blocking I/O. All peripheral drivers used in the proposed system are implemented based on event-driven queue and callback functions. With this implementation approach, we can achieve the very high efficiency of the microcontroller. The proposed system can connect to the internet network using WiFi module of Ethernet controller. It is fully evaluated in real-world environments and tested in many possible conditions. The experimental results show that the proposed system can work correctly as expected in all situations.

关键词： Protocols Microcontrollers Servers Embedded systems Internet of Things Wireless fidelity Ethernet

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：