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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

366 篇 会议
112 篇 期刊文献
10 册 图书

馆藏范围

488 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

300 篇 工学
- 199 篇 计算机科学与技术...
- 150 篇 软件工程
- 44 篇 信息与通信工程
- 44 篇 控制科学与工程
- 25 篇 机械工程
- 25 篇 电气工程
- 24 篇 生物医学工程（可授...
- 23 篇 土木工程
- 21 篇 电子科学与技术（可...
- 18 篇 建筑学
- 18 篇 生物工程
- 15 篇 安全科学与工程
- 14 篇 船舶与海洋工程
- 13 篇 仪器科学与技术
- 13 篇 化学工程与技术
- 11 篇 材料科学与工程（可...
- 11 篇 交通运输工程
164 篇 理学
- 87 篇 数学
- 29 篇 物理学
- 24 篇 统计学（可授理学、...
- 23 篇 生物学
- 21 篇 系统科学
- 14 篇 海洋科学
- 13 篇 化学
75 篇 管理学
- 55 篇 管理科学与工程(可...
- 34 篇 工商管理
- 26 篇 图书情报与档案管...
14 篇 医学
- 13 篇 临床医学
- 12 篇 基础医学(可授医学...
11 篇 教育学
- 11 篇 教育学
7 篇 经济学
7 篇 法学
6 篇 农学
1 篇 文学
1 篇 军事学

主题

12 篇 optimization
11 篇 computer science
11 篇 support vector m...
10 篇 wireless sensor ...
9 篇 artificial intel...
8 篇 software enginee...
8 篇 computational mo...
8 篇 software
7 篇 neural networks
7 篇 monitoring
7 篇 navigation
7 篇 analytical model...
6 篇 reliability
6 篇 decision support...
6 篇 graphics process...
6 篇 robot sensing sy...
6 篇 predictive model...
6 篇 visualization
6 篇 decision making
6 篇 artificial neura...

机构

15 篇 department of co...
14 篇 department of sy...
12 篇 department of co...
9 篇 department of co...
8 篇 department of co...
8 篇 computer techniq...
7 篇 department of co...
6 篇 department of ap...
6 篇 programming lang...
6 篇 department of co...
6 篇 computer enginee...
5 篇 computer enginee...
5 篇 department of co...
5 篇 department of co...
5 篇 department of co...
5 篇 department of co...
5 篇 national technic...
5 篇 programming lang...
5 篇 mart learning ed...
5 篇 computer enginee...

作者

12 篇 mostafa abotaleb
10 篇 gurkan tuna
10 篇 xue jingling
8 篇 tuna gurkan
8 篇 kayhan gulez
8 篇 börcsök josef
8 篇 hayek ali
8 篇 kuchuk nina
8 篇 krini abderrahim
8 篇 abdelhameed ibra...
7 篇 boercsoek josef
7 篇 lee jaejin
7 篇 nina kuchuk
6 篇 sarkar biswajit
6 篇 gulez kayhan
6 篇 hovorushchenko t...
6 篇 v. cagri gungor
6 篇 josef börcsök
6 篇 roy abi zeid dao...
6 篇 abotaleb mostafa

语言

478 篇 英文
6 篇 其他
2 篇 中文
1 篇 日文
1 篇 土耳其文

检索条件"机构=Computer and programming engineering"

共 488 条记录，以下是61-70 订阅

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

详细简洁

排序：

Effectiveness of Performance Visualizations for Declarative Model Transformations

Effectiveness of Performance Visualizations for Declarative ...

引用

IEEE International Workshop on Visualizing Software for Understanding and Analysis (VISSOFT)

作者： Raffaela Groner Matthias Tichy Dept. of Computer Science and Engineering Chalmers | University of Gothenburg Gothenburg Sweden Institute of Software Engineering and Programming Languages Ulm University Ulm Germany

ISBN: (数字)9798331528485

ISBN: (纸本)9798331528492

Several profilers for general-purpose languages like Java offer visualizations to support users in understanding the execution of a program and identifying the causes of a performance issue. Unfortunately, these performance visualizations are difficult to reuse in profilers for declarative model transformations since they cannot display transformation-specific information. For example, a profiler for a declarative model transformation language must provide information on the traversal of the input model since it impacts the performance but is hidden from the developer. Moreover, the respective visualization must scale for input models that consist of several thousand model elements. Hence, we developed performance visualizations for the declarative model transformation language Henshin that provide insights into the transformation execution. Subsequently, we performed a mixed methods study with 18 Henshin novices to evaluate the effectiveness of our visualizations. In our study, the participants tried to improve the execution performance of four transformations by performing a root cause analysis using our visualizations. The results of our study show that depending on the task, between 16 and 18 participants understood the execution of a transformation correctly based on our visualizations. Moreover, between 12 and 18 participants proposed effective optimizations using our visualizations.

关键词： Visualization Root cause analysis Java Color Software Encoding Data mining Optimization

来源：评论

学校读者我要写书评

暂无评论

Integration of weighted majority voting in machine learning algorithms to enhance pine tree crown mapping on UAV imagery

Integration of weighted majority voting in machine learning ...

引用

2024 Symposium on Beyond the Canopy: Technologies and Applications of Remote Sensing

作者： Hosingholizade, Ali Erfanifard, Yousef Alavipanah, Seyed Kazem Pirasteh, Saied Garcia Millan, Virginia Dept. of Remote Sensing and GIS Faculty of Geography University of Tehran Tehran Iran Institute of Artificial Intelligence School of Mechanical and Electrical Engineering Shaoxing University China Department of Geotechnics and Geomatics Saveetha School of Engineering Saveetha Institute of Medical and Technical Sciences Chennai602105 India Dept. of Computer Science and Programming Languages School of Computer Science and Enginering University of Málaga Málaga Spain

The shape and area of the crown of each tree are among the most influential parameters for identifying and controlling the processes of photosynthesis, respiration, transpiration and its management. In such a way that various physiographic functions, such as carbon dioxide absorption, light energy absorption, oxygen release and transpiration, which are vital for the growth and development of the tree, are done in the crown. In this research, the RGB image of the UAV with a spatial resolution of 2 cm was resampled to three pixel sizes of 10, 30 and 50 cm. Then, each image was classified separately by SVM, ANN and MLC algorithms, which are all part of Ensemble. In the next step, each of the obtained crowns was compared with the digitization of the same crown, and based on the area of the crown obtained from each classification and normalization method, the weight was obtained specifically for the same crown. Finally, by using the weighted majority voting method, classifications were fusioned at the decision level. The results showed that the ANN method gives better results in all pixel sizes compared to MLC and SVM. Also, the combination of different classification methods with the weighted majority voting method based on the weight assigned to the same crown based on each classification method has significantly increased the classification accuracy of the tree crown in all the sizes of the analyzed pixels. © Author(s) 2024.

关键词： Pixels

来源：评论

学校读者我要写书评

暂无评论

Optimization of MIMO Antenna Approach for 5G Wireless Applications

Optimization of MIMO Antenna Approach for 5G Wireless Applic...

引用

International Conference on Systems and Control (ICSC)

作者： Aqreerah Atuwayr Akrem Asmeida Haitham Saleh Ben Abdelmula Abdulhakim Alhadi Anaiba High Institution of Engineering Technology College of Computer Technology Zawia College of Computer Technology Zawia Libyan Center for Electronic Systems Programming and Aviation Research Libyan Center for Electronic Systems Programming and Aviation Research

In this communication, an improved MIMO antenna array with defected ground structure (DGS) is designed for 5G wireless applications. Its schematic comprises eight radiator elements, situated at the center of an FR-4 printed circuit board. For optimizing the mutual coupling features, the metamaterial rectangular slots are employed between adjacent elements. Extensive simulation results prove that our proposed design 4x4 MIMO array operated at 5.8 GHz offers significantly better performance in terms of antenna gain and envelope correlation coefficient (ECC) with 6 dB and less than 0.0009 respectively. Rendering to the reached outcomes, the proposed MIMO antenna is an efficient application-oriented design for 5G communication.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Analysis of Leakage Magnetic Field of Rectangular Shaped Defects in Magnetic Materials and Investigation of Magnetic Fluids in the Field

Analysis of Leakage Magnetic Field of Rectangular Shaped Def...

引用

International Conference on Nanomaterials: Application & Properties (NAP)

作者： Esma Nur Savranguler Samed Gumus Yavuz Ozturk Coskun Harmansah Mechanical Engineering Izmir Democracy University Izmir Turkey Electrical Electronics Engineering Ege University Izmir Turkey Computer Programming Vocational School Izmir Turkey

ISBN: (数字)9798350380125

ISBN: (纸本)9798350380132

Magnetic Particle Inspection (MPI) is a non-destructive testing (NDT) technique widely used in industry to detect surface and sub-surface flaws in ferromagnetic materials. MPI is a simple, fast, and cost-effective technique, particularly useful for evaluating the integrity of welds and critical parts. Detecting surface and sub-surface defects in ferromagnetic materials is essential for ensuring product quality, safety, performance, and regulatory compliance across various industries. Therefore, in this study, the magnetic field and its gradient for rectangular prism-shaped defects in ferromagnetic materials were analyzed. The magnetic fields were calculated using analytical equations. The magnetic field of a 2x7x19 mm sized permanent magnet was measured using a gaussmeter to verify theoretical results. Subsequently, these analyses were used to interpret the forces acting on non-interacting micro to nano-sized particles and magnetic fluid on the crack region. The EFH-1 light hydrocarbon-based magnetic fluid, with an average particle size of about 11.6 nm, was used to experimentally study a 1x1.5x62.5 mm crack on a solid magnetic material. The distribution of the magnetic fluid on the crack was studied for different heights and magnetic field values. For a 2 ml layer of EFH-1 at a height of 2-3.5 mm from the magnetized material, a nearly Gaussian-shaped fluid distribution with a width of around 3.7-5.0 mm was observed. The experimental results are presented and compared with the theoretical analysis.

关键词： Industries Ferrofluid Welding Magnetic liquids Ferromagnetic materials Solids Size measurement Magnetic analysis Magnetic fields Testing

来源：评论

学校读者我要写书评

暂无评论

Autonomously Reconfigurable Robot Coupled with Intelligent Vision and Control System for Rapid Runtime Adaptation

Autonomously Reconfigurable Robot Coupled with Intelligent V...

引用

AI IoT Congress (AIIoT), World

作者： Gvarami Labartkava Nurin Binti Suhaimi Thiago Silva Lev Kirischian Independent Researcher Toronto Canada Department of Computer Programming & Analysis Seneca Polytechnic Toronto Canada Department of Electrical and Computer Engineering Toronto Metropolitan University Toronto Canada

ISBN: (数字)9798350387803

ISBN: (纸本)9798350387810

The widespread integration of robotic technology across diverse sector’s necessitates solutions that embody both adaptability and speed. However, existing systems often exhibit a trade-off between these attributes, lacking swift adaptability. This paper introduces a novel self-reconfiguration system that addresses this challenge. Employing a scissor mechanism for rapid adjustment and an intelligent binocular vision driven by computer vision and reinforcement learning algorithms, the proposed system facilitates swift reconfiguration while effectively managing workload. Real-time perception and understanding of the surroundings enable the robot to promptly identify optimal dimensions and adjust its configuration accordingly. This capability empowers the robot to rapidly respond to new tasks without manual intervention, thereby augmenting its versatility and agility. Experimental validation demonstrates the system’s adeptness in navigating passages of varying widths in under a second, underscoring the efficacy of our approach in training the robot to adeptly adapt to diverse environmental conditions.

关键词： Training Runtime Navigation Machine vision Reinforcement learning Manuals Control systems

来源：评论

学校读者我要写书评

暂无评论

Synthesis of The Theory of Motion of Solid Bodies Filled With Bulk Substances For Fault-Tolerant Identification of Their Parameters 13

Synthesis of The Theory of Motion of Solid Bodies Filled Wit...

引用

13th International Conference on Dependable Systems, Services and Technologies, DESSERT 2023

作者： Kolodnenko, Vitalii Shyman, Anna Kalinin, Yevhen Kuchuk, Nina Sumy National Agrarian University Department of Agricultural Engineering Sumy Ukraine National Technical University Kharkiv Polytechnic Institute Department of Computer Engineering and Programming Kharkiv Ukraine National University of life and environmental sciences of Ukraine Tractors Cars and Bioenergy Resources Department Kyiv Ukraine

ISBN: (纸本)9798350396119

In the article, the Lagrange equations of motion of a solid body having volumes fully or partially filled with a granular media presented in the form of an ideal liquid. To expand the possibility of applying the theory, it is assumed that the model bulk medium has a surface tension. The first integrals of these equations have been considered. Further, conditions under which there is equilibrium or stationary motion of a solid with a loose medium that are reduced to the conditions of extremality (stationarity) of the potential energy or the modified potential energy of the system are derived from the equations of motion. In practically interesting cases, the problem of the minimum change in potential energy is solved by studying the second variation of the latter, the conclusion of the expression of which is given. In the nonlinear formulation, the theorem on the instability of the equilibrium position of a body with a granular media is proved in the case when the potential energy of the system does not have a minimum in the equilibrium position. © 2023 IEEE.

关键词： Potential energy

来源：评论

学校读者我要写书评

暂无评论

WIP: An Engaging Undergraduate Intro to Model Checking in Software engineering Using TLA+

WIP: An Engaging Undergraduate Intro to Model Checking in So...

引用

Frontiers in Education (FIE) Conference

作者： Konstantin Läufer Gunda Mertin George K. Thiruvathukal Department of Computer Science Software and Systems Laboratory Loyola University Chicago Institute for Software Engineering and Programming Languages University of Lübeck

ISBN: (数字)9798350351507

ISBN: (纸本)9798350363067

Background: In this Innovative Practice Work in Progress, we present our initial efforts to integrate formal methods, with a focus on model-checking specifications written in Temporal Logic of Actions $(\text{TLA}^{+})$ , into computer science education, targeting undergraduate juniors/seniors and graduate students. Many safety-critical systems and services crucially depend on correct and reliable behavior. Formal methods can play a key role in ensuring correct and safe system behavior, yet remain underutilized in educational and industry contexts. Aims: We aim to (1) qualitatively assess the state of formal methods in computer science programs, (2) construct level-appropriate examples that could be included midway into one's undergraduate studies, (3) demonstrate how to address successive “failuresy” through progressively stringent safety and liveness requirements, and (4) establish an ongoing framework for assessing interest and relevance among students. Methods: We detail our pedagogical strategy for embedding $\text { TLA }^{+}$ into an intermediate course on formal methods at our institution. After starting with a refresher on mathematical logic, students specify the rules of simple puzzles in $\text { TLA }^{+}$ and use its included model checker (known as TLC) to find a solution. We gradually escalate to more complex, dynamic, event-driven systems, such as the control logic of a microwave oven, where students will study safety and liveness requirements. We subsequently discuss explicit concurrency, along with thread safety and deadlock avoidance, by modeling bounded counters and buffers. Results: Our initial findings suggest that through careful curricular design and choice of examples and tools, it is possible to inspire and cultivate a new generation of software engineers proficient in formal methods. Conclusions: Our initial efforts suggest that 84% of our students had a positive experience in our formal methods course. Our future plans include a longitudi

关键词： computer science Open Access Model checking System recovery Software Safety Logic Reliability Proposals Software engineering

来源：评论

学校读者我要写书评

暂无评论

Optimal speed controller design with interval type-2 fuzzy sets 2

Optimal speed controller design with interval type-2 fuzzy s...

引用

2nd IEEE KhPI Week on Advanced Technology, KhPI Week 2021

作者： Zakovorotniy, Alexander Kharchenko, Artem National Technical University Kharkiv Polytechnic Institute Computer Engineering and Programming Department Kharkiv Ukraine

ISBN: (纸本)9781665412056

Interval type-2 fuzzy sets are often used in the designing of fuzzy systems associated with the speed control under uncertainty. In this paper, we consider the possibilities of using interval type-2 fuzzy sets to describing the uncertainties that arise when defining input variables. These uncertainties can be presented as the different meanings on the same dynamic system or changes in the technical parameters that occur due to external factors. We also present complex interval type-2 fuzzy sets and give the examples of their use to reduce the number of fuzzy sets and rules in a fuzzy knowledge base. The necessary conditions for the construction of complex interval type-2 fuzzy sets and methods for determining lower and upper membership functions in them are also given. The footprint of uncertainty for the complex interval type-2 fuzzy set is presented with upper and lower membership functions of different fuzzy sets. All methods which are described in this work can be used in decision support systems design, to select the optimal parameters of a nonlinear system, or in fuzzy speed controller design. © 2021 IEEE.

关键词： Fuzzy control

来源：评论

学校读者我要写书评

暂无评论

Design of Intelligent Decision Support System With Ensembled Machine Learning to Predict Students' Performance

Design of Intelligent Decision Support System With Ensembled...

引用

2024 International Conference on Communication, computer Sciences and engineering, IC3SE 2024

作者： Deepan, S. Rajendran, Dineshkumar Dhaliwal, Navdeep Praveena, K. Lourens, Melanie Anandhi, R.J. School Of Cs & Ai Sr University Telangana Warangal India School Of Computing And Innovative Technologies British University Computer Games Design And Programming Viet Nam Lovely Professional University Phagwara India Institute Of Aeronautical Engineering Dundigal Hyderabad India Durban University Of Technology Faculty Of Management Sciences South Africa New Horizon College Of Engineering Department Of Information Science Engineering Bangalore India

ISBN: (纸本)9798350366846

Evaluating student performance is important for universities and institutions in the current student education landscape because it helps them create models that work better for students. The automation of various features related to fundamental student traits and behaviours that manage massive amounts of data efficiently processes these. To handle student records that included information about students' behaviour and how it related to their academic performance, the companies employed models of classification with mining concepts. Additionally, the quality of result classification can be substantially improved by using learning analytics and Educational Data Mining (EDM). The educational establishments are making an effort to lower the low student performance. To address this issue, numerous methods for assessing student performance have been devised, allowing the relevant faculties to intervene and enhance the final product. Three classes - Low Performance Student, Average Student, and Smart Student - were created using the K-Mean Clustering methodology for classifying student records. Features including grade point, number of deficits, student attendance, medium of education, and board of education are taken into account when classifying the data. In this case, the WEKA tool is also utilized for implementing the model and outcome assessments. © 2024 IEEE.

关键词： Decision support systems

来源：评论

学校读者我要写书评

暂无评论

An Experiment to Evaluate IoT Application Security Scheme (IoTGazePass)

An Experiment to Evaluate IoT Application Security Scheme (I...

引用

2022 International Conference on engineering and MIS, ICEMIS 2022

作者： Keshlaf, Ayad A. Alfard, Faheemah M. Bouzid, Omar M. Sabratha University Faculty of Engineering Computer Eng. and It Department Sabratha Libya Libyan Center for Electronic Systems Programming and Aviation Research University of Zawia Computer Department Faculty of Engineering Zawia Libya University of Gharyan Faculty of Engineering Elec. and Electronic Eng. Dept Gharyan Libya

ISBN: (数字)9781665454360

ISBN: (纸本)9781665454360

IoTGazePass is a new password scheme that has been designed to tackle the weaknesses of existing types of passwords. It is intended to be suitable for IoT applications. An experiment was conducted to evaluate the strengths and weaknesses of the IoTGazePass scheme (e.g., security, usability and memorability). The evaluation aspects include a comparison with traditional textual and graphical based passwords in terms of memorability and security of the passwords. The results of the evaluation indicate that the IoTGazePass scheme is easy to use, memorable and flexible, as it can generate strong, secure and scalable passwords. The experiment results have also showed that the IoTGazePass scheme have good ability to deal with shoulder surfing attacks. In fact, the experiment results lead to some recommendations and suggestions to improve the planned performance. © 2022 IEEE.

关键词： Authentication

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共49页 << < 3 4 5 6 7 8 9 10 11 12 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：