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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

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

详细简洁

排序：

State Recovering Attack Against Quavium

State Recovering Attack Against Quavium

引用

international conference on Advanced Information Networking and Applications Workshops (AINAW)

作者： Shiyong Zhang Gongliang Chen Jianhua Li School of Information Security Engineering Shanghai Jiao Tong University Shanghai China

Trivium is a notable light-weight synchronous stream cipher submitted to the European eSTREAM project in April 2005. Quavium is a 4-round Trivium-like algorithm which is almost as fast as Trivium. In this paper, the structure of Quavium is studied and we study the security of Quavium under state recovering attack, which is the best known attack to Trivium, i.e., we try to recover the internal state and the secret key of Quavium, given a piece of a known keystream. We show that the internal state of Quavium will be recovered in time around 2^142.5, while for Trivium the complexity is 2^83.5. therefore, comparing with Trivium, Quavium has a better performance under state recovering attack.

关键词： Ciphers Complexity theory Algorithm design and analysis logic gates Europe Software

来源：评论

学校读者我要写书评

暂无评论

Data-Driven Workflows for Microservices: Genericity in Jolie

Data-Driven Workflows for Microservices: Genericity in Jolie

引用

international conference on Advanced Information Networking and Applications (AINA)

作者： Larisa Safina Manuel Mazzara Fabrizio Montesi Victor Rivera Innopolis University Russia University of Southern Denmark

ISBN: (纸本)9781509018598

Microservices is an architectural style inspired by service-oriented computing that has recently started gainingpopularity. Jolie is a programming language based on the microservices paradigm: the main building block of Jolie systems are services, in contrast to, e.g., functions or objects. the primitives offered by the Jolie language elicit many of the recurring patterns found in microservices, like load balancers and structured processes. However, Jolie still lacks some useful constructs for dealing with message types and data manipulation that are present in service-oriented computing. In this paper, we focus on the possibility of expressing choices at the level of data types, a feature well represented in standards for Web Services, e.g., WSDL. We extend Jolie to support such type choices, and enable Jolie processes to act on data generically (without knowing which type it has in the choice). We show the impact of our implementation on some of the typical scenarios found in microservice systems. this shows how computation can move from a process-driven to a data-driven approach, and leads to the preliminary identification of recurring communication patterns that can be shaped as design patterns.

关键词： programming Computer languages Computer architecture Servers Protocols Syntactics Calculus

来源：评论

学校读者我要写书评

暂无评论

QoE-Fuzzy VHO Approach for Heterogeneous Wireless Networks (HWNs)

QoE-Fuzzy VHO Approach for Heterogeneous Wireless Networks (...

引用

international conference on Advanced Information Networking and Applications (AINA)

作者： Aymen Ben Zineb Mohamed Ayadi Sami Tabbane Higher School of Communications (Sup'Com) Tunis Tunisia

ISBN: (纸本)9781509018598

Different wireless technologies are assumed tocooperate in a single heterogeneous environment in futurenetwork deployment schemes. Such environment is characterizedby a multitude of new services based on multimedia services likegaming and real time video streaming. When dealing with video services, traditional QoS solutionsare not sufficient for ensuring video awareness and good user'sperception. Quality of Experience (QoE) management approachhave been introduced to estimate the quality level of multimediaservices. In an heterogeneous environment every user can switchbetween many networks during his communication in a verticalhandover (VHO) process and QoS may decrease as well as thevideo quality. that is why, maintaining the requested QoS andkeeping a satisfying QoE during a VHO process is the main goalfor HWNs. In this paper, we proposes a QoE-fuzzy vertical handoveralgorithm with QoS management and QoE decision. Simulationresults of the proposed system show performances improvementfor throughput and delays.

关键词： Quality of service Handover Multimedia communication Streaming media Fuzzy logic Wireless networks

来源：评论

学校读者我要写书评

暂无评论

Fuzzing the Rust Typechecker Using CLP 15

Fuzzing the Rust Typechecker Using CLP

引用

30th IEEE/ACM international conference on Automated Software Engineering Workshops (ASEW)

作者： Dewey, Kyle Roesch, Jared Hardekopf, Ben Univ Calif Santa Barbara Santa Barbara CA 93106 USA

ISBN: (纸本)9781509000258

Language fuzzing is a bug-finding technique for testing compilers and interpreters;its effectiveness depends upon the ability to automatically generate valid programs in the language under test. Despite the proven success of language fuzzing, there is a severe lack of tool support for fuzzing statically-typed languages with advanced type systems because existing fuzzing techniques cannot effectively and automatically generate well-typed programs that use sophisticated types. In this work we describe how to automatically generate well-typed programs that use sophisticated type systems by phrasing the problem of well-typed program generation in terms of Constraint logic programming (CLP). In addition, we describe how to specifically target the typechecker implementation for testing, unlike all existing work which ignores the typechecker. We focus on typechecker precision bugs, soundness bugs, and consistency bugs. We apply our techniques to Rust, a complex, industrial-strength language with a sophisticated type system.

关键词： Testing Computer bugs Grammar Java Engines logic programming Syntactics

来源：评论

学校读者我要写书评

暂无评论

Real-Time User Experience Evaluation for Cloud-Based Mobile Video

Real-Time User Experience Evaluation for Cloud-Based Mobile ...

引用

international conference on Advanced Information Networking and Applications Workshops (AINAW)

作者： Nouha Samet Asma Ben Letaïfa Mohamed Hamdi Sami Tabbane MEDIATRON University of Carthage Higher School of Communications of Tunis Sup'Com Ariana Tunisia

Video streaming services are the main source of generated traffic over the internet and hundreds of million minutes are watched every day. this proves that the video streaming service is booming, and ensuring customers' satisfaction in this regard will be a major competitive advantage among Internet service providers. the common measures that are being used are mainly about quantifying the Quality of Service (QoS) rather than targeting the end-user's point of view. In other words, QoS metrics such as bandwidth, latency and packet loss are not reflective of the actual experience lived by the end-user and the success of video streaming services is highly correlated with the end user degree of satisfaction which is measured in term of Quality of Experience QoE. In this paper, we are relying on overall quality estimation for cloud-based video stream watching for mobile users. To this end, we will consider traditional QoS metrics combined with other parameters related the video and the user terminal for estimating MOS values as it can be perceived by the mobile user.

关键词： Streaming media Quality of service Quality assessment Video recording Mobile communication Estimation Fuzzy logic

来源：评论

学校读者我要写书评

暂无评论

SDN Based Architecture to Improve Video Streaming in Home Networks

SDN Based Architecture to Improve Video Streaming in Home Ne...

引用

international conference on Advanced Information Networking and Applications (AINA)

作者： Rabee Mustapha Abuteir Anne Fladenmuller Olivier Fourmaux Sorbonne Universités LIP6 Paris

ISBN: (纸本)9781509018598

Nowadays, Internet video is the dominant internet traffic. DASH is an adaptive video streaming technique introduced to enable high quality video delivery over HTTP. In home networks, multiple video streams will compete for bandwidth, thus leading to poor performance and impacting the received quality of experience. In this paper we introduce a new technique to address this issue at the home network gateway without modifying neither the client player nor the video server. We design our framework NAVS (Network Assisted Video Streaming) relies on the deployment of Software Defined Networking (SDN). NAVS performs a dynamic traffic shaping based on the collected network traffic statistics and monitoring of video flows. NAVS dynamically allocates bandwidth for each video flow in real time. NAVS scheme has been evaluated over several metrics: bandwidth utilization, instability of players as well as the average video quality received by the clients. Our results demonstrate an improvement for all these parameters.

关键词： Streaming media Bandwidth Home automation Bit rate Servers Internet logic gates

来源：评论

学校读者我要写书评

暂无评论

Modeling, simulation and analysis of autonomous robot navigation algorithms using Fuzzy Petri nets 30

Modeling, simulation and analysis of autonomous robot naviga...

引用

30th international conference on Computers and their Applications, CATA 2015

作者： Yang, Yilin Dresher, Sarah Kim, Seung-Yun Department of Electrical and Computer Engineering College of New Jersey United States

ISBN: (纸本)9781880843987

Modeling systems in terms of a Petri net (PN) provides a better understanding of the specific actions and sequence in which they need to be carried out by utilizing PN's powerful analytical capabilities. However, because of the uncertainty present in many real world applications, it is not straightforward to use PNs in modeling and simulation of a system. the integration of PNs with fuzzy logic presents Fuzzy Petri nets (FPNs). Fuzzy logic is introduced as the programming logic of choice for modeling a selfnavigating robot algorithm due to its versatile multi-valued logic reasoning. By using FPNs, it is possible to simulate, assess, and communicate the process and reasoning of the navigational algorithm and apply it to real world programming. In this paper, we propose Trilateral Distance Sensor Based (TDSeB) and Flame and Reflection Detection (FReD) algorithms in order to optimize the sequence of actions of a robot for completing the given task. As a result of modeling and simulation, the proposed algorithms have outperformed non-systematic methods by 17%. We also present an implementation scheme using 8- bit binary codes. Copyright © 2015 by the international Society for Computers and their Applications (ISCA).

关键词： Fuzzy logic

来源：评论

学校读者我要写书评

暂无评论

Towards a Uniform Ontology-Driven Approach for Modeling, Checking and Executing WSANs

Towards a Uniform Ontology-Driven Approach for Modeling, Che...

引用

international conference on Advanced Information Networking and Applications Workshops (AINAW)

作者： Claudia Vannucchi Diletta Romana Cacciagrano Rosario Culmone Leonardo Mostarda Computer Science Division University of Camerino Camerino Italy

Wireless sensor and actuator networks (WSANs) refer to a group of sensors and actuators linked by wireless medium to perform distributed sensing and acting tasks. Being reactive systems, quite often WSANs are programmed by Event-Condition-Action (ECA) rule-based languages. Because of potential interactions among the rules themselves and theirsurprising effects on the system behaviour, it is quite difficult to ensure a safe behaviour of a WSAN at design time. this paper proposes a semantic-driven approach for modeling, checking and executing ECA rule-based WSANs. the approach can be considered uniform since any of the previous phases works on a common ontology-based WSAN model integrating and linking three different system views: the static one (i.e., sensor and actuator types in the WSAN, description of its environment, deployment information etc.), the dynamic one (i.e., a set of ECA rules programming the given WSAN) and the behavioural one (i.e., a finite state machine (FSM)-based representation of the WSAN behaviour w.r.t. the given dynamics). We show how the proposed approach provides an agile verification of system properties involving (and also mixing) static, dynamic and behavioural concepts. In particular, with regard to the behavioural view, we will focus on properties like consistency, correctness and termination. In order to better explain our approach, we present a home automation case study.

关键词： Ontologies Actuators Semantics Wireless sensor networks Robot sensing systems Context programming

来源：评论

学校读者我要写书评

暂无评论

A Fuzzy-Based Reliability System for JXTA-Overlay P2P Platform Considering as New Parameter Sustained Communication Time

A Fuzzy-Based Reliability System for JXTA-Overlay P2P Platfo...

引用

international conference on Advanced Information Networking and Applications (AINA)

作者： Yi Liu Shinji Sakamoto Evjola Spaho Keita Matsuo Leonard Barolli Fatos Xhafa Graduate School of Engineering Fukuoka Institute of Technology (FIT) Fukuoka Japan Department of Electronic and Telecommunication Polytechnic University of Tirana Tirana Albania Department of Languages and Informatics Systems Technical University of Catalonia Barcelona Spain Department of Information and Communication Engineering Fukuoka Prefectural Fukuoka Technical High School Fukuoka Japan Department of Information and Communication Engineering Fukuoka Institute of Technology (FIT) Fukuoka Japan

ISBN: (纸本)9781509018598

In this paper, we propose and evaluate a new fuzzy-based reliability system for Peer-to-Peer (P2P) Communications in JXTA-Overlay platform considering as a new parameter the sustained communication time. In our system, we considered four input parameters: Data Download Speed (DDS), Local Score (LS), Number of Interactions (NI) and Sustained Communication Time (SCT) to decide the Peer Reliability (PR). We evaluate the proposed system by computer simulations. the simulation results have shown that the proposed system has a good performance and can choose reliable peers to connect in JXTA-Overlay platform.

关键词： Reliability Pragmatics Peer-to-peer computing Fuzzy logic Process control Electronic mail Protocols

来源：评论

学校读者我要写书评

暂无评论

Comparing Strategies to Construct Local Disaster Recovery Networks

Comparing Strategies to Construct Local Disaster Recovery Ne...

引用

international conference on Advanced Information Networking and Applications (AINA)

作者： Matthias Herlich Shigeki Yamada Principles of Informatics Research Division National Institute of Informatics Tokyo Japan

ISBN: (纸本)9781509018598

Large-scale disasters, such as earthquakes and tsunamis, damage communication infrastructure. the damaged infrastructure is then not able to provide the means for communication, which is important after a disaster. In this paper we simulate how survivors of a disaster can place smart phones or notebooks (hereafter called devices) as stationary relay chains to connect to other evacuation centers and Internet gateways to access the Internet. To determine the time necessary to set up the network and the number of evacuation centers connected to the Internet, we create a Poisson-based simulation of evacuation centers and Internet gateways. We then compare strategies how to interconnect evacuation centers and gateways. Our results show that among the strategies to place relay chains we tested, the most promising are: (1) Link every evacuation center to the closest gateway with a relay chain and (2) link each evacuation center to the 3 closest evacuation centers or gateways with relay chains. Both these strategies seem promising and should be tested in field tests in the next step. Together with step-by-step guides for disaster survivors this work will hopefully result in a smart phone and notebook application that lets untrained disaster survivors quickly set up their own recovery network in the disaster area.

关键词： Relays logic gates Internet Wireless communication Steiner trees Smart phones IEEE 802.11 Standard

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共105页 << < 51 52 53 54 55 56 57 58 59 60 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：