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

7th International Conference on Fuzzy systems and Data Mining, FSDM 2021

作者： Cao, Cungen Hu, Lanxi Sui, Yuefei Key Laboratory of Intelligent Information Processing Institute of Computing Technology Chinese Academy of Sciences China School of Computer Science and Technology University of Chinese Academy of Sciences China

ISBN: (纸本)9781643682143

R-calculus is a belief revision operator satisfying AGM postulates, and belief revision in ontology engineering is ontology revision, which based logic is description logics. In Post three-valued description logic, a tableau proof system Tt will be given such that Tt is sound and complete for t-satisfiability, and nonmonotonic, that is, a theory Δis t-satisfiable if and only if Δis deducible in Tt. Based on the tableau proof system, an R-calculus Rt will be given such that a configuration Î"|C(a) is reducible to C(a),Δif and only if C(a) is t-satisfiable with Î", if and only if reduction Î"|C(a) â‡' C(a),Δis deducible in Rt. © 2021 The authors and IOS Press.

关键词： Ontology

来源：评论

学校读者我要写书评

暂无评论

Formal Modeling and Defense Methods for 5G Network Endpoint Access Denial of Service Attacks

Formal Modeling and Defense Methods for 5G Network Endpoint ...

引用

International Conference on Networking and Network Applications (NaNA)

作者： Tong Zhang Wei Wei Yichuan Wang Xi Deng Lei Zhu Wenjiang Ji School of Computer Science and Engineering Xi'an University of Technology Xi'an China Shaanxi Key Laboratory for Network Computing and Security Technolog Xi'an China School of Computer Science Xi'an Shiyou University Xi'an China

5G terminal access denial-of-service attack is one of the more common types of 5G signaling network attacks. It manifests itself as a large number of abnormal access requests occupying core network resources. Normal requests cannot obtain resources, resulting in unstable network services, and users will be unable to connect or drop connections, eventually leading to frequent terminal takeoffs and landings. This paper proposes a formal modeling scheme for a 5G terminal access denial-of-service attack. The attack principle is analyzed, a defense scheme is designed and modeled, and analyzed, and then quantitative experiments are conducted, and the experimental results show the effectiveness of the defense scheme.

关键词：

来源：评论

学校读者我要写书评

暂无评论

A HRI Framework Based on Eye Tracking

A HRI Framework Based on Eye Tracking

引用

作者： Zhao, Xiaodong Liu, Zheng Cheng, Shiwei Zhejiang University of Technology School of Computer Science Hangzhou310023 China Zhejiang Provincial Key Laboratory of Integration of Healthy Smart Kitchen System Ningbo315336 China China Academy of Art Hangzhou310000 China

ISBN: (纸本)9781643682563

Existing human-robot interaction (HRI) technologies are not intuitive or effective enough for the disabled. Most of them can neither express their explicit intent (voice, posture, touch, etc.), nor communicate based on implicit intent. We propose a novel HRI framework for implicit intent reasoning based on eye tracking. The framework is designed for people with normal vision, and it will track and analyze their eye movements to infer their intents in a smart home environment. These intents are then sent to an assistive robot and guide the robot to accomplish specific tasks such as using keys to open the door. Two Experiments were carried out to validate the effectiveness of the framework. In the implicit intents classification task, the average classification accuracy of the two implicit intents (task-free visual browsing and task-oriented visual search) was 84.43% via the Support Vector Machine (SVM). In implicit intent reasoning task, Naive Bayesian (NB) networks were used to establish the intent knowledge base, reaching the highest accuracy of intent reasoning was 98%. These results proved that our framework could aid the elderly and the disabled to better adapt to the smart home environment in their daily life. © 2022 The authors and IOS Press.

关键词： Bayesian networks

来源：评论

学校读者我要写书评

暂无评论

Dockformer: A transformer-based molecular docking paradigm for large-scale virtual screening

arXiv

引用

arXiv 2024年

作者： Yang, Zhangfan Ji, Junkai He, Shan Li, Jianqiang He, Tiantian Bai, Ruibin Zhu, Zexuan Ong, Yew Soon School of Computer Science University of Nottingham Ningbo Ningbo315199 China National Engineering Laboratory for Big Data System Computing Technology Shenzhen University Shenzhen518060 China Singapore138632 Singapore School of Computer Science University of Birmingham BirminghamB15 2TT United Kingdom School of Computer Science and Engineering Nanyang Technological University Nanyang Avenue 639798 Singapore

