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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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 篇 会议
67 册 图书
9 篇 期刊文献

馆藏范围

1,138 篇 电子文献
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...
44 篇 software enginee...
31 篇 dynamic programm...
30 篇 artificial intel...
25 篇 computer communi...
24 篇 integer programm...
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,119 篇 英文
16 篇 其他
5 篇 中文

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

共 1138 条记录，以下是461-470 订阅

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

详细简洁

排序：

Optimal Controller Design for Plants with Polynomial Nonlinearities

Optimal Controller Design for Plants with Polynomial Nonline...

引用

IEEE international conference on Methods and Systems of Navigation and Motion Control (MSNMC)

作者： Roman Voliansky Oleksiy Statsenko Oleg Sergienko Mykola Zhelinskyi Oleksandr Sadovoi Nina Volianska Department of Electromechanical Systems Automation and Electric Drives National Technical University of Ukraine “Igor Sikorsky Kyiv Polytechnic Institute” Kyiv Ukraine Department of Electric Drive Dnipro University of Technology Dnipro Ukraine Department of Heat and Alternative Power Engineering National Technical University of Ukraine “Igor Sikorsky Kyiv Polytechnic Institute” Kyiv Ukraine

the paper deals with the development of theoretical backgrounds to design optimal control systems for nonlinear plants with quadratic nonlinearity in right-hand expression. these backgrounds are based on solving dynamic programming problem for one class of nonlinear plants. We use ordinary differential equations in the normal matrix form to define the dynamic of the considered plant. then we apply feedback linearization transformation to rewrite the abovementioned equation as differential equations in the canonical form. the main advantage of such representation is the linear differential dependence between all state variables and only the last equation has a nonlinear function in this case. that is why we use the differential equations in the canonical form to define the perturbed motions equations and then the quadratic Lyapunov's function is defined as Newton's binomial. In this case Lyapunov's function is invariant to plant structure and parameters. the factors of this function are defined as factors of Newton's binomial. We use the defined in such a way Lyapunov function to solve dynamical programming problem and define control law as the Bellman's equation solution. the benefits of our approach are shown by considering an example of controller design for an electric drive with ventilator load. the numerical simulation shows that the designed system is asymptotically stable and has zero error.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Gender Differences in Human Behaviors During an Earthquake 7th

Gender Differences in Human Behaviors During an Earthquake

引用

7th international conference on Earthquake engineering and Seismology, ICEES 2023

作者： Çelik, M. Gürkan Ercan, B. Ayaz, A. Yakut İpekoğlu, H. Baltacı, F. Kurtoğlu, M. Sevgican, Ş. Yardımcı, H.Ç. Küçükyılmaz, S. Özmen, C.G. Çayır, B. Düzcan, M.E. Sevin, D. Department of Business Administration Hasan Kalyoncu University Gaziantep Turkey Department of Educational Sciences Hasan Kalyoncu University Gaziantep Turkey Department of Psychological Counseling Hasan Kalyoncu University Gaziantep Turkey Department of Art History Suleyman Demirel University Isparta Turkey Department of Gastronomy Hasan Kalyoncu University Gaziantep Turkey Department of Psychology Hasan Kalyoncu University Gaziantep Turkey Department of Political Science and International Relations Hasan Kalyoncu University Gaziantep Turkey Department of Economics Hasan Kalyoncu University Gaziantep Turkey Department of Visual Communication Design Hasan Kalyoncu University Gaziantep Turkey

ISBN: (纸本)9783031573569

this study aims to determine whether human behavior in buildings during an earthquake varies according to gender. the history of devastating earthquakes in Turkey, including the 7.4 magnitude earthquake in Istanbul in 1999, the 6.8 magnitude earthquake in Elazığ in 2020, the 7.7 and 7.6 magnitude earthquakes in Kahramanmaraş in 2023, affecting 11 provinces, and the expected devastating earthquake in Istanbul, experts warn, underscores the urgency of understanding human reactions during seismic events. this study, which is currently part of a project supported by the Scientific and Technological Council of Turkey (TUBITAK, 121K930 project number), examines the indoor recordings during the earthquakes in Elazig on January 24, 2020, and in İzmir on October 30, 2020, and also analyzes the people’s behavior during the earthquake. In this direction, video recordings taken from the YouTube, archives of İzmir and Elazığ AFAD Directorates and metropolitan municipalities are examined. A total of 60 video analyzes are carried out from Elazığ and İzmir. the descriptive statistic has been used with the SPSS 23.0 package program in the data analysis. the results shows that women mostly took protective measures and exhibited human-oriented behavior. In contrast, men were mainly remaining stable or heading toward the door. Unlike the literature, these findings reveal that human behavior during earthquakes cannot be reduced to a single behavior pattern, such as drop-cover-hold-on. According to the results, it is necessary to understand the behaviors of individuals during the earthquake by considering gender and sociocultural variables and to develop practical policy proposals. © the Author(s), under exclusive license to Springer Nature Switzerland AG 2024.

