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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

34,475 篇 会议
635 篇 期刊文献
476 册 图书

馆藏范围

35,584 篇 电子文献
3 种 纸本馆藏

日期分布

学科分类号

23,074 篇 工学
- 15,087 篇 计算机科学与技术...
- 12,184 篇 软件工程
- 3,157 篇 信息与通信工程
- 3,060 篇 电气工程
- 2,881 篇 控制科学与工程
- 2,154 篇 化学工程与技术
- 1,865 篇 材料科学与工程（可...
- 1,799 篇 机械工程
- 1,602 篇 电子科学与技术（可...
- 1,229 篇 土木工程
- 1,217 篇 建筑学
- 1,212 篇 生物工程
- 1,208 篇 动力工程及工程热...
- 1,021 篇 生物医学工程（可授...
- 911 篇 环境科学与工程（可...
- 873 篇 力学（可授工学、理...
- 858 篇 交通运输工程
- 848 篇 安全科学与工程
- 836 篇 光学工程
- 806 篇 仪器科学与技术
8,177 篇 理学
- 3,866 篇 数学
- 2,315 篇 物理学
- 1,426 篇 化学
- 1,363 篇 生物学
- 1,108 篇 统计学（可授理学、...
- 928 篇 系统科学
5,293 篇 管理学
- 3,784 篇 管理科学与工程(可...
- 1,854 篇 图书情报与档案管...
- 1,768 篇 工商管理
830 篇 教育学
- 821 篇 教育学
775 篇 法学
748 篇 医学
609 篇 经济学
243 篇 农学
75 篇 文学
67 篇 艺术学
55 篇 军事学
1 篇 哲学
1 篇 历史学

主题

1,647 篇 software enginee...
1,233 篇 software
637 篇 knowledge engine...
469 篇 computer science
444 篇 training
440 篇 computational mo...
377 篇 conferences
376 篇 application soft...
370 篇 data mining
357 篇 mathematical mod...
337 篇 feature extracti...
334 篇 computer archite...
318 篇 testing
293 篇 semantics
290 篇 software design
278 篇 artificial intel...
276 篇 software systems
259 篇 deep learning
258 篇 machine learning
249 篇 knowledge manage...

机构

65 篇 school of inform...
59 篇 school of comput...
58 篇 nanjing univ sta...
48 篇 school of comput...
38 篇 university of el...
37 篇 univ chinese aca...
36 篇 college of compu...
35 篇 school of comput...
27 篇 university of el...
24 篇 department of el...
22 篇 college of infor...
22 篇 school of comput...
22 篇 department of el...
21 篇 university of mi...
20 篇 school of softwa...
19 篇 school of electr...
19 篇 school of inform...
19 篇 universitas sang...
18 篇 school of automa...
17 篇 software enginee...

作者

32 篇 li li
29 篇 bernady o. apduh...
22 篇 liu yang
21 篇 jin zhi
21 篇 wang qing
19 篇 qing wang
19 篇 li yang
18 篇 wang lei
15 篇 lee s.
14 篇 wnuk krzysztof
14 篇 wei jun
13 篇 xiangjun xin
13 篇 zhang hongyu
13 篇 zhang lei
13 篇 wu huisi
12 篇 bin wang
12 篇 wang jing
12 篇 li zhang
11 篇 jazdi nasser
11 篇 hironori washiza...

语言

34,195 篇 英文
1,036 篇 其他
350 篇 中文
15 篇 葡萄牙文
13 篇 西班牙文
6 篇 俄文
5 篇 法文
4 篇 德文
2 篇 土耳其文
1 篇 日文
1 篇 斯洛伐克文
1 篇 乌克兰文

检索条件"任意字段=18th International Conference on Software Engineering and Knowledge Engineering"

共 35586 条记录，以下是281-290 订阅

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

详细简洁

排序：

An Empirical Evaluation of System-Level Test Effectiveness for Safety-Critical software 18

An Empirical Evaluation of System-Level Test Effectiveness f...

引用

18th international conference on Evaluation of Novel Approaches to software engineering (ENASE)

作者： Zafar, Muhammad Nouman Afzal, Wasif Enoiu, Eduard Paul Malardalen Univ Vasteras Sweden

ISBN: (纸本)9789897586477

Combinatorial Testing (CT) and Model-Based Testing (MBT) are two recognized test generation techniques. the evidence of their fault detection effectiveness and comparison with industrial state-of-the-practice is still scarce, more so at the system level for safety-critical systems, such as those found in trains. We use mutation analysis to perform a comparative evaluation of CT, MBT, and industrial manual testing in terms of their fault detection effectiveness using an industrial case study of the safety-critical train control management system. We examine the fault detection rate per mutant and relationship between the mutation scores and structural coverage using Modified Condition Decision Coverage (MC/DC). Our results show that CT 3-ways, CT 4-ways, and MBT provide higher mutation scores. MBT did not perform better in detecting 'Logic Replacement Operator-Improved' mutants when compared with the other techniques, while manual testing struggled to find 'Logic Block Replacement Operator' mutants. None of the test suites were able to find 'Time Block Replacement Operator' mutants. CT 2-ways was found to be the least effective test technique. MBT-generated test suite achieved the highest MC/DC coverage. We also found a generally consistent positive relationship between MC/DC coverage and mutation scores for all test suites.

关键词： System-Level Tests Safety-Critical software Fault Detection Effectiveness

来源：评论

学校读者我要写书评

暂无评论

Autonomous Drone Control for Wireless Charging Using Power Lines 18

Autonomous Drone Control for Wireless Charging Using Power L...

引用

18th international conference on Ubiquitous Information Management and Communication, IMCOM 2024

作者： Wang, Pengkai Kim, Jonghoek Mutahira, Husna Muhammad, Mannan Saeed Sungkyunkwan University Dept. of Electrical and Computer Engineering Suwon Korea Republic of Sejong University Dept. of Defense System Engineering Seoul Korea Republic of Sogang University Dept. of Computer Science and Engineering Seoul Korea Republic of

ISBN: (纸本)9798350331011

the limited autonomy of flight has long been considered a significant constraint in drone systems. In the context of drone inspections of power lines, this study focuses on a drone equipped with a coil designed for autonomous battery charging. Positioned atop the drone is a charging coil, and on the upper surface, there is an upward-facing camera with a restricted field-of-view (FOV), serving the crucial role of aligning the drone with power lines. this research introduces a wireless power transfer strategy to facilitate the self-charging process of the drone while maintaining its position beneath power lines. To enable the drone's autonomous approach to power lines, a method is devised to guide the drone from below. As the drone approaches the power lines, it monitors the current induced by these lines and gradually adjusts its altitude until a sufficiently high induced current is achieved. the proposed approach ensures safety, as the drone avoids direct contact with high-voltage power lines, setting it apart from other existing methods that require such contact. To the best of our knowledge, this study offers a novel approach to precisely controlling drone movements, and establishing reliable wireless power transfer from power lines. the effectiveness of the developed wireless transfer strategy has been verified through MATLAB simulations. © 2024 IEEE.

关键词： Drones

来源：评论

学校读者我要写书评

暂无评论

Rapid Review of Radon Concentrations in Multi-family Buildings 18

Rapid Review of Radon Concentrations in Multi-family Buildin...

引用

18th international conference on Indoor Air Quality and Climate, INDOOR AIR 2024

作者： Giang, Amanda Li, Tianyuan Department of Civil and Environmental Engineering University of Waterloo WaterlooON Canada

ISBN: (纸本)9798331306816

this research aims to highlight the importance of radon testing in multi-family dwellings which currently have limited data available globally in comparison to single-family dwellings. A rapid review of existing literature was conducted to establish the relationship between the two building types with regard to the radon concentration levels. While results consistently show higher radon levels in single-family dwellings compared to multi-family dwellings per region, the ratio of multi-family dwellings to single-family dwellings ranges from 37 to 92%. this research emphasizes the importance of comprehensive radon testing in multi-family residences to ensure occupant safety. © 2024 18th conference of the international Society of Indoor Air Quality and Climate, INDOOR AIR 2024 - conference Program and Proceedings. All rights reserved.

关键词： Indoor air pollution

来源：评论

学校读者我要写书评

暂无评论

Unveiling Hurdles in software engineering Education: the Role of Learning Management Systems 46

Unveiling Hurdles in Software Engineering Education: The Rol...

引用

ACM/IEEE 44th international conference on software engineering: software engineering Education and Training (ICSE-SEET)

作者： Meissner, Niklas Koch, Nadine Nicole Speth, Sandro Breitenbuecher, Uwe Becker, Steffen Univ Stuttgart Stuttgart Germany Reutlingen Univ Reutlingen Germany

ISBN: (纸本)9798400704987

Learning management systems (LMSs) are established tools in higher education, especially in the field of software engineering (SE). the onset of the COVID-19 pandemic further amplified the utilization of these systems, which necessitated their integration into educational curricula for both lecturers and students. However, adopting LMSs within Si) education has presented distinctive challenges impeding their seamless incorporation into the courses. this paper aims to scrutinize the challenges and requirements encountered by professors, lecturers, and students in the domain of SE education when using LMSs. We conducted an empirical study that included (i) a survey with 47 professors/lecturers and 133 students, (ii) an analysis of the ensuing data, and (iii) 18 additional interviews conducted with professors and lecturers to delve into nuanced variations in viewpoints. the findings derived from our study reveal that the challenges and requirements pertaining to LMSs are rather specific depending on the scope and size of the respective courses. Nevertheless, many participants have a consensus on numerous challenges and requirements for improving certain features of LMSs in order to improve their usage in SE education. the findings are valuable for advancing research and development in the field of LMSs and provide guidance for lecturers in SE education.