Molecular docking is a crucial step in drug development, which enables the virtual screening of compound libraries to identify potential ligands that target proteins of interest. However, the computational complexity of traditional docking models increases as the size of the compound library increases. Recently, deep learning algorithms can provide data-driven research and development models to increase the speed of the docking process. Unfortunately, few models can achieve superior screening performance compared to that of traditional models. Therefore, a novel deep learning-based docking approach named Dockformer is introduced in this study. Dockformer leverages multimodal information to capture the geometric topology and structural knowledge of molecules and can directly generate binding conformations with the corresponding confidence measures in an end-to-end manner. The experimental results show that Dockformer achieves success rates of 90.53% and 82.71% on the PDBbind core set and PoseBusters benchmarks, respectively, and more than a 100-fold increase in the inference process speed, outperforming almost all state-of-the-art docking methods. In addition, the ability of Dockformer to identify the main protease inhibitors of coronaviruses is demonstrated in a real-world virtual screening scenario. Considering its high docking accuracy and screening efficiency, Dockformer can be regarded as a powerful and robust tool in the field of drug design. © 2024, CC BY-NC-ND.

关键词： Molecular docking

来源：评论

学校读者我要写书评

暂无评论

Research on the design of indoor air quality monitoring system based on cloud-side-end collaboration

Research on the design of indoor air quality monitoring syst...

引用

International Conference on computer Engineering and Applications (ICCEA)

作者： Liang Yu Yuting Lin Haonan Xu Jiabao Yang Guotong Zhao College of Computer Guangdong University of Science and Technology DongGuan China AIoT Edge Computing Engineering Technology Research Center of Dongguan City Guangdong AIoT Application Innovation Joint Laboratory School of Information Technology & Engineering Guangzhou College of Commerce Guangzhou China

ISBN: (数字)9798350386776

ISBN: (纸本)9798350386783

Given that individuals spend more than 90% of their time indoors, research indicates a direct correlation between indoor air quality and overall health and well-being. With the rise of respiratory illnesses and increasing concerns about indoor air quality, traditional methods such as using potted plants, air purifiers, and basic air conditioning units with purification capabilities are insufficient for real-time monitoring. To address these challenges, this study proposes an intelligent indoor air quality monitoring system that leverages cloud-edge-end collaboration. The system includes a cost-effective air quality monitor on the device side to collect and localize indoor air quality data. This data is then transmitted to the edge-side ceiling light via WiFi-Mesh. A machine learning model deployed using the CNN-LSTM algorithm on the Edge Impluse platform is used to analyze and predict indoor air quality levels over time. The system uploads this information to a cloud MQTT server using the Cat.1 protocol and sends notifications to subscribed users via a mobile app, enabling individuals to monitor and adjust indoor air quality as needed. This proactive approach can help reduce air pollution, decrease disease incidence, and enhance overall quality of life. Physical and deployment tests demonstrate the system's high performance, with a training accuracy of 97.5%, F1-SCORE of 95%, and prediction accuracy of 94.1%, making it a reliable tool for indoor air quality management.

关键词： Protocols Accuracy Atmospheric modeling Collaboration Predictive models Real-time systems Servers

来源：评论

学校读者我要写书评

暂无评论

Merging Clinical Knowledge into Large Language Models for Medical Research and Applications: A Survey

arXiv

引用

arXiv 2025年

作者： Li, Qiyuan Liu, Haijiang Guo, Caicai Chen, Deyu Wang, Meng Gao, Feng Gu, Jinguang College of Computer Science and Technology Wuhan University of Science and Technology Hubei Wuhan430065 China Hubei Province Key Laboratory of Intelligent Information Processing and Real-time Industrial System Hubei Wuhan430065 China The Key Laboratory of Rich-Media Knowledge Organization Service of Digital Publishing Content Institute of Scientific and Technical Information of China Beijing100038 China School of Computer Science and Technology Huazhong University of Science and Technology Hubei Wuhan430074 China School of Cyber Science and Engineering Wuhan University Hubei Wuhan430072 China

