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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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 条记录，以下是1621-1630 订阅

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

详细简洁

排序：

An Object-Oriented and Aspect-Oriented Task Management Toolkit on Mobile Device

An Object-Oriented and Aspect-Oriented Task Management Toolk...

引用

7th international conference on Intelligent Systems and Knowledge Engineering, ISKE 2012

作者： Tian, Yongsheng Hua, Qingyi Chang, Yanshuo Liu, Qiangbo Tian, Jiale Department of Information Science and Technology Northwest University Xi'an China

In order to provide highly available and effective task management operations on mobile devices, an object-oriented and aspect-oriented task management toolkit on mobile device called OATMTM is designed. It uses object-oriented (OO) technology and aspect-oriented (AO) technology to provide a set of operation objects and aspect objects, which makes the developers only need to define objects without considering the detail of task management. the operating process is simplified. And it also provides mobile task management architecture for developer to reduce the effort of development. © Springer-Verlag Berlin Heidelberg 2014.

关键词： Object oriented programming

来源：评论

学校读者我要写书评

暂无评论

Towards a runtime verification framework for the Ada programming language

引用

19th international conference on Reliable Software Technologies, Ada-Europe 2014

作者： De Matos Pedro, André Pereira, David Pinho, Luís Miguel Pinto, Jorge Sousa CISTER/INESC TEC ISEP Polytechnic Institute of Porto Portugal HASLab/INESC TEC Universidade Do Minho Portugal

ISBN: (纸本)9783319083100

Runtime verification is an emerging discipline that investigates methods and tools to enable the verification of program properties during the execution of the application. the goal is to complement static analysis approaches, in particular when static verification leads to the explosion of states. Non-functional properties, such as the ones present in real-time systems are an ideal target for this kind of verification methodology, as are usually out of the range of the power and expressiveness of classic static analyses. In this paper, we present a framework that allows real-time programs written in Ada to be augmented with runtime verification capabilities. Our framework provides the infrastructures which is needed to instrument the code with runtime monitors. these monitors are responsible for observing the system and reaching verdicts about whether its behavior is compliant with its non-functional properties. We also sketch a contract language to extend the one currently provided by Ada, with the long term goal of having an elegant way in which runtime monitors can be automatically synthesized and instrumented into the target systems. the usefulness of the proposed approach is demonstrated by showing its use for an application scenario. © 2014 Springer international Publishing.

关键词： Ada (programming language)

来源：评论

学校读者我要写书评

暂无评论

Reversible Sesqui-Pushout Rewriting

Reversible Sesqui-Pushout Rewriting

引用

7th international conference on Graph Transformation (ICGT) Held as Part of conference on Software Technologies - Applications and Foundations (STAF)

作者： Danos, Vincent Heindel, Tobias Honorato-Zimmer, Ricardo Stucki, Sandra Univ Edinburgh Sch Informat Edinburgh EH8 9YL Midlothian Scotland Ecole Polytech Fed Lausanne Programming Methods Lab Lausanne Switzerland

ISBN: (纸本)9783319091082;9783319091075

the paper proposes a variant of sesqui-pushout rewriting (SqPO) that allows one to develop the theory of nested application conditions (NACs) for arbitrary rule spans;this is a considerable generalisation compared with existing results for NACs, which only hold for linear rules (w.r.t. a suitable class of monos). Besides this main contribution, namely an adapted shifting construction for NACs, the paper presents a uniform commutativity result for a revised notion of independence that applies to arbitrary rules;these theorems hold in any category with (enough) stable pushouts and a class of monos rendering it weak adhesive HLR. To illustrate results and concepts, we use simple graphs, i.e. the category of binary endorelations and relation preserving functions, as it is a paradigmatic example of a category with stable pushouts;moreover, using regular monos to give semantics to NACs, we can shift NACs over arbitrary rule spans.

关键词： Semantics

来源：评论

学校读者我要写书评

暂无评论

Optimal control strategy to design a hybrid electrical system

Optimal control strategy to design a hybrid electrical syste...

引用

7th IET international conference on Power Electronics, Machines and Drives (PEMD 2014)

