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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

983 篇 会议
37 篇 期刊文献
25 册 图书

馆藏范围

1,043 篇 电子文献
2 种 纸本馆藏

日期分布

学科分类号

704 篇 工学
- 585 篇 计算机科学与技术...
- 368 篇 软件工程
- 146 篇 电气工程
- 56 篇 控制科学与工程
- 30 篇 信息与通信工程
- 27 篇 材料科学与工程（可...
- 19 篇 电子科学与技术（可...
- 16 篇 机械工程
- 11 篇 动力工程及工程热...
- 11 篇 生物医学工程（可授...
- 10 篇 生物工程
- 7 篇 仪器科学与技术
- 7 篇 石油与天然气工程
- 6 篇 城乡规划学
- 4 篇 核科学与技术
- 4 篇 农业工程
188 篇 理学
- 155 篇 数学
- 18 篇 系统科学
- 17 篇 物理学
- 12 篇 统计学（可授理学、...
- 10 篇 生物学
69 篇 管理学
- 53 篇 管理科学与工程(可...
- 22 篇 工商管理
- 19 篇 图书情报与档案管...
16 篇 教育学
- 16 篇 教育学
11 篇 文学
- 11 篇 新闻传播学
9 篇 法学
- 8 篇 社会学
6 篇 医学
- 4 篇 基础医学(可授医学...
4 篇 农学
- 4 篇 作物学
3 篇 经济学
- 3 篇 应用经济学
1 篇 军事学

主题

96 篇 logic gates
77 篇 programming
63 篇 logic programmin...
40 篇 fuzzy logic
35 篇 application soft...
30 篇 probabilistic lo...
29 篇 linear programmi...
27 篇 programming prof...
27 篇 computer archite...
26 篇 computer science
26 篇 dynamic programm...
23 篇 software enginee...
23 篇 protocols
21 篇 uncertainty
20 篇 object oriented ...
20 篇 java
20 篇 semantics
18 篇 computer circuit...
18 篇 costs
17 篇 software systems

机构

4 篇 univ potsdam pot...
4 篇 vienna univ tech...
4 篇 imdea software i...
4 篇 institute for lo...
3 篇 tu wien austria
3 篇 graduate school ...
3 篇 univ calabria de...
3 篇 carnegie mellon ...
3 篇 univ freiburg fr...
3 篇 univ british col...
3 篇 imperial coll lo...
3 篇 department of in...
2 篇 univ tecn federi...
2 篇 ist austria klos...
2 篇 univ savoie savo...
2 篇 tel aviv univers...
2 篇 zhongguancun lab...
2 篇 univ ferrara dip...
2 篇 south china univ...
2 篇 univ neuchatel i...

作者

8 篇 alviano mario
6 篇 lamma evelina
5 篇 schaub torsten
4 篇 riguzzi fabrizio
3 篇 lin yu
3 篇 vardi moshe y.
3 篇 gebser martin
3 篇 bellodi elena
3 篇 costa vitor sant...
3 篇 shinji sakamoto
3 篇 lakemeyer gerhar...
3 篇 ikeda markus
3 篇 zhou neng-fa
3 篇 xu hongxiang
3 篇 sabuncu orkunt
3 篇 leonard barolli
3 篇 schockaert steve...
3 篇 pichler andreas
3 篇 wang bin
3 篇 de givry simon

语言

1,013 篇 英文
25 篇 其他
8 篇 中文
1 篇 法文

检索条件"任意字段=30th International Conference on Logic Programming"

共 1045 条记录，以下是691-700 订阅

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

详细简洁

排序：

Web-based heterogeneous WSN integration using pervasive communication

Web-based heterogeneous WSN integration using pervasive comm...

引用

IEEE international conference on Performance, Computing and Communications (IPCCC)

作者： Mihaela Cardei Anthony Marcus Ionut Cardei Timur Tavtilov Department of Computer and Electrical Engineering and Computer Science Florida Atlantic University Boca Raton FL USA

this paper presents a REST-compliant service oriented architecture of a web-based heterogeneous wireless sensor network monitoring system that has applicability in remote patient monitoring in healthcare. As smartphone and web-page technologies are ubiquitous nowadays, our architecture uses smartphone as a gateway between the data collected and the Internet. the system uses a heterogeneous WSN consisting of environmental sensors, medical sensors, and smartphone's internal sensors. To validate the system, a prototype experiment of the system is implemented using Android smartphone platform, Crossbow Micaz motes, and Alive Technology hart and activity monitor sensor.

关键词： Monitoring logic gates Temperature sensors Biomedical monitoring Temperature measurement Wireless sensor networks

来源：评论

学校读者我要写书评

暂无评论

JRCA: A joint routing and channel assignment scheme for wireless mesh networks

JRCA: A joint routing and channel assignment scheme for wire...

引用

IEEE international conference on Performance, Computing and Communications (IPCCC)

作者： Amitangshu Pal Asis Nasipuri Electrical & Computer Engineering University of North Carolina at Charlotte Charlotte NC USA

In this paper we consider the joint channel assignment and routing problem in multi-radio multi-gateway wireless mesh networks for improving the quality of communications in the network. this channel assignment problem is proven to be an NP-complete problem. We present a novel backtracking and genetic algorithm based channel assignment and quality aware route selection scheme to maximize the overall performance of communications while reducing the computational complexity. We perform extensive simulation studies that show that our proposed channel assignment and route selection scheme performs significantly better than single channel and random channel selection based schemes.

关键词： Biological cells logic gates Genetic algorithms Color Delay Interference Routing

来源：评论

学校读者我要写书评

暂无评论

the cost of location privacy in locator/identifier-split architectures

The cost of location privacy in locator/identifier-split arc...

引用

IEEE international conference on Performance, Computing and Communications (IPCCC)

作者： Oliver Hanka Institute of Communication Networks Technische Universität München Munich Germany

the locator/identifier separation paradigm is widely considered to be a feasible solution to the problematic issues of today's Internet architecture. this approach, however, introduces a novel problem by revealing a node's location information to all of its peers. thus, each node becomes trackable. To overcome this problem, a solution is required which is able to hide location information while not limiting connectivity at the same time. So far, few proposals have been made to address this problem. In this paper, the concepts are analyzed and evaluated based on the costs introduced to the network due to overhead. the paper shows the overall costs for a privacy solution and the importance to implement mechanisms to limit additional required transit traffic.

关键词： Privacy Peer to peer computing Internet logic gates Servers Mobile communication Routing

来源：评论

学校读者我要写书评

暂无评论

Using ACO Metaheuristic for MWT Problem

Using ACO Metaheuristic for MWT Problem

引用

Computer Science Society (SCCC) international conference Chilean FLAGGED

作者： Maria Gisela Dorzán Edilma Olinda Gagliardi Mario Guillermo Leguizamón Gregorio Hernández Peñalver Facultad de Ciencias Físico Matemáticas y Naturales Universidad Nacional de San Luis San Luis Argentina Facultad de Informática Universidad Politécnica de Madrid Madrid Spain

Globally optimal triangulations are difficult to be found by deterministic methods as, for most type of criteria, no polynomial algorithm is known. In this work, we consider the Minimum Weight Triangulation (MWT) problem of a given set of n points in the plane. this paper shows how the Ant Colony Optimization (ACO) metaheuristic can be used to find high quality triangulations. For the experimental study we have created a set of instances for MWT problem since no reference to benchmarks for these problems were found in the literature. through the experimental evaluation, we assess the applicability of the ACO metaheuristic for MWT problem.

关键词： Algorithm design and analysis Approximation algorithms Runtime Optimization Approximation methods Computational geometry Probabilistic logic

来源：评论

学校读者我要写书评

暂无评论

Resource-misuse attack detection in delay-tolerant networks

Resource-misuse attack detection in delay-tolerant networks

引用

IEEE international conference on Performance, Computing and Communications (IPCCC)

作者： Vivek Natarajan Yi Yang Sencun Zhu Department of Computer Science and Engineering Pennsylvania State University USA Department of Electrical Engineering and Computer Science Catholic University of America USA

In a Delay-Tolerant Network (DTN), data originating from a source node may be delivered to the destination node, despite the non-existence of end-to-end connectivity between them at all times. In an adversarial environment such as a battlefield, DTN nodes could be compromised to launch Denial-of-Service (DoS) attacks by generating excess data, to cause an overflow of the limited resources of the legitimate nodes, hence decreasing the network throughput. A node may also display selfish behavior by generating more data than allowed, to increase its throughput and to decrease the latency of its data packets. In this paper, we term such a DoS attack and selfish data generation behavior, a resource-misuse attack. We study two types of resource-misuse attacks, breadth attacks and depth attacks. Accordingly, we propose different schemes to detect these attacks. Trace-driven simulations using both a synthetic and a real-world trace show that our detection schemes have low average detection latency and additionally, probabilistic detection of the depth attack has low false positive and false negative rates.

关键词： logic gates Routing Probabilistic logic Upper bound Redundancy Digital signatures

来源：评论

学校读者我要写书评

暂无评论

Approximations on Minimum Weight Pseudo-triangulation Problem Using Ant Colony Optimization Metaheuristic

Approximations on Minimum Weight Pseudo-triangulation Proble...

引用

Computer Science Society (SCCC) international conference Chilean FLAGGED

作者： Edilma Olinda Gagliardi Maria Gisela Dorzán Mario Guillermo Leguizamón Gregorio Hernández Peñalver Facultad de Ciencias Físico Matemáticas y Naturales Universidad Nacional de San Luis San Luis Argentina Facultad de Informática Universidad Politécnica de Madrid Madrid Spain

In this work, we consider the Minimum Weight Pseudo-Triangulation (MWPT) problem of a given set of $n$ points in the plane. Globally optimal pseudo-triangulations with respect to the $weight$, as optimization criteria, are difficult to be found by deterministic methods, since no polynomial algorithm is known. We show how the Ant Colony Optimization (ACO) metaheuristic can be used to find high quality pseudo-triangulations of minimum weight. We present the experimental and statistical study based on our own set of instances since no reference to benchmarks for these problems were found in the literature. throughout the experimental evaluation, we appraise the ACO metaheuristic performance for MWPT problem.

关键词： Face Algorithm design and analysis Optimization Approximation methods Approximation algorithms Partitioning algorithms Probabilistic logic

来源：评论

学校读者我要写书评

暂无评论

Model Repair for Probabilistic Systems

引用

17th international conference of Tools and Algorithms for the Construction and Analysis of Systems

作者： Bartocci, Ezio Grosu, Radu Katsaros, Panagiotis Ramakrishnan, C. R. Smolka, Scott A. SUNY Stony Brook Dept Appl Math & Stat Stony Brook NY 11794 USA SUNY Stony Brook Dept Comp Sci Stony Brook NY 11794 USA Aristotle Univ Thessaloniki Dept Informat Thessaloniki 54124 Greece

ISBN: (纸本)9783642198342

We introduce the problem of Model Repair for Probabilistic Systems as follows. Given a probabilistic system M and a probabilistic temporal logic formula phi such that M fails to satisfy phi, the Model Repair problem is to find an M' that satisfies phi and differs from M only in the transition flows of those states in M that are deemed controllable. Moreover, the cost associated with modifying M's transition flows to obtain M' should be minimized. Using a new version of parametric probabilistic model checking, we show how the Model Repair problem can be reduced to a nonlinear optimization problem with a minimal-cost objective function, thereby yielding a solution technique. We demonstrate the practical utility of our approach by applying it to a number of significant case studies, including a DTMC reward model of the Zeroconf protocol for assigning IP addresses, and a CTMC model of the highly publicized Kaminsky DNS cache-poisoning attack.

关键词： Model Repair Probabilistic Model Checking Nonlinear programming

来源：评论

学校读者我要写书评

暂无评论

Control theoretic concept for intuitive guidance of pilots during taxiing

Control theoretic concept for intuitive guidance of pilots d...

引用

conference on Digital Avionics Systems (DASC)

作者： S. Haus A. Sendobry C. Urvoy U. Klingauf Institute of Flight Systems and Automatic Control Technische Universität Darmstadt Darmstadt Germany

Several international air traffic management (ATM) research programs are currently investigating new guidance technologies to cope with the increasing traffic both in the air and on the ground. the programs show that it is mandatory to introduce a spatial and temporal guidance of aircraft from gate to gate. While the current research programs recommend the use of autopilots during the en-route phase, an automated guidance system for taxiing exhibits some major disadvantages. the proposed concept of keeping the pilot in the loop during taxiing avoids the need for additional aircraft equipment. Instead, we suggest using the taxiway light elements which are already installed at most hub airports but are not used to their full extend. Currently only spatial guidance, known as "follow-the-greens", is implemented. the proposed concept augments the purely spatial guidance by a temporal component through dynamically triggering the taxiway light elements. the number of lit lights is calculated using methods of automatic control. therefore a mathematical model of the plane and pilot has been identified in a measurement campaign with airline pilots in a fixed base research flight simulator. Different controller types were implemented and evaluated in a second measurement campaign in corporation with fourteen airline captains.

关键词： Aircraft Aircraft navigation Mathematical model Atmospheric modeling Trajectory Aerospace control logic gates

来源：评论

学校读者我要写书评

暂无评论

the Power of Collective Action: How Agents Get Rid of Useless Concepts without Even Noticing their Futility

The Power of Collective Action: How Agents Get Rid of Useles...

引用

Computer Science Society (SCCC) international conference Chilean FLAGGED

作者： Sergio Chaigneau Enrique Canessa Escuela de Psicología CINCO Universidad Adolfo Ibáńez Santiago Chile Facultad de Ingeniería y Ciencias CINCO Universidad Adolfo Ibáńez Vina del Mar Chile

We report an ABM that simulates agents that communicate and experience agreement with other agents. "Observer" agents carry in their minds one of several versions of the same concept, and observe the behavior of "actor" agents. When an actor provides evidence consistent with an observer's conceptual content, then the latter agent feels agreement. Concepts that promote agreement are useful for communication and are strengthened in agents' minds, while concepts that do not promote agreement are not useful and are weakened. Blind to individual agents, agreement may be of two kinds. True agreement (labeled p(a1)) means that actor and observer really share versions of the same concept. Illusory agreement (labeled p(a2)) means that actor and observer have different concepts and that apparent agreement occurs only due to the probabilistic nature of how conceptual content is distributed among agents. this ABM exhibits an interesting dynamical behavior for which we have developed mathematical formulations which turn out to be consistent with the system's outcomes. Several interesting conclusions were drawn from the models. Particularly, individual agents are blind to whether concepts promote true or illusory agreement among them, but even so, as a collective, the multiagent system is able to keep the concepts that generate true agreement and weed out those that promote illusory agreement. We believe that this characteristic of the ABM is an emergent property of it and its study may shed light on similar cognitive processes that occur in social groups and their results may be useful in the development of better GUI's for search engines and multiagent communication frameworks.

关键词： Bifurcation Observers Mathematical model Probabilistic logic Analytical models Sensitivity Presses

来源：评论

学校读者我要写书评

暂无评论

Ground control station avionics software development in ANKA UAV

Ground control station avionics software development in ANKA...

引用

conference on Digital Avionics Systems (DASC)

作者： Banş Kayayurt Ihsan Yayla Ahmet Yapici Celal Küçükoğuz Turkish Aerospace Industries Ankara Turkey

ANKA Program, of which main contractor is Turkish Aerospace Industries Inc., aims at designing and producing a MALE (Medium Altitude Low Endurance) type UAV that has the capacity of 200 km maximum line of sight and 30000 ft maximum altitude. System is made up of two subsystems: air vehicle and ground control station, which have their seperate software development teams and infrastructure. this paper describes the Ground Control Station avionics software development process, technologies used, architecture, and software tools. Ground Control Station (GCS) subsystem is composed of both real-time and non-real time software. the aim of the real time software (referred to as the Air Vehicle Control Software - AVCS) is to command and control the flight and to monitor air vehicle telemetry on Human Machine Interface. this real time software runs on the Integrity RTOS [1] on a hardware platform comprising 2 Single Board Computers (SBC) each of which has PowerPC 7448 CPU. the chassis including these SBCs is called Ground Control Computer (GCC) which is dual-redundant and runs in master slave mode. the redundancy is achieved by a concept called hot-backup. Air Vehicle Control Software is based on Integrity's IMA based time and space partitioning. Real time software includes both manual code (developed in the ANSI C language) as well as model based (auto-generated) code. Model based development is involved in the Human Machine Interface part (for which 'VAPS' [2] tool is used) and logic flow part (for which SCADE tool [1] is used). Non-real time software aims at air vehicle and GCS pre flight, test data monitoring on flight, telemetry/telecommand data recording, pilot camera video recording and playback, various other data insertion to database and file system and querying from database and files system functionalities. All non-real time software is designed with object-oriented methodology and developed with C# on NET platform. Real time and non-real time software communicate

关键词： Software Vehicles Object oriented modeling programming Automatic voltage control Real time systems Aerospace electronics

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共105页 << < 66 67 68 69 70 71 72 73 74 75 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：