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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

1,062 篇 会议
65 册 图书
9 篇 期刊文献

馆藏范围

1,136 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

702 篇 工学
- 564 篇 计算机科学与技术...
- 476 篇 软件工程
- 134 篇 信息与通信工程
- 131 篇 控制科学与工程
- 97 篇 电气工程
- 71 篇 生物工程
- 62 篇 机械工程
- 55 篇 动力工程及工程热...
- 50 篇 电子科学与技术（可...
- 45 篇 交通运输工程
- 38 篇 生物医学工程（可授...
- 31 篇 化学工程与技术
- 25 篇 安全科学与工程
- 23 篇 土木工程
- 22 篇 光学工程
- 22 篇 石油与天然气工程
391 篇 理学
- 277 篇 数学
- 78 篇 生物学
- 63 篇 物理学
- 58 篇 统计学（可授理学、...
- 57 篇 系统科学
- 32 篇 化学
191 篇 管理学
- 138 篇 管理科学与工程(可...
- 79 篇 工商管理
- 67 篇 图书情报与档案管...
34 篇 经济学
- 34 篇 应用经济学
33 篇 教育学
- 33 篇 教育学
28 篇 法学
26 篇 医学
- 24 篇 基础医学(可授医学...
- 24 篇 临床医学
- 23 篇 药学(可授医学、理...
13 篇 农学
1 篇 艺术学

主题

51 篇 software enginee...
50 篇 programming
47 篇 linear programmi...
42 篇 software enginee...
31 篇 dynamic programm...
30 篇 artificial intel...
24 篇 integer programm...
23 篇 computer communi...
23 篇 optimization
21 篇 programming lang...
19 篇 machine learning
18 篇 logics and meani...
18 篇 heuristic algori...
17 篇 computer science
16 篇 computational mo...
16 篇 students
16 篇 software
15 篇 costs
15 篇 programming tech...
13 篇 object oriented ...

机构

7 篇 college of energ...
6 篇 school of electr...
5 篇 college of elect...
5 篇 school of scienc...
5 篇 information engi...
4 篇 school of comput...
4 篇 school of vehicl...
4 篇 china electric p...
4 篇 school of cyber ...
3 篇 school of electr...
3 篇 school of electr...
3 篇 school of transp...
3 篇 department of co...
3 篇 college of infor...
3 篇 school of inform...
3 篇 state key labora...
3 篇 nanjing universi...
3 篇 shanghai maritim...
3 篇 polytechnic inst...
3 篇 school of comput...

作者

4 篇 meikang qiu
3 篇 wang hui
3 篇 miller james
3 篇 gong peizhu
3 篇 wang junxiang
3 篇 xigang yuan
3 篇 batra salil
3 篇 salil batra
3 篇 mekruksavanich s...
3 篇 jitpattanakul an...
3 篇 liu jin
3 篇 wu zhongdai
3 篇 mengjie zhang
2 篇 yin jianbing
2 篇 heinz stefan
2 篇 seniman
2 篇 li cheng
2 篇 saraswat sudhir
2 篇 duo liu
2 篇 cheng wang

语言

1,117 篇 英文
16 篇 其他
5 篇 中文

检索条件"任意字段=7th International Conference on the Art, Science, and Engineering of Programming, Programming 2023"

共 1136 条记录，以下是971-980 订阅

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

详细简洁

排序：

Study Courses Digitalisation at RTU On the Basis of HPC Platform and Combined Learning Methodology

Study Courses Digitalisation at RTU On the Basis of HPC Plat...

引用

international Scientific conference on Power and Electrical engineering of Riga Technical University (RTUCON)

作者： Anastasia Zhiravetska Jelena Chaiko Nadezhda Kunicina Julija Maksimkina Department of Electrophysics Institute of Industrial Electronics and Electrical Engineering Riga Technical University Riga Latvia Institute of Industrial Electronics and Electrical Engineering Riga Technical University Riga Latvia

the benefits of study program digitalisation are very promising in engineering sector, and they are coming into all segments of life not avoiding the segment of education especially in engineering area. therefore Riga Technical University is intensively improving its study courses introducing and modifying study activities realised by means of various interactive tools. One of the ways to digitalise the courses is participation in project 2.3.1.1.i.0/1/22/I/CFLA/003 “Mastering of High Level Digital Skills In Latvia In the Field of High Performance Computing” (“Augsta līmeņa digitālo prasmju apguve Latvijā augstas veiktspējas skaitļošanas tehnoloģiju jomā”). this project is realised by three largest universities of Latvija – Riga Technical University, Riga Stradiņš University and Latvian University. It initialises the modification of 12 study courses for the further combined learning methodology on the basis of 8 themes modules: 1) scientific programming and operational systems, 2) computer design, 3D modelling and design, 3) data analysis, machine learning and data science, 4) parallel programming, 5) modelling and simulation, 6) modern computing systems and methods 7) engineering design of complex physical systems and simulation of mechanic, aerodynamic, electrodynamic properties and 8) artificial intelligence including medicine diagnostics based on pictures.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Design and Fabrication of Sensorized Soft Effectors for Modular Soft Robots