关键词： Earthquakes

来源：评论

学校读者我要写书评

暂无评论

Optimizing Age of Information in Random Access Networks With Correlated Sources

Optimizing Age of Information in Random Access Networks With...

引用

IEEE international conference on Information Communication and Signal Processing (ICICSP)

作者： Long Liang Siyuan Zhou Bin Tang Guoping Tan College of Information Science and Engineering Hohai University Nanjing China College of Computer Science and Software Engineering Hohai University Nanjing China Key Laboratory of Water Big Data Technology of Ministry of Water Resources Hohai University Nanjing China

ISBN: (数字)9798350355895

ISBN: (纸本)9798350355901

Random access is a wireless network access technique that can meet the transmission requirements of a massive number of Internet of things terminals under limited resource constraints. To address the needs of delay-sensitive applications, it is essential to study random access strategies from the perspective of information timeliness. Existing research often assumes that the information transmitted by terminals is independent of each other, neglecting the correlation between information in the design process of random access strategies. However, in scenarios such as video surveillance and sensor monitoring, adjacent terminal transmissions exhibit spatial correlation. To overcome this limitation, this paper proposes a random access strategy based on information timeliness and information correlation. Specifically, we establish information correlation between information sources and analyze the coupling variation of Age of Information (AoI) in multipoint transmission scenarios, deriving an expression for the average network AoI. Next, by jointly optimizing the random access probabilities of various terminals, we minimize the average network AoI. To address the non-convex and nonlinear optimization problem, we design an optimization algorithm based on Sequential Quadratic programming and propose an approach to obtain initial values for improved algorithm stability. Simulation results demonstrate that the proposed method significantly reduces the average network AoI compared to random strategies that do not consider correlation.

关键词： Correlation Wireless networks Simulation Signal processing algorithms Signal processing Reliability theory Information age Video surveillance Stability analysis Quadratic programming

来源：评论

学校读者我要写书评

暂无评论

LLM4PlC: Harnessing large Language Models for Verifiable programming of PlCs in Industrial Control Systems

LLM4PlC: Harnessing large Language Models for Verifiable Pro...

引用

IEEE/ACM international conference on Software engineering: Software engineering in Practice Track (ICSE-SEIP)

作者： Mohamad Fakih Rahul Dharmaji Yasamin Moghaddas Gustavo Quiros Araya Oluwatosin Ogundare Mohammad Abdullah Al Faruque Dept. of Electrical Engineering and Computer Science University of California Irvine CA USA Siemens Technology Princeton NJ USA

ISBN: (数字)9798400705014

ISBN: (纸本)9798350352177

Although Large Language Models (LLMs) have established pre-dominance in automated code generation, they are not devoid of shortcomings. the pertinent issues primarily relate to the absence of execution guarantees for generated code, a lack of explainabil-ity, and suboptimal support for essential but niche programming languages. State-of-the-art LLMs such as GPT-4 and LLaMa2 fail to produce valid programs for Industrial Control Systems (ICS) op-erated by Programmable Logic Controllers (PLCs). We propose LLM4PLC, a user-guided iterative pipeline leveraging user feed-back and external verification tools - including grammar checkers, compilers and SMV verifiers - to guide the LLM's generation. We further enhance the generation potential of LLM by employing Prompt engineering and model fine-tuning through the creation and usage of LoRAs. We validate this system using a FischerTech-nik Manufacturing TestBed (MFTB), illustrating how LLMs can evolve from generating structurally-flawed code to producing verifiably correct programs for industrial applications. We run a complete test suite on GPT-3.5, GPT-4, Code Llama-7B, a fine-tuned Code Llama-7B model, Code Llama-34B, and a fine-tuned Code Llama-34B model. the proposed pipeline improved the generation success rate from 47% to 72%, and the Survey-of-Experts code quality from 2.25/10 to 7.75/10. To promote open research, we share the complete experi-mental setup, the LLM Fine-Tuning Weights, and the video demonstrations of the different programs on our dedicated webpage 1 1 https://***/***/llm4plc/home.

关键词： Codes Industrial control Pipelines Programmable logic devices programming Reliability engineering Manufacturing