关键词： Learning Management Systems software engineering Education Student Diversity Higher Education Student Motivation

来源：评论

学校读者我要写书评

暂无评论

Identifying Inconsistencies in the Design of Large-scale Casting Systems - An Ontology-based Approach 18

Identifying Inconsistencies in the Design of Large-scale Cas...

引用

IEEE 18th international conference on Automation Science and engineering (IEEE CASE)

作者： Ji, Fan Ocker, Felix Zou, Minjie Vogel-Heuser, Birgit Oligschlaeger, Marius Tech Univ Munich TUM Sch Engn & Design Inst Automat & Informat Syst Boltzmannstr 15 D-85748 Garching Germany MDSI Munich Germany MIRMI Munich Germany SMS Grp GmbH Eduard Schloemann Str 4 D-40237 Dusseldorf Germany

ISBN: (数字)9781665490429

ISBN: (纸本)9781665490429

the development of modern automated production systems requires the close cooperation of engineers from different domains. Due to the large amount of domain-specific documents and heterogeneous data they create during the multidisciplinary engineering activities, ensuring the consistency of information is always challenging. Since most of these documents are texted-based and lack a standardized structure, extracting required information from these files is oftentimes problematic. this issue is particularly critical in the development of large-scale production plants due to the high complexity of the systems and the diversity of disciplines involved. To help engineers efficiently utilize unstructured data sources as well as identify potential information contradictions, we propose an ontology-based inconsistency management approach for large-scale production systems that generates the knowledge base from unstructured engineering data and (semi-) automatically detects multiple types of inconsistencies. In addition, the presented framework also supports the tracking of information changes during the system design process.