Design and Fabrication of Sensorized Soft Effectors for Modu...

引用

Automation, Control and Robots (ICACR), international conference on

作者： Maliha Kabir Prosenjit Kumar Ghosh Md. Sharif Ahmed thinagaran Perumal Prabha Sundaravadivel Dept. of Electrical and Computer Engineering The University of Texas at Tyler Dept. of Computer Science Universiti Putra Malaysia Selangor Malaysia

Biomimicry is a field of study that involves imitating the designs and processes of nature to solve problems using manmade systems. Biomimicry offers an empathetic, interconnected understanding of how life works and where we fit in. In bio-inspired designs, the main challenge is to develop a sustainable and effective framework that can be used in the real world. Most of the soft robotic designs are state-of-the-art models that cannot be used in real sensing applications. In this research, we propose a sustainable sensor-integrated modular soft robot model that can be used for locomotion and gripping applications. this work presents the steps involved in modeling, designing, and fabricating soft and flexible end effectors that can be used for soft robots with integrated soft stretchable sensors. It also demonstrates the design methodology involved in modeling and simulating the proposed model for robots that would require effectors with increased functionalities.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Navigating Complex Multiclass Classification in High-Dimensional Spaces: A Hybrid Approach

Navigating Complex Multiclass Classification in High-Dimensi...

引用

international conference on Computation System and Information Technology for Sustainable Solutions (CSITSS)

作者： Praneeth Nemani Venkata Surya Sundar Vadali Prathistith Raj Medi Ashish Marisetty Satyanarayana Vollala Department of Computer Science and Engineering IIIT Naya Raipur India Department of Data Science and Artificial Intelligence IIIT Naya Raipur India

Large-scale tabular data classification is a critical task and the complexity arises from the vast amount of structured data generated in these fields, coupled with the challenges of high dimensionality and limited sample sizes. To address these challenges, advanced machine learning algorithms are required to analyze and categorize instances within these datasets effectively. In this work, we propose the usage of a state-of-the-art classifier called XBNet, which combines the strengths of tree-based classifiers and neural networks to tackle large tabular datasets. Our methodology is validated on a dataset with 64 dimensions and 11 classes, showcasing the model's capability to detect patterns and extract relevant features automatically. Furthermore, we employ K-Fold cross-validation to assess the model's performance, achieving an impressive training accuracy of 61.9% and a validation accuracy of 31.7%. these results surpass those of competing algorithms, confirming the superiority of our proposed methodology in handling large-scale tabular data classification tasks.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Comprehensive Approaches to Securing Multi-Cloud Architectures: Best Practices and Emerging Solutions

Comprehensive Approaches to Securing Multi-Cloud Architectur...

引用

international conference on Contemporary Computing and Informatics (IC3I)

作者： Raveena R Nair D. Sreevidya Chinnem Rama Mohan Joydeep Banerjee Kuldeep Chouhan Dharamvir Saveetha School of Law Saveetha Institute of Medical and Technical Sciences (SIMATS) Chennai India Department of CSE (CyS DS) and AI & DS VNRVJIET Nizampet Hyderabad India Department of Computer Science and Engineering Narayana Engineering College Nellore Andhra Pradesh India NSHM Knowledge Campus Durgapur Kolkata West Bengal India Department of Computer Science Applications Sharda School of Engineering and Technology Greater Noida Uttar Pradesh India Department of MCA The Oxford College of Engineering Bommanahalli Bengaluru Karnataka India

ISBN: (数字)9798350350067

ISBN: (纸本)9798350350074

With an emphasis on multi-cloud networks, this research paper offers a synopsis of cloud computing techniques. It covers the fundamentals of cloud programming, the difficulties that cloud computing faces, and the ways that multi-cloud systems, such as cloud hybridization, federation clouds, cross-clouds, and multi-clouds, might help solve these problems. the opportunity of multi-cloud structures in combination with modern technologies such as Big Data and also Machine Learning (ML) is explored as well in the study, leading to some fascinating breakthroughs. To assist researchers, grasp the difficulties and generate enthusiasm within the community for the upcoming pairing of multi-cloud services with additional cutting-edge technologies, the aim is to present a contemporary perspective on multi-cloud technology and solve outstanding concerns.

