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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

996 篇 会议
68 册 图书
10 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

695 篇 工学
- 566 篇 计算机科学与技术...
- 495 篇 软件工程
- 146 篇 控制科学与工程
- 132 篇 信息与通信工程
- 89 篇 电气工程
- 70 篇 机械工程
- 59 篇 动力工程及工程热...
- 51 篇 生物工程
- 48 篇 交通运输工程
- 44 篇 电子科学与技术（可...
- 37 篇 安全科学与工程
- 27 篇 光学工程
- 25 篇 生物医学工程（可授...
- 23 篇 仪器科学与技术
- 22 篇 化学工程与技术
- 19 篇 材料科学与工程（可...
- 17 篇 建筑学
- 17 篇 土木工程
391 篇 理学
- 297 篇 数学
- 59 篇 生物学
- 54 篇 系统科学
- 48 篇 物理学
- 38 篇 统计学（可授理学、...
- 28 篇 化学
195 篇 管理学
- 148 篇 管理科学与工程(可...
- 77 篇 工商管理
- 70 篇 图书情报与档案管...
40 篇 教育学
- 40 篇 教育学
37 篇 经济学
- 37 篇 应用经济学
23 篇 法学
- 20 篇 社会学
16 篇 医学
13 篇 农学
2 篇 文学
2 篇 军事学

主题

66 篇 software enginee...
64 篇 linear programmi...
53 篇 programming
40 篇 software enginee...
33 篇 artificial intel...
29 篇 optimization
26 篇 dynamic programm...
25 篇 programming tech...
24 篇 costs
22 篇 computational mo...
19 篇 programming lang...
18 篇 programming prof...
18 篇 integer programm...
18 篇 logics and meani...
17 篇 training
16 篇 computer communi...
16 篇 students
14 篇 machine learning
14 篇 engineering educ...
13 篇 computer science

机构

4 篇 department of sy...
4 篇 zhejiang univers...
4 篇 school of comput...
4 篇 state grid sichu...
4 篇 school of inform...
4 篇 school of mechan...
3 篇 school of automa...
3 篇 school of inform...
3 篇 school of comput...
3 篇 cent res inst el...
3 篇 eindhoven univer...
3 篇 department of co...
3 篇 college of infor...
3 篇 school of electr...
3 篇 school of comput...
3 篇 school of inform...
3 篇 polytechnic inst...
3 篇 department of co...
3 篇 school of inform...
3 篇 school of inform...

作者

4 篇 hideki katagiri
4 篇 sanxing cao
4 篇 yin guodong
3 篇 zhang tao
3 篇 laksono pringgo ...
3 篇 chen hao
3 篇 kosuke kato
3 篇 rosyidi cucuk nu...
3 篇 miller j
3 篇 takano hirotaka
3 篇 asano hiroshi
3 篇 liu wei
3 篇 zhang chen
3 篇 shen tong
3 篇 smith m
3 篇 el-kenawy el-say...
3 篇 yang liu
3 篇 martin a
3 篇 abotaleb mostafa
3 篇 mugridge r

语言

1,040 篇 英文
32 篇 其他
5 篇 中文
1 篇 西班牙文

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

共 1074 条记录，以下是171-180 订阅

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

详细简洁

排序：

Vehicle Stability Control Considering Longitudinal Disturbances of Wheel Dynamic Based on Linear Time-varying Model Predictive Control 6

Vehicle Stability Control Considering Longitudinal Disturban...

引用

6th CAA international conference on Vehicular Control and Intelligence, CVCI 2022

作者： Wang, XuYang Li, ShaoSong Lu, XiaoHui Liu, Na Yu, ZhiXin Changchun University of Technology School of Mechatronic Engineering ChangChun China

ISBN: (数字)9781665453745

ISBN: (纸本)9781665453745

To elevate the accuracy of autonomous vehicles stability control, this study puts forward a stability control method based on linear time-varying model predictive control (LTV-MPC) which considers longitudinal wheel dynamic disturbance. the method discretizes and linearizes the nonlinear vehicle dynamics control system considering the four-wheel dynamic disturbance as the prediction model;establishes the objective function with the increment as the state variables, introduces a relaxation factor to prevent no feasible solution;designs constraints on system control input and control increments and converts the objective function solution into a quadratic programming (QP) problem with constraints;uses the interior point method to solve and applies the first control input increment to system;repeats the above process to achieve optimized control. the simulation experiments of the sinusoidal maneuver with variable frequency and the double lane change (DLC) maneuver are put into practice respectively. the co-simulation shows that designed controller based on LTV-MPC can enable CarSim B-Class vehicle to achieve state tracking at high speed. © 2022 IEEE.

关键词： Model predictive control

来源：评论

学校读者我要写书评

暂无评论

Facial Expression Recognition Based on Genetic programming Learning CCA Fusion 5

Facial Expression Recognition Based on Genetic Programming L...

引用

5th international conference on Pattern Recognition and artificial Intelligence, PRAI 2022

作者： Wu, Min Li, Ming He, Chao Chen, Hao Wang, Yan Li, Zhengxiu Nanchang Hangkong University School of Information Engineering Nanchang China Nanjing University of Aeronautics and Astronautics College of Automation Engineering Nanjing China

ISBN: (数字)9781665499163

ISBN: (纸本)9781665499163

the quality of the features directly affect the overestimation of image classification. However, it is difficult to distinguish between two categories only by a single feature when there is no obvious difference between them. One of the ideas to solve this problem is multi-feature fusion. However, the existing fusion methods have the problems of complex models, fixed models and the need for relevant knowledge in the field. Genetic programming (GP) is a feature fusion method with flexible representation. It can automatically learn other excellent fusion methods without operating how the computer fuses. According to this property, this paper presents a new LCGP method, which can automatically learn existing fusion methods. In the proposed method, the excellent fusion model will be refined into a mathematical form of the function operator. In fact, this is a three-tiered GP tree that integrates different features and fusion methods into the same tree through operators. the proposed method can automatically learn and evolve different mathematical fusion models, validate them on two small sample datasets, CK+ and JAFFE, and compare them with several state-of-the-art methods. the results show that although the training examples are limited, the performance of this method is better than or similar to that of the related methods. © 2022 IEEE.

关键词： Genetic programming

来源：评论

学校读者我要写书评

暂无评论

Voting Decentralized Application Using Blockchain 6

Voting Decentralized Application Using Blockchain

引用

6th international conference on Contemporary Computing and Informatics, IC3I 2023

作者： Asha Banu, A. thenmozhi, P. Gokulalakshmi, A. Jayabarathi, V. Ananth, Christo IFET College of Engineering Science and Humanitites Tamilnadu India St. Joseph's College of Engineering Electronics and Communication Engineering Chennai India IFET College of Engineering Computer Science and Engineering Tamilnadu India Samarkand State University Faculty of International Education Programs Uzbekistan

ISBN: (纸本)9798350304480

the democratic practise of voting is one of the most important. the most reliable method for guaranteeing that everyone's right to vote is protected, in the opinion of many experts, is to use paper ballots. Meanwhile, this tactic is open to misuse and blunders. To address the problems with paper ballots, many countries now use digital voting procedures. Digital voting machines are prone to mistakes that could result in widespread vote rigging. Voting procedures for elections must be authorised, precise, secure, and practical. Acceptance may be constrained, though, by problems with digital voting procedures. Blockchain technology was created to solve these issues due to its end-to-end verification capabilities. To ensure We have employed blockchain technology. We implemented our protocol on the blockchain-based Ethereum 2.0 platform, which uses the Solidity programming language To test it, it is necessary to create smart contracts. Smart contract technology offers a safe way to validate voters, ensure the validity of the results, make the voting process public, and thwart fraud. Based on security and gas costs, we examined how well the system performed. It becomes more secure and costs less to maintain the required infrastructure. © 2023 IEEE.

关键词： component formatting insert style styling

来源：评论

学校读者我要写书评

暂无评论

Frequency Constrained Source-Grid-Load-Storage Coordination Dispatch 6

Frequency Constrained Source-Grid-Load-Storage Coordination ...

引用

6th IEEE conference on Energy Internet and Energy System Integration, EI2 2022

作者： Wang, Guannan Shen, Yukang Wu, Wenchuan Zhang, Jun Wang, Bin Liu, Haitao State Grid Jibei Electric Power Company Limited Beijing China Tsinghua University Department of Electrical Engineering Beijing China

ISBN: (纸本)9798350347159

the high penetration of renewable energy sources (RESs) brings challenges to maintain the frequency stability of power systems, and energy storage systems (ESSs) will be widely installed to provide frequency supports, which raises the concern: how to coordinate the conventional sources with storage devices in generation dispatch. this paper proposes a frequency constrained source-grid-load-storage coordination dispatch model to coordinate various generation sources, which can be formulated with a mixed-integer quadratic programming (MIQP) problem. Case studies on modified IEEE 24-bus system show that our schedule method can guarantee the frequency security while improving the economics of the power systems. © 2022 IEEE.

关键词： Renewable energy resources

来源：评论

学校读者我要写书评

暂无评论

Combining Variable Neighborhood Search and Constraint programming for Solving the Dial-A-Ride Problem 6th

Combining Variable Neighborhood Search and Constraint Progra...

引用

6th international conference on Information and Communication Technology for Intelligent Systems, ICTIS 2021

作者： Vamsi Krishna Munjuluri, V.S. Shankar, Mullapudi Mani Vikshit, Kode Sai Gutjahr, Georg Department of Computer Science and Engineering Amrita Vishwa Vidyapeetham Amritapuri India Amrita Vishwa Vidyapeetham Amritapuri India

ISBN: (纸本)9789811935749

Dial-a-ride problems (DARPs) have become a popular topic in logistics in recent *** are frequently used in transportation, goods distribution, and fast *** DARP is an NP-hard optimization problem in which the objective is to organize transmutations from pickup to delivery locations of geographically dispersed *** exact and heuristic approaches have been proposed in the literature to solve the *** this paper, we propose a novel algorithm that combines a variable neighborhood search with constraint propagation to solve this *** neighborhood search is a metaheuristic that iteratively modifies routes to improve the quality of an incumbent *** propagation makes use of techniques like backtracking, forward filtering, consistency enforcement to iteratively restrict the possible routes in the *** the two approaches, one obtains an algorithm that has good properties in terms of runtime and solution *** simulations, the algorithm is shown to be more efficient than the basic variable neighborhood search when runtimes are small. © 2023, the Author(s), under exclusive license to Springer Nature Singapore Pte Ltd.

关键词： Combinatorial optimization

来源：评论

学校读者我要写书评

暂无评论

Big Five Personality Prediction Based on Pre-training Language Model and Sentiment Knowledge Base 6

Big Five Personality Prediction Based on Pre-training Langua...

引用

6th international conference on Computer Information science and Application Technology, CISAT 2023

作者： Lin, Hao Li, Xiaolei Tianjin University of Technology School of Computer Science and Engineering Tianjin300191 China College of Data Science and Application Inner Mongolia University of Technology Hohhot010080 China

ISBN: (纸本)9781510668546

Machine learning-based personality prediction methods have become the mainstream prediction method. But existing Big Five personality prediction methods based on user-generated text rely too much on pre-trained language models to ignore the sentiment information. To tackle these issues, we propose a novel Big Five personality prediction method based on pre-trained language models and SenticNet6, which is a new sentiment knowledge base. the correlation analysis and ablation experiment shows that SenticNet6 can be used for Big Five personality prediction tasks. the experiment results indicate that our proposed method improves the state-of-art results for each Big Five personality trait by 9.89%, 9.39%, 2.99%, 3.01%, and 4.28% on Essays dataset, respectively. © 2023 SPIE.

关键词： Forecasting

来源：评论

学校读者我要写书评

暂无评论

A Short-term Peak Shaving Model of Hybrid Pumped-Storage Hydropower Plant 6

A Short-term Peak Shaving Model of Hybrid Pumped-Storage Hyd...

引用

6th IEEE conference on Energy Internet and Energy System Integration, EI2 2022

作者： Luo, Bin Miao, Shumin Chen, Yongcan Liu, Zhaowei Shan, Pengzhu Liu, Xinyu Tsinghua University State Key Laboratory of Hydroscience and Engineering Beijing China State Grid Sichuan Electric Power Research Institute Chengdu China Nanjing China Southwest University of Science and Technology School of Civil Engineering and Architecture Mianyang China

ISBN: (纸本)9798350347159

this paper proposes a short-term peak shaving model of hybrid pumped-storage hydropower plant (HPSHP). the model takes the unit as the minimum modeling unit and its objective function is minimizing the residual load peak-valley difference. the different operating characteristics of the conventional units and pumped-storage units are differentially modeled, and besides, the binary variables that represent the operation states are introduced to realize decoupling and correlation switching of operating states. In terms of model solving, the original mixed integer nonlinear programming (MINLP) problem was converted to MILP model by linearization method and modeling skills, and finally solved by CPLEX tool in JAVA environment. Finally, the validity of the proposed model is verified by an example of a hydropower station in southwest China. © 2022 IEEE.

关键词： Hydroelectric power plants

来源：评论

学校读者我要写书评

暂无评论

A Broad Review on Adverse Drug Reaction Detection using Social Media Data 6

A Broad Review on Adverse Drug Reaction Detection using Soci...

引用

6th international conference on Intelligent Computing and Control Systems, ICICCS 2022

作者： Anjali, B.V. Ravi Kumar, G.K. Bgsit - Adichunchanagiri University Department of Computer Science & Engineering Karnataka Mandya India - Bgsit Department of Cse India

ISBN: (纸本)9781665410359

Adverse Drug Reactions (ADRs)"monitoring is characterized as one of the critical issues which have prior attention in medical research field. Purpose: Identification of ADR in hospitals provides an opportunity to discover severe ADRs ensuing in hospitalization. this paper introduces a comprehensive review based on social data representations for a better understanding of state-of-the-art ADR techniques. Within each category, several representative algorithms are selected for evaluation and comparison. In this study, various existing researches are reviewed and categorized based on the techniques used such as the machine learning, deep learning and other methods for ADR detection methods. : the performance of the review study is analyzed through performance metrics such as Accuracy and F1_score respectively. the deep learning with optimization-based ADR detection methods provides the best result which will be suggested to use in detection purpose to attain the best results. © 2022 IEEE.

关键词： Support vector machines

来源：评论

学校读者我要写书评

暂无评论

Shellac: A Compiler Synthesizer for Concurrent Programs 1

引用

14th international Working conference on Verified Software - theories, Tools and Experiments (VSTTE)

作者： Chen, Christopher K. Seltzer, Margo I. Greenstreet, Mark R. Univ British Columbia Vancouver BC V6T 1Z4 Canada

ISBN: (数字)9783031258039

ISBN: (纸本)9783031258022;9783031258039

Formal specification languages such as TLA+ and unity are used to design and verify concurrent programs. these languages are intended for analysis rather than for execution. A compiler or a human must implement the specified program in a lower-level executable language. We present Shellac, a compiler synthesizer that completes a sketch of a syntax-directed compiler by using program synthesis to derive translation rules. this approach produces a correct-by-construction compiler without burdening the compiler writer with manual specification and verification. We evaluate Shellac by synthesizing a compiler from unity to Arduino C++ and Verilog, then compiling Paxos consensus in unity to implementations in Arduino C++ for microcontrollers and Verilog for reconfigurable hardware.

关键词： Automatic programming Compilation Concurrency Formal models Program synthesis

来源：评论

学校读者我要写书评

暂无评论

Research on Teaching Reform for Python programming Curriculum Based on AIGC-CDIO-OBE Model

Research on Teaching Reform for Python Programming Curriculu...

引用

Computer science and Technologies in Education (CSTE), international conference on

作者： Erchong Liao School of Control and Computer Engineering North China Electric Power University Baoding Hebei Province China

ISBN: (数字)9798350351804

ISBN: (纸本)9798350351811

this paper focuses on the characteristics of computer science general course, specifically the emphasis on comprehension and practical application in “Python Language programming”. Combining the contemporary artificial Intelligence Generated Content (AIGC) technology with the teaching philosophy of Outcome-Based Education (OBE) and CDIO (Conceive, Design, Implement, Operate) in computer education, I propose the innovative AIGC-CDIO-OBE education model. Which can help students enhance computational thinking, design thinking, and programming skills in python language. through teaching practices, the effectiveness and feasibility of this education model are demonstrated when compared to traditional teaching methods. Students have more interesting for learning, stronger motivation for coding, and stronger sense of achievement in their learning outcomes.

关键词： Technological innovation Philosophical considerations Computational modeling Education Encoding artificial intelligence engineering education

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共108页 << < 14 15 16 17 18 19 20 21 22 23 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：