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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

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

详细简洁

排序：

Declarative Modeling Cases of Cyber Physical Systems

Declarative Modeling Cases of Cyber Physical Systems

引用

international conference on Logistics, Informatics and Service Sciences (LISS)

作者： Ding, Wei Engel, William Goode, Andre Santostasi, Giovanni Florida Polytech Univ Lakeland FL 33805 USA Northwestern Univ Chicago IL 60611 USA

ISBN: (纸本)9781509011025

A Cyber-physical system (CPS) is an engineering system made of computational components, i.e. cyber elements, and physical elements, that are connected by a communication network. CPSs have emerged as the contemporarily leading technology in major industry sectors such as manufacture, aerospace, automotive, etc. Nowadays CPS is almost the synonym of control systems for large and complex engineering systems. In addition, CPSs have inevitably interweaved with new technologies like Internet of things, cloud computing, ubiquitous computing, and big data processing. Taming the complexity has been the key challenge in CPS design. A novel declarative computing based platform was proposed in our previous paper to unify modeling and design of both cyber and physical components in CPSs. In this paper, the concepts and principles of the proposed declarative platform are depicted in details. In addition, modeling techniques of declarative networking and declarative control are showcased with concrete simulation examples.

关键词： declarative networking logic programming declarative control cyber-physical systems networked cyber-physical systems intelligent control

来源：评论

学校读者我要写书评

暂无评论

7th international Symposium on Computational Intelligence and Intelligent Systems, ISICA 2015

7th International Symposium on Computational Intelligence an...

引用

7th international Symposium on Computational Intelligence and Intelligent Systems, ISICA 2015

ISBN: (纸本)9789811003554

the proceedings contain 76 papers. the special focus in this conference is on Evolutionary Algorithms and Intelligent Simulation Algorithms. the topics include: A hybrid group search optimizer with opposition-based learning and differential evolution;a new firefly algorithm with local search for numerical optimization;a new trend peak algorithm with x-ray image for wheel hubs detection and recognition;community detection based on an improved genetic algorithm;selecting training samples from large-scale remote-sensing samples using an active learning algorithm;coverage optimization for wireless sensor networks by evolutionary algorithm;combining dynamic constrained many-objective optimization with DE to solve constrained optimization problems;executing time and cost-aware task scheduling in hybrid cloud using a modified DE algorithm;a novel differential evolution algorithm based on JADE for constrained optimization;a new ant colony classification mining algorithm;a dynamic search space strategy for swarm intelligence;adaptive mutation opposition-based particle swarm optimization;quick convergence algorithm of ACO based on convergence grads expectation;a new GEP algorithm and its applications in vegetable price forecasting modeling problems;an optimized clustering algorithm using improved gene expression programming;predicting acute hypotensive episodes based on multi GP;research on evolution mechanism in different-structure module redundancy fault-tolerant system;application of neural network for human actions recognition;the improved evaluation of virtual resources’ performance algorithm based on computer clusters;bayesian optimization algorithm based on incremental model building and an improved DBOA based on estimation of model similarity.

关键词：

来源：评论

学校读者我要写书评

暂无评论

jLegends: Online game to train programming skills

jLegends: Online game to train programming skills

引用

international conference on Information, Intelligence, Systems and Applications (IISA)

作者： Konstantinos Tsalikidis George Pavlidis Department of Electrical Engineering Kavala Institute of Technology Kavala Greece Multimedia Research Group ‘Athena’ Research Center Xanthi Greece

ISBN: (纸本)9781509034307

Gamification and in particular game-based learning is significantly gaining ground during the latest decades. It expresses a different approach to education that is mixing education with gaming, aiming to enhance the learning experience with game mechanics and rules and to provide stronger motivations for lifelong learning. Many works have illustrated the benefits of learning while playing. this work presents such a game-based approach that has been adopted and used in the development of an online multiplayer platform game, with a purpose to teach or train programming with JavaScript. In effect it is like what is usually called a serious game, or a game with a purpose. the game, jLegends, is online and available for everyone to train and test knowledge on programming and logic, within a role-playing gaming approach. jLegends is built with source-code scalability in mind, in order to be expandable or even become open-sourced in the future.

关键词： Games programming profession Software Computers Education Encoding

来源：评论

学校读者我要写书评

暂无评论

Islanding Based Optimal Placement of Phasor Measurement Unit using MILP 7

Islanding Based Optimal Placement of Phasor Measurement Unit...

引用

7th IEEE Power India international conference (PIICON)

作者： Singh, Satyendra Pratap Singh, S. P. Indian Inst Technol BHU Varanasi Elect Engn Dept Varanasi 221005 Uttar Pradesh India

ISBN: (纸本)9781467389624

Reliability and stability of power system are the main concern of power industry. However, increasing demands for energy increases the risk factor due to non-linearity of the power system. Sometimes, a small disturbance may create the chain of disturbances and results in a blackout. To avoid this eventuality, intensely islanding is the key option in which some area of the power system is detached from the affected area. this paper proposed a Mixed Integer Linear programming (MILP) based optimal placement of Phasor Measurement Units (PMUs) which provides the full observability of power system before and after the islanding of system. Maximum redundancy of the optimal number of PMUs is the additional feature of proposed method which increases the performance of state estimation. Single PMU outage case has been considered as a contingency in this paper, and the presence of zero injection buses has also been considered. All the simulations have been performed in Matlab and tested on IEEE 14-bus, IEEE 30-bus, IEEE 118-bus and New England 39-bus test systems. To check the effectiveness of proposed method, results have been compared with methods available in the literature.

关键词： Phasor Measurement Unit Mixed Integer Linear programming Islanding Maximum redundancy Contingency

来源：评论

学校读者我要写书评

暂无评论

Interval Cost Feature Selection Using Multi-objective PSO and Linear Interval programming

Interval Cost Feature Selection Using Multi-objective PSO an...

引用

7th international conference on Swarm Intelligence (ICSI)

作者： Zhang, Yong Gong, Dunwei Rong, Miao Guo, Yinan China Univ Min & Technol Sch Informat & Elect Engn Xuzhou 221116 Peoples R China Lanzhou Univ Technol Sch Elect Engn & Informat Engn Lanzhou 730050 Peoples R China

ISBN: (纸本)9783319410005;9783319409993

Interval cost feature selection problems (ICFS) are popular in real-world. However, since the optimized objectives not only are multiple but also contain interval coefficients, there have been few solving methods. this paper first transforms the ICFS into a multi-objective one with exact coefficients by the linear interval programming. Second, by combining a multi-objective particle swarm algorithm (which has a good performance in exploration) with a powerful problem-specific local search (which is good at exploitation), we propose a memetic multi-objective feature selection algorithm (MMFS-PSO). Finally, experimental results confirmed the advantages of our method.

关键词： Feature selection Cost Interval Particle swarm Multi-objective

来源：评论

学校读者我要写书评

暂无评论

Optimization of selected components in MPD root: Capabilities of distributed programming techniques 7

Optimization of selected components in MPD root: Capabilitie...

引用

7th international conference Distributed Computing and Gridtechnologies in Science and Education, GRID 2016

作者： Fatkina, A. Iakushkin, O. Gasanova, O. Tazieva, L. Saint Petersburg State University 7/9 Universitetskaya emb. Saint-Petersburg199034 Russia

the article analyses the prospects of optimizing the architecture and the execution logic of selected scripts available in MPD Root project. We considered the option of porting the scripts to allow execution on massive parallel architectures. We collected and structured large data illustrating the project's work: • the project's dependency tables were drawn up with regard to the support of parallel and concurrent computing;• the source code database was indexed to identify cross dependencies among architectural entities;• the code profiling measurements were made at launch time of the scripts in question, the call sequences were analyzed, the execution time of the scripts was evaluated. the study evaluated the prospects of using various libraries and platforms: CUD A, OpenMP, OpenCL, TBB, and MPI. the obtained measurements and the analysis of the best practices of the software under consideration allows to make recommendations for modifying MPD Root in order to optimize: • vectorization of loops;• transfer of continuous computing segments to co-processing architecture;• source code segments whose operation can be represented as call graphs;• source code segments that can be subject to load allocation between computing nodes. © 2016 Fatkina A., Iakushkin O, Gasanova O, Tazieva L.

关键词： Parallel architectures

来源：评论

学校读者我要写书评

暂无评论

1st international conference of Operations Research and Management, ICORM 2014

1st International Conference of Operations Research and Mana...

引用

7th international conference on Fuzzy Information and Engineering, ICFIE 2014 and 1st international conference of Operations Research and Management, ICORM 2014

ISBN: (纸本)9783319191041

the proceedings contain 35 papers. the special focus in this conference is on Fuzzy Systems and Its Applications. the topics include: Analytic representation theorem of fuzzy-valued function based on methods of fuzzy structured element;posynomial geometric programming with intuitionistic fuzzy coefficients;generalized multi-fuzzy soft set and its application in decision making;distance measures for interval-valued intuitionistic hesitant fuzzy sets;fuzzy inference modeling method based on t-s fuzzy system;econometric study on the influencing factors of china life insurance product demand based on fuzzy variable time series;sufficient conditions of cut sets on intuitionistic fuzzy sets;on the fuzzy fractional posynomial geometric programming problems;generalized fuzzy imaginary ideals of complemented semirings;statistical approximation of the q-bernstein-durrmeyer type operators;a new similarity measure between vague sets;distributivity equations between semi-t-operators over semi-uninorms;complex fuzzy set-valued complex fuzzy integral and its convergence theorem;complex fuzzy matrix and its convergence problem research;rough fuzzy concept lattice and its properties;dual hesitant fuzzy soft set and its properties;three-valued random fuzzy sets;improved interval-valued intuitionistic fuzzy entropy and its applications in multi-attribute decision making problems;approach to group decision making based on intuitionistic uncertain linguistic aggregation operators;statistical diagnostic of center fuzzy linear regression model based on fuzzy decentring degree;a new method of multiple attributes evaluation and selection in fuzzy environment;controlled remote information concentration via GHZ-type states and a new precipitable water vapor starma model based on newton's method.

关键词：

来源：评论

学校读者我要写书评

暂无评论

the denotational semantics of a pre-woven language

The denotational semantics of a pre-woven language

引用

international conference on Information and Communication Systems (ICICS)

作者： Amjad Nusayr Ziad Al-Sharif School of Arts and Sciences University of Houston Victoria Victoria Department of Software Engineering Jordan University of Science and Technology Irbid Jordan

ISBN: (纸本)9781467386159

Denotational semantics is an approach for giving a mathematical meaning to programming languages and systems. It gives the language designers a tool for high level abstract definitions. In aspect oriented programming, advice is weaved in designated locations of an underlying program specified by a pointcut expression. It is the job of the language implementer to specify how weaved code gets to be inserted into the proper location. Current denotational semantics of languages do not have the necessary constructs for accepting this weaved code. In this paper, we preset a denotational semantics formal description that embodies the representation of constructs to be woven by some aspect. It illustrates the a formal description of the mechanism of where and how woven advice is inserted. the semantics presented are intended to be a general baseline for the use of any advice in any random joinpoint.

关键词： Semantics Weaving Syntactics Java Grammar programming

来源：评论

学校读者我要写书评

暂无评论

Reducing Cache Coherence Traffic with Hierarchical Directory Cache and NUMA-Aware Runtime Scheduling 16

Reducing Cache Coherence Traffic with Hierarchical Directory...

引用

international conference on Parallel Architectures and Compilation (PACT)

作者： Caheny, Paul Casas, Marc Moreto, Miguel Gloaguen, Herve Saintes, Maxime Ayguade, Eduard Labarta, Jesus Valero, Mateo Barcelona Supercomp Ctr Barcelona Spain Univ Politecn Cataluna Dept Arquitectura Comp Barcelona Spain Bull Atos Technol Les Clayes Sous Bois France

ISBN: (纸本)9781450341219

Cache Coherent NUMA (ccNUMA) architectures are a widespread paradigm due to the benefits they provide for scaling core count and memory capacity. Also, the flat memory address space they offer considerably improves programmability. However, ccNUMA architectures require sophisticated and expensive cache coherence protocols to enforce correctness during parallel executions, which trigger a significant amount of on-and off-chip traffic in the system. this paper analyses how coherence traffic may be best constrained in a large, real ccNUMA platform through the use of a joint hardware/software approach. For several benchmarks, we study coherence traffic in detail under the influence of an added hierarchical cache layer in the directory protocol combined with runtime managed NUMA-aware scheduling and data allocation techniques to make most efficient use of the added hardware. the effectiveness of this joint approach is demonstrated by speedups of 1.23x to 2.54x and coherence traffic reductions between 44% and 77% in comparison to NUMA-oblivious scheduling and data allocation. Furthermore, we show that the NUMA-aware techniques we employ at the runtime level are crucial to ensure the added hierarchical layer in the directory coherence protocol does not introduce significant coherence traffic to the system.

关键词： Cache Coherence NUMA Task-based programming models

来源：评论

学校读者我要写书评

暂无评论

Application of Gene Expression programming (GEP) to Investigate the Health Condition of Direct-Drive Wind Turbine 7

Application of Gene Expression Programming (GEP) to Investig...

引用

7th IEEE India international conference on Power Electronics (IICPE)

作者： Malik, Hasmat Mishra, Sukumar Indian Inst Technol Delhi Dept Elect Engn New Delhi India

ISBN: (纸本)9781509045303

In this paper, Gene Expression programming (GEP) based a wind turbine healthy condition identification model is proposed using generator current signals. Proposed GEP approach is capable to achieve very high classification accuracy. this is the first attempt to design such type of classifier using GEP for health condition identification of wind turbine. the beauty of proposed approach is to analyze the faults accurately with less process time. Moreover, proposed approach can also perform the self optimization process as it uses the function of both GA and GP in combine manner. Raw data of permanent magnet synchronous generator (PMSG) stator current is preprocessed through empirical mode decomposition (EMD) method to develop Intrinsic Mode functions (IMFs). Classifier uses the decision tree to further prune these IMFs to most relevant input variables which serve as input to GEP fault classifier. We compare performance of proposed GEP classifier with other AI based classifiers such as ANN and SVM. Obtained results and performance comparison shows that our proposed GEP based classifier could serve as an important tool for wind turbine fault diagnosis.

关键词： gene expression programming fault diagnosis wind turbine empirical mode decomposition decision tree

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共361页 << < 128 129 130 131 132 133 134 135 136 137 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：