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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

982 篇 会议
37 篇 期刊文献
24 册 图书

馆藏范围

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

日期分布

学科分类号

702 篇 工学
- 583 篇 计算机科学与技术...
- 365 篇 软件工程
- 146 篇 电气工程
- 57 篇 控制科学与工程
- 30 篇 信息与通信工程
- 27 篇 材料科学与工程（可...
- 19 篇 电子科学与技术（可...
- 16 篇 机械工程
- 11 篇 动力工程及工程热...
- 11 篇 生物医学工程（可授...
- 10 篇 生物工程
- 7 篇 仪器科学与技术
- 7 篇 石油与天然气工程
- 6 篇 城乡规划学
- 4 篇 核科学与技术
- 4 篇 农业工程
191 篇 理学
- 158 篇 数学
- 19 篇 系统科学
- 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 篇 linear programmi...
30 篇 probabilistic lo...
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
19 篇 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,015 篇 英文
21 篇 其他
8 篇 中文
1 篇 法文

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

共 1043 条记录，以下是971-980 订阅

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

详细简洁

排序：

Security Consistency in UML Designs

Security Consistency in UML Designs

引用

IEEE Annual international Computer Software and Applications conference (COMPSAC)

作者： Orest Pilskalns Daniel Williams Damir Aracic Anneliese Andrews School of Engineering and Computer Science Washington State University Vancouver WA USA Department of Computer Science University of Denver Denver CO USA

Security attacks continually threaten distributed systems, disrupting both individuals and organizations economically and physically. In the software lifecycle, early detection and correction of security flaws in the design phase can reduce overall costs associated with maintenance. Current software development methodologies such as the model driven architecture rely on quality Unified Modeling Language (UML) design models. Often these models are complex and consist of many structural and behavioral views. this can lead to inconsistencies between views. Existing approaches remedy many of these inconsistencies but do not address security consistency across design views. this paper presents an approach to detecting and resolving security faults in UML designs. the approach defines the notion of security inconsistency in designs, analyzes UML views for security inconsistencies, and generates a set of recommended design changes that include Object Constraint Language (OCL) expressions. the OCL can be used as a test oracle in both the design and implementation phases of the software life-cycle

关键词： Security Unified modeling language Software maintenance Phase detection Costs programming Computer architecture Fault detection Life testing Software testing

来源：评论

学校读者我要写书评

暂无评论

Near-linear time algorithms for streett objectives in graphs and MDPs 30

Near-linear time algorithms for streett objectives in graphs...

引用

30th international conference on Concurrency theory, CONCUR 2019

作者： Chatterjee, Krishnendu Dvořák, Wolfgang Henzinger, Monika Svozil, Alexander IST Austria Klosterneuburg Austria Institute of Logic and Computation TU Wien Austria Theory and Application of Algorithms University of Vienna Austria

ISBN: (纸本)9783959771214

the fundamental model-checking problem, given as input a model and a specification, asks for the algorithmic verification of whether the model satisfies the specification. Two classical models for reactive systems are graphs and Markov decision processes (MDPs). A basic specification formalism in the verification of reactive systems is the strong fairness (aka Streett) objective, where given different types of requests and corresponding grants, the requirement is that for each type, if the request event happens infinitely often, then the corresponding grant event must also happen infinitely often. All ω-regular objectives can be expressed as Streett objectives and hence they are canonical in verification. Consider graphs/MDPs with n vertices, m edges, and a Streett objectives with k pairs, and let b denote the size of the description of the Streett objective for the sets of requests and grants. the current best-known algorithm for the problem requires time O(min(n2, m√mlog n)+blog n). In this work we present randomized near-linear time algorithms, with expected running time Oe(m + b), where the Oe notation hides poly-log factors. Our randomized algorithms are near-linear in the size of the input, and hence optimal up to poly-log factors. © Krishnendu Chatterjee, Wolfgang Dvořák, Monika Henzinger, and Alexander Svozil.

关键词： Markov processes

来源：评论

学校读者我要写书评

暂无评论

Discriminative features for identifying and interpreting outliers

Discriminative features for identifying and interpreting out...

引用

international conference on Data Engineering

作者： Xuan Hong Dang Ira Assent Raymond T. Ng Arthur Zimek Erich Schubert Department of Computer Science Aarhus University Aarhus Denmark Department of Computer Science University of British Columbia Vancouver BC Canada Institut für Informatik Ludwig-Maximilians-Universität München Munich Germany

We consider the problem of outlier detection and interpretation. While most existing studies focus on the first problem, we simultaneously address the equally important challenge of outlier interpretation. We propose an algorithm that uncovers outliers in subspaces of reduced dimensionality in which they are well discriminated from regular objects while at the same time retaining the natural local structure of the original data to ensure the quality of outlier explanation. Our algorithm takes a mathematically appealing approach from the spectral graph embedding theory and we show that it achieves the globally optimal solution for the objective of subspace learning. By using a number of real-world datasets, we demonstrate its appealing performance not only w.r.t. the outlier detection rate but also w.r.t. the discriminative human-interpretable features. this is the first approach to exploit discriminative features for both outlier detection and interpretation, leading to better understanding of how and why the hidden outliers are exceptional.

关键词： Vectors Linear programming Eigenvalues and eigenfunctions Feature extraction Data mining Sparse matrices Face

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

Multi-Dimensional Conflict Graph Based Computing for Optimal Capacity in MR-MC Wireless Networks

Multi-Dimensional Conflict Graph Based Computing for Optimal...

引用

IEEE international conference on Distributed Computing Systems

作者： Hongkun Li Yu Cheng Chi Zhou Pengjun Wan Dept. Electrical & Computer Engineering Illinois Institute of Technology Dept. computer science Illinois Institute of Technology

ISBN: (纸本)9781424472611;9780769540597

Optimal capacity analysis in multi-radio multichannel wireless networks by nature incurs the formulation of a mixed integer programming, which is NP-hard in general. the current state of the art mainly resorts to heuristic algorithms to obtain an approximate solution. In this paper, we propose a novel concept of multi-dimensional conflict graph (MDCG). Based on MDCG, the capacity optimization issue can be accurately modeled as a linear programming (LP) multi-commodity flow (MCF) problem, augmented with maximal independent set (MIS) constraints. the MDCG-based solution will provide not only the maximum throughput or utility, but also the optimal configurations on routing, channel assignment, and scheduling. Moreover, the MDCG-based optimal capacity planning can exploit dynamic channel swapping, which is difficult to achieve for those existing heuristic algorithms. A particular challenge associated with the MDCG-based capacity analysis is to search exponentially many possible MISs. We theoretically show that in fact only a small set of critical MISs, termed as critical MIS set, will be scheduled in the optimal resource allocation. We then develop a polynomial computing method, based on a novel scheduling index ordering (SIO) concept, to search the critical MIS set. Extensive numerical results are presented to demonstrate the efficiency of the MDCG-based resource allocation compared to well-known heuristic algorithm presented in [1], and the efficiency of SIO-based MIS computing compared to the widely adopted random algorithm for searching MISs.

关键词： Resource utilization Heuristic algorithms Management Information Systems Wireless networks Capacity planning Integer programming Nondeterministic polynomial-time hard Conflict (Psychology) Optimal state of the art Line graph Network routing Arts

来源：评论

学校读者我要写书评

暂无评论

Carbon nanotubes network contact lubrication for highly reliable MEMS switch

Carbon nanotubes network contact lubrication for highly reli...

引用

IEEE international conference on Micro Electro Mechanical Systems

作者： Min-Ho Seo Eunhwan Jo Seung-Deok Ko Jungwook Choi Yong-Hoon Yoon Dae-Sung Kwon Jongbaeg Kim Jun-Bo Yoon School of Electrical Engineering Korea Advanced Institute of Science and Technology (KAIST) Daejeon Republic of Korea School of Mechanical Engineering Yonsei University Seoul Republic of Korea Department of Electrical and Computer Engineering Georgia Institute of Technology Atlanta USA School of Mechanical Engineering Yeungnam University Gyeongbuk Republic of Korea

ISBN: (纸本)9781509050796

this paper firstly reports a highly reliable MEMS-switch employing a CNTs-network lubricant in the contact-area. By covering the contact-area with the CNTs-network, we achieved more than an order of magnitude extension in the lifetime of the MEMS-switch. We determined that this drastic improvement in the reliability arises from the compressibility of the CNTs-network, generating remarkable contact-area widening with suppressed adhesive interaction at the contact interface. We also observed that the highly flexible CNTs-network does not deteriorate high-speed operation of the device. the proposed switch exhibited a lifetime more than 10 times longer under hot-switching condition than a device without CNTs.

关键词： Contacts Reliability Switches logic gates Gold Electrodes Micromechanical devices

来源：评论

学校读者我要写书评

暂无评论

A Framework of Model-Driven Web Application Testing

A Framework of Model-Driven Web Application Testing

引用

IEEE Annual international Computer Software and Applications conference (COMPSAC)

作者： Nuo Li Qin-qin Ma Ji Wu Mao-zhong Jin Chao Liu Software Engineering Institute School of Computer Science and Engineering Beihang University China

Web applications have become complex and crucial in many fields. In order to assure their quality, a high demand for systematic methodologies of Web application testing is emerging. In this paper, a methodology of model-driven testing (MDT) for Web application is presented. Model is the core of this method. Web application model is built to describe the system under testing. Test case models are generated based-on the Web application model. Test deployment model and test control model are designed to describe the environment and process of test execution. the test engine executes test cases based-on the test deployment and control model automatically. After that, testing results are reflected to test case models. A framework is designed for supporting this methodology. In order to get better extensibility and flexibility, it is loose-coupled by a modeler and a tester. the modeler enables developers to design meta-models, and is responsible for creating, visualizing and saving models. the tester takes in charge of recovering the tested Web application model, generating test cases, and executing test

关键词： Object oriented modeling Application software System testing Software testing Automatic testing Visualization logic testing Unified modeling language Automatic control Packaging

来源：评论

学校读者我要写书评

暂无评论

Pay-as-you-go reconciliation in schema matching networks

Pay-as-you-go reconciliation in schema matching networks

引用

international conference on Data Engineering

作者： Quoc Viet Hung Nguyen thanh Tam Nguyen Zoltán Miklós Karl Aberer Avigdor Gal Matthias Weidlich École Polytechnique Fédérale de Lausanne Switzerland Université de Rennes 1 École Polytechnique Fédérale de Lausanne Technion - Israel Institute of Technology Imperial College London

Schema matching is the process of establishing correspondences between the attributes of database schemas for data integration purposes. Although several automatic schema matching tools have been developed, their results are often incomplete or erroneous. To obtain a correct set of correspondences, a human expert is usually required to validate the generated correspondences. We analyze this reconciliation process in a setting where a number of schemas needs to be matched, in the presence of consistency expectations about the network of attribute correspondences. We develop a probabilistic model that helps to identify the most uncertain correspondences, thus allowing us to guide the expert's work and collect his input about the most problematic cases. As the availability of such experts is often limited, we develop techniques that can construct a set of good quality correspondences with a high probability, even if the expert does not validate all the necessary correspondences. We demonstrate the efficiency of our techniques through extensive experimentation using real-world datasets.

关键词： Probabilistic logic Uncertainty Data integration Approximation methods Measurement uncertainty Databases Computational modeling

来源：评论

学校读者我要写书评

暂无评论

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页 << < 94 95 96 97 98 99 100 101 102 103 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：