关键词： Cloud computing Machine learning Computer architecture Companies programming Maintenance engineering Big Data Safety Informatics Faces

来源：评论

学校读者我要写书评

暂无评论

Using Knowledge Representation and Task Planning for Robot-agnostic Skills on the Example of Contact-Rich Wiping Tasks

Using Knowledge Representation and Task Planning for Robot-a...

引用

IEEE international conference on Automation science and engineering (CASE)

作者： Matthias Mayr Faseeh Ahmad Alexander Duerr Volker Krueger Department of Computer Science Faculty of Engineering (LTH) Lund University Lund Sweden

the transition to agile manufacturing, Industry 4.0, and high-mix-low-volume tasks require robot programming solutions that are flexible. However, most deployed robot solutions are still statically programmed and use stiff position control, which limit their usefulness. In this paper, we show how a single robot skill that utilizes knowledge representation, task planning, and automatic selection of skill implementations based on the input parameters can be executed in different contexts. We demonstrate how the skill-based control platform enables this with contact-rich wiping tasks on different robot systems. To achieve that in this case study, our approach needs to address different kinematics, gripper types, vendors, and fundamentally different control interfaces. We conducted the experiments with a mobile platform that has a Universal Robots UR5e 6 degree-of-freedom robot arm with position control and a 7 degree-of-freedom KUKA iiwa with torque control.

关键词：

来源：评论

学校读者我要写书评

暂无评论

threat modeling using formal methods: A new approach to develop secure web applications

Threat modeling using formal methods: A new approach to deve...

引用

international conference on Emerging Technologies, ICET

作者： Shafiq Hussain Harry Erwin Peter Dunne Department of Computing Engineering and Technology University of Sunderland Sunderland UK

Software security problems exist since the early days of computer systems. Operating system level approaches, network level approaches and machine level approaches are not sufficient for the security of software systems. Software security has gained attention in the recent years as an internal security issue of software systems as compared to external protective measures. threat modeling is a technique being used to model threats into software systems. By applying threat modeling at the early stages of software development life cycle, all possible threats to software systems can be identified and mitigated and hence in this way, a more secure software application can be developed. Various threat modeling approaches such as CLASP, SDL, STRIDE, DREAD, TAM and Touch Points are being used by many organizations for threat modeling into software systems. But all of the approaches being used for threat modeling are based on informal and semi formal techniques. Formal methods are based on mathematics and provide state of the art techniques for secure software development. Formal methods had been used successfully in many critical systems such as CICS, Paris Railway System and British Air Traffic Control System etc. In the proposed approach VDM++, will be used for specification of core components: STRIDE, DREAD and Security Mechanisms. VDM++Tools will be used for type checking and proof obligations.

关键词： Security Unified modeling language Software systems Mathematical model Computational modeling programming

来源：评论

学校读者我要写书评

暂无评论

Intelligent PC-based user control interface for on-line correction of robot programs

Intelligent PC-based user control interface for on-line corr...

引用

international conference on Control, Automation, Robotics and Vision (ICARCV)

作者： U. Berger R. Lepratti Brandenburg University of Technology Cottbus Germany

Today the automotive sector is dominated by high variety of types and increasing product diversification. thus, OEM manufacturers reintegrate key technologies back in the enterprise, due to competitive reason and to stabilize leadership in innovation. As an example, state-of-the-art fuel and diesel engine cylinder heads achieve higher complexity and filigrane structure, therefore careful treatment of specimen as well as net-shape machining processes with high quality output are a major requirement in this sector. A key issue is the surface fretting and finishing of engine parts subsequent following foundry procedures. An advanced factory automation system, based on an industrial robot (6-axis joint coordinate), has been developed in order to obtain the described results. On the system apply various measuring procedures, in order to recognize and remove burr formation (particularly with optical technique). A graphical interactive programming system enables simple and user friendly correction at deburring results for individual workpiece types. A possibility was given to the system user, who can easily remove deburring errors through short operator interaction, mainly input of correction values at controller system. thereby, each authorized robot cell operator can contribute to guaranty process quality without special technical training.

关键词： Intelligent robots Intelligent control Robot kinematics Diesel engines Deburring Automotive engineering Manufacturing Technological innovation Fuels Engine cylinders

来源：评论

学校读者我要写书评

暂无评论

How efficient can hydrogen be? Hydrogen technologies and their limits of optimizibility

How efficient can hydrogen be? Hydrogen technologies and the...

引用

