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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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,396 篇 会议
133 篇 期刊文献
76 册 图书

馆藏范围

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

日期分布

学科分类号

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

主题

309 篇 linear programmi...
251 篇 programming
187 篇 dynamic programm...
142 篇 computer program...
119 篇 integer programm...
116 篇 optimization
109 篇 logic programmin...
87 篇 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. ...
7 篇 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,494 篇 英文
82 篇 其他
26 篇 中文
5 篇 葡萄牙文
2 篇 俄文
1 篇 西班牙文

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

共 3605 条记录，以下是1511-1520 订阅

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

详细简洁

排序：

the Improved Fast ICA Algorithm in the Application of Vibration Signal Analysis Research

The Improved Fast ICA Algorithm in the Application of Vibrat...

引用

international conference on Intelligent Human-Machine Systems and Cybernetics, IHMSC

作者： Xiaofeng Yue Shuyi Liu Changchun University of Technology College of Mechanical and Electronic Engineering Changchun China

ISBN: (纸本)9781479986477

In the process of mechanical equipment condition monitoring, the sensors do not often collect independent source signals of vibration, acquisition is the mixture vibration signals of tested mechanical equipment and the neighbourhood, it brings certain difficulties to the mechanical equipment condition and fault monitoring. Aiming at this problem, it put forward an improved algorithm of fast independent component analysis (Fast ICA), mixed signal can be extracted into separations of acquisition. the algorithm based on maximum negentropy iteration establish the objective function, with the non gaussian signal as the yardstick, then, solve the target function. Finally, the method is verified by mechanical vibration simulation signals that it can effectively separate the mixed signals, separated results show that the algorithm has stability and accuracy, and provide an important guarantee for the mechanical fault diagnosis, practical it has practical significance.

关键词： Vibrations Signal processing algorithms Algorithm design and analysis Convergence Linear programming Sensors Analytical models

来源：评论

学校读者我要写书评

暂无评论

SmartBackup: An Efficient and Reliable Backup Strategy for Solid State Drives with Backup Capacitors

SmartBackup: An Efficient and Reliable Backup Strategy for S...

引用

IEEE international conference on High Performance Computing and Communications (HPCC)

作者： Min Huang Yi Wang Liyan Qiao Duo Liu Zili Shao School of Electrical Engineering and Automation Harbin Institute of Technology Guangdong Province Key Laboratory of Popular High Performance Computers Shenzhen University College of Computer Science Chongqing University Department of Computing The Hong Kong Polytechnic University

ISBN: (纸本)9781479989386

Unpredictable power outages in NAND flashbased Solid State Drives (SSDs) may cause system failure or reliability problems. Capacitors are widely adopted as the interim power supplier when power interruption happens. However, since the energy provided by backup capacitors is limited, and the capacitance of a capacitor will gradually degrade with time, it is imperative to improve the efficiency and reliability of the backup process for SSDs with capacitors. this paper presents a novel backup scheme called SmartBackupfor MLC NAND flash-based SSDs with backup capacitors. In SmartBackup, by exploiting the feature of the discharge process of capacitors, all available SSD channels are fully utilized and dynamically adjusted based on the available voltage, so data can be efficiently stored in a reliable manner. Moreover, in SmartBackup, to write data in a time/energyefficient manner with better reliability, we adopt a fast and reliable programming strategy by only writing LSB (Least Significant Bit) pages in MLC NAND flash. To the best of our acknowledge, this is the first work to jointly utilize the property of the multi-page architecture of MLC NAND flash and the discharge characteristic of capacitors to improvethe efficiency and reliability of the backup process in SSDswith backup capacitors. the experimental results show thatSmartBackup can effectively accelerate the backup processand improve the reliability.

关键词： Capacitors Ash Reliability programming Arrays Acceleration Discharges (electric)

来源：评论

学校读者我要写书评

暂无评论

A preliminary study of the RADOE project

A preliminary study of the RADOE project

引用

IEEE conference on Cybernetics and Intelligent Systems

作者： Haibin Yan YuanRui Yang Renjun Li Masood Dehghan Marcelo H. Ang Advanced Robotics Center and SIMTech-NUS Joint Laboratory (Industrial Robotics) National University of Singapore Singapore Institute for Infocomm Research (I2R) Singapore Department of Mechanical Engineering National University of Singapore Singapore

ISBN: (纸本)9781467373395

Robotic softwares with convenient operation and programming are desirable to increase the efficiency and efficacy of industrial robots which work in complex and fickle environments. To develop such softwares, we aim to develop a new robotic software called RADOE (Robot Application Development and Operating Environment), under the support from the Science and Engineering Research Council, Singapore. In this paper, we introduce some of our preliminary results of the RADOE project, particularly on the system architecture design. the key objective of our RADOE is to define robotic tasks in a simple way, communicate with different industrial robots and control them under varying environmental conditions. To achieve this, we employ a hierarchical system structure with state machines to make it modular, extendible, robust, and maintainable. Experimental results on KUKA LBR iiwa robot show that RADOE combined with the developed system architecture demonstrates good performance for motion planning and tasks execution.

