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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

488 篇 会议
59 篇 期刊文献
21 册 图书

馆藏范围

567 篇 电子文献
1 种 纸本馆藏

日期分布

学科分类号

391 篇 工学
- 344 篇 计算机科学与技术...
- 209 篇 软件工程
- 50 篇 电气工程
- 28 篇 信息与通信工程
- 22 篇 控制科学与工程
- 9 篇 电子科学与技术（可...
- 7 篇 机械工程
- 3 篇 材料科学与工程（可...
- 3 篇 生物工程
- 2 篇 力学（可授工学、理...
- 2 篇 动力工程及工程热...
- 2 篇 化学工程与技术
- 2 篇 核科学与技术
- 1 篇 仪器科学与技术
- 1 篇 冶金工程
102 篇 理学
- 87 篇 数学
- 10 篇 系统科学
- 5 篇 物理学
- 5 篇 生物学
- 2 篇 统计学（可授理学、...
- 1 篇 化学
32 篇 管理学
- 20 篇 管理科学与工程(可...
- 12 篇 图书情报与档案管...
- 7 篇 工商管理
7 篇 教育学
- 7 篇 教育学
6 篇 法学
- 6 篇 社会学
6 篇 文学
- 5 篇 外国语言文学
- 1 篇 新闻传播学
3 篇 医学
- 2 篇 临床医学
1 篇 经济学
- 1 篇 应用经济学

主题

144 篇 logic programmin...
18 篇 artificial intel...
16 篇 logic gates
16 篇 linear programmi...
16 篇 computer program...
15 篇 probabilistic lo...
14 篇 programming
14 篇 mathematical log...
14 篇 programming lang...
12 篇 semantics
11 篇 formal logic
11 篇 computer program...
11 篇 logics and meani...
10 篇 fuzzy logic
10 篇 software enginee...
9 篇 computer circuit...
9 篇 logic
9 篇 programming tech...
8 篇 answer set progr...
8 篇 inductive logic ...

机构

4 篇 univ minho ctr a...
4 篇 univ texas dept ...
3 篇 universita di pi...
3 篇 the weizmann ins...
3 篇 new mexico state...
3 篇 univ malaga dept...
3 篇 univ calabria de...
2 篇 aalto univ dept ...
2 篇 ontario power ge...
2 篇 univ pisa dipart...
2 篇 department of th...
2 篇 texas tech univ ...
2 篇 univ freiburg in...
2 篇 school of comput...
2 篇 katholieke univ ...
2 篇 inst natl teleco...
2 篇 vienna univ tech...
2 篇 university of po...
2 篇 arizona state un...
2 篇 inria rennes

作者

5 篇 vicente henrique
4 篇 eiter t
4 篇 neves jose
4 篇 saint-dizier pat...
4 篇 faber w
3 篇 stéphan i
3 篇 deville yves
3 篇 pereira lm
3 篇 leone n
3 篇 wang bin
3 篇 levi giorgio
3 篇 neves joao
3 篇 zhang zhizheng
3 篇 son tc
2 篇 polleres a
2 篇 gueddes abdelweh...
2 篇 gongjie liu
2 篇 pontelli e
2 篇 dung phan minh
2 篇 lee kin hong

语言

520 篇 英文
43 篇 其他
4 篇 中文
1 篇 法文

检索条件"任意字段=8th Conference on Logic Programming, 1989"

共 568 条记录，以下是151-160 订阅

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

详细简洁

排序：

A green framework for energy efficient management in TDMA-based Wireless Mesh Networks 12

A green framework for energy efficient management in TDMA-ba...

引用

International conference on Network and Service Management

作者： Ahmed Amokrane Rami Langar Raouf Boutaba Guy Pujolle LIP 6 UPMC-University of Paris 6 Paris France School of Computer Science University of Waterloo Waterloo ONT Canada

ISBN: (纸本)9781450322102

Due to the increasing of energy consumption in Information and Communication Technology (ICT), green computing has recently drawn a lot of attention. However, the application of green networking to Wireless Mesh Networks (WMN) has seldom been reported in the literature. In this paper, we propose a new framework for energy management in TDMA-based WMNs to support energy efficient communications. Our proposed framework aims at finding an optimal tradeoff between the achieved network throughput and energy consumption. To do so, we use resource planning through green routing and link scheduling. Specifically, we first propose an Optimal approach, called O-GRLS, by formulating the problem as an integer linear program (ILP). As this problem is known to be NP-hard, we then propose a simple yet efficient Ant Colony-based approach, called AC-GRLS to solve the formulated ILP problem. through extensive simulations, we show that our green framework is able to achieve significant gains in terms of energy consumption as well as achieved network throughput, compared to the Shortest Path (SP) routing. Specifically, we show that the same performance as SP can be attained with minimum energy consumption. On the other hand, with the same energy cost, our proposed framework enhances the achieved throughput by up to 30% compared to SP routing.

关键词： throughput Routing logic gates Energy consumption Green products Interference Linear programming

来源：评论

学校读者我要写书评

暂无评论

Content centric and Load-balancing Aware Dynamic data Aggregation in Multihop wireless networks

Content centric and Load-balancing Aware Dynamic data Aggreg...

引用

IEEE International conference on Wireless and Mobile Computing, Networking And Communications (WiMob)

作者： Yichao Jin Parag Kulkarni Sedat Gormus Mahesh Sooriyabandara Toshiba Telecommunications Research Laboratory Bristol UK

Transporting raw data which is usually correlated over multi-hop wireless links can be costly both in terms of time as well as resources. this is likely to be a pressing problem particularly in the emerging Machine-to-Machine (M2M) communication paradigm wherein the amount of data is expected to proliferate. With in-network processing and data aggregation, the total amount of forwarding traffic on multi-hop routes can be significantly reduced by pre-processing of correlated information. However, a suitable data forwarding scheme is needed as a prior condition in order to efficiently compute and relay data. By taking advantage of distributed processing, this paper provides a content centric and load balancing aware distributed data routing solution for large-scale multi-hop M2M wireless networks. Independent routing decisions are made by each node to refine its next hop data forwarding node selection using only local information. Hence, it is highly adaptive to dynamic environments. A hybrid objective function is proposed for route selection which includes two main parts: 1) reduce the communication traffic by aggregating similar type of data, hence increasing the processing gain; 2) balance the energy-consumption among neighbouring nodes taking into account heterogeneous node residual energy levels so as to reduce both computation and communication costs and at the same time avoid early energy depletion of hot-spot nodes. We show that the proposed algorithm is able to extend the network lifetime and provides significant energy saving in complex large-scale Multihop wireless networks.