作者： I. Kravtzoff P. Dessante J.C. Vannier P. Manfè E. Mouni Leroy Somer Boulevard Marcelin Leroy 16000 Angoulême France

ISBN: (纸本)9781632666390

the benefit of a hybrid system is strongly dependant on the system design and the control strategy that will be used. this paper suggests a method to evaluate the optimal control strategy of a hybrid electrical system to optimize its design from the point of view of fuel consumption taking into account this interaction. Analytic models are used to describe the system and the interactions between components. A first optimization is made to minimize fuel consumption using one system configuration on a typical consumption cycle. this algorithm is ready to be using with a higher level algorithm in order to find an appropriate design of the system.

关键词： Power generator Storage Systems Dynamic programming Fuel consumption control strategy Fuel consumption dynamic programming Electrical systems power generator hybrid systems Optimal control design system Storage

来源：评论

学校读者我要写书评

暂无评论

KMA: A dynamic memory manager for OpenCL

KMA: A dynamic memory manager for OpenCL

引用

7th Workshop on General Purpose Processing Using Graphics Processing Units, GPGPU 2014

作者： Spliet, Roy Howes, Lee Gaster, Benedict R. Varbanescu, Ana Lucia Delft University of Technology Netherlands AMD United States University of Amsterdam Netherlands

ISBN: (纸本)9781450327664

OpenCL is becoming a popular choice for the parallel programming of both multi-core CPUs and GPGPUs. One of the features missing in OpenCL, yet commonly required in irregular parallel applications, is dynamic memory allocation. In this paper, we propose KMA, a first dynamic memory allocator for OpenCL. KMA's design is based on a thorough analysis of a set of 11 algorithms, which shows that dynamic memory allocation is a necessary commodity, typically used for implementing complex data structures (arrays, lists, trees) that need constant restructuring at runtime. Taking into account both the survey findings and the status- quo of OpenCL, we design KMA as a two-layer memory manager that makes smart use of the patterns we identified in our application analysis: its basic functionality provides generic malloc() and free() APIs, while the higher layer provides support for building and efficiently managing dynamic data structures. Our experiments measure the performance and usability of KMA, using both microbenchmarks and a real-life case-study. Results show that when dynamic allocation is mandatory, KMA is a competitive allocator. We conclude that embedding dynamic memory allocation in OpenCL is feasible, but it is a complex, delicate task due to the massive parallelism of the platform and the portability issues between different OpenCL implementations. Copyright 2014 ACM.

关键词： Parallel programming

来源：评论

学校读者我要写书评

暂无评论

On the possibility of insider threat detection using physiological signal monitoring 14

On the possibility of insider threat detection using physiol...

引用

7th international conference on Security of Information and Networks, SIN 2014

作者： Almehmadi, Abdulaziz El-Khatib, Khalil University of Ontario Institute of Technology 2000 Simcoe Street North-OshawaL1H 7K4 Canada

ISBN: (纸本)9781450330336

Insider threat damages vary from intellectual property loss and fraud to IT sabotage. As insider threat incidents have evolved to cause potentially catastrophic damages, there exists a need for a detection mechanism in order to build solutions that prevent such threats. Studies over the years show an understanding of the threat, and many approaches have been suggested to detect it, yet none of the approaches targets the physiological aspect of the threat. Bio-signals are impossible to mimic or change, as opposed to behavioral approaches. In this paper, we investigate the use of physiological signals as a measurement to detect insider threat. We design an insider threat monitoring system called Physiological Signals Monitoring (PSM) that detects incidents seconds before they occur. the main measurement in PSM is the abnormal deviation rate of electrocardiogram (ECG) amplitude, Galvanic Skin Response (GSR) and skin temperature that occurs seconds before an incident is executed. Our experiment on 15 human subjects explores this new area and shows the promise of the proposed solution with all of the tested incidents being correctly classified with Nearest Neighbor and functional Trees classifiers.

关键词： Electrocardiograms

来源：评论

学校读者我要写书评

暂无评论

Myogenic potential pattern discernment method using genetic programming for hand gesture

Myogenic potential pattern discernment method using genetic ...

引用

international Symposium on Soft Computing and Intelligent Systems (SCIS)