Clinical knowledge is the collection of information learned from studies on the causes, prognosis, diagnosis, and treatment of diseases. This type of knowledge can improve curing performances, and promote physical health. With the emergence of large language models (LLMs), medical artificial intelligence (medical AI), which aims to apply academic medical AI systems to real-world medical scenarios, has entered a new age of development, resulting in excellent works such as DoctorGPT and Pangu-Drug from academic and industrial researches. However, the field lacks a comprehensive compendium and comparison of building medical AI systems from academia and industry. Therefore, this survey focuses on the building paradigms of medical AI systems including the use of clinical databases, datasets, training pipelines, integrating medical knowledge graphs, system applications, and evaluation systems. We hope that this survey can help relevant practical researchers understand the current performance of academic models in various fields of healthcare, as well as the potential problems and future directions for implementing these scientific achievements. Copyright © 2025, The Authors. All rights reserved.

关键词： Clinical research

来源：评论

学校读者我要写书评

暂无评论

Reliability Analysis of Heterogeneous Sensor-Cloud systems against Targeted Attacks

引用

China Communications 2022年第8期19卷 181-197页

作者： Hao Peng Zhen Qian Guangquan Xu Kejie Mao Kangtian Li Dandan Zhao Department of Computer Science and Engineering Zhejiang Normal UniversityJinhua Zhejiang 321004China Key Laboratory of Intelligent Education Technology and Application of Zhejiang Province Zhejiang Normal UniversityJinhua Zhejiang 321004China The Big Data School Qingdao Huanghai UniversityQingdao Shandong 266427China College of Intelligence and Computing Tianjin UniversityTianjin 300072China

Based on the wide application of cloud computing and wireless sensor networks in various fields,the Sensor-Cloud system(SCS)plays an indispensable role between the physical world and the network ***,due to the close connection and interdependence between the physical resource network and computing resource network,there are security problems such as cascading failures between systems in the *** this paper,we propose a model with two interdependent networks to represent a sensor-cloud ***,based on the percolation theory,we have carried out a formulaic theoretical analysis of the whole process of cascading *** the system’s subnetwork presents a steady state where there is no further collapse,we can obtain the largest remaining connected subgroup components and the penetration ***,this result is the critical maximum that the coupled SCS can *** verify the correctness of the theoretical results,we further carried out actual simulation *** results show that a scale-free network priority attack’s percolation threshold is always less than that of ER network which is priority ***,when the scale-free network is attacked first,adding the power law exponentλcan be more intuitive and more effective to improve the network’s reliability.

关键词： sensor-cloud systems targeted attacks heterogeneous networks reliability analysis system security

来源：评论

学校读者我要写书评

暂无评论

A Blockchain-based PHR Sharing Scheme with Attribute Privacy Protection

A Blockchain-based PHR Sharing Scheme with Attribute Privacy...

引用

IEEE International Conference on Trust, Security and Privacy in computing and Communications (TrustCom)

作者： Chaohe Lu Zhongyuan Yu Guijuan Wang Anming Dong Xiang Tian School of Computer Science Qufu Normal University Rizhao China School of Information Science and Engineering Lanzhou University Lanzhou China Key Laboratory of Computing Power Network and Information Security Ministry of Education Shandong Computer Science Center Qilu University of Technology (Shandong Academy of Sciences) Jinan China Shandong Provincial Key Laboratory of Industrial Network and Information System Security Shandong Fundamental Research Center for Computer Science Jinan China

ISBN: (数字)9798331506209

ISBN: (纸本)9798331506216

With the rapid advancement and application of the Internet of Medical Things (IoMT), personal health records (PHRs) are now increasingly comprised of data collected by Internet of Things (IoT) devices and medical records documented by healthcare professionals. Personal health record (PHR) sharing demonstrates great potential in improving the accuracy of disease diagnosis. However, PHR sharing also brings risks such as illegal access and personal information leakage. Some works explored using blockchain or attribute-based encryption (ABE) to solve these privacy leakage problems, but those solutions did not pay attention to the user’s attribute privacy. In this work, we combine a linear secret sharing scheme (LSSS) and zero-knowledge succinct non-interactive argument of knowledge (zkSNARK) scheme to design an efficient zero-knowledge proof protocol called zk-AHSNARK. It can verify the user’s attribute permissions while also hiding attribute information. Based on zk-AHSNARK, we propose a novel PHR sharing scheme that protects attribute privacy. Data security is ensured by storing encrypted data in the interplanetary file system (IPFS). In addition, we introduce keyword ciphertext search to achieve fast data retrieval, and we implement the search and verification algorithms via a smart contract, ensuring the trustworthiness and integrity of the execution. Finally, through a large number of simulations, we demonstrated the suggested scheme’s viability and security.

关键词： Access control Privacy Smart contracts Blockchains Encryption InterPlanetary File system Medical diagnosis Protection Secure storage Medical diagnostic imaging

