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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

3,389 篇 会议
132 篇 期刊文献
74 册 图书

馆藏范围

3,593 篇 电子文献
2 种 纸本馆藏

日期分布

学科分类号

2,398 篇 工学
- 1,896 篇 计算机科学与技术...
- 1,152 篇 软件工程
- 418 篇 电气工程
- 269 篇 控制科学与工程
- 199 篇 信息与通信工程
- 127 篇 机械工程
- 72 篇 石油与天然气工程
- 64 篇 生物医学工程（可授...
- 59 篇 电子科学与技术（可...
- 56 篇 材料科学与工程（可...
- 56 篇 交通运输工程
- 51 篇 生物工程
- 44 篇 化学工程与技术
- 40 篇 动力工程及工程热...
- 38 篇 土木工程
- 35 篇 仪器科学与技术
- 34 篇 冶金工程
672 篇 理学
- 482 篇 数学
- 106 篇 物理学
- 85 篇 系统科学
- 80 篇 统计学（可授理学、...
- 73 篇 生物学
- 51 篇 化学
402 篇 管理学
- 337 篇 管理科学与工程(可...
- 148 篇 工商管理
- 81 篇 图书情报与档案管...
105 篇 教育学
- 103 篇 教育学
70 篇 医学
- 46 篇 临床医学
- 35 篇 基础医学(可授医学...
64 篇 经济学
- 64 篇 应用经济学
40 篇 法学
22 篇 文学
12 篇 农学
9 篇 艺术学
3 篇 军事学

主题

309 篇 linear programmi...
251 篇 programming
187 篇 dynamic programm...
142 篇 computer program...
118 篇 integer programm...
116 篇 optimization
109 篇 logic programmin...
86 篇 genetic programm...
82 篇 functional progr...
73 篇 computational mo...
68 篇 object oriented ...
66 篇 programming prof...
65 篇 parallel program...
56 篇 software enginee...
54 篇 costs
49 篇 mathematical mod...
48 篇 computer program...
46 篇 heuristic algori...
42 篇 artificial intel...
41 篇 computer science

机构

9 篇 univ london impe...
7 篇 inesc tec porto
6 篇 feup porto
6 篇 russian acad sci...
5 篇 c mast ubi covil...
4 篇 univ leicester l...
4 篇 vienna univ tech...
4 篇 institute of fun...
4 篇 chinese acad sci...
4 篇 university of am...
4 篇 univ nottingham ...
4 篇 beijing universi...
3 篇 weizmann inst sc...
3 篇 univ nottingham ...
3 篇 delft center for...
3 篇 international is...
3 篇 international bu...
3 篇 department of co...
3 篇 school of comput...
3 篇 univ cyprus dept...

作者

8 篇 catalao joao p. ...
6 篇 musirin ismail
5 篇 weiss gera
5 篇 marron assaf
4 篇 hirschfeld rober...
4 篇 ghani n
4 篇 katz guy
4 篇 saraswat vijay
4 篇 xiong rui
4 篇 funabiki nobuo
4 篇 fitiwi desta z.
4 篇 shi yong
4 篇 boercsoek josef
4 篇 jagadeesan radha
4 篇 gupta vineet
4 篇 michael n. young
4 篇 pesant gilles
4 篇 harel david
3 篇 muggleton stephe...
3 篇 faisal a. aldo

语言

3,511 篇 英文
56 篇 其他
26 篇 中文
5 篇 葡萄牙文
2 篇 俄文
1 篇 西班牙文

检索条件"任意字段=7th International Conference on Functional Programming"

共 3595 条记录，以下是761-770 订阅

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

详细简洁

排序：

Improving Ride-Comfort of a Quarter-Car Model using Modal Control 7

Improving Ride-Comfort of a Quarter-Car Model using Modal Co...

引用

7th IEEE international conference on Control, Mechatronics and Automation(ICCMA)

作者： Dogruer, C. U. Hacettepe Univ Dept Mech Engn Ankara Turkey

ISBN: (纸本)9781728137872

In this paper, modal control was used to control the active suspension of a quarter-car model. Modal control can be designed to alter the dynamics of any mode of a system without disturbing the remaining modes. therefore, in this study, modal control was used to alter the complex eigenvalue of the body-bounce mode of a quarter-car suspension model and thereby by optimizing a measure of the frequency response functions from road disturbance to sprung and unsprung mass displacements, the ride-comfort of a vehicle was improved. It has been shown that modal control can be used in a direct manner to change the dynamics of a vehicle suspension i.e. soft suspension, stiff suspension depending on the driver attitude that affects the vehicle stability and road conditions i.e. urban driving, off-road driving.

关键词： Quarter-Car Model Active Suspension Modal Control MM-Max Optimization Sequential Quadratic programming

来源：评论

学校读者我要写书评

暂无评论

Classification of programming Problems based on Topic Modeling 2019

Classification of Programming Problems based on Topic Modeli...

引用

7th international conference on Information and Education Technology (ICIET)

作者： Intisar, Chowdhury Md Watanobe, Yutaka Poudel, Manoj Bhalla, Subhash Univ Aizu Grad Dept Informat Syst Fukusima 9658580 Japan

ISBN: (纸本)9781450366397

programming skill is one of the most important and demanding skill in the current generation. In order to enable learners and programmers to practice programming and gain problem-solving skills, many Online Judge (OJ) systems exist. Most of these OJ systems have to be operated solely by students and learners. these students and novice programmers sometimes compete against each other or solve the programming problems by themselves in offline mode. But, most OJ systems have their problems arranged simply into volumes and various contests events. this arrangement system does not have any clear indication of the difficulties and categories of problems. thus, in this paper, we have studied reliable techniques on the extraction of keywords and features which can categorize these OJ system's programming problems into their respective types and skills. We have leveraged two popular topic modeling algorithms, Latent Dirichlet Allocation (LDA) and Non-negative Matrix Factorization (NMF) to extract relevant features. Afterward, six classifiers were trained on these topic modeling features and Naive TF-IDF features. From our studies, we discovered that topic modeling features were relatively smaller in dimensionality, yet matched the performance when trained on high dimensional naive TF-IDF features. Our main goal was to understand the precise trade-off between accuracy and dimensionality of the textual data of programming problem statements. this experiment has enabled us to obtain important tags, hint, and classification of Online Judge programming problems.

关键词： Online Judge Systems feature extraction text classification topic modeling novice programmer

来源：评论

学校读者我要写书评

暂无评论

Swimmers' Training Process Control Taking into Consideration Typology of Bioenergetics 7

Swimmers' Training Process Control Taking into Consideration...

引用

7th international conference on Sport Sciences Research and Technology Support (icSPORTS)

作者： Moshkina, Nataliya Gibadullin, Ildus Kuznetsova, Zinaida Izhevsk State Tech Univ 7 Studencheskaya Str Izhevsk Russia Univ Management TISBI 10 Tatarstan Str Naberezhnye Chelny Russia

ISBN: (纸本)9789897583834

the research deals with the specific characteristics of swimmers' training management taking into account typologies of bioenergetics. For an effective and quick functional state and reserve capacities of athletes' organism diagnostics we held the test according to "D&K - TEST" express-diagnostics methodology created by Karlenko V.D. We created a block system of swimmers' sports training control. the block system includes the stages and the main components of management structure, where great attention is paid to information gathering concerning swimmers' functional training taking into account their typology of bioenergetics. We studied the ratio of swimmers' bioenergetics typology at the training stage according to the years of study. We estimated the level of functional state and swimmers' organism reserve capacities depending on their bioenergetics type. Specially selected training means and methods for swimmers were used in accordance with their typology of bioenergetics and it provided their physical readiness improvement, characterizing the effectiveness of competitive activity. We received the results of swimmers' functional state and reserve capacities of their organism, combined according to three types: aerobic, mixed and anaerobic.

关键词： Swimmers Training Stage Training Typology of Bioenergetics

来源：评论

学校读者我要写书评

暂无评论

Gene expression programming based prediction of uncompacted void content of aggregate 7th

Gene expression programming based prediction of uncompacted ...

引用

7th international conference on Bituminous Mixtures and Pavements, ICONFBMP 2019

作者： Eleyedath, Abhary Swamy, Aravind Krishna Ramana, G.V. Department of Civil Engineering Indian Institute of Technology New Delhi India

ISBN: (纸本)9781138480285

As Asphalt Concrete (AC) mixture is predominantly composed of aggregates, morphological properties of aggregate (like texture, shape, size, angularity) affect mechanical properties of AC significantly. this work captures the morphological characteristics of aggregate through Angle of Repose (AoR), Angle of Internal Friction (AoI) and Uncompacted Void Content (UVC). For this purpose aggregates from two different sources were artificially textured and tested. Using Gene expression programming approach, relations relating AoR, AoI and UVC were developed. the models thus developed exhibited a nonlinear relationship between these variables. Various statistical parameters indicated numerically significant relationships between these variables. © 2019 Taylor & Francis Group, London.

关键词： Textures

来源：评论

学校读者我要写书评

暂无评论

Deep Learning based Efficient User Association and Subchannel Assignment in Multi-Cell Multi-Carrier NOMA Networks

Deep Learning based Efficient User Association and Subchanne...

引用

international conference on Information Science and Control Engineering (ICISCE)

作者： Abuzar B. M. Adam Xiaoyu Wan School of Communications and Information Engineering Chongqing University of Posts and Telecommunications Chongqing P.R. China

In this paper, we investigate the problem of efficient user association and subchannel assignment in multi-cell multi-carrier nonorthogonal multiple access networks. An optimization problem is formulated to maximize the energy efficiency. the proposed solution includes two stages. First, we propose an iterative low complexity algorithm to handle the optimization problem. Second, we use the output from the iterative solution to train two deep neural network (DNN) models. To obtain the final output, the output of the DNNs are mapped in matrix which represents the final user association and subchannel assignment. the simulation results have shown the efficiency of the proposed framework compared to two step 2D matching algorithm and fractional programming (FP) method.

关键词： Deep learning NOMA Information science Simulation Neural networks Training data programming

来源：评论

学校读者我要写书评

暂无评论

Nonlinear Model Predictive Control of Robot Manipulators Using Quasi-LPV Representation 7

Nonlinear Model Predictive Control of Robot Manipulators Usi...

引用

7th IEEE international conference on Control, Mechatronics and Automation(ICCMA)

作者： Esfandiari, Mojtaba Chan, Sonny Sutherland, Garnette Westwick, David Univ Calgary Biomed Engn Calgary AB Canada Univ Calgary Math Sci Calgary AB Canada Univ Calgary Neurosurg Calgary AB Canada Univ Calgary Dept Elect & Comp Engn Calgary AB Canada

ISBN: (纸本)9781728137872

Nonlinear optimization techniques often suffer from time-consuming computational load, which impedes them to be implemented as controller of fast plans, or when a fast action like trajectory tracking is required. In this paper, a Nonlinear Model Predictive Control (NMPC) approach is used to perform the trajectory tracking problem in a robot manipulator in the presence of input saturation and un-modeled dynamics, using the Quasi-Linear Parameter Varying (Quasi-LPV) representation. In this method, instead of the nonlinear state difference equations of the system, a sequence of linearized state equations about a nominal state-control history, over the prediction horizon, is used. By so doing, standard Quadratic programming (QP) optimization algorithms could be used for the online optimization problem, therefore, speed and efficiency of convergence to the optimal solution would be enhanced. Efficacy of this method is shown by simulation study of a 2-DOF robot manipulator.

关键词： Nonlinear Model Predictive Control Quasi-Linear Parameter Varying Constrained Optimization Quadratic programming Nonlinear System Input Saturation

来源：评论

学校读者我要写书评

暂无评论

Towards Verifiable Specifications for Neural Networks in Autonomous Driving 19

Towards Verifiable Specifications for Neural Networks in Aut...

引用

IEEE Joint 19th international Symposium on Computational Intelligence and Informatics / 7th international conference on Recent Achievements in Mechatronics, Automation, Computer Sciences and Robotics

作者： Remeli, Viktor Morapitiye, Sunil Rovid, Andras Szalay, Zsolt Budapest Univ Technol & Econ Dept Automot Technol Fac Transportat Engn & Vehicle Engn Budapest Hungary Budapest Univ Technol & Econ Dept Differential Equat Inst Math Budapest Hungary

ISBN: (纸本)9781728156255

Autonomous driving functions increasingly incorporate machine learning methods for perception, environment modeling and decision making. the ever-present danger of unintended behavior of neural networks has given cause for concern in safety-critical applications and has spurred research towards the establishment of certified properties. In our work we present a general approach for exploring guaranteed properties of neural networks through a specific use case. We first methodically specified several desired properties for an ideal traffic sign classifier. then we applied a mixed integer linear programming verification method to certify (or conversely, falsify) that our pre-trained rectified linear unit (ReLU) activation network will satisfy given properties under all conditions. We established through relaxations of our initial specification that our model does in fact happen to guarantee certain (but not all) properties at a different threshold. We thus showed that it is possible to establish the degree to which non-trivial and humanly meaningful properties are inherently guaranteed by an arbitrary pixel space ReLU network. We believe this approach can be a helpful addition in comprehensively evaluating the reliability of a network via quantifying its degree of compliance to an ideal specification.

关键词： neural networks verification specification mixed integer linear programming

来源：评论

学校读者我要写书评

暂无评论

7th international Symposium on Unifying theories of programming, UTP 2019

7th International Symposium on Unifying Theories of Programm...

引用

7th international Symposium on Unifying theories of programming, UTP 2019

ISBN: (纸本)9783030310370

the proceedings contain 10 papers. the special focus in this conference is on international Symposium on Unifying theories of programming. the topics include: A Testing Perspective on Algebraic, Denotational, and Operational Semantics;whither Specifications as Programs;connecting Fixpoints of Computations with Strict Progress;probabilistic Semantics for RoboChart: A Weakest Completion Approach;Unified Graphical Co-modelling of Cyber-Physical Systems Using AADL and Simulink/Stateflow;Hybrid Relations in Isabelle/UTP;the Inner and Outer Algebras of Unified Concurrency;developing an Algebra for Rely/Guarantee Concurrency: Design Decisions and Challenges.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Proceedings - TEEM 2019: 7th international conference on Technological Ecosystems for Enhancing Multiculturality

Proceedings - TEEM 2019: 7th International Conference on Tec...

引用

7th international conference on Technological Ecosystems for Enhancing Multiculturality, TEEM 2019

ISBN: (纸本)9781450371919

the proceedings contain 164 papers. the topic discussed include: initial learning scenarios based on the computational thinking evaluation for the course programming fundamentals at INACAP;interpretation of computational thinking evaluation results for enrollment prediction;learning computational thinking and social skills development in young children through problem solving with educational robotics;ringing computational thinking to hospital classrooms;predicting student failure in an introductory programming course with multiple back-propagation;engineering education addressing professional challenges;engaging students in the context of software project management teaching;a chatbot assistant for writing good quality technical reports;understanding uncertainties in thermographic imaging;3D printed models-based lab activities to enhance learning-teaching processes in structural engineering courses;the teaching of metrology the genesis and the epilogue of a degree;and learning object for contextualization of matrix operations in digital image processing through programming.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Multi-objective Model and Algorithm for Vehicle Modal Driving Cycles

Multi-objective Model and Algorithm for Vehicle Modal Drivin...

引用

international conference on Information Science and Control Engineering (ICISCE)

作者： Xinyan Wang Bo Li Tianjiao Li School of Engineering Tibet University Lhasa China

Microtrips are the key in driving cycle, and the base for constructing a driving cycle. For the construction of a modal driving cycle, the study firstly used principal component analysis to reduce the dimensions of the index data of microtrips, then a multi-objective optimization model was established with the goal of minimizing the deviation between the feature of the vehicle modal driving cycle and the actual vehicle operating feature. the non-dominated sorting genetic algorithm-II (NSGA-II) was designed to save the optimization model. Based on the correlation test of actual data, the designed method can obtain highly representative solutions.

关键词： Dimensionality reduction Analytical models Information science Linear programming Data models Indexes Optimization

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共360页 << < 73 74 75 76 77 78 79 80 81 82 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：