作者： Takahiro Hashimoto Takeshi Tsujimura Kiyotaka Izumi Department of Mechanical Engineering Saga University Saga Japan

the authors study on the hand gesture discernment based on the surface electromyogram of forearm. In order to discern finger shapes of the rock-paper-scissors, genetic programming technique is applied to establish the optimum classification algorithm of hand gestures by composing of arithmetic functions. We measur myoelectric potential signals of forearm related to rock-paper-scissors, and applies them to genetic evolution of hand gesture classification. We also evaluated the effects of the target number of nodes, crossover rate, mutation rate of GP parameters. Realtime hand gesture identification experiments are carried out and the typical hand gestures are actually distinguished in accuracy of 99%.

关键词： Muscles Electromyography thumb Genetic programming Classification algorithms Electrodes

来源：评论

学校读者我要写书评

暂无评论

A call-based integer programming model for static elevator operation problems

A call-based integer programming model for static elevator o...

引用

international Symposium on Soft Computing and Intelligent Systems (SCIS)

作者： Tsutomu Inamoto Yoshinobu Higami Shin-ya Kobayashi Ehime Daigaku Matsuyama Ehime JP

In this paper, we propose an integer linear programming (ILP) model for static elevator operation problems. the proposed model is based on hall- and car-calls which correspond to pickup and delivery requests in pickup-and-delivery problems (PDPs), thus is similar to ILP models for PDPs. the primary difference between those models and the proposed model is the prevention of the reverse run, which means that an elevator with a passenger is moved to the direction opposite to that of the passenger. In computer illustrations, the proposed model is roughly investigated by being compared with a trip-based ILP model which has been proposed by the authors.

关键词： Elevators Computational modeling Equations Mathematical model Planning Linear programming

来源：评论

学校读者我要写书评

暂无评论

the Effect of Self-Efficacy and Scaffolding on Students' programming Learning in Robotics Learning Context

The Effect of Self-Efficacy and Scaffolding on Students' Pro...

引用

IEEE international conference on Ubi-Media Computing

作者： Chunhung Lin Eric Zhi Feng Liu Graduate Institute of Learning & Instruction National Central University Jhongli Taiwan R.O.C. National Central University Chung-Li TW

the main purpose of this study was to investigate the influence of scaffolding and self-efficacy on students' programming learning performance in robotics learning environment. there were 89 junior high school students participated in the study. the results indicated that there is significant interaction between scaffolding mechanism and learning motivation on students' learning performance. the introduction of design journal did not have a significant effect on the learning performance of students with high self-efficacy, however, design journal had pronounced benefits for students with moderate self-efficacy. According to the findings, we proposed some directions for future studies.

关键词： programming profession Educational robots Educational institutions Educational technology

来源：评论

学校读者我要写书评

暂无评论

Optimisation sizing of hybrid wind-diesel systems using linear programming technique

Optimisation sizing of hybrid wind-diesel systems using line...

引用

7th IET international conference on Power Electronics, Machines and Drives (PEMD 2014)

作者： Leong Kit Gan Jonathan K.H. Shek Markus A. Mueller The University of Edinburgh United Kingdom The University of Edinburgh Edinburgh Edinburgh GB

ISBN: (纸本)9781632666390

Despite the great potential of hybrid wind-diesel system in supplying energy to remote or island communities, sizing the system components have been a challenging problem for many project managers due to the reliance on various factors. this work considers utilising a fixed speed wind turbine (induction generator) in the hybrid system. It requires energy for start-up operation and this work takes into account for sizing the battery storage. In addition, the trade-off between the number of batteries and diesel generator fuel usage in a system is studied. Linear programming for optimal sizing of batteries needed in a hybrid wind-diesel system, in the context of minimum diesel fuel usage is reported in this paper. Finally, this paper also shows that the storage capacity required in a hybrid system for various wind and load conditions can be computed in a systematic manner.

关键词： Hybrid wind-diesel system Sizing Optimisation Linear programming Fixed speed wind turbine SIZING linear programming hybrid systems Batteries compound winding program technique wind turbine induction generator Storage capacity Secondary batteries fixed speed load conditions

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共361页 << < 159 160 161 162 163 164 165 166 167 168 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：