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

您好，读者！请登录

内蒙古大学图书馆

首页
概况
党建
资源
服务
科研支持
- 论文收录引用证明
- 科技查新
知识产权
档案馆
帮助

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入0个字，您还可以输入200个字

全部搜索
期刊论文
图书
学位论文
标准
纸本馆藏
外文资源发现
数据库导航
超星发现

高级检索

时间限定

出版年份：

文献类型

图书期刊文献学位论文多媒体

馆藏选择

电子馆藏纸本馆藏

核心期刊

全部期刊 SCI 收录期刊 SSCI 收录期刊 EI 收录期刊 CSCD 收录期刊 CSSCI 收录期刊

语言

中文英文

文献类型

期刊文献图书学位论文标准纸本馆藏

帮助

文字说明：

T=题名（书名、题名），A=作者（责任者），K=主题词，P=出版物名称，PU=出版社名称，O=机构（作者单位、学位授予单位、专利申请人），L=中图分类号，C=学科分类号，U=全部字段，Y=年（出版发行年、学位年度、标准发布年）

检索规则说明：

AND代表“并且”；OR代表“或者”；NOT代表“不包含”；(注意必须大写,运算符两边需空一格)

检索范例：

范例一：(K=图书馆学 OR K=情报学) AND A=范并思 AND Y=1982-2016
范例二：P=计算机应用与软件 AND (U=C++ OR U=Basic) NOT K=Visual AND Y=2011-2016

分类表

所选分类

>> <<

限定检索结果

文献类型

64,578 篇 会议
1,383 册 图书
574 篇 期刊文献
1 篇 科技报告

馆藏范围

66,534 篇 电子文献
2 种 纸本馆藏

日期分布

学科分类号

34,297 篇 工学
- 28,032 篇 计算机科学与技术...
- 22,322 篇 软件工程
- 6,787 篇 信息与通信工程
- 4,384 篇 控制科学与工程
- 4,141 篇 电气工程
- 2,567 篇 电子科学与技术（可...
- 2,328 篇 生物工程
- 2,136 篇 机械工程
- 1,587 篇 生物医学工程（可授...
- 1,504 篇 动力工程及工程热...
- 1,438 篇 仪器科学与技术
- 1,119 篇 光学工程
- 1,108 篇 安全科学与工程
- 986 篇 网络空间安全
- 952 篇 土木工程
- 945 篇 建筑学
11,257 篇 理学
- 6,428 篇 数学
- 2,524 篇 生物学
- 2,486 篇 物理学
- 1,557 篇 统计学（可授理学、...
- 1,350 篇 系统科学
- 920 篇 化学
8,260 篇 管理学
- 5,822 篇 管理科学与工程(可...
- 3,045 篇 图书情报与档案管...
- 2,697 篇 工商管理
1,416 篇 医学
- 1,178 篇 临床医学
- 1,063 篇 基础医学(可授医学...
1,268 篇 法学
- 946 篇 社会学
1,183 篇 教育学
- 1,160 篇 教育学
1,002 篇 经济学
- 996 篇 应用经济学
424 篇 农学
332 篇 文学
116 篇 军事学
79 篇 艺术学
6 篇 哲学
4 篇 历史学

主题

4,658 篇 application soft...
4,386 篇 software enginee...
4,106 篇 software
3,607 篇 cloud computing
2,677 篇 computer archite...
2,587 篇 computational mo...
2,442 篇 computer science
2,274 篇 hardware
1,904 篇 distributed comp...
1,272 篇 artificial intel...
1,224 篇 protocols
1,157 篇 concurrent compu...
1,151 篇 mobile computing
1,109 篇 educational inst...
1,078 篇 computer network...
1,057 篇 servers
1,028 篇 security
1,023 篇 quality of servi...
1,015 篇 costs
947 篇 testing

机构

216 篇 college of compu...
130 篇 school of comput...
89 篇 national enginee...
74 篇 school of comput...
69 篇 school of softwa...
68 篇 school of comput...
64 篇 school of comput...
59 篇 department of co...
50 篇 school of big da...
49 篇 state key labora...
48 篇 national enginee...
48 篇 school of softwa...
41 篇 beijing key labo...
41 篇 school of comput...
39 篇 institute of inf...
37 篇 department of co...
37 篇 school of inform...
36 篇 school of softwa...
34 篇 college of compu...
34 篇 department of co...

作者

41 篇 zhang lei
36 篇 lei wang
35 篇 wang lei
33 篇 m. takizawa
32 篇 jian wang
32 篇 zhu huibiao
31 篇 ruimin hu
29 篇 xiao liu
29 篇 li li
27 篇 jing zhang
25 篇 li yang
25 篇 yu wang
23 篇 wang jing
23 篇 jun zhang
23 篇 liu yang
22 篇 xin liu
21 篇 min huang
21 篇 bin wang
21 篇 bernady o. apduh...
20 篇 wei liu

语言

65,409 篇 英文
793 篇 其他
419 篇 中文
5 篇 葡萄牙文
3 篇 西班牙文
3 篇 俄文
2 篇 德文
1 篇 法文

检索条件"任意字段=International Conference on Multimedia, Software Engineering and Computing"

共 66536 条记录，以下是181-190 订阅

全选清除本页清除全部题录导出标记到"检索档案"

详细简洁

排序：

A Formal Approach for Verifying and Validating Security Objectives in software Architecture 17th

A Formal Approach for Verifying and Validating Security Ob...

引用

17th international conference on Verification and Evaluation of Computer and Communication Systems, VECoS 2024

作者： Thierry, Loïc Hamid, Brahim Jaskolka, Jason IRIT Université de Toulouse CNRS UT2 118 Route de Narbonne Toulouse Cedex 931062 France Systems and Computer Engineering Carleton University 1125 Colonel By Drive OttawaONK1S 5B6 Canada

ISBN: (纸本)9783031853555

The design and analysis of security in distributed computing systems raises numerous questions on the tools available for modeling and verification. Particularly, it is difficult to ensure the correctness when using different validation processes in software architecture design. Assuring cross-platform validation manually is labor intensive, expertise dependent, and error prone. This paper proposes an approach for the design and analysis of secure software architecture in the context of a component-port-connector architecture model and message passing communication. We use the Event-B formal method to create the software architecture model and security in successive steps using the refinement process. We also use proof obligations to verify the security of the successive software architecture models. Furthermore, we use the ProB model-checker and animator for the model validation. © The Author(s), under exclusive license to Springer Nature Switzerland AG 2025.

关键词： Message passing

来源：评论

学校读者我要写书评

暂无评论

PIFA Antenna Design via PSC with FR4S

PIFA Antenna Design via PSC with FR4S

引用

2025 international conference on Intelligent Control, computing and Communications, IC3 2025

作者： Ramakrishna, Thanneeru Venkata Rao, K. Venkateswara Almusawi, Muntadher Muhssan Ramya Hemalatha, Karri Sandeep, C.S. Saveetha Medical College and Hospital Saveetha Institute of Medical and Technical Sciences Saveetha University Tamil Nadu Chennai India Cmr College of Engineering & Technology Department of Cse Telangana Hyderabad India College of Technical Engineering The Islamic University Department of Computers Techniques Engineering Najaf Iraq Sethu Institute of Technology Department of Information Technology Pulloor Tamil Nadu Kariapatti626115 India Gokaraju Rangaraju Institute of Engineering and Technology Department of Civil Telangana Hyderabad India Jawaharlal College of Engineering and Technology Department of Ece Kerala Palakkad India

ISBN: (纸本)9798331527495

In this work, we are simulating Novel PIFA antenna with platinum substrate in comparison with FR4 dielectrics material at 6 GHz frequency The study has two groups with 20 samples and a pre-test or G power of 80%. The innovative method for the PIFA Antenna was developed using HFSS software as well as the path of the finite element. They simulated the PIFA antenna to calculate the bandwidth. The comparative analysis of gain of PIFA antenna utilizing platinum substrate with that of FR4 substrate. It is analysed by HFSS software, where the gain of proposed antenna is found 80% with significance of 0.048. The Gain achieved from the Novel PIFA antenna with the FR4 substrate is improved over the PIFA antenna using a Platinum substrate. © 2025 IEEE.

关键词： Computer software

来源：评论

学校读者我要写书评

暂无评论

EagerLog: Active Learning Enhanced Retrieval Augmented Generation for Log-based Anomaly Detection

EagerLog: Active Learning Enhanced Retrieval Augmented Gener...

引用

2025 IEEE international conference on Acoustics, Speech, and Signal Processing, ICASSP 2025

作者： Duan, Chiming Jia, Tong Yang, Yong Liu, Guiyang Liu, Jinbu Zhang, Huxing Zhou, Qi Li, Ying Huang, Gang School of Software and Microelectronics Peking University Beijing China Institute for Artificial Intelligence Peking University Beijing China National Engineering Research Center for Software Engineering Peking University Beijing China National Key Laboratory of Data Space Technology and System Beijing China Alibaba Cloud Computing Company Hangzhou China

ISBN: (纸本)9798350368741

Logs record essential information about system operations and serve as a critical source for anomaly detection, which has generated growing research interest. Utilizing large language models (LLMs) within a retrieval-augmented generation (RAG) framework for log-based anomaly detection is an effective approach due to its strong generalization capabilities and efficient few-shot performance. However, the effectiveness of this method hinges on the quality of the knowledge source, which can be impacted by noise and changes within the software systems. Facing these problems, in this paper, we propose a novel log-based anomaly detection method named EagerLog, employing active learning to choose the logs for humans to label, thereby adding them to the knowledge source, thus enhancing the knowledge source and maintaining its quality. Our experiments on three open datasets (BGL, Thunderbird, Zookeeper) and one industrial dataset demonstrate that EagerLog can achieve 93.65% F1 score with approximately 10 labeled log sequences, surpassing existing methods by 15.32%. © 2025 IEEE.

关键词： Active Learning Anomaly Detection Log Analysis Retrieval Augmented Generation

来源：评论

学校读者我要写书评

暂无评论

Design and Comparative Analysis of SRM Drive based on Two Novel Power Converter Topologies 4

Design and Comparative Analysis of SRM Drive based on Two No...

引用

4th international conference on Power, Control and computing Technologies, ICPC2T 2025

作者： Dehuri, Sandeep Kumar Lokhande, Makarand M. Dept of Electrical Engineering Visvesvaraya National Institute of Technology Nagpur India Dept of Electrical Engineering Visvesvaraya National Institute of Technology Nagpur India

ISBN: (纸本)9798331530402

The paper presents, two-novel current control converter topologies for 4-phase Switched Reluctance Motors (SRMs). The first converter is based on a reduced switch model, significantly decreasing the number of switching devices by inducting six IGBT power transistors and three modes of operation for minimizing torque ripple, thus providing a compact, lightweight, and inexpensive design. The second design is based on a MOSFET-switching enhanced four-level converter providing four modes of operation for minimizing torque ripple. Using MATLAB/SIMULINK software, a 4-phase 8/6 SRM is simulated using the proposed converters. The simulation data validates the torque ripple-reducing capability of the suggested converters in the control process of SRM. Based on simulation outcomes a comparative analysis is performed. © 2025 IEEE.

关键词： MATLAB

来源：评论

学校读者我要写书评

暂无评论

Research on Financial Statement Fraud Detection Method Based on Support Vector Machine 1

Research on Financial Statement Fraud Detection Method Based...

引用

1st international conference on Intelligent Manufacturing and Cloud computing, ICIMCC 2024

作者： Yan, Yuan Wang, Zhenyu Zhang, Shuai Information Management and Information Systems Southwest Jiaotong University Sichuan Chengdu610031 China Software Engineering Beihang University Beijing Beijing100191 China Baoding071003 China

ISBN: (纸本)9781643685779

In order to improve the efficiency of financial statement fraud detection, a Support Vector Machine (SVM) model was adopted, combined with feature selection and dimensionality reduction techniques, to analyze the financial data of 200 listed companies. The results showed that the SVM model achieved an accuracy rate of 92.5%, which further increased to 94.1% after integrating a neural network, significantly enhancing the ability to identify fraudulent activities. The findings provide important technical support for optimizing financial risk management and contribute to improving market transparency and corporate integrity. © 2025 The Authors.

关键词： Decentralized finance

来源：评论

学校读者我要写书评

暂无评论

Minimizing the Maximum Link Utilization for Traffic engineering in SDN: A Comparative Analysis 4

Minimizing the Maximum Link Utilization for Traffic Engineer...

引用

4th international conference on Evolutionary computing and Mobile Sustainable Networks, ICECMSN 2024

作者： Prabu, U. Geetha, V. Department of Computer Science and Engineering Puducherry Technological University Puducherry605014 India Department of Information Technology Puducherry Technological University Puducherry605014 India

software Defined Network modernizes network architecture by supporting scalability, significant flexibility, and programmability. Its functioning has been extended to several areas such as cloud computing, edge computing, enterprise networks, data centers, and the Internet of Things (IoT). It also successfully enhances the functioning of traffic engineering. Traffic engineering involves optimization and dynamic control of traffic flows, minimizing congestion and maximum link utilization, centralized control, and network traffic management. It also enables the effective utilization of resources, boosts the user experience, and increases network performance. Minimizing maximum link utilization implies the distribution of network traffic across respective links or paths to use the offered resources of the network by preventing congestion. Its major goal is to guarantee that none of the individual links gets overloaded. Various approaches have been proposed in the past several years to address this problem. In this article, the state-of-the-art approaches are reviewed and analyzed. The problem formulation of each approach for minimizing the maximum link utilization is detailed with significant importance. The proposed algorithms, its type, and results are also depicted to have a better comparative analysis. Additionally, the type of graph considered while formulating the problem, topologies used to investigate the efficiency of the algorithm, performance metrics, and implementation platforms are listed to have a clear understanding of various approaches. © 2025 The Authors. Published by Elsevier B.V.

关键词： Deep reinforcement learning

来源：评论

学校读者我要写书评

暂无评论

2018 international conference on computing, Electronic and Electrical engineering, ICE Cube 2018

2018 International Conference on Computing, Electronic and E...

引用

2018 international conference on computing, Electronic and Electrical engineering, ICE Cube 2018

ISBN: (纸本)9781538679395

The proceedings contain 42 papers. The topics discussed include: a learning analytics approach: using online weekly student engagement data to make predictions on student performance;single dimensional generalized kalman filter;on PQ control of BESS in grid-connected mode and frequency control in islanded-mode for micro-grid application;effect of averaging techniques on PCA algorithm and its performance evaluation in face recognition applications;AZ-model of software requirements change management in global software development;effects of interference on device-to-device communication;and investigation of project administration related challenging factors of requirements change management in global software development: a systematic literature review.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Efficient Temporal Data Mining Technique Using Dynamic Time Warped LSTM for E-Commerce Recommendation Systems 3rd

Efficient Temporal Data Mining Technique Using Dynamic Time ...

引用

3rd international conference on Intelligent Systems and Sustainable computing, ICISSC 2023

作者： Rajassekharan, Dinesh Subramanian, Jayasundar Lazar, Arokia Jesu Prabhu Pichuka Veera Venkata Satya, Srinivas Ray, Samrat Ammasai, Viswanathan Sengan, Sudhakar Faculty of AI Computing and Multimedia Lincoln University College Petaling Jaya47301 Malaysia Department of Computer Science and Engineering Idhaya Engineering College For Women Tamil Nadu Chinnasalem606201 India Department of Computer Science and Engineering CMR Institute of Technology Hyderabad501401 India Department of Computer Science and Engineering Koneru Lakshmaiah Education Foundation Andhra Pradesh Vaddeswaram522502 India Dean Head of International Relations IIMS Pune411033 India School of Computer Science and Engineering Vellore Institute of Technology Tamil Nadu Vellore632014 India Department of Computer Science and Engineering PSN College of Engineering and Technology Tamil Nadu Tirunelveli627451 India

ISBN: (纸本)9789819783540

The rapid surge of the electronic commerce (Ecomm) industry has ushered in intensified competition, with platforms vying for customer attention and loyalty. Many Ecomm sites have been employing various tactics to stand out, with Recommendation Systems (RS at the forefront of their strategies. However, traditional RS faces challenges, mainly when interactions occur at irregular intervals. This article introduces the DTW + LSTM framework, a methodology combining the merits of Long Short-Term Memory Networks and Dynamic Time Warping to improve this work. This method requires consideration of DTW's time series data alignment capabilities to account for interaction interval variability. The LSTM is then designed to accurately record the key elements of user interactions in sequential order. Combining the outcomes of these two methodologies in the DTW + LSTM model presents a more flexible and extensive approach to generating online shopping recommendations. The design guarantees that forecasts continue to be reliable and accurate despite the inherent temporal deviations that can be observed in user data. This paper investigates the context of this approach, its benefits, and prospective developments, demonstrating its possibilities in the dynamic Ecomm market. © The Author(s), under exclusive license to Springer Nature Singapore Pte Ltd. 2025.

关键词： Accuracy CNN E-commerce F1-score GRU LSTM Machine learning

来源：评论

学校读者我要写书评

暂无评论

ICSECC 2019 - international conference on Sustainable engineering and Creative computing: New Idea, New Innovation, Proceedings

ICSECC 2019 - International Conference on Sustainable Engine...

引用

2019 international conference on Sustainable engineering and Creative computing, ICSECC 2019

ISBN: (纸本)9781728151922

The proceedings contain 81 papers. The topics discussed include: electro-tactile cues for a haptic multimedia finger motoric learning system;waste to energy focus on Indonesia;the validation of linear method in cascade reservoir system for prediction of energy production;assessing trust variable impact on the information technology governance using business-IT alignment models: a model development study;design of testing results of reduction and migration of write off transaction data in POTS segment using integration testing on SAP application;and encryption application using verifiable secret sharing scheme.

关键词：

来源：评论

学校读者我要写书评

暂无评论

FEniCSx-Based Effective Scheme for the Cahn-Hilliard Equation 5

FEniCSx-Based Effective Scheme for the Cahn-Hilliard Equatio...

引用

5th IEEE international conference on Advances in Electrical, computing, Communication and Sustainable Technologies, ICAECT 2025

作者： Bhutra, Harsh Thomas, Bettina Ann Shri, K. Shreya Smitha, T.V. Neelima, Nizampatnam Amrita School of Engineering Amrita Vishwa Vidyapeetham Department of Electronics and Communication Bengaluru India Amrita School of Engineering Amrita Vishwa Vidyapeetham Computational Science Lab Bengaluru India

ISBN: (纸本)9798350356236

The Cahn-Hilliard equation is a fourth-order parabolic partial differential equation that is challenging and time-intensive to solve using conventional methods. Although the equation is difficult to solve, it finds its use cases in many aspects of science including but not limited to the study of phase separation in the binary, isotropic and isothermal mixtures of materials such as molten alloys. Some of the other applications are Bioinformatics, Computational Biology, Biomedical informatics, human activity recognition, Healthcare, computer vision, Climate Science and Natural Language Processing. Many researchers have come up with a way to deal with partial differential equations, but very few works and methods deal with different orders of partial differential equations. In this article, a novel and effective scheme for solving the Cahn-Hilliard equation is proposed using FEniCS. The time of execution and relative tolerance of the solutions of this equation are computed from methods of direct computation and parallel processing which is carried out for the equation with higher-order finite element method for various boundary conditions to demonstrate the efficiency of the proposed approach. The solution thus obtained helps in understanding the non-linear behaviour of the equation with the help of a three-dimensional heatmap plot. This work solves the Cahn Hilliard equation by using the in-built libraries, Dolphin an open-source software called FEniCS and Message Passing Interface (MPI). The MPI is responsible for achieving parallelism in high-performance computing environments and breaks down the problem into four smaller parts making it faster to get to the solution. The obtained results demonstrate that this approach outperforms the existing literature by achieving a forty percent faster computational speed. The approach will be very useful in solving many similar problems arising in the field of science and engineering. © 2025 IEEE.

关键词： Open source software

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

全选清除本页清除全部题录导出标记到“检索档案”

共500页 << < 15 16 17 18 19 20 21 22 23 24 > >>

检索报告对象比较合并检索0

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

电话和邮箱必须正确填写，我们会与您联系确认。

联系人：

所在院系：

联系邮箱：

联系电话：

内蒙古自治区呼和浩特市赛罕区大学西街235号邮编: 010021

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：