来源：评论

学校读者我要写书评

暂无评论

Automated Injury Detection and Alert systems in Public Transportation Integrating IoT with Convolutional Neural Networks 2

Automated Injury Detection and Alert Systems in Public Trans...

引用

2nd International Conference on Self Sustainable Artificial Intelligence systems, ICSSAS 2024

作者： Vimal, S.P. Peter, John Benito Jesudasan Kavitha, U. Bhuvaneswari, G. Manikandan, G. Thamizhamuthu, R. Sri Ramakrishna Engineering College Department of Electronics and Communication Engineering Tamil Nadu Coimbatore India Capital One Services Llc RichmondVA United States Vel Tech RangarajanDr.Sagunthala R&d Institute of Science and Technology School of Commerce Tamil Nadu Chennai India Saveetha Engineering College Department of Computer Science and Engineering Tamil Nadu Chennai India Rmk Engineering College Department of Artificial Intelligence and Data Science Tamil Nadu Chennai India Srm Institute of Science and Technology Department of Computing Technologies Kattankulathur Campus-Chengalpattu Tamil Nadu Chennai India

ISBN: (纸本)9798350368413

Innovative methods to improve public transportation safety and response mechanisms have emerged due to Internet of Things (IoT) and artificial intelligence (AI) technologies. IoT devices and Convolutional Neural Networks (CNNs), a class of deep learning algorithms analyzing visual imagery, are used to create an innovative Automated Injury Detection and Alert system (AIDAS) for public transportation. The proposed AIDAS architecture employs IoT sensors and cameras in buses and trains to monitor and evaluate passengers' physical health in real time. These sensors can detect unexpected impacts, odd motions, and distressing noises. A strong CNN model trained to detect passenger injury or bodily damage receives live images from the onboard cameras. An automatic alarm process is activated immediately upon injury detection. The closest emergency response teams and transportation system operators get complete event reports, including time, position (by GPS coordinates), and injury type. A quick reaction to accidents with this real-time alarm system might save lives and reduce public transportation injuries. AIDAS' use of IoT and CNN technology is innovative in public transportation safety. The technology significantly improved emergency response times and reduced unattended injuries in public transport networks. The system's excellent damage detection accuracy is due to CNNs' advanced image processing and pattern recognition skills and IoT devices' sensory inputs. It also addresses privacy issues and the necessity for strong data encryption and proposes solutions. Finally, it analyzes how AIDAS affects public transportation safety and future research and development in this critical field. © 2024 IEEE.

关键词： Convolutional neural networks

来源：评论

学校读者我要写书评

暂无评论

Improving Smart Contract Security with Contrastive Learning-Based Vulnerability Detection

Improving Smart Contract Security with Contrastive Learning-...

引用

International Conference on Software Engineering (ICSE)

作者： Yizhou Chen Zeyu Sun Zhihao Gong Dan Hao Key Lab of HCST (PKU) MOE School of Computer Science Peking University Beijing China Science & Technology on Integrated Information System Laboratory Institute of Software Chinese Academy of Sciences Beijing China

ISBN: (数字)9798400702174

ISBN: (纸本)9798350382143

Currently, smart contract vulnerabilities (SCVs) have emerged as a major factor threatening the transaction security of blockchain. Existing state-of-the-art methods rely on deep learning to mitigate this threat. They treat each input contract as an independent entity and feed it into a deep learning model to learn vulnerability patterns by fitting vulnerability labels. It is a pity that they disregard the correlation between contracts, failing to consider the commonalities between contracts of the same type and the differences among contracts of different types. As a result, the performance of these methods falls short of the desired level. To tackle this problem, we propose a novel Contrastive Learning Enhanced Automated Recognition Approach for Smart Contract Vulnerabilities, named Clear. In particular, Clear employs a con-trastive learning (CL) model to capture the fine-grained correlation information among contracts and generates correlation labels based on the relationships between contracts to guide the training pro-cess of the CL model. Finally, it combines the correlation and the semantic information of the contract to detect SCVs. Through an empirical evaluation of a large-scale real-world dataset of over 40K smart contracts and compare 13 state-of-the-art baseline methods. We show that Clear achieves (1) optimal performance over all base-line methods; (2) 9.73%-39.99% higher F1-score than existing deep learning methods.

关键词： Deep learning Training Correlation Smart contracts Semantics Fitting Blockchains

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：