关键词： Service robots Robot kinematics Planning Software Graphical user interfaces programming

来源：评论

学校读者我要写书评

暂无评论

Evolutionary nonlinear Model Output Statistics for wind speed prediction using Genetic programming

Evolutionary nonlinear Model Output Statistics for wind spee...

引用

international Joint conference on Computational Intelligence (IJCCI)

作者： Kisung Seo Byeongyong Hyeon Department Electronic Engineering Seokyeong University Sungbuk-Gu Seoul South Korea

ISBN: (纸本)9781509019687

Wind speed fluctuates heavily and affects a smaller locality than other weather elements. Wind speed is heavily fluctuated and quite local than other weather elements. It is difficult to improve the accuracy of prediction only in a numerical prediction model. An MOS (Model Output Statistics) technique is used to correct the systematic errors of the model using a statistical data analysis. Most previous MOS (Model Output Statistics) used a linear regression model, but they are hard to solve nonlinear natures of the weather prediction. In order to solve the problem of a linear MOS, a nonlinear compensation technique based on evolutionary computation is introduced as a new attempt. We suggest a nonlinear regression method using GP (Genetic programming) based symbolic regression to generate an open-ended nonlinear MOS. the new nonlinear MOS can express not only nonlinearity much more extensively by involving all mathematical functions, including transcendental functions, but also unlimited orders with a dynamic selection of predictors due to the flexible tree structure of GP. We evaluate the accuracy of the estimation by GP based nonlinear MOS for the three days wind speed prediction for Korean regions. the training period of 2007– 2009, 2011 year is used, the data of 2012 year is for verification, and 2013 year is adopted for test. this method is then compared to the linear MOS and shows superior results.

关键词： Predictive models Wind speed Numerical models Linear regression Wind forecasting Genetic programming

来源：评论

学校读者我要写书评

暂无评论

Dynamic JChoc: A Distributed Constraints Reasoning Platform for Dynamically Changing Environments 7th

Dynamic <i>JChoc</i>: A Distributed Constraints Reasoning Pl...

引用

7th international conference on Agents and Artificial Intelligence (ICAART)

作者： Benelallam, Imade Erraji, Zakarya EL Khattabi, Ghizlane Bouyakhf, El Houssine Univ Mohammed 5 LIMIARF FSR Rabat Morocco INSEA Rabat Morocco

ISBN: (纸本)9783319279473;9783319279466

In Artificial Intelligence, a large number of problems (i.e. distributed resource management, distributed air traffic management, Distributed Sensor Network [1]) can be modeled and solved as Distributed Constraint Satisfaction Problems (DisCSPs). As many real world problems change continuously and incessantly over time, some methods have been developed (e.g. DynABT), for solving problems which exhibit this dynamic behavior. Meanwhile, there was no available framework that helped users to develope intelligent multi-agent systems based on Dynamic and Distributed Constraints Reasoning (DCR) techniques. In this paper, we propose a new platform, called JChoc, supporting the dynamic aspect for DisCSPs. JChoc is an easy to use platform, based on an elegant Multi-agent communication sub-platform (e.i JADE). It deals with agents with local complex problems and allows a realistic use of agents on a real distributed and dynamic framework. A real distributed problem is addressed to illustrate how the platform can be used to solve dynamically changing problems. However, the experimental results show the defectiveness of our platform.

关键词： Dynamically changing environments Constraint programming(CP) Multi-agent systems Distributed problem solving Agent models and architectures Distributed constraints reasoning Realistic use Constraint satisfaction problem (CSP) Distributed CSP (DisCSP)

来源：评论

学校读者我要写书评

暂无评论

Practical domain-specific debuggers using the Moldable Debugger framework

Practical domain-specific debuggers using the Moldable Debug...

引用

7th international conference on Software Language Engineering (SLE)

作者： Chis, Andrei Denker, Marcus Girba, Tudor Nierstrasz, Oscar Univ Bern Software Composit Grp CH-3012 Bern Switzerland Tudorgirba Com Basel Switzerland INRIA Lille Nord Europe RMoD Lille France

Understanding the run-time behavior of software systems can be a challenging activity. Debuggers are an essential category of tools used for this purpose as they give developers direct access to the running systems. Nevertheless, traditional debuggers rely on generic mechanisms to introspect and interact with the running systems, while developers reason about and formulate domain-specific questions using concepts and abstractions from their application domains. this mismatch creates an abstraction gap between the debugging needs and the debugging support leading to an inefficient and error-prone debugging effort, as developers need to recover concrete domain concepts using generic mechanisms. To reduce this gap, and increase the efficiency of the debugging process, we propose a framework for developing domain-specific debuggers, called the Moldable Debugger, that enables debugging at the level of the application domain. the Moldable Debugger is adapted to a domain by creating and combining domain-specific debugging operations with domain-specific debugging views, and adapts itself to a domain by selecting, at run time, appropriate debugging operations and views. To ensure the proposed model has practical applicability (i.e., can be used in practice to build real debuggers), we discuss, from both a performance and usability point of view, three implementation strategies. We further motivate the need for domain-specific debugging, identify a set of key requirements and show how our approach improves debugging by adapting the debugger to several domains. (C) 2015 Elsevier Ltd. All rights reserved.