关键词： Production systems Casting Computer aided software engineering Automation Soft sensors knowledge based systems Complexity theory

来源：评论

学校读者我要写书评

暂无评论

Verified Validation for Affine Scheduling in Polyhedral Compilation 18th

Verified Validation for Affine Scheduling in Polyhedral Comp...

引用

18th international conference on theoretical Aspects of software engineering (TASE)

作者： Li, Xuyang Liang, Hongjin Feng, Xinyu Nanjing Univ State Key Lab Novel Software Technol Nanjing 210023 Jiangsu Peoples R China

ISBN: (纸本)9783031646256;9783031646263

Structural nested loops can be abstracted into polyhedral models, based on which one can perform aggressive loop optimizations;however, the optimizations are often heuristic and complex, and therefore error-prone. Meanwhile, verified compilers, though rigorously correct, still miss powerful optimizing transformations and therefore produce less efficient code than industrial ones. To bridge this gap, this work provides a general verified validation framework based on Bernstein's conditions for affine scheduling, the core component of polyhedral optimization techniques. It is parameterized over the concrete definitions and proofs of the instruction language to be reusable. As shown in our evaluation, the framework is flexible enough to support both existing verified compilers like CompCert and existing polyhedral compilers like Pluto. the result is fully mechanized in the Coq proof assistant.

关键词： Program compilers

来源：评论

学校读者我要写书评

暂无评论

DeepMesh: A Comprehensive Survey of Deep Learning-Based Routing Performance in Wireless Mesh Networks 18

DeepMesh: A Comprehensive Survey of Deep Learning-Based Rout...

引用

18th international conference on Intelligent Systems and knowledge engineering, ISKE 2023

作者： Xiaoping, Qiu Alam, Md Zahidul Du, Shiling Yue, Zhongjian Wang, Yulan School of Computing and Artificial Intelligence Southwest Jiaotong University Chengdu610031 China Tangshan Institute of Southwest Jiaotong University Tangshan063000 China National United Engineering Laboratory of Integrated and Intelligent Transportation Chengdu611756 China Engineering Research Center of Sustainable Urban Intelligent Transportation Ministry of Education Chengdu611756 China Manufacturing Industry Chains Collaboration and Information Support Technology Key Laboratory of Sichuan Province Chengdu610031 China Sichuan Institute of Industrial Software Technology Sichuan Chengdu China

ISBN: (纸本)9798350318401

this paper provides a analysis of the challenges faced in routing in wireless mesh networks and how deep learning can be used to improve performance. Wireless mesh networks (WMNs) are a particular kind of wireless network that use mesh routers and mesh clients that talk to one another to provide wireless coverage over a wide area. the paper discusses the limitations of traditional routing methods in WMNs and highlights the potential of deep learning-based routing approaches to revolutionize WMNs. the survey evaluates the literature focusing on the various routing approaches, performances, and research methodologies. the study aims to provide several potential areas for further investigation in deep learning-based routing approaches for WMNs and discusses several research challenges and opportunities in the field. the identification of trends and challenges, and recommendations for future research directions provide valuable insights for researchers and practitioners in the field of wireless mesh networks. © 2023 IEEE.