7th international Hybrid Power Plants & Systems Workshop (HYB 2023)

作者： N. Eggers T. Birth M. Scheffler S. Jentsch A. Hurtado Energy Systems and Infrastructures Fraunhofer Institute for Factory Operation and Automation IFF Sandtorstraße 22 Magdeburg Germany Mechanical Science and Engineering Technische Universität Dresden Dresden Germany

Hydrogen offers excellent potential for cross-sector decarbonization through power-to-gas technologies necessary for climate policy. However, studies show that the planned expansion of electrolysis technologies according to current future scenarios will not produce sufficient quantities of hydrogen. One way to address this challenge is to optimize electrolysis technologies, which would increase efficiency and, at the same time, increase hydrogen yield. this approach raises the question of the limit of optimizability. this paper presents and discusses a model to represent an idealized reference process for water electrolysis. the reference model has the potential of identifying the optimum based on applicable laws of nature and the current state of the art, which can be used as a basis for the process design of an electrolysis cell. Furthermore, it allows the real-time evaluation of the operation of an electrolysis cell and, thus, the investigation of degradation effects.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Minimizing User Connectivity Costs and Latency Between Controllers and Switch-Controllers for Software Defined Networking 19th

Minimizing User Connectivity Costs and Latency Between Cont...

引用

Mobile Web and Intelligent Information Systems - 19th international conference, MobiWIS 2023, Proceedings

作者： Viveros, Andres Adasme, Pablo Firoozabadi, Ali Dehghan Department of Electrical Engineering Universidad de Santiago de Chile Avenida Víctor Jara No 3519 Santiago9170124 Chile Department of Electricity Universidad Tecnológica Metropolitana Av. Jose Pedro Alessandri 1242 Santiago7800002 Chile

ISBN: (纸本)9783031397639

In this paper, we consider the problem of assigning users to switches and controllers at minimum connectivity costs. We simultaneously minimize the existing latency between controllers and switch controllers for software-defined networks (SDN). In particular, we propose two mixed-integer quadratic programming formulations and their standard linearization counterparts. All the proposed models are solved with the CPLEX solver. More precisely, the quadratic models are solved with the branch and cut (B &C) algorithm of the solver. Whilst the linear ones are solved with both, the B &C and with the automatic Bender’s decomposition algorithmic option of the CPLEX solver. To the best of our knowledge, this work constitutes a first attempt to propose mathematical formulations while including user connectivity to a backbone software-defined network. Notice that we consider which is the best strategy for connecting users to the backbone, either connecting them to switches or to the controller nodes of the network. Our preliminary numerical results indicate that for most of the benchmark instances considered the second strategy which connects users to switches has a better performance in terms of objective function values. On the other hand, we observe that the linear models offer better performance in terms of CPU times to get the optimal or best objective values. Finally, we see that the linear models can be solved faster with the branch and cut algorithm than using Bender’s decomposition approach. © 2023, the Author(s), under exclusive license to Springer Nature Switzerland AG.

关键词： Controllers

来源：评论

学校读者我要写书评

暂无评论

Soft Open Point Planning Method for Active Distribution Network Based on Generative Adversarial Network

Soft Open Point Planning Method for Active Distribution Netw...

引用

IEEE conference on Energy Internet and Energy System Integration (EI2)

作者： Hao Wang Qiyou Lin Hongxing Wang Yuan Ge Nuo Yu Shinong Wang School of Electrical Engineering Anhui Polytechnic University Wuhu China Wuhu Fanchang District Power Supply Company State Grid Anhui Electric Power Co. Ltd Wuhu China Wuwei City Power Supply Company State Grid Anhui Electric Power Co. Ltd Wuhu China School of Electrical Engineering Anhui Polytechnic University Anhui Institute of Future Technology Wuhu China

With the continuous increase of the penetration rate of distributed generation (DG) in the distribution network, higher requirements have been put forward for the dependable and cost-effective operation of the distribution network. In order to address the impact caused by the intermittent output of a large number of DGs on the distribution network, this article proposes a planning method for soft open point (SOP) using generative adversarial network (GAN). First, to accurately simulate the operating characteristics of DG, a GAN is employed for sce-nario generation. then, operational constraints for distribution networks with SOP are proposed, with the objective function being the minimization of annual total cost. By relaxing and linearizing the original non-convex and non-linear constraints, a second-order cone programming model is derived, and the objective function is solved under the constraints. Finally, the proposed scenario generation algorithm and planning model are analyzed and veriffed on the IEEE 33- node test system.

关键词：

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共114页 << < 94 95 96 97 98 99 100 101 102 103 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：