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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

馆藏范围

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

日期分布

学科分类号

2,401 篇 工学
- 1,896 篇 计算机科学与技术...
- 1,152 篇 软件工程
- 420 篇 电气工程
- 272 篇 控制科学与工程
- 199 篇 信息与通信工程
- 128 篇 机械工程
- 74 篇 石油与天然气工程
- 64 篇 生物医学工程（可授...
- 61 篇 电子科学与技术（可...
- 56 篇 材料科学与工程（可...
- 56 篇 交通运输工程
- 51 篇 生物工程
- 45 篇 化学工程与技术
- 43 篇 动力工程及工程热...
- 38 篇 土木工程
- 37 篇 仪器科学与技术
- 34 篇 冶金工程
675 篇 理学
- 482 篇 数学
- 106 篇 物理学
- 85 篇 系统科学
- 80 篇 统计学（可授理学、...
- 74 篇 生物学
- 53 篇 化学
402 篇 管理学
- 337 篇 管理科学与工程(可...
- 148 篇 工商管理
- 81 篇 图书情报与档案管...
105 篇 教育学
- 103 篇 教育学
71 篇 医学
- 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...
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,496 篇 英文
79 篇 其他
26 篇 中文
5 篇 葡萄牙文
2 篇 俄文
1 篇 西班牙文

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

共 3603 条记录，以下是1001-1010 订阅

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

详细简洁

排序：

Development of a Low Cost Brushless DC Motor Sensorless Controller Using dsPIC30F4011 7

Development of a Low Cost Brushless DC Motor Sensorless Cont...

引用

7th international conference on Modern Circuits and Systems Technologies (MOCAST)

作者： Karnavas, Yannis L. Topalidis, Anestis S. Drakaki, Maria Democritus Univ Thrace Dept Elect & Comp Engn Elect Machines Lab Xanthi Hellas Greece Alexander Technol Educ Inst Thessaloniki Dept Automat Engn Thessaloniki Hellas Greece

ISBN: (纸本)9781538647882

Brushless DC motors (BLDCM) evolution is a continuous process. For example, electric vehicles have begun to use high performance BLDCM. However, their use requires control systems to monitor both speed and torque. In order to avoid the use of Hall sensors, sensorless techniques have to be employed. this paper deals with such a speed control method and its practical implementation using a suitable high-speed microcontroller, for motors up to 0.5kW. Structural analysis as well as functional characteristics of these motors is crucial for proper controller design and implementation, so as to respond to a wide range of applications. the sensorless method used in the present study is based on zero crossing points (ZCP) detection of the motor's back EMF differences, because the ZCP of these waveforms are identical to the time points in which the switching phase changes. Experimental results verified the proposed controller architecture and the relevant software developed.

关键词： BLDC motor sensorless control zero crossing point microcontroller low cost prototype

来源：评论

学校读者我要写书评

暂无评论

FPT algorithms for the shortest lattice vector and integer linear programming problems 7th

FPT algorithms for the shortest lattice vector and integer l...

引用

7th international conference on Network Analysis, NET 2017

作者： Gribanov, D.V. Lobachevsky State University of Nizhny Novgorod 23 Gagarina Avenue Nizhny Novgorod603950 Russia National Research University Higher School of Economics 136 Rodionova Nizhny Novgorod603093 Russia

ISBN: (纸本)9783319962467

In this paper, we present FPT algorithms for special cases of the shortest vector problem (SVP) and the integer linear programming problem (ILP), when matrices included in the problems’ formulations are near square. the main parameter is the maximal absolute value of rank minors of matrices included in the problem formulation. Additionally, we present FPT algorithms with respect to the same main parameter for the problems, when the matrices have no singular rank sub-matrices. © Springer international Publishing AG, part of Springer Nature 2018.

关键词： Integer programming

来源：评论

学校读者我要写书评

暂无评论

Statistical Optical Image Analysis for Information System

Statistical Optical Image Analysis for Information System

引用

IEEE international conference on Future Internet of things and Cloud Workshops (FiCloudW)

作者： Oleksandr O. Ryazantsev Ganna M. Khoroshun Andrii I. Riazantsev Vitalii Ivanov Aleksandr Baturin Volodymyr Dahl East Ukrainian National University Dept. of Programming and Mathematics Volodymyr Dahl East Ukrainian National University Severodonetsk Ukraine

ISBN: (数字)9781728144115

ISBN: (纸本)9781728144122

Optical image processing methods are important for creation and development of an automated measuring information optical system. Statistical methods provide additional information, a better understanding of the object that is being studied. they allow describing main features of the image by several parameters, such as mean value, median and standard deviation. For correlation of the computer simulation and experimental data the method of signal quantization is described. It is defined the parameters of the fitted normal distribution for the optical image variation curve and consent criteria of empirical and theoretical data by Romanovsky method. Obtained results can be used as the preliminary analysis for digital processing of the optical image with application in compression and encryption, holography, identification and tracking.

关键词： Optical imaging Optical diffraction Holography Adaptive optics Standards Holographic optical components Fitting

来源：评论

学校读者我要写书评

暂无评论

ACM international conference Proceeding Series

ACM International Conference Proceeding Series

引用

7th international conference on Software and Computer Applications, ICSCA 2018

ISBN: (纸本)9781450354141

the proceedings contain 63 papers. the topics discussed include: tuning concurrency of the business process by dynamic programming;use of ontology in identifying missing artifact links;an insight into the capabilities of professionals and teams in agile software development a systematic literature review;challenges of process migration to support distributed exascale computing environment;test case generation from android mobile applications focusing on context events;an empirical study for adopting social computing in global software development;why a good process fail? experience in building a sustainable and effective process for software development;and parameter free flower algorithm based strategy for pairwise testing.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Background of Semantic Intelligence Research and the Principle of Technical Framework 4th

Background of Semantic Intelligence Research and the Princip...

引用

4th international conference on Cognitive Systems and Information Processing (ICCSIP)

作者： Ye, Wang Chen, Bolin Chen, Shuming Zou, Xiaohui Sino Cosmocreating Grp Room 1001-2Bldg 7Yard 30 Beijing 100041 Peoples R China Chongqing Engn Res Ctr Automat Monitoring Geol Ha Chongqing Inst Geol & Mineral Resources 111 Lanxin Rd Chongqing 401120 Peoples R China Sino Amer Searle Res Ctr Beijing Peoples R China

ISBN: (纸本)9789811379864;9789811379857

through semantic analysis of the words "sweet" and "good", this thesis aims to understand the cognitive methods and limitations of human beings, trying to reveal the research background, technical framework and resonance principle of semantic intelligence. the method is as follows: Firstly, based on the application perspective, the artificial intelligence technology is divided into three categories: motion, perception and semantics. Furthermore, from the perspective of technical framework, it is based on semantic concepts and cosmic energy material system, human self-perception and functional system, computer artificial intelligence system, energy material logic function system, human language grammar system, computer artificial intelligence function logic software programming system, etc. the internal logic of the five aspects advances the principles of semantic intelligence systems, engineering implementation techniques, and systematic research of product systems. the result is: from its research background, it highlights the logic relationship between Chinese classical religion, philosophy and culture, people and people, consciousness and the nature of the universe, and assists with the modern scientific and technological methods to propose a new framework of semantic intelligence technology content and ideas. the significance is that it can construct a system intelligence theory and principle that integrates the universe's natural, material world, philosophy, science, graphic and symbolic systems, human consciousness and semantic virtual world, and realizes the breakthrough of semantic intelligence research.

关键词： Sensation Sensory organs Semantic intelligence research Graphic and symbolic systems Human cognitive methods

来源：评论

学校读者我要写书评

暂无评论

the Design, Evolution, and Use of KernelF An Extensible and Embeddable functional Language 11th

引用

11th international conference on theory and Practice of Model Transformation (ICMT) Held as Part of Software Technologies - Applications and Foundations (STAF) conference

作者： Voelter, Markus Stuttgart Germany

ISBN: (纸本)9783319933177;9783319933160

KernelF is a functional language built on top of MPS. It is designed to be highly extensible and embeddable in order to support its use at the core of domain-specific languages, realising an approach we sometimes call Funclerative programming. "Funclerative" is of course a mash-up of "functional" and "declarative" and refers to the idea of using functional programming in the small, and declarative language constructs for the larger-scale, often domain-specific, structures in a program. We have used KernelF in a wide range of languages including health and medicine, insurance contract definition, security analysis, salary calculations, smart contracts and language-definition. In this paper, I illustrate the evolution of KernelF over the last two years. I discuss requirements on the language, and how those drove design decisions. I showcase a couple of the DSLs we built on top of KernelF to explain how MPS was used to enable the necessary language modularity. I demonstrate how we have integrated the Z3 solver to verify some aspects of programs. I present the architecture we have used to use KernelF-based DSLs in safety-critical environments. I close the keynote with an outlook on how KernelF might evolve in the future, and point out a few challenges for which we don't yet have good solutions.

关键词： Domain-specific languages Language modularity functional Language Language engineering Meta programming

来源：评论

学校读者我要写书评

暂无评论

Detection of Energy theft and Metering Defects in Advanced Metering Infrastructure Using Analytics 7

Detection of Energy Theft and Metering Defects in Advanced M...

引用

7th international conference on Smart Grid and Clean Energy Technologies (ICSGCE)

作者： Yip, Sook-Chin Tan, ChiaKwang Tan, Wooi-Nee Gan, Ming-Tao Wong, KokSheik Phan, Raphael C. -W. Univ Malaya UMPEDAC Kuala Lumpur 50603 Malaysia Multimedia Univ Fac Engn Cyberjaya 63100 Selangor Malaysia Monash Univ Malaysia Sch Informat Technol Subang Jaya Selangor Malaysia

ISBN: (纸本)9781538667965

Non-technical losses including electricity theft and anomalies in meter readings are estimated to cost the utility providers tremendous losses of approximately $96 billion per annum. the adoption of smart meter has encouraged utility providers to use analytics to identify theft. To curb nontechnical losses, they are increasingly leveraging on real-time smart metering and analytics to identify energy theft and irregularities in meter readings. We have previously put forward linear regression-based and linear programming-based anomaly detection frameworks to study consumers' energy consumption behavior for detecting the localities of metering defects as well as energy thefts. In this work, we design and construct an advanced metering infrastructure test rig in the laboratory to perform comparison studies on our previously proposed anomaly detection frameworks in smart grid environment. Results from both test rig and simulations show that linear regression-based anomaly detection framework is able to identify the positions of energy thieves and faulty smart meters without requiring large volume of data samples. However, linear programming-based framework is more robust as compared to linear regression-based because the former is capable of detecting more sophisticated types of energy theft/meter irregularities accurately even in the presence of technical losses/calibration errors.

关键词： non-technical losses detection technical losses AMI linear regression linear programming analytics

来源：评论

学校读者我要写书评

暂无评论

FT-IR ANALYSIS OF FUSARIUM OXYSPORUM GROWN MYCO-COMPOSITE 7th

FT-IR ANALYSIS OF <i>FUSARIUM OXYSPORUM</i> GROWN MYCO-COMPO...

引用

7th international conference on Advanced Materials and Systems

作者： Iordache, Ovidiu Dumitrescu, Iuliana Chelaru, Ciprian Perdum, Elena Mitran, Cornelia Chivu, Andreea Sandulache, Irina-Mariana Natl Res Dev Inst Text & Leather 16 Lucretiu Patrasccmu Bucharest 030508 Romania Univ Politehn Bucuresti 1-7 Polizu St Bucharest Romania

Present study was focused on obtaining a novel biocomposite obtained from a plant pathogenic strain, Fusarium oxysporum,on wastes from renewable sources, and assessment of microbial development on both the substrate surface and inside the aerial structure, by FT-IR analysis. Fourier Transform Infrared (FTIR) spectroscopy was successfully used for recording of infrared spectra specific to various components of microbial biomass of Fusarium oxysporum, grown on an alternative substrate composed of recycled shredded paper and worn coffee. FT-IR analysis allowed highlighting of various functional groups, specific of constituents of microbial biofilm and hyphae: C-H asymmetric and symmetric stretching of CH, -CH2, and -CH3 highlighted at 2923 and 2857cm(-1) which were indicators of the microbial cell fatty acids component, C=O stretching at 1631cm(-1) of amide I of protein (beta-turns, N-H and C-N stretching at 1542cm(-1) of amide II from a-helix of proteins, polysaccharide components, as a major constituent of the fungal biofilm, was confirmed by FT-IR bands at 1380cm(-1), 1195cm(-1) and 1029.8 cm(-1). the verso side of the composite showed similar absorption values as the paper, but with higher intensity peaks, which indicated substrate degradation. therefore, FT-IR analysis made possible the assessment of existence in the developed biocomposite of various biomolecules such as proteins, lipids, polysaccharides.

关键词： FTIR biofilm fungi Fusarium oxysporum

来源：评论

学校读者我要写书评

暂无评论

7th international Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2017

7th International Workshop on Structured Object-Oriented For...

引用

7th international Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2017

ISBN: (纸本)9783319901039

the proceedings contain 13 papers. the special focus in this conference is on Structured Object-Oriented Formal Language and Method. the topics include: A Software Tool to Support the “Vibration’’ Method;a Software Tool to Support Scenario-Based Formal Specification for Error Prevention;a Proof Score Approach to Formal Verification of an Imperative programming Language Compiler;An Investigation of Integrating aGUI-Aided Approach andaSpecification-Based Testing;on the Cooperative Graph Searching Problem;Boosting Uppaal for OSEK/VDX Applications with a Sequentialization Approach;the Complexity of Linear-Time Temporal Logic Model Repair;Extending UML for Model Checking;foundation of a Framework to Support Compliance Checking in Construction Industry;An Improved Reliability Testing Model Based on SOFL;A Framework Based on MSVL for Verifying Probabilistic Properties in Social Networks.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Automated Design of Genetic programming Classification Algorithms for Financial Forecasting Using Evolutionary Algorithms 7th

Automated Design of Genetic Programming Classification Algor...

引用

7th international conference on the theory and Practice of Natural Computing (TPNC)

作者： Nyathi, thambo Pillay, Nelishia Univ KwaZulu Natal Sch Math Stat & Comp Sci 4 Golf Rd Pietermaritzburg South Africa Univ Pretoria Dept Comp Sci Lynnwood Rd ZA-0002 Pretoria South Africa

ISBN: (纸本)9783030040703;9783030040697

In this work two metaheuristic algorithms namely, a genetic algorithm (GA) and grammatical evolution (GE) are used to configure genetic programming classification algorithms for financial forecasting. the performance of the classifiers evolved through a GA and GE design are compared to the performance of classifiers evolved using the traditional manual design approach. Fifteen stocks from varied sectors are selected to evaluate the performance. Additionally, the fitness landscape of the design space evolved by grammatical evolution and the genetic algorithm is evaluated. Results demonstrate that GE designed algorithms evolve classifiers that perform better than those designed by a GA and manually designed. Furthermore, it is established that the GA design space is more rugged than the GE design space.

关键词： Genetic programming Grammatical evolution Genetic algorithms Financial forecasting Classification

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共361页 << < 97 98 99 100 101 102 103 104 105 106 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：