来源：评论

学校读者我要写书评

暂无评论

A robust Carrier Frequency and Timing Offset Estimation in Inter-UAV OFDM Communication Links

A robust Carrier Frequency and Timing Offset Estimation in I...

引用

international Multi-Topic ICT conference (IMTIC)

作者： Farzana Kulsoom Iraj Fatima Hassan Nazeer Chaudhry Aneeqa Gul Adeel Akram Telecommunication Engineering Dpt. University of Engineering and Technology Taxila Pakistan Computer Science Dpt. Barani Institute of Technology Rawalpindi Pakistan

the UAV-mounted base station has been integrated into 5G and beyond to provide communication in an emergency when conventional systems fail due to some reason. Moreover, it is also used in coverage enhancement and for other strategic purposes. In this work, we have considered a MIMO-OFDM based UAV system that is inclined to fast-fading channels due to the continuous motion of UAVs. Due to the mobility of UAVs, there is a frequency and timing offset which must be estimated for proper and seamless communication. For that purpose, we have proposed a data-aided maximum likelihood-based scheme that efficiently estimates the carrier frequency and timing offset. Results show that our algorithm outperforms the state-of-the-art system in terms of MSE.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Analysis of Tweets for Tourism Trends: A Case Study of Kathmandu, Nepal 6th

Analysis of Tweets for Tourism Trends: A Case Study of Kathm...

引用

6th international conference on Intelligent Computing and Optimization, ICO 2023

作者： Shrestha, Deepanjal Tamrakar, Sujan Subedi, Ghanshyam Boojhawon, Ravindra Khand, Purna Bahadur School of Business Pokhara University Pokhara Nepal Nanjing University of Aeronautics and Astronautics Nanjing China Gandaki College of Engineering and Science Pokhara University Pokhara Nepal University of Mauritius Moka Mauritius

ISBN: (纸本)9783031501500

Social media has gained importance in social and business sectors. It is capable of creating value with its rich information content and real-time dissemination of information from live human sensors. the role of these social sites cannot be ignored in information-intensive systems like the tourism business systems. this study presents a case study of Twitter trend analysis of Kathmandu City as a tourism destination in Nepal. the work collected around 30,000 tweets using Twitter’s application programming interface (API), and analyzed them using data mining tools and techniques. the analysis revealed that Twitter users in Kathmandu were highly engaged in discussing tourism-related activities and events. the work identified several distinct trends in the Twitter data, including topics such as the earthquake, Nepali food, heritage sites, and tourism Points of Interest (POI). the work also observed trends in the use of hashtags, sentiments related to Twitter content, time series analysis, and information clusters. this study is important to understand the position of Kathmandu in online sites as a tourism destination and the opinions tourist carry for it. this can help the tourism businesses, governing bodies and associated stakeholders to utilize the knowledge to improve the overall image of the city as a tourism destination. It also contributes to the existing literature on social media analysis and provides a foundation for further research in this area. © 2023, the Author(s), under exclusive license to Springer Nature Switzerland AG.

关键词： Sentiment analysis

来源：评论

学校读者我要写书评

暂无评论

Balancing Risks and Monetary Savings When the Crowd is Involved in Pickups and Deliveries 4th

Balancing Risks and Monetary Savings When the Crowd is Inv...

引用

4th international conference on Innovative Intelligent Industrial Production and Logistics, IN4PL 2023

作者： De Maio, Annarita Musmanno, Roberto Vocaturo, Francesca Department of Economics Statistics and Finance "Giovanni Anania" University of Calabria CS Rende Italy Department of Mechanical Energy and Management Engineering University of Calabria CS Rende Italy

ISBN: (纸本)9783031493386

the increasing number of requests in the last-mile delivery has led to the introduction of advanced technological solutions to enhance couriers’ services. In addition, innovative strategies like crowd-shipping have been introduced in order to create synergies within the territory and involve ordinary people in the transportation activity with the aim of reducing operational costs and pollution as well as of increasing the service level. We refer to a company that manages a crowd-shipping platform and provides transportation services within time windows through its own fleet of vehicles and occasional drivers. the service requests correspond to pairs of pickups and deliveries. the objective of the company is to maximize the profit by balancing risks and benefits, from an economic perspective, associated with the involvement of ordinary people in fulfilling service requests. We extend the pickup and delivery problem with occasional drivers and regular vehicles, introducing risk and compensation considerations. the computational analysis conducted through an optimization model shows how the use of occasional drivers reduces overall costs. Moreover, a series of managerial insights is provided thanks to a sensitivity analysis on the risk and compensation parameters associated with crowd-shipping service. © 2023, the Author(s), under exclusive license to Springer Nature Switzerland AG.