关键词： Mesh generation

来源：评论

学校读者我要写书评

暂无评论

Liquefied Petroleum Gas Concentration Prediction Based on Regression Model 18

Liquefied Petroleum Gas Concentration Prediction Based on Re...

引用

18th international conference on Intelligent Systems and knowledge engineering, ISKE 2023

作者： Chen, Siting Song, Yi Li, Yunchuan Wang, Hongjun School of Computer Science and Engineering Northeastern University Liaoning Shenyang China School of Computing and Artificial Intelligence Southwest Jiaotong University Sichuan Chengdu China Sichuan Branch of China Telecom Corporation Limited Sichuan Chengdu China

ISBN: (纸本)9798350318401

Liquefied Petroleum Gas (LPG) is an important energy source widely used in industry, agriculture and households. However, high concentrations of LPG in the air can easily cause explosions, and its widespread use has extremely high safety risks for our lives. Among the many air quality prediction methods, LPG is only one of the attribute indicators for comprehensive air quality prediction. therefore, the prediction accuracy of these methods for LPG is not high. In this paper, we propose to use regression models to predict LPG concentrations, taking LPG as the study object and other factors in the air as reference influencing factors, and using multiple regression models and deep learning models to compare the prediction errors. Extensive experimental results show that the prediction of LPG concentration using regression models can achieve good prediction performance. Among them, a comprehensive comparison of linear regression performs the best, which verifies the validity of our idea. © 2023 IEEE.

关键词： Forecasting

来源：评论

学校读者我要写书评

暂无评论

Extracting Events Using Spans Enhanced with Trigger-Argument Interaction 18

Extracting Events Using Spans Enhanced with Trigger-Argument...

引用

18th international conference on Intelligent Systems and knowledge engineering, ISKE 2023

作者： Xu, Chi Zeng, Zefan Duan, Jiashun Qi, Qi Zhang, Xin National University of Defense Technology Science and Technology on Information Systems Engineering Laboratory Changsha China National University of Defense Technology Big Data and Decision Laboratory Changsha China War Studies College The Academy of Military Sciences Beijing China

ISBN: (纸本)9798350318401

Event extraction (EE) aims to detect event triggers and extract their corresponding arguments. In more realistic situations, events often come in a more complicated way in which multiple events may appear simultaneously and arguments may have overlaps in a sentence. For languages without delimiters like Chinese, most existing EE models are token-level and thus may have difficulties in solving multi-event or overlapping problems. What's more, they are prone to overlook the word-level or span-level features and the rich interactions between triggers and arguments. To tackle these problems, we propose a span-based model for multiple and overlapped EE with trigger-argument interaction enhanced span representations. Experimental results show that our approach outperforms other mainstream baselines on the DuEE dataset. © 2023 IEEE.

关键词： multiple event overlapped event span-based model trigger-argument interaction

来源：评论

学校读者我要写书评

暂无评论

Substation Location Planning Based on Multi-strategy Improved Marine Predators Algorithm 18

Substation Location Planning Based on Multi-strategy Improve...

引用

18th international conference on Intelligent Systems and knowledge engineering, ISKE 2023

作者： Ye, Yongjie Cao, Aigang Wang, Zhenchang Zhang, Tiefeng North China Electric Power University Department of Electronics and Communications Engineering Baoding China North China Electric Power University Hebei Key Laboratory of Power Internet of Things Technology Baoding China

ISBN: (纸本)9798350318401

Aiming at the issue of power grid substation location planning in the power grid, a substation location planning model is established with the goal of economy, and a substation location planning based on Multi-strategy Improved Marine Predators Algorithm (MIMPA) is proposed to solve the model. the algorithm introduces the Sobol sequence in the low-difference sequence to make the initial substation site randomly and evenly distributed in the solution space, which ensures ergodicity and diversity compared with the random sequence. Differential Evolution Algorithm (DE) is used to obtain the optimal solution of each generation adopts mutation, crossover, and selection to solve the problem that the Marine Predators Algorithm (MPA) is difficult to jump out of the local optimal solution, thus providing excellent candidates for the final substation planning decision. the proposed algorithm is tested through an example and compared with the differential evolution algorithm and Firefly Algorithm (FA), which verifies the superiority, feasibility and practicability of the proposed algorithm. © 2023 IEEE.

关键词： Optimization

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共500页 << < 25 26 27 28 29 30 31 32 33 34 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：