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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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,124 篇 会议
2,723 册 图书
1,726 篇 期刊文献
4 篇 学位论文
2 篇 科技报告

馆藏范围

90,573 篇 电子文献
8 种 纸本馆藏

日期分布

学科分类号

46,771 篇 工学
- 38,459 篇 计算机科学与技术...
- 31,975 篇 软件工程
- 6,391 篇 控制科学与工程
- 6,351 篇 信息与通信工程
- 5,584 篇 电气工程
- 3,219 篇 机械工程
- 2,960 篇 电子科学与技术（可...
- 2,058 篇 生物工程
- 1,600 篇 生物医学工程（可授...
- 1,488 篇 安全科学与工程
- 1,408 篇 动力工程及工程热...
- 1,374 篇 仪器科学与技术
- 1,271 篇 建筑学
- 1,203 篇 土木工程
- 1,161 篇 材料科学与工程（可...
- 1,037 篇 光学工程
- 1,031 篇 交通运输工程
13,183 篇 理学
- 7,373 篇 数学
- 2,662 篇 物理学
- 2,365 篇 系统科学
- 2,244 篇 生物学
- 1,768 篇 统计学（可授理学、...
11,156 篇 管理学
- 7,852 篇 管理科学与工程(可...
- 4,112 篇 工商管理
- 4,085 篇 图书情报与档案管...
2,145 篇 教育学
- 2,119 篇 教育学
1,384 篇 医学
- 1,180 篇 临床医学
- 1,034 篇 基础医学(可授医学...
1,377 篇 法学
- 1,076 篇 社会学
1,312 篇 经济学
- 1,303 篇 应用经济学
382 篇 农学
257 篇 文学
194 篇 军事学
62 篇 艺术学
2 篇 哲学
2 篇 历史学

主题

8,329 篇 application soft...
7,111 篇 software enginee...
5,921 篇 computer archite...
5,292 篇 software
5,225 篇 computer science
4,425 篇 software systems
4,162 篇 hardware
3,534 篇 computer aided s...
3,262 篇 control systems
2,660 篇 computational mo...
2,223 篇 costs
2,093 篇 programming
1,809 篇 artificial intel...
1,744 篇 computer softwar...
1,740 篇 real time system...
1,619 篇 testing
1,508 篇 real-time system...
1,418 篇 software design
1,371 篇 protocols
1,350 篇 information syst...

机构

197 篇 college of compu...
114 篇 school of comput...
59 篇 school of comput...
56 篇 college of compu...
54 篇 school of comput...
49 篇 department of co...
40 篇 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...
29 篇 department of co...
28 篇 school of comput...
27 篇 department of co...

作者

49 篇 anon
37 篇 bernady o. apduh...
35 篇 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.

语言

89,054 篇 英文
1,053 篇 其他
436 篇 中文
32 篇 西班牙文
18 篇 葡萄牙文
15 篇 德文
14 篇 土耳其文
13 篇 俄文
9 篇 法文
4 篇 捷克文
4 篇 日文
2 篇 乌克兰文
1 篇 朝鲜文

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

共 90579 条记录，以下是551-560 订阅

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

详细简洁

排序：

There Is More to Dwell Than Meets the Eye: Toward Better Gaze-Based Text Entry systems With Multi-Threshold Dwell 25

There Is More to Dwell Than Meets the Eye: Toward Better Gaz...

引用

Proceedings of the 2025 CHI conference on Human Factors in Computing systems

作者： Aunnoy K Mutasim Mohammad Raihanul Bashar Christof Lutteroth Anil Ufuk Batmaz Wolfgang Stuerzlinger School of Interactive Arts + Technology (SIAT) Simon Fraser University Vancouver British Columbia Canada Department of Computer Science & Software Engineering Concordia University Montreal Quebec Canada Computer Science University of Bath Bath United Kingdom

来源：评论

学校读者我要写书评

暂无评论

A Cross Strategy-Based Agent-Assisted Multi-Population Particle Swarm Optimization Algorithm

A Cross Strategy-Based Agent-Assisted Multi-Population Parti...

引用

2025 2nd International conference on Algorithms, software engineering and Network Security (ASENS)

作者： Yuhan Wang Han Yu Jiahui Ma Nanping Li Lin Wang School of Cyber Science and Engineering Qufu Normal University Qufu China School of Computer Science Qufu Normal University Rizhao China School of Humanities and Law Tianjin University of Science and Technology China

ISBN: (数字)9798331520298

ISBN: (纸本)9798331520304

With the rapid increase in the complexity of modern engineering systems and scientific computing problems, Large-Scale Expensive Optimization Problems (LSEOPs) have become a core challenge in the field of optimization. Traditional Evolutionary Algorithms (EAs) encounter the "curse of dimensionality" in high-dimensional scenarios, and most of the existing Surrogate-Assisted Evolutionary Algorithms (SAEAs) are designed for low-dimensional problems and struggle to adapt to the characteristics of high-dimensional data. In this paper, a Cross Strategy-Based Agent-Assisted Multi-Population Particle Swarm Optimization algorithm (CS-AAMPSO) is proposed to improve the efficiency and robustness of methods for working out LSEOPs, and the experimental results show that the performance is improved to some extent.

关键词： Scientific computing High dimensional data software algorithms Network security Robustness Complexity theory Particle swarm optimization Optimization software engineering

来源：评论

学校读者我要写书评

暂无评论

DLIoMT: Deep Learning Approaches for IoMT-Overview, challenges and the future

DLIoMT: Deep Learning Approaches for IoMT-Overview, challeng...

引用

International conference on computer, Electrical & Communication engineering (ICCECE)

作者： V Harshni Satyendr Singh R Indhumathi Neelam Sanjeev Kumar Subrata Chowdhury Sudhansu Shekhar Patra Department of BME SRM Institute of Science and Technology Ramapuram campus Chennai India Computer Science & Engg Department BML Munjal University Gurugram India Department of Computer Science and Engineering (E.Tech) SRM Institute of Science and Technology Vadapalani Campus Chennai India Department of Computer Science and Engineering Sreenivasa Institute of Technology and Management Studies Chittoor Andra Pradesh India School of Compter Applications Kalinga Institute of Industrial Technology (KIIT) Deemed to be University Bhubaneswar Odisha India

ISBN: (数字)9798331513894

ISBN: (纸本)9798331513900

An artificial intelligence (AI) system works by combining a computer program and algorithms to make a device more efficient and intelligent for tasks that are typically performed by humans. Deep learning, machine learning, conventional neural networks, recognition, and fuzzy logic are a few of the subsets of AI with unique capabilities and functions that can enhance modern medical science. Such innovations simplify human interference in clinical diagnostic procedures, decision making, and medical imaging. To improve human health, connected biomedical network devices and software applications are interconnected to form the Internet of Medical Things (IoMT), the next generation of bioanalytical tools. This review paper provides in-depth analysis of the IoMT encasing its definition, technologies, applications, challenges, and future prospects.

关键词： Deep learning Technological innovation Reviews Smart healthcare Internet of Medical Things software Sensor systems Sensors Security Medical diagnostic imaging

来源：评论

学校读者我要写书评

暂无评论

PIL Environment to Validate Wind Turbine IEC61131-Based Real Time Controllers on Digital Twins 16th

PIL Environment to Validate Wind Turbine IEC61131-Based Real...

引用

16th APCA International conference on Automatic Control and Soft Computing, CONTROLO 2024

作者： Martínez-Inchusta, A. Santos-Peñas, M. Sierra-García, J.E. Peñacoba, M. Computer Engineering Department Complutense University of Madrid Madrid28040 Spain Institute of Knowledge Technology Complutense University of Madrid Madrid28040 Spain Department of Digitalization University of Burgos Burgos09006 Spain

ISBN: (纸本)9783031817236

Control systems are crucial for the proper performance of different devices. Some applications, such as wind turbines, sometimes require complex controllers to achieve maximum efficiency. This leads to a demand for verification and validation techniques that minimize potential risks during the implementation phase on the final device, with the associated high costs. One approach to this checking is the processor-in-the-loop (PIL) validation method, which runs the control software on the physical hardware and communicates it with the virtual model, all in real time and deterministically. PIL techniques can be combined with digital twins (DTs) to improve validation procedures and ensure that the control software runs within the required processing times (validating the hardware) and that the outputs are correct and take the system to its target state (validating the control software). In this work, a PIL-DT architecture is proposed to validate real-time controllers programmed in the IEC61131 standard using any commercial PC and virtual models simulated with Simulink Desktop Real-Time®. The architecture allows the control program to be deployed on the virtual or real controller in order to control the virtual or real plant, without any modification. This ensures the same behavior between the virtual controller and the real one. The proposal has been successfully tested with a wind turbine pitch controller as a use case. © The Author(s), under exclusive license to Springer Nature Switzerland AG 2025.

关键词： Proportional control systems

来源：评论

学校读者我要写书评

暂无评论

Architecting Digital Twins for Intelligent Transportation systems

Architecting Digital Twins for Intelligent Transportation Sy...

引用

IEEE International conference on software Architecture Workshops (ICSAW)

作者： Hiya Bhatt Sahil Karthik Vaidhyanathan Rahul Biju Deepak Gangadharan Ramona Trestian Purav Shah Software Engineering Research Centre IIIT Hyderabad India Computer Systems Group IIIT Hyderabad India Faculty of Science and Technology Middlesex University London

ISBN: (数字)9798331533366

ISBN: (纸本)9798331533373

Modern transportation systems face growing challenges in managing traffic flow, ensuring safety, and maintaining operational efficiency amid dynamic traffic patterns. Addressing these challenges requires intelligent solutions capable of real-time monitoring, predictive analytics, and adaptive control. This paper proposes an architecture for DigIT, a Digital Twin (DT) platform for Intelligent Transportation systems (ITS), designed to overcome the limitations of existing frameworks by offering a modular and scalable solution for traffic management. Built on a Domain Concept Model (DCM), the architecture systematically models key ITS components enabling seamless integration of predictive modeling and simulations. The architecture leverages machine learning models to forecast traffic patterns based on historical and real-time data. To adapt to evolving traffic patterns, the architecture incorporates adaptive Machine Learning Operations (MLOps), automating the deployment and lifecycle management of predictive models. Evaluation results highlight the effectiveness of the architecture in delivering accurate predictions and computational efficiency.

关键词： Adaptation models software architecture Transportation computer architecture Predictive models Traffic control Real-time systems Digital twins Safety Predictive analytics

来源：评论

学校读者我要写书评

暂无评论

An Expectation-Based Dynamically Adjusted Gossip Optimization Algorithm

An Expectation-Based Dynamically Adjusted Gossip Optimizatio...

引用

software engineering and computer Science (CSECS), International conference on

作者： Linshan Shi Min Jin Bojin Tian Zhongyu Xu Shihan Liu Rong Liu Qilin You Feng Li Yaobin Shen State Grid Chongqing Information & Telecommunication Company Chongqing China State Grid Chongqing Electric Power Company Chongqing China Xiamen University Xiamen China

ISBN: (数字)9798331522216

ISBN: (纸本)9798331522223

The Gossip algorithm is a decentralized commu-nication algorithm primarily used to address information dis-semination and consistency issues in distributed systems. The Gossip protocol, with its significant distributed characteristics and advantages, has been widely applied in critical domains such as fault detection, resource allocation, global search, and robot operating system node communication. However, compared to traditional non-decentralized algorithms, the Gossip algorithm tends to generate more message redundancy during the infor-mation dissemination process, which to some extent impacts its communication efficiency. To address this issue, we propose a universal expectation-based dynamically adjusted Gossip op-timization algorithm that optimizes the message redundancy in the Gossip algorithm during the information dissemination process. This method effectively controls message redundancy by dynamically adjusting the number of message forwarding, denoted as K, in the Gossip algorithm. The experimental results show that in the three scenarios we compared, the message redundancy was reduced by 16.40% to 46.06%, and the original characteristics of the Gossip algorithm were not compromised. The code and experimental results in the paper are all open source.

关键词： Protocols Heuristic algorithms Operating systems Redundancy software algorithms Synchronization Resource management Information diffusion Optimization software engineering

来源：评论

学校读者我要写书评

暂无评论

An IoT-Enabled Condition Monitoring Device: Integrating Vibration Analysis and Environmental Sensing 5

An IoT-Enabled Condition Monitoring Device: Integrating Vibr...

引用

5th International conference on Advanced Research in Computing, ICARC 2025

作者： Liyanage, Randeera Annasiwaththa, Buddhika Faculty of Engineering and Technology CINEC Campus Sri Lanka University of Ruhuna Faculty of Engineering Sri Lanka

ISBN: (纸本)9798331530983

Condition monitoring (CM) devices are crucial for predictive maintenance (PdM) across industries. Despite their commercial availability, the use of CM devices in small-to medium-scale industries remains low because of the cost of equipment and proprietary software systems. This research aims to overcome the challenge by developing an Internet of Things (IoT) enabled, portable CM device capable of monitoring machine vibrations and ambient conditions. The proposed battery-powered device integrates a commonly available microcontroller unit (MCU) with rich communication interfaces in combination with affordable and accessible sensors. The acquired data are wirelessly transmitted to a host computer via the Message Queuing Telemetry Transport (MQTT) protocol. During testing, offline frequency domain analysis of the vibration data for a faulty bearing, namely Hilbert and Envelope Spectrum Analysis revealed fault frequencies corresponding to an outer race defect. Ambient data collected over 24 hours provided supplementary insights into environmental fluctuations critical to industrial operations. In an industrial setting, the CM device was successful in performing its two main tasks of monitoring ambient conditions and bearing vibrations. The device positions itself as a proof-of-concept for a scalable, networked CM system, where multiple interconnected nodes could simultaneously monitor a range of machinery or individual components within a facility. This demonstrates its potential for industries to delve into the world of PdM, replacing traditional preventive maintenance mechanisms. © 2025 IEEE.

关键词： Machine vibrations

来源：评论

学校读者我要写书评

暂无评论

The Need for Smart Shop Floor Management in the Automotive Industry: Potentials, Challenges and Requirements 6

The Need for Smart Shop Floor Management in the Automotive I...

引用

6th International conference on Industry 4.0 and Smart Manufacturing, ISM 2024

作者： Kutz, Janika Viljoen, Altus Feike, Maximilian Przybilla, Leonard Guhl, Jakob Neuhüttler, Jens Krcmar, Helmut Fraunhofer IAO Fraunhofer Institute for Industrial Engineering IAO Heilbronn74076 Germany Informatik 17 - Information Systems and Business Process Management Krcmar Lab Technical University of Munich i17 Boltzmannstraße 3Garching b München85748 Germany Bauhaus-University Weimar Weimar99423 Germany

Industry 4.0 and the accompanying digital transformation of the modern-day factory have led to various advances in manufacturing. Shop floor management (SFM) - a core instrument of production management - has to align with these digital advances as well. However, due to SFM's strong human-centric roots and manufacturers predominantly conducting SFM through analog means, it raises the question of what sort of digital support should be used for SFM and what specifications should be included in digital SFM systems. This study, consisting of a case study comprising semi-structured interviews and on-site inspections at a large original equipment manufacturer (OEM), provides concrete requirements for digitally-supported SFM derived from practice. We investigated which elements from analog SFM should be retained and where possible improvements through digital support exist. Moreover, we identified definitive improvement potentials such as the aggregation of data sources, as well as the preparation, performance, and documentation of shop floor meetings without disruptions in information flows. We conclude that digital transformation in the SFM context neither implies the mere introduction of software to solve specific problems, nor the full automation of SFM processes through digital solutions (what we call "digital" SFM). Rather, we highlight the importance of "smart SFM": the adoption of sociotechnical systems in which SFM's traditional social characteristics are maintained but are simultaneously sensibly augmented with digital solutions to improve SFM processes. © 2025 Elsevier B.V.. All rights reserved.

关键词： Automotive industry

来源：评论

学校读者我要写书评

暂无评论

Adjustable Visual Appearance for Generalizable Novel View Synthesis 4th

Adjustable Visual Appearance for Generalizable Novel View S...

引用

4th International conference on Pattern Recognition and Artificial Intelligence, ICPRAI 2024

作者： Bengtson, Josef Nilsson, David Lin, Che-Tsung Büsching, Marcel Kahl, Fredrik Computer Vision Group Chalmers University of Technology Gothenburg Sweden KTH Royal Institute of Technology Stockholm Sweden

ISBN: (纸本)9789819787012

We present a generalizable novel view synthesis method which enables modifying the visual appearance of an observed scene so rendered views match a target weather or lighting condition, without any scene specific training or access to reference views at the target condition. Our method is based on a pretrained generalizable transformer architecture and is fine-tuned on synthetically generated scenes under different appearance conditions. This allows for rendering novel views in a consistent manner for 3D scenes that were not included in the training set, along with the ability to (i) modify their appearance to match the target condition and (ii) smoothly interpolate between different conditions. Experiments on real and synthetic scenes show that our method is able to generate 3D consistent renderings while making realistic appearance changes, including qualitative and quantitative comparisons. Please refer to our project page for video results: https://***. © The Editor(s) (if applicable) and The Author(s), under exclusive license to Springer Nature Singapore Pte Ltd. 2025.

关键词： 3D modeling

来源：评论

学校读者我要写书评

暂无评论

Optimal Layout Synthesis of Multi-Row Standard Cells for Advanced Technology Nodes 24

Optimal Layout Synthesis of Multi-Row Standard Cells for Adv...

引用

43rd International conference on computer-Aided Design, ICCAD 2024

作者： Chung, Sehyeon Seo, Hyunbae Cho, Handong Choi, Kyumyung Kim, Taewhan Department of Electrical and Computer Engineering Seoul National University Seoul Korea Republic of

ISBN: (纸本)9798400710773

In this paper, we address three core problems in the layout synthesis of multi-row standard cells: transistor folding, row partitioning, and transistor placement. We propose a comprehensive solution to the problem of synthesizing area-optimal multi-row standard cells by seamlessly integrating transistor folding and row partitioning into the transistor placement framework. Additionally, we introduce a systematic methodology to construct a standard cell library. This methodology determines the cell types among single-row, multi-row with VDD-abut, and multi-row with VSS-abut in order to achieve an optimal trade-off between power, performance, and area (PPA) for the target design implementation. Experimental results demonstrate that for 4-routing track standard cells of the advanced technology nodes our multi-row cell generator increases the cell generation completion ratio from 72% to 100% and reduces the metal length for in-cell routing by 11.9% while maintaining comparable cell area compared to the area-minimal single-row cells. Furthermore, using our optimized cell library is able to reduce the target chip area by 4.2% and chip power by 7.0%, while all meeting timing and design rule constraints, compared to the state-of-the-art single-row standard cell library. © 2024 Copyright is held by the owner/author(s).

关键词： Boolean functions

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共500页 << < 52 53 54 55 56 57 58 59 60 61 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：