关键词： Crowd-shipping Integer linear programming Multi-vehicle pickup and delivery problem Sustainable transportation Time windows

来源：评论

学校读者我要写书评

暂无评论

Distribution Network Planning Considering the Microgrids' Flexible Capability

Distribution Network Planning Considering the Microgrids' Fl...

引用

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

作者： Hangcheng Chen Fan Li Zhen Wang Hongji Yang Mufan Wang Polytechnic Institute Zhejiang University Hangzhou China Electric Economic Research Institute of State Grid Zhejiang Electric Power Company Hangzhou China College of Electrical Engineering Zhejiang University Hangzhou China

In this paper, a two-stage expansion model for the distribution network is established for the purpose of minimizing the planning cost of the distribution, considering networked microgrids (MGs) as flexible regulation resources. In the first stage, the planning decision is made according to the measure of constructing lines, while in the second stage, the operating cost of the distribution network is evaluated by considering MG's flexible regulation capability. Based on the DistFlow model, the expansion model can be transformed into a second-order cone programming (SOCP) problem which can be easily solved by the YALMIP toolbox and GUROBI solver used in the study. Finally, a 20-bus distribution network test system is used to test the effectiveness of the proposed method.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Fault Reconstruction of Electric-Gas Interconnection System Based on Second-Order Cone

Fault Reconstruction of Electric-Gas Interconnection System ...

引用

Energy, Electrical and Power engineering (CEEPE), international conference on

作者： Bing Yu Yue Peng Gang Yang Zhongshan Shao Chao Luo Donghai Luo Xufeng Yuan Guizhou Innovative Electric Power Research Institute Co. Ltd Guiyang China College of Electrical Engineering Guizhou University Guiyang China

ISBN: (数字)9798350375794

ISBN: (纸本)9798350375800

With the rapid development of science and technology, the traditional distribution network has been unable to meet the energy needs of users, so the new integrated energy system with renewable energy come into being. In order to guarantee the reliability of power supply, it is of great significance to study the network reconfiguration after its failure. In the process of fault reconstruction, second-order cone relaxation technology can be used to solve the problems that the efficiency and stability of traditional distribution network fault reconstruction are not high, the solution result cannot be guaranteed to be the optimal solution, and the calculation time is long. therefore, this paper studies the fault reconstruction strategy of the power-gas interconnection integrated energy system based on the second-order cone relaxation technology. Firstly, the optimal power flow model is selected to minimize the loss load of power distribution network in the case of system failure. then, the constraint conditions of the power-gas interconnection system from electricity to gas and gas to electricity, and the constraint conditions of the safe operation of distribution network are established respectively. Secondly, the model was transformed by the second-order cone relaxation method, and solved by Gurobi commercial algorithm package, a second-order cone relaxation optimization tool. Finally, the stability and efficiency of the hybrid integer second-order cone programming method in solving the system fault reconstruction problem are verified by the analysis of the calculation results based on the example of IEEE33 node system.

关键词： Uncertainty TV Power supplies Electricity Distribution networks Power system stability programming

来源：评论

学校读者我要写书评

暂无评论

Optimal Control Design for Personalized Lane-Change Operation of Inteligent Vehicle

Optimal Control Design for Personalized Lane-Change Operatio...

引用

conference on Vehicle Control and Intelligence (CVCI)

作者： Xiang Wang Jiangyan Zhang College of Mechanical and Electronic Engineering Dalian Minzu University Dalian China

According to the personalized lane-change habits of different drivers, this study presents an automatic-driving personalized lane-change control system that ensures the safety of automatic-driving lane changes and meets the personalized needs of drivers. Constrained Delaunay triangulation (CDT) was used to generate a safe collision-free lane-changing area to ensure the safety of the planned lane-change path. Using the HighD datasets, a lane-change driving behavior identification model was established based on the BP neural network, divided into careful, normal, and aggressive according to driving habits. Taking driving safety and ride comfort as performance indices, quadratic programming (QP) algorithm is applied to generate personalized optimal paths to accommodate three different driving lane-change styles. then, a linear quadratic regulator (LQR) feedback controller integrated with feedforward control was designed for tracking control of personalized lane-change paths. Finally, co-simulation results by using PreScan, CarSim, and MATLAB/Simulink demonstrated that the proposed personalized lane-change path-planning and the tracking control system were effective and feasibility.

关键词：

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共114页 << < 43 44 45 46 47 48 49 50 51 52 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：