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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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

分类表

所选分类

>> <<

限定检索结果

文献类型

86,432 篇 会议
2,747 册 图书
1,743 篇 期刊文献
4 篇 学位论文
2 篇 科技报告

馆藏范围

90,922 篇 电子文献
9 种 纸本馆藏

日期分布

学科分类号

46,901 篇 工学
- 38,558 篇 计算机科学与技术...
- 32,054 篇 软件工程
- 6,447 篇 控制科学与工程
- 6,338 篇 信息与通信工程
- 5,589 篇 电气工程
- 3,226 篇 机械工程
- 2,969 篇 电子科学与技术（可...
- 2,060 篇 生物工程
- 1,597 篇 生物医学工程（可授...
- 1,491 篇 安全科学与工程
- 1,424 篇 动力工程及工程热...
- 1,381 篇 仪器科学与技术
- 1,277 篇 建筑学
- 1,208 篇 土木工程
- 1,155 篇 材料科学与工程（可...
- 1,038 篇 光学工程
- 1,035 篇 交通运输工程
13,196 篇 理学
- 7,371 篇 数学
- 2,666 篇 物理学
- 2,363 篇 系统科学
- 2,246 篇 生物学
- 1,770 篇 统计学（可授理学、...
11,171 篇 管理学
- 7,867 篇 管理科学与工程(可...
- 4,124 篇 工商管理
- 4,084 篇 图书情报与档案管...
2,154 篇 教育学
- 2,128 篇 教育学
1,381 篇 医学
- 1,179 篇 临床医学
- 1,034 篇 基础医学(可授医学...
1,379 篇 法学
- 1,077 篇 社会学
1,313 篇 经济学
- 1,304 篇 应用经济学
383 篇 农学
257 篇 文学
194 篇 军事学
62 篇 艺术学
2 篇 哲学
2 篇 历史学

主题

8,329 篇 application soft...
7,155 篇 software enginee...
5,936 篇 computer archite...
5,340 篇 software
5,231 篇 computer science
4,442 篇 software systems
4,168 篇 hardware
3,537 篇 computer aided s...
3,263 篇 control systems
2,668 篇 computational mo...
2,227 篇 costs
2,094 篇 programming
1,828 篇 artificial intel...
1,744 篇 computer softwar...
1,740 篇 real time system...
1,627 篇 testing
1,538 篇 real-time system...
1,420 篇 software design
1,364 篇 protocols
1,351 篇 information syst...

机构

210 篇 college of compu...
119 篇 school of comput...
59 篇 school of comput...
56 篇 college of compu...
54 篇 school of comput...
49 篇 department of co...
41 篇 college of compu...
37 篇 department of el...
37 篇 school of comput...
36 篇 school of electr...
36 篇 department of el...
34 篇 institute of inf...
33 篇 state key labora...
32 篇 school of comput...
32 篇 department of el...
31 篇 department of co...
31 篇 department of el...
30 篇 tsinghua univers...
29 篇 department of co...
28 篇 school of comput...

作者

49 篇 anon
37 篇 bernady o. apduh...
36 篇 bosch jan
34 篇 o'connor rory v.
28 篇 shaoying liu
28 篇 li yang
26 篇 dubinsky yael
26 篇 ebrahim babaei
22 篇 zhu huibiao
21 篇 lei wang
21 篇 dong jin song
20 篇 katz guy
19 篇 zhang lei
17 篇 levent yilmaz
17 篇 rui wang
17 篇 wenyun zhao
17 篇 shahar maoz
17 篇 vardi moshe y.
16 篇 weiming shen
16 篇 noraziah a.

语言

88,860 篇 英文
1,594 篇 其他
454 篇 中文
32 篇 西班牙文
18 篇 葡萄牙文
16 篇 德文
14 篇 土耳其文
13 篇 俄文
9 篇 法文
4 篇 捷克文
4 篇 日文
2 篇 乌克兰文
1 篇 朝鲜文

检索条件"任意字段=Israel Conference on Computer Systems and Software Engineering"

共 90928 条记录，以下是4541-4550 订阅

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

详细简洁

排序：

Cognitive Performance Analysis of the Proposed Testbed for OFDMA Wireless System 1

Cognitive Performance Analysis of the Proposed Testbed for O...

引用

1st International conference on Cyber Physical systems, Power Electronics and Electric Vehicles, ICPEEV 2023

作者： Chennamsetty, Sneha Boddu, Subbarao Mahindra University Department of Electrical and Computer Engineering Hyderabad India

ISBN: (纸本)9798350323566

To evaluate and optimize the performance of wireless systems in a real-time environment, the proposal and development of a testbed play a crucial role. In this paper, we proposed a testbed for analyzing the cognitive performance of the Orthogonal Frequency Division Multiple Access (OFDMA) wireless systems i.e., 4G and 5G. The proposed testbed consists of software-defined radios (SDRs) that enable the dynamic configuration of radio parameters and the emulation of realistic wireless environments. Firstly, the results of the proposed testbed include the real-time active and vacant frequencies of the 4G and 5G cellular networks of the location and the visualization of the frame structure in real-time. Next, transmit and receive the modulated binary data using the proposed testbed and visualize the real-time results at the receiver end. Based on the obtained results, we conclude that the wireless system design research community may use our testbeds as learning platform tools for simulating the 4G and 5G cellular networks in real time. Further, this may be also used for testing the algorithms, protocols, and solutions. © 2023 IEEE.

关键词： Cognitive systems

来源：评论

学校读者我要写书评

暂无评论

Slip-Grip: An Electrotactile Method to Simulate Weight 25

Slip-Grip: An Electrotactile Method to Simulate Weight

引用

2025 CHI conference on Human Factors in Computing systems, CHI 2025

作者： Lin, Hongnan Gao, Lei Jiang, Shengsheng Yue, Hongyu Fu, Ziyi Luo, Jinyi Wu, Chengxiao Han, Teng Tian, Feng Subramanian, Sriram Institute of Software Chinese Academy of Sciences Beijing Beijing China Department of Computer Science University College London London United Kingdom Beijing University of Technology Beijing China Tongji University Shanghai Shanghai China

ISBN: (纸本)9798400713941

Weight perception is crucial for immersive virtual reality (VR) interactions, yet providing weight feedback remains a significant research challenge. We introduce a novel weight simulation technique that leverages electrotactile stimulation to induce slip illusions. These slip illusions occur when users grip an object with less force than a predefined threshold, allowing the device to modulate the grip force and encourage a tighter grip. In our approach, heavier virtual weights correspond to higher required grip forces. We conducted a series of user experiments to validate our technique, confirming that it effectively induces slip illusions. We also investigated the relationship between electrotactile sensations and grip force, and changes in force, demonstrating that this association enhances the weight perception experience. Lastly, we explored the mapping between grip force and perceived weight, observing strong linearity within participants but notable variability between individuals. © 2025 Copyright held by the owner/author(s).

关键词： Electrotactile Haptic Virtual reality Weight simulation

来源：评论

学校读者我要写书评

暂无评论

IoT based Leakage Detection and Emergency Shutdown 6

IoT based Leakage Detection and Emergency Shutdown

引用

6th International conference on Mobile Computing and Sustainable Informatics, ICMCSI 2025

作者： Abarna, P.S. Priya, S. Padma Pavalarajan, S. Sivatharani, S. Manshi, M. Department of Computer Science and Business Systems PSNA College of Engineering and Technology Dindigul India

ISBN: (纸本)9798331522667

The risk of gas leaks has grown significantly as a life threatening issue in industrial activities, cooking, and heating. This system integrates automatic reaction mechanisms, real-time monitoring capabilities, and advanced detection technologies in a multifaceted manner to address various dangers. The comprehensive gas leak detection and automatic cut off system is intended to improve safety in a variety of situations, including industrial and residential ones. To precisely identify the existence of dangerous gases like methane and propane, the proposed system combines infrared, electrochemical, and semiconductor types of gas sensors integrated with a mobile application, users may remotely administer and monitor the system in real-time. The system initiates a multi-tiered response upon detecting a gas leak;it sounds an alarm, notifies user-specified The mobile devices about the leak, and turns on an exhaust fan to release concentrated gas. A solenoid valve is used by the system to quickly shut off the gas supply and electricity from any location. The need of user-friendly controls and prompt notifications in emergency situations is highlighted in this paper's discussion of software architecture, sensor integration, and user interface design. Experimental results show that the system is reliable and capable of responding quickly under different circumstances. In future the application of machine learning algorithms for predictive maintenance and the possibility of integrating IoT to further strengthen security protocols. The results emphasize importance to deploy these kinds of extensive safety systems widely in order to reduce the risks associated with gas exposure. © 2025 IEEE.

关键词： Solenoid valves

来源：评论

学校读者我要写书评

暂无评论

Hardware Implementation of Image Processing Morphological and Convolution Operations as SoC on FPGAs 24

Hardware Implementation of Image Processing Morphological an...

引用

7th International conference on Digital Medicine and Image Processing, DMIP 2024

作者： Moussa, Alfred M. Groves, Richard Rafla, Nader Electrical and Computer Engineering Department Boise State University BoiseID United States

ISBN: (纸本)9798400709586

Efficient image processing architectures are consistently in demand across a multitude of applications, particularly those customized for resource-constrained systems-on-chip (SoC). The increasing need for high-performance image processing in various sectors has driven the development of specialized architectures. However, deploying such architectures on platforms with limited resources, such as SoCs, poses significant challenges. Furthermore, the implementation of complex algorithms to handle large datasets using software solutions often leads to slower response times, prompting exploration into hardware implementations. Field-Programmable Gate Arrays (FPGAs) are becoming popular for hardware implementations because of their attributes: low latency, connectivity, parallel computing capabilities, and flexibility. Consequently, the utilization of FPGA-based implementations has resulted in faster and more efficient performance of unique architectures tailored to specific requirements. This paper presents a novel hardware/software co-design approach to implement erosion, dilation, and neighborhood image processing operations on the FPGA development board, "Zedboard". In this approach, the FPGA is programmed by connecting it to a PC via USB, facilitating the transfer of an image pixel by pixel. The pixels are temporarily stored in on-chip DDR and accessed through DMA (Direct Memory Access) until they are requested by an interrupt signal from the Image Processing IP, at which point they are moved to line buffers for faster processing. Once processed, the image is transmitted back to the PC via UART, facilitating pixel-by-pixel transfer for verification, where it is compared with a reference image generated using Python. This comparison confirms a 99.22% match between the processed image and the reference image, with the discrepancy occurring at the image's edges due to initial padding. Additionally, the time required to process the entire image was measured and displayed

关键词： System-on-chip

来源：评论

学校读者我要写书评

暂无评论

Empirical Seabed Image Classification Using Labeled Machine Learning Techniques

Empirical Seabed Image Classification Using Labeled Machine ...

引用

Innovations in Communications, Electrical and computer engineering (ICICEC), International conference on

作者： Rajesh Sharma R Akey Sungheetha Rajiv Gandhi K Sasikala Rani GGS Pradeep Ellappan V Department of CSE Alliance University Bangalore India Government Arts and Science College for Women Paramakudi India Department of ECE Mahindra College of Engineering Salem India

ISBN: (数字)9798350376517

ISBN: (纸本)9798350376524

This examine affords an empirical method to seabed photo class through the software of categorized systems getting to know techniques. The studies leverage a dataset of categorized seabed photos to teach and examine diverse systems getting to know algorithms for correct class. Through systematic experimentation and analysis, the effectiveness of various algorithms in discerning seabed capabilities is assessed. The findings contribute to advancing automatic seabed photo analysis, imparting insights into the feasibility and overall performance of systems to know techniques for underwater surroundings characterization.

关键词： Technological innovation Systematics Machine learning algorithms software algorithms Machine learning software Oceanography Classification algorithms Environmental management Image classification

来源：评论

学校读者我要写书评

暂无评论

Research on the Process Efficiency of Metro Security CheckSystem Under the Perspective of Spatial Guidance 15th

Research on the Process Efficiency of Metro Security CheckSy...

引用

15th International conference on Digital Human Modeling and Applications in Health, Safety, Ergonomics and Risk Management (DHM)

作者： Yuan, Yihong Zhang, Haoze OuYang, Ruolei Tan, Jinbang Shen, Yaodong South China Univ Technol Guangzhou Peoples R China

ISBN: (纸本)9783031610653;9783031610660

Metro is one of the most important forms of public transportation in Chinese cities. With the continuous expansion and development of metro networks in China's major cities, ensuring the safety of passengers has become a key part of metro operation and management. However, there are some efficiency and human factors engineering deficiencies in the current metro security system. Some researchers have studied the efficiency of subway security systems and their influencing factors in subway or railroad stations. However, in actual subway stations, the spatial guidance in front of and behind the screening area is also one of the causes of congestion in the screening area. This study focuses on the deficiencies of spatial guidance in the subway, and the resulting congestion in the subway station, which leads to a reduction in the efficiency of the screening system. The implementation plan of this study is to explore the spatial guidance system of Guangzhou Metro, summarize the influencing factors of congestion, quantify and extract data for the influencing factors, and establish a model and data analysis. The interview method was used to invite volunteers to participate, and the information from the interviews was used for data statistics to quantify the influencing factors caused by the spatial guidance system, to establish an appropriate model for the influencing factors, and to determine the significant influencing factors of the spatial guidance on the congestion of people with respect to the data fed back from the model. The collected data and information are coded using the rooted theory research method, analyzed with the help of auxiliary software, and finally, three categories of first-level core influence factors of site layout design, guide signs, and human factors and corresponding second- and third-level subcategories are refined, and a system of influence factors on the efficiency of the process of the security system under the perspective of spatial guidanc

关键词： Subway security screening Spatial guidance Human factors engineering Rootedness theory

来源：评论

学校读者我要写书评

暂无评论

Validating the Correctness of Reactive systems Specifications Through Systematic Exploration 22

Validating the Correctness of Reactive Systems Specification...

引用

ACM/IEEE 25th International conference on Model Driven engineering Languages and systems (MODELS)

作者： Ma'ayan, Dor Maoz, Shahar Rozi, Roey Tel Aviv Univ Tel Aviv Israel

ISBN: (纸本)9781450394666

Reactive synthesis is an automated procedure to obtain a correct-by-construction reactive system from its temporal logic specification. While the synthesized system is guaranteed to be correct w.r.t. the specification, the specification itself may be incorrect w.r.t. the engineers' intention or w.r.t. the requirements or the environment in which the system should execute in. It thus requires validation. Combinatorial coverage (CC) is a well-known coverage criterion. Its rationale and key for effectiveness is the empirical observation that in many cases, the presence of a defect depends on the interaction between a small number of features of the system at hand. In this work we propose a validation approach for a reactive system specification, based on a systematic combinatorial exploration of the behaviors of a controller that was synthesized from it. Specifically, we present an algorithm to generate and execute a small scenario suite that covers all tuples of given variable value combinations over the reachable states of the controller. We have implemented our work in the Spectra synthesis environment. We evaluated it over benchmarks from the literature using a mutation approach, specifically tailored for evaluating scenario suites of temporal specifications for reactive synthesis. The evaluation shows that for pairwise coverage, our CC algorithms are feasible and provide a 1.7 factor of improvement in mutation score compared to random scenario generation. We further report on a user study with students who have participated in a workshop class at our university and have used our tool to validate their specifications. The user study results demonstrate the potential effectiveness of our work in helping engineers detect real bugs in the specifications they write.

关键词： Specifications

来源：评论

学校读者我要写书评

暂无评论

Exploring Faster R-CNN Algorithms for Object Detection

Exploring Faster R-CNN Algorithms for Object Detection

引用

software, systems and Information Technology (SSITCON), International conference on

作者： Abhishek Thoke Sakshi Rai Department of Computer Science and Engineering LNCT University Indore India Department of Computer Science and Engineering LNCT University Bhopal Bhopal India

ISBN: (数字)9798350352931

ISBN: (纸本)9798350352948

The task of object detection is widely recognised as a prominent challenge in computer vision applications, particularly in the domains of robotics, autonomous vehicles, and augmented reality. Hence, this paper examines Faster RCNN, a well embraced object identification model that effectively combines speed and accuracy. The authors evaluate several novel models, such as Sparse R-CNN, Cascade R-CNN, Loss-Guided Attention RCNN, Global Context Aggregation RCNN, and others, to demonstrate their unique features and benefits in addressing the challenges of dense object candidates and limited training data. This paper presents a performance evaluation of these models on the COCO dataset, elucidating their accuracy and usefulness for different object detecting applications. The authors conclude that the Sparse R-CNN model outperforms other models in terms of average precision. They also offer recommendations for future optimisation of object identification models in terms of architecture to better suit the demands of real-time processing.

关键词： Performance evaluation Accuracy Computational modeling Training data Object detection computer architecture software systems Real-time systems Object recognition Optimization

来源：评论

学校读者我要写书评

暂无评论

Attention-aware CNN model for Traffic Signs Classification

Attention-aware CNN model for Traffic Signs Classification

引用

2022 International conference on Cloud Computing, Big Data Applications and software engineering, CBASE 2022

作者： Gu, Xiangsheng Lang, Qiuyi Lin, Fu Wang, Pengfei University of California Donald Bren School of Information & Computer Science Irvine United States Queen's University Belfast Computer Science Belfast United Kingdom York University Canada Leicester International Institute Dalian University of Technology Lassonde School of Engineering Panjin China Dalian University of Technology Leicester International Institute Panjin China

ISBN: (纸本)9798350396393

Autonomous vehicle driving systems have become one of the most important topics recently, some people assert that they can identify traffic signs automatically, which is a revolutionary improvement for transportation;however, the accuracy of autonomous vehicle driving systems still remains controversial. Therefore, this research analyzes the German Traffic Sign Benchmark dataset, in three different ways: AlexNet, VGG-16, and ResNet-50 of autonomous vehicle driving systems, to compare the best approach for identifying traffic signs. One can conclude that AlexNet, VGG-16 and ResNet-50 performed well, as they got an accuracy score of 95%, 95%, 89% respectively. To improve the classification accuracy to achieve nearly 100% for total security, Bottleneck Attention Module (BAM) is examined as a way of improving the classification accuracy of models and it is confirmed that BAM is able to boost the accuracy score of select models. © 2022 IEEE.

关键词： Traffic signs

来源：评论

学校读者我要写书评

暂无评论

EvoSL: A Large Open-Source Corpus of Changes in Simulink Models & Projects 26

EvoSL: A Large Open-Source Corpus of Changes in Simulink Mod...

引用

26th ACM/IEEE International conference on Model Driven engineering Languages and systems, MODELS 2023

作者： Shrestha, Sohil Lal Boll, Alexander Chowdhury, Shafiul Azam Kehrer, Timo Csallner, Christoph University of Texas at Arlington Computer Science & Eng. Dept. ArlingtonTX76019 United States University of Bern Software Engineering Group Bern3012 Switzerland

ISBN: (纸本)9798350324808

Having readily available corpora is crucial for performing replication, reproduction, extension, and verification studies of existing research tools and techniques. MAT-LAB/Simulink is a de-facto standard tool in several safety-critical industries for system modeling and analysis, compiling models to code, and deploying code to embedded hardware. There is no commonly used corpus for large-scale model change studies because there is no readily available corpus. EvoSL is the first large corpus of Simulink projects that includes model and project changes and allows redistribution. EvoSL is available under a permissive open-source license and contains its collection and analysis tools. Using a subset of EvoSL, we replicated a case study of model changes on a single closed-source industrial project. © 2023 IEEE.

关键词： Simulink

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共500页 << < 451 452 453 454 455 456 457 458 459 460 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：