关键词： Energy consumption Relays Linear programming Energy states Heuristic algorithms Routing logic gates

来源：评论

学校读者我要写书评

暂无评论

Real time complex event detection for resource-limited multimedia sensor networks

Real time complex event detection for resource-limited multi...

引用

2011 8th IEEE International conference on Advanced Video and Signal Based Surveillance, AVSS 2011

作者： Al Machot, Fadi Kyamakya, Kyandoghere Dieber, Bernhard Rinner, Bernhard Institute of Smart System Technologies Klagenfurt University Austria Institute of Networked and Embedded Systems Klagenfurt University Austria

ISBN: (纸本)9781457708459

this paper presents a real-time complex event detection concept for resource-limited multimedia sensor networks. A comprehensive solution based on Answer Set programming (ASP) is developed. We show that ASP is an appropriate solution to detect a large number of simple and complex events (video-audio understanding) on platforms with limited resources e.g. power consumption, memory and processing power. We underline the major problems of the existing paradigms for complex event detection (based on e.g. logic programming and SemanticWeb), with a special focus on the major challenges which reduce the performance of real-time event detection. Finally, we demonstrate the high performance of ASP compared to that of Semantic Web. © 2011 IEEE.

关键词： logic programming

来源：评论

学校读者我要写书评

暂无评论

An approach for source code classification to enhance maintainability

An approach for source code classification to enhance mainta...

引用

International Joint conference on Computer Science and Software Engineering

作者： Lerthathairat, Pornchai Prompoon, Nakornthip Engineering Department of Computer Engineering Faculty of Engineering Chulalongkorn University Thailand

ISBN: (纸本)9781457706875

the importance of software development is a design and programming to create a code quality, especially maintainability fatcor. An approach for source code classification to enhance maintainability is a method to clssify and improve code. this approach can increase High cohesion and Low coupling that effect to the internal and the external of software. It can reduce degraded integrity. First of all, we classify source code with software metrics and fuzzy logic and then improve bad smell, ambiguous code with refactoring to be a clean code. the last step, we evaluate the quality of clean code with maintainability measurement. © 2011 IEEE.

关键词： Fuzzy logic

来源：评论

学校读者我要写书评

暂无评论

A rule-based system for end-user e-mail annotations 11

A rule-based system for end-user e-mail annotations

引用

8th Annual Collaboration, Electronic Messaging, Anti-Abuse and Spam conference, CEAS 2011

作者： Fiumara, G. Marchi, M. Pagano, R. Provetti, A. Spada, N. Informatics Section Dept. of Physics University of Messina V.le F. Stagno d'Alcontres 31 Messina I-98166 Italy

ISBN: (纸本)9781450307888

A new system for spam e-mail annotation by end-users is presented. It is based on the recursive application of hand- written annotation rules by means of an inferential engine based on logic programming. Annotation rules allow the user to express nuanced considerations that depend on deob- fuscation, word (non-)occurrence and structure of the message in a straightforward, human-readable syntax. We show that a sample collection of annotation rules are effective on a relevant corpus that we have assembled by collecting emails that have escaped detection by the industry-standard SpamAssassin filter. the system presented here is intended as a personal tool enforcing personalized annotation rules that would not be suitable for the general e-mail traffc. Copyright © 2011 ACM.

关键词： logic programming

来源：评论

学校读者我要写书评

暂无评论

Real time complex event detection for resource-limited multimedia sensor networks

Real time complex event detection for resource-limited multi...

引用

IEEE conference on Advanced Video and Signal Based Surveillance (AVSS)

作者： Fadi Al Machot Kyandoghere Kyamakya Bernhard Dieber Bernhard Rinner Institute of Smart System Technologies Klagenfurt University Institute of Networked and Embedded Systems Klagenfurt University

关键词： Event detection Feature extraction Context Streaming media programming Cognition Knowledge based systems

来源：评论

学校读者我要写书评

暂无评论

Nano-CF: A coordination framework for macro-programming in Wireless Sensor Networks

Nano-CF: A coordination framework for macro-programming in W...

引用

IEEE Communications Society conference on Sensor and Ad Hoc Communications and Networks (SECON)

作者： Vikram Gupta Junsung Kim Aditi Pandya Karthik Lakshmanan Ragunathan Rajkumar Eduardo Tovar Electrical and Computer Engineering Carnegie Mellon University Pittsburgh PA USA CISTER/ISEP Polytechnic Institute of Porto Portugal

Wireless Sensor Networks (WSN) are being used for a number of applications involving infrastructure monitoring, building energy monitoring and industrial sensing. the difficulty of programming individual sensor nodes and the associated overhead have encouraged researchers to design macro-programming systems which can help program the network as a whole or as a combination of subnets. Most of the current macro-programming schemes do not support multiple users seamlessly deploying diverse applications on the same shared sensor network. As WSNs are becoming more common, it is important to provide such support, since it enables higher-level optimizations such as code reuse, energy savings, and traffic reduction. In this paper, we propose a macro-programming framework called Nano-CF, which, in addition to supporting in-network programming, allows multiple applications written by different programmers to be executed simultaneously on a sensor networking infrastructure. this framework enables the use of a common sensing infrastructure for a number of applications without the users being concerned about the applications already deployed on the network. the framework also supports timing constraints and resource reservations using the Nano-RK operating system. Nano-CF is efficient at improving WSN performance by (a) combining multiple user programs, (b) aggregating packets for data delivery, and (c) satisfying timing and energy specifications using Rate-Harmonized Scheduling. Using representative applications, we demonstrate that Nano-CF achieves 90% reduction in Source Lines-of-Code (SLoC) and 50% energy savings from aggregated data delivery.

关键词： programming Wireless sensor networks Operating systems Sensors logic gates Timing Middleware

来源：评论

学校读者我要写书评

暂无评论

An improved fuzzy neural networks approach for short-term electrical load forecasting

An improved fuzzy neural networks approach for short-term el...

引用

Asian Control conference

作者： Gwo-Ching Liao Department of Electrical Engineering Fortune Institute of Technology Kaohsiung Taiwan

To solve the Short-Term Load Forecasting (STLF) tasks, this paper proposes to use a new method, namely, Quantum Genetic Algorithm (QGA) merged with Fuzzy Neural Networks (FNNs), here after called the QGA-FNN method. With the QGA method, we encode all the networks' weights and biases into several Artificial Neural Network (ANN) system particle swarms, and then we train the network parameter values using the QGA method proposed in this paper to locate the networks' optimal parameter solution. Next, we resolve the optimal STLF with the FNNs derived. the results by the proposed method are compared with that by other commonly-used load forecasting methods, such as the Artificial Neural Network, the Evolutionary programming combined with ANN (EP-ANN) and the Genetic Algorithm combined with ANN (GA-ANN). the comparisons indicate that the proposed method renders smaller load forecasting discrepancies, with significant improvement rates ranging from 6.2% to 43.4%, signifying the proposed method's advantage in load forecasting.

关键词： Artificial neural networks Load forecasting Genetic algorithms Fuzzy neural networks logic gates Training Encoding

来源：评论

学校读者我要写书评

暂无评论

Design of 1-kbit antifuse OTP memory IP using dual program voltage and its measurement

Design of 1-kbit antifuse OTP memory IP using dual program v...

引用

International conference on Electrical Engineering/Electronics, Computer, Telecommunications and Information Technology, ECTI-CON

作者： Ji-Hye Jang Huiling Yang Liyan Jin Pan-Bong Ha Young-Hee Kim Department of Electronics Engineering Changwon NatE28099l University Changwon South Gyeongsang South Korea

ISBN: (纸本)9781457704253

In this paper, we design a 1-kbit antifuse OTP (one time programmable) memory IP which is used for power management ICs. A conventional antifuse OTP cell using a single VPP (positive program voltage) has a problem about applying a higher voltage than the breakdown voltage to thin gate oxides and securing the reliability of MV (medium voltage) devices which are thick gate transistors at the same time. thus, we design and measure a 1-kbit antifuse OTP breaking down hard the thin gate oxides by using dual program voltage: VPP (positive program voltage) and VNN (negative program voltage). It is designed with Dongbu HiTek's 0.18 μm BCD (Bipolar-CNOS DMOS) process and its yield is 80% when three series of continuous programming are done on 56 test dies at the following program voltages : VPP=8V and VNN-2V.

关键词： Nonvolatile memory logic gates Latches Transistors Driver circuits Decoding Switches

来源：评论

学校读者我要写书评

暂无评论

Mapping Problem-Space to Solution-Space Features: A Feature Interaction Approach 09

Mapping Problem-Space to Solution-Space Features: A Feature ...

引用

8th International conference on Generative programming and Component Engineering

作者： Sanen, Frans Truyen, Eddy Joosen, Wouter Katholieke Univ Leuven Dept Comp Sci DistriNet B-3001 Heverlee Belgium

ISBN: (纸本)9781605584942

Mapping problem-space features into solution-space features is a fundamental configuration problem in software product line engineering. A configuration problem is defined as generating the most optimal combination of software features given a requirements specification and given a set of configuration rules. Current approaches however provide little support for expressing complex configuration rules between problem and solution space that support incomplete requirements specifications. In this paper, we propose an approach to model complex configuration rules based on a generalization of the concept of problem-solution feature interactions. these are interactions between solution-space features that only arise in specific problem contexts. the use of an existing tool to support our approach is also discussed: we use the DLV answer set solver to express a particular configuration problem as a logic program whose answer set corresponds to the optimal combinations of solution-space features. We motivate and illustrate our approach with a case study in the field of managing dynamic adaptations in distributed software, where the goal is to generate an optimal protocol for accommodating a given adaptation.

关键词： Algorithms design performance reliability Software product line engineering configuration knowledge problem-solution feature interactions default logic DLV distributed runtime adaptation

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共57页 << < 12 13 14 15 16 17 18 19 20 21 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：