关键词： Debugging Customization Domain-specific tools User interfaces programming environments Smalltalk

来源：评论

学校读者我要写书评

暂无评论

Guiding Deep Brain Stimulation Contact Selection Using Local Field Potentials Sensed by a Chronically Implanted Device in Parkinson's Disease Patients

Guiding Deep Brain Stimulation Contact Selection Using Local...

引用

international IEEE/EMBS conference on Neural Engineering

作者： Allison T. Connolly William F. Kaemmerer Siddharth Dani Scott R. Stanslaski Eric Panken Matthew D. Johnson Timothy Denison University of Minnesota Medtronic Neuromodulation

ISBN: (纸本)9781467363877

We have found that a set of support vector machines operating upon local field potentials sensed from an implanted DBS lead can identify the contact chosen by the physician for the patient's STN DBS therapy with 91% accuracy. the finding is based on a small data set and thus subject to change with further data collection and cross-validation. Nevertheless, the results suggest that an algorithm for selecting an effective contact for STN DBS based on the signals sensed from the DBS lead may be feasible.

关键词： Satellite broadcasting Support vector machines Medical treatment Electrodes Diseases programming

来源：评论

学校读者我要写书评

暂无评论

A cloud-based architecture for network attack signature learning

A cloud-based architecture for network attack signature lear...

引用

New Technologies, Mobility and Security (NTMS)

作者： Omessaad Hamdi Maïssa Mbaye Francine Krief SUPCOM University of Carthage Tunisia LANI Gaston Berger University Sénégal University of Bordeaux LaBRI France

Intrusion Detection System (IDS) is an essential component of the network security infrastructure. It detects malicious activities by monitoring network traffic. there are two main classes of IDS: the anomaly-based IDS and signature-based IDS. An important challenge, for signature-based IDS, is automating attack signature writing from traffic logs, which can be very hard to be established for human administrator. In this paper, we propose a solution addressing this challenge. We propose cloud-based signature learning service using Inductive Logic programming (ILP). Learning service generates rule describing properties shared by packets labelled as malicious and that do not cover normal packets. the system uses a background knowledge composed of predicates used to describe network attack signature. the cloud architecture of our IDS enables it to have specialized nodes. Preliminary experimentations show that the proposed system is able to reproduce automatically SNORT signature.

关键词： Cloud computing Intrusion detection Grammar Logic programming Databases IP networks Protocols

来源：评论

学校读者我要写书评

暂无评论

A Particle Swarm Optimization Approach for Route Planning with Cross-Docking

A Particle Swarm Optimization Approach for Route Planning wi...

引用

international conference on Emerging Trends in Engineering and Technology, ICETET

作者： Mu-Chen Chen Yu-Hsiang Hsiao Himadeep Reddy Manoj Kumar Tiwari Dept. of Transportation & Logistics Management National Chiao Tung University Taipei Taiwan Department of Business Administration National Taipei University Taiwan Department of Industrial and Systems Engineering Indian Institute of Technology Kharagpur Kharagpur India

In cross-docking operations, planners need to coordinate the inbound, docking and outbound logistics operations to ensure a smooth flow of goods across the supply chain. the operation management of cross docking is a crucial task with high complexity for the logistics systems. this paper attempts to address the Vehicle Routing Problems (VRPs) of distribution centers with multiple cross-docks for processing multiple products. In this paper, the mathematical model intends to minimize the total cost of operations subjected to a set of time and capacity constraints. Due to high complexity of model, a variant of Particle Swarm Optimization (PSO) with a Self-Learning approach is tailored to solve the VRP. Two test problems are generated and results are obtained.

关键词： Vehicles Linear programming Particle swarm optimization Materials handling Planning Logistics

来源：评论

学校读者我要写书评

暂无评论

引用

international conference on Modelling, Identification and Control (ICMIC)

作者： Nan Pan Jingshu Yang Zeguang Yi Yi Liu Faculty of Mechanical & Electrical Engineering Kunming University of Science and Technology Kunming Yunnan Province China Kunming SNLab Tech Co. Ltd. Xishan District Kunming Yunnan Province China

It's usually not easy to compare linear toolmarks quickly and quantitatively with the current image processing and three-dimensional scanning methods. In order to deal with these kinds of problems, a similarity matching algorithm for laser detection signals of linear marks is proposed. In this method, locally weighted scatterplot smoothing algorithm is used to performs noise reduction on the surface signals of linear marks that are picked up by a laser displacement sensor; followed by the identification of the features of `thick and consistent' trends in the signal data. then the feature vectors are quantized by cosine vector curve fitting to individually calculate the spatial distance of the sample. Results from similarity comparison tests of actual cutting marks validate the accuracy and validity of proposed method.

关键词： Feature extraction Curve fitting Smoothing methods Mathematical model Fitting Surface emitting lasers Dynamic programming

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共361页 << < 148 149 150 151 152 153 154 155 156 157 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：