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

arXiv 2024年

作者： Erata, Ferhat Gardent, Claire Gyawali, Bikash Shimorina, Anastasia Lussaud, Yvan Tekinerdogan, Bedir Kardas, Geylani Monceaux, Anne Information Technology Group Wageningen University Research Centre Netherlands CNRS LORIA UMR 7503 Nancy Vandoeuvre-les-NancyF-54500 France System Engineering Platforms Airbus Group Innovations Toulouse France UNIT Information Technologies R&D Ltd. Izmir Turkey Ege University International Computer Institute Izmir Turkey KoçSistem Information and Communication Services Inc Istanbul Turkey OBEO Nantes France

The ModelWriter platform provides a generic framework for automated traceability analysis. In this paper, we demonstrate how this framework can be used to trace the consistency and completeness of technical documents that consist of a set of system Installation Design Principles used by Airbus to ensure the correctness of aircraft system installation. We show in particular, how the platform allows the integration of two types of reasoning: reasoning about the meaning of text using semantic parsing and description logic theorem proving;and reasoning about document structure using first-order relational logic and finite model finding for traceability analysis. Copyright © 2024, The Authors. All rights reserved.

关键词： Semantics

来源：评论

学校读者我要写书评

暂无评论

Manufacturing A Low-Cost Telegram and Optical Character Recognition-Based Indoor Air Quality Monitoring Data Logger

Manufacturing A Low-Cost Telegram and Optical Character Reco...

引用

International Conference on Information Management and Technology (ICIMTech)

作者： Andi Pramono Satrio Arif Budiman Muchammad Farchan Andi Baso Mappaturi Interior Design Department School of Design Bina Nusantara University Jakarta Indonesia Information System Computer Science Faculty Brawijaya University Malang Indonesia Department of Electrical Engineering Faculty of Intelligent Electrical and Informatics Technology Institut Teknologi Sepuluh Nopember Surabaya Indonesia Architecture Department Faculty of Science and Technology Islamic State University of Maulana Malik Ibrahim Malang Indonesia

Urban air is frequently contaminated with CO, CO2, VOC, HCHO, PM 2.5, and PM 10. Rural regions are at a lower risk than those near roads and industrial areas that produce emissions. Air pollutants negatively affect its inhabitants' health, particularly the respiratory system. Most people will spend more time indoors, requiring a method for monitoring indoor air quality (IAQ). Urban communities need IAQ monitoring instruments as an early warning system for their health. This research seeks to produce inexpensive IAQ that can be utilized by all levels of society, particularly urban communities. This research utilizes a qualitative, design-thinking-based methodology. The research diverged from Empatize, which asserts that urban communities require a method for determining the local air quality. Moreover, it is determined at the define stage that IAQ monitoring, which includes a data log feature, is still comparatively expensive, so a solution is developed at the ideate stage. Creating a prototype is the next step in realizing the specified solution. In this investigation, they decided to use IAQ monitoring, which is relatively inexpensive but lacks log data storage. The author uses the ESP32-cam microcontroller to capture the screen display device, and the resulting image is sent to a telegram and processed with optical character recognition (OCR) to generate a data log. The results of prototype testing are utilized for prototype development.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Research and implementation of complex task based on DMP 9

Research and implementation of complex task based on DMP

引用

9th IEEE Joint International Information Technology and Artificial Intelligence Conference, ITAIC 2020

作者： Jia, Jie Wang, Yucan Zuo, Guoyu Cao, Yilin Yu, Naigong Beijing University of Technology Faculty of Information Technology Beijing China Beijing Key Laboratory of Computational Intelligence and Intelligent System Beijing China University of Science and Technology School of Computer and Communication Engineering Beijing China

Aiming at the problem of poor task versatility in the strategy learning of complex tasks and cannot be generalized to obstacle environments, a method for robots learning from demonstration based on Dynamic Movement Primitive (DMP) is proposed. This method divides the demonstration task into several subtasks, and uses DMP to model each subtask. We utilize the local weighted regression algorithm to learn the corresponding weight of each subtask. Then the task trajectory is obtained by sequentially combining the generated subtask trajectory. The obstacle avoidance coupling item is added to the DMP framework to generate the obstacle avoidance task trajectory. The UR5 robotic arm is used to perform grasp and place tasks on the simulation platform as a demonstration task to verify the method in this article. © 2020 IEEE.

关键词： Trajectories

来源：评论

学校读者我要写书评

暂无评论

Chinese named entity recognition method for the field of network security based on RoBERTa

Chinese named entity recognition method for the field of net...

引用

International Conference on Networking and Network Applications (NaNA)

作者： Xiaoyan Zhu Yu Zhang Lei Zhu Xinhong Hei Yichuan Wang Feixiong Hu Yanni Yao School of Computer Science and Engineering Xi’an Jiaotong University Xi’an China Shaanxi Key Laboratory for Network Computing and Security Technology Xi’an China School of Computer Science and Technology Xi’an University of technology Xi’an China Shenzhen Tencent Computer System Co. Ltd Shenzhen China

As the mobile Internet is developing rapidly, people who use cell phones to access the Internet dominate, and the mobile Internet has changed the development environment of online public opinion and made online public opinion events spread more widely. In the online environment, any kind of public issues may become a trigger for the generation of public opinion and thus need to be controlled for network supervision. The method in this paper can identify entities from the event texts obtained from mobile Today's Headlines, People's Daily, etc., and informatize security of public opinion in event instances, thus strengthening network supervision and control in mobile, and providing sufficient support for national security event management. In this paper, we present a SW-BiLSTM-CRF model, as well as a model combining the RoBERTa pre-trained model with the classical neural network BiLSTM model. Our experiments show that this approach provided achieves quite good results on Chinese emergency corpus, with accuracy and F1 values of 87.21% and 78.78%, respectively.

关键词： Text recognition Cellular phones Semantics Neural networks Network security Feature extraction Internet

来源：评论

学校读者我要写书评

暂无评论

MalScan: Android Malware Detection Based on Social-Network Centrality Analysis

引用

IEEE Transactions on Dependable and Secure Computing 2025年

作者： Wu, Yueming Suo, Wenqi Feng, Siyue Zou, Deqing Yang, Wei Liu, Yang Jin, Hai Huazhong University of Science and Technology National Engineering Research Center for Big Data Technology and System Services Computing Technology and System Lab Hubei Engineering Research Center on Big Data Security School of Cyber Science and Engineering Wuhan430074 China Jinyinhu Laboratory Wuhan430074 China University of Texas at Dallas United States Nanyang Technological University Singapore Huazhong University of Science and Technology National Engineering Research Center for Big Data Technology and System Services Computing Technology and System Lab Cluster and Grid Computing Lab School of Computer Science and Technology Wuhan430074 China

Malware scanning of an app market is expected to be scalable and effective. However, existing approaches use syntax-based features that can be evaded by transformation attacks or semantic-based features which are usually extracted by expensive program analysis. Therefore, to address the scalability challenges of traditional heavyweight static analysis, we propose a graph-based lightweight approach MalScan for Android malware detection. MalScan considers the function call graph as a complex social network and employs centrality analysis on sensitive application program interfaces (APIs) to express the semantic characteristics of the graph. On this basis, machine learning algorithms and ensemble learning algorithms are applied to classify the extracted features. We evaluate MalScan on datasets of 104,892 benign apps and 108,640 malwares, and the results of experiments indicate that MalScan outperforms six state-of-the-art detectors and can quickly detect Android malware with an f-value as high as 99%. In addition, there are also significant improvements in the robustness of Android app evolution and robustness to obfuscation. Finally, we conduct an exhaustive statistical study of over one million applications in the Google-Play app market and successfully identify 498 zero-day malware, which further validates the feasibility of MalScan on market-wide malware scanning. © 2004-2012 IEEE.

关键词： Android malware

来源：评论

学校读者我要写书评

暂无评论

A Blockchain Based Automatic Access Scheme Design and Implement for Small Cell Base Station

A Blockchain Based Automatic Access Scheme Design and Implem...

引用

International Conference on Communication Technology (ICCT)

作者： Jingchao Liang Jun Wu Bin Tan Haoqi Ren Zhifeng Zhang Key Laboratory of Embedded System and Service Computing Ministry of Education School of Computer Science and Technology Tongji University Shanghai China School of Computer Science Fudan University Shanghai China Electronics and Information Engineering Jinggangshan University Ji'an China Electronics and Information Engineering Tongji University Shanghai China

ISBN: (纸本)9781665432078

5G technology is constrained by its higher frequency band and smaller coverage area, which leads to the need for operators to use technologies such as small cell base stations to increase the density of base station deployment to ensure signal coverage quality, which leads to more enormous construction costs. Therefore, it is urgent to find a safe and reliable solution that can use the existing public network to realize small cell base stations with automatic access. Based on this demand, we summarize various existing small cell base station automatic access technology solutions and their advantages and disadvantages while combing the characteristics of blockchain technology and its application solutions in similar scenarios. And then, we propose a new blockchain-based base station automatic access solution and implements the system in a practical scenario. In our solution, we innovatively introduce blockchain as an intermediate manager for small base stations and core networks, which solves traditional solutions requiring customized equipment while ensuring safety and reliability. It reduces costs and improves efficiency, but some problems are brought by the “decentralization” of blockchain waiting to be solved.

关键词： Base stations Costs 5G mobile communication Conferences Communications technology Blockchains Safety

来源：评论

学校读者我要写书评

暂无评论

Zema Dataset: A Comprehensive Study of Yaredawi Zema with a Focus on Horologium Chants

arXiv

引用

arXiv 2024年

作者： Muluneh, Mequanent Argaw Peng, Yan-Tsung Degife, Worku Abebe Tadesse, Nigussie Abate Demeku, Aknachew Mebreku Su, Li Institute of Information Science Academia Sinica Taipei Taiwan Department of Information System University of Gondar Gondar Ethiopia Department of Computer Science National Chengchi University Taipei Taiwan Social Networks and Human-Centered Computing Program Taiwan International Graduate Program Taiwan Department of Information Management National Taiwan University of Science and Technology Taipei Taiwan Department of Material Science and Engineering National Taiwan University of Science and Technology Taipei Taiwan

Computational music research plays a critical role in advancing music production, distribution, and understanding across various musical styles in the world. Despite the immense cultural and religious significance, the Ethiopian Orthodox Tewahedo Church (EOTC) chants are relatively underrepresented in computational music research. This paper contributes to this field by introducing a new dataset specifically tailored for the analysis of EOTC chants, also known as Yaredawi Zema. This work provides a comprehensive overview of a 10-hour dataset, 369 instances, creation, and curation process, including rigorous quality assurance measures. Our dataset has a detailed word-level temporal boundary and reading tone annotation along with the corresponding chanting mode label of audios. Moreover, we have also identified the chanting options associated with multiple chanting notations in the manuscript by annotating them accordingly. Our goal in making this dataset available to the public1 is to encourage more research and study of EOTC chants, including lyrics transcription, lyric-to-audio alignment, and music generation tasks. Such research work will advance knowledge and efforts to preserve this distinctive liturgical music, a priceless cultural artifact for the Ethiopian people. © 2024, CC BY.

关键词： Music

来源：评论

学校读者我要写书评

暂无评论

Learning from pseudo lesion: A self-supervised framework for covid-19 diagnosis

arXiv

引用

arXiv 2021年

作者： Li, Zhongliang Jin, Zhihao Li, Xuechen Shen, Linlin Computer Vision Institute College of Computer Science and Software Engineering Shenzhen University Shenzhen518060 China National Engineering Laboratory for Big Data System Computing Technology Shenzhen University Shenzhen518060 China Guangdong Key Laboratory of Intelligent Information Processing Shenzhen University Shenzhen518060 China

The Coronavirus disease 2019 (COVID-19) has rapidly spread all over the world since its first report in December 2019 and thoracic computed tomography (CT) has become one of the main tools for its diagnosis. In recent years, deep learning-based approaches have shown impressive performance in myriad image recognition tasks. However, they usually require a large number of annotated data for training. Inspired by Ground Glass Opacity (GGO), a common finding in COIVD-19 patient's CT scans, we proposed in this paper a novel self-supervised pretraining method based on pseudo lesions generation and restoration for COVID-19 diagnosis. We used Perlin noise, a gradient noise based mathematical model, to generate lesion-like patterns, which were then randomly pasted to the lung regions of normal CT images to generate pseudo COVID-19 images. The pairs of normal and pseudo COVID-19 images were then used to train an encoder-decoder architecture based U-Net for image restoration, which does not require any labelled data. The pretrained encoder was then fine-tuned using labelled data for COVID-19 diagnosis task. Two public COVID- 19 diagnosis datasets made up of CT images were employed for evaluation. Comprehensive experimental results demonstrated that the proposed self-supervised learning approach could extract better feature representation for COVID-19 diagnosis and the accuracy of the proposed method outperformed the supervised model pretrained on large scale images by 6.57% and 3.03% on SARS-CoV-2 dataset and Jinan COVID-19 dataset, respectively. © 2021, CC BY-NC-SA.

关键词： Coronavirus

来源：评论

学校读者我要写书评

暂无评论

Review about PD and breakdown induced by conductive particles in an insulating liquid

引用

High Voltage 2020年第3期5卷 287-297页

作者： Cheng Pan Ju Tang George Chen Yongze Zhang Xinyu Luo School of Electrical Engineering and Automation Wuhan UniversityWuhan 430072People's Republic of China State Key Laboratory of Power Transmission Equipment and System Security and New Technology Chongqing UniversityChongqing 400044People's Republic of China School of Electronics and Computer Science University of SouthamptonSouthampton SO171BJUK

In insulating liquid,a conductive particle becomes charged through the interaction with a conductor exposed to an applied ***,it migrates in the action of both electric field and fluid and causes the enhancement of local field when it is in proximity of the conductor with opposite *** enhancement will lead to partial discharge(PD)and may even ignite full gap breakdown in special *** study reviews comprehensive researches relevant to these *** the first place,several theoretical methods about how to obtain the charges held by a conductive particle with known potential are introduced,so are experimental ***,forces acting on the charged particle in liquid are classified,and its migration characteristics,as well as influential factors,are ***,PD and breakdown mechanisms of liquid initiated by conductive particles are *** latter involves two cases:electric-field enhancement when the particle concentration is low and bridging phenomenon when it is *** last,two important,but frequently ignored factors,*** barrier and oil flow,are highlighted,and the authors’suggestions for future work are put forward.

关键词： field. conductive liquid

来源：评论

学校读者我要写书评

暂无评论

Distributed continuous-time strategy-updating rules for noncooperative games with discrete-time communication

arXiv

引用

arXiv 2021年

作者： Cai, Xin Xiao, Feng Wei, Bo Fang, Fang State Key Laboratory of Alternate Electrical Power System with Renewable Energy Sources The School of Control and Computer Engineering North China Electric Power University Beijing102206 China School of Electrical Engineering Xinjiang University Urumqi830047 China School of Control and Computer Engineering North China Electric Power University Beijing102206 China

In this paper, continuous-time noncooperative games in networks of double-integrator agents are explored. The existing methods require that agents communicate with their neighbors in real time. In this paper, we propose two discrete-time communication schemes based on the designed continuous-time strategy-updating rule for the efficient use of communication resources. First, the property of the designed continuous-time rule is analyzed to ensure that all agents’ strategies can converge to the Nash equilibrium. Then, we propose periodic and event-triggered communication schemes for the implementation of the designed rule with discrete-time communication. The rule in the periodic case is implemented synchronously and easily. The rule in the event-triggered case is executed asynchronously without Zeno behaviors. All agents in both cases can asymptotically reach to the Nash equilibrium by interacting with neighbors at discrete times. Simulations are performed in networks of Cournot competition to illustrate the effectiveness of the proposed *** Codes 91A10, 93A14, 93A16, 93D50 Copyright © 2021, The Authors. All rights reserved.

关键词： Game theory

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：