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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

293 篇 会议
18 册 图书
7 篇 期刊文献

馆藏范围

318 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

229 篇 工学
- 218 篇 计算机科学与技术...
- 109 篇 软件工程
- 23 篇 电气工程
- 15 篇 控制科学与工程
- 14 篇 信息与通信工程
- 4 篇 生物医学工程（可授...
- 3 篇 机械工程
- 3 篇 建筑学
- 3 篇 交通运输工程
- 2 篇 仪器科学与技术
- 2 篇 材料科学与工程（可...
- 2 篇 电子科学与技术（可...
- 2 篇 生物工程
- 1 篇 力学（可授工学、理...
- 1 篇 航空宇航科学与技...
- 1 篇 农业工程
- 1 篇 安全科学与工程
47 篇 理学
- 44 篇 数学
- 3 篇 系统科学
- 3 篇 统计学（可授理学、...
- 2 篇 生物学
- 1 篇 物理学
- 1 篇 化学
- 1 篇 大气科学
14 篇 管理学
- 10 篇 管理科学与工程(可...
- 7 篇 工商管理
- 3 篇 图书情报与档案管...
7 篇 教育学
- 7 篇 教育学
- 1 篇 心理学(可授教育学...
1 篇 经济学
- 1 篇 应用经济学
1 篇 农学
1 篇 医学

主题

69 篇 logic programmin...
17 篇 answer set progr...
15 篇 inductive logic ...
12 篇 mathematical log...
11 篇 artificial intel...
11 篇 logics and meani...
10 篇 fuzzy logic
10 篇 programming
10 篇 programming lang...
9 篇 software enginee...
9 篇 logic
7 篇 application soft...
7 篇 logic gates
7 篇 inductive logic ...
7 篇 semantics
7 篇 programming tech...
7 篇 system testing
6 篇 software enginee...
6 篇 machine learning
6 篇 algorithm analys...

机构

3 篇 new mexico state...
3 篇 univ calabria ar...
3 篇 tu wien inst log...
3 篇 tech univ dresde...
2 篇 technological ed...
2 篇 univ oxford oxfo...
2 篇 univ nebraska om...
2 篇 univ helsinki de...
2 篇 network operatio...
2 篇 univ freiburg in...
2 篇 inria lille nord...
2 篇 tech univ dortmu...
2 篇 ecole polytech i...
2 篇 univ paris 13 li...
2 篇 univ pisa dept c...
2 篇 tech univ munich...
2 篇 portland state u...
2 篇 univ london impe...
2 篇 katholieke univ ...
1 篇 bolsista do prog...

作者

4 篇 riguzzi fabrizio
4 篇 ricca francesco
3 篇 gaggl sarah alic...
3 篇 kramer stefan
3 篇 page david
3 篇 son tran cao
3 篇 srinivasan ashwi...
3 篇 froehler sebasti...
3 篇 alphonse erick
2 篇 muggleton stephe...
2 篇 giordano laura
2 篇 toivonen h.
2 篇 ong irene m.
2 篇 revoredo k.
2 篇 bellodi elena
2 篇 osmani aomar
2 篇 bryant christoph...
2 篇 ray oliver
2 篇 hutter dieter
2 篇 costa vitor sant...

语言

314 篇 英文
2 篇 中文
1 篇 葡萄牙文
1 篇 其他

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

共 318 条记录，以下是101-110 订阅

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

详细简洁

排序：

16th international School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016

16th International School on Formal Methods for the Design o...

引用

16th international School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016

ISBN: (纸本)9783319340951

the proceedings contain 8 papers. the special focus in this conference is on Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems. the topics include: Formal specification and analysis of robust adaptive distributed cyber-physical systems;dependability of adaptable and evolvable distributed systems;mean-field limits beyond ordinary differential equations;modelling and analysis of collective adaptive systems with CARMA and its tools;spatial representations and analysis techniques;spatial logic and spatial model checking for closure spaces;quantitative abstractions for collective adaptive systems and aggregate programming.

关键词：

来源：评论

学校读者我要写书评

暂无评论

16th international conference on Runtime Verification, RV 2016

16th International Conference on Runtime Verification, RV 20...

引用

16th international conference on Runtime Verification, RV 2016

ISBN: (纸本)9783319469812

the proceedings contain 35 papers. the special focus in this conference is on Runtime Verification. the topics include: Some thoughts on runtime verification;third international competition on runtime verification;runtime verification for HyperLTL;runtime verification at work;when RV Meets CEP;using genetic programming for software reliability;a stream-based specification language for network monitoring;on the complexity of monitoring orchids signatures;input attribution for statistical model checking using logistic regression;quantitative monitoring of STL with edit distance;extended code coverage for AspectJ-based runtime verification tools;accelerated runtime verification of LTL specifications with counting semantics;an automata-based approach to evolving privacy policies for social networks;leveraging DTrace for runtime verification;finite-trace linear temporal logic;coinductive completeness;dynamic determinacy race detection for task parallelism with futures;runtime monitoring for concurrent systems;decision-theoretic monitoring of cyber-physical systems;falsification of conditional safety properties for cyber-physical systems with Gaussian process regression;reactive property monitoring of hybrid systems with aggregation;applying runtime monitoring for automotive electronic development;a monitoring tool for a branching-time logic;runtime visualization and verification in JIVE;runtime analysis with R2U2 and a tool exhibition report.

关键词：

来源：评论

学校读者我要写书评

暂无评论

A fuzzy logic based charging scheme for electric vechicle parking station 16

A fuzzy logic based charging scheme for electric vechicle pa...

引用

16th international conference on Environment and Electrical Engineering, EEEIC 2016

作者： Yao, Leehter Damiran, Zolboo Lim, Wei Hong Department of Electrical Engineering National Taipei University of Technology Taipei10608 Taiwan

ISBN: (纸本)9781509023196

A real-time charging scheme with vehicle-to-grid (V2G) capability is developed in this paper to manage the aggregated charging loads of electric vehicles (EVs) in a parking station. To ensure the charging fairness of all connected EVs is satisfied, a fuzzy inference system is proposed to determine the charging or discharging priority level of each EV based on the associated remaining charging time, state-of-charge (SOC) level of battery, and the dynamic electricity tariff. With these priority levels, a computational efficient optimization approach is formulated with linear programming (LP) to obtain the optimal charging or discharging rate of each EV at each scheduling period subjected to the installation capacity of parking station. Extensive simulation results show that the optimal charging schedules obtained could both satisfy the EV charging demands and minimize the charging cost. © 2016 IEEE.

关键词： Linear programming

来源：评论

学校读者我要写书评

暂无评论

Quantitative Monitoring of STL with Edit Distance 16th

Quantitative Monitoring of STL with Edit Distance

引用

16th international conference on Runtime Verification (RV)

作者： Jaksic, Stefan Bartocci, Ezio Grosu, Radu Nickovic, Dejan Austrian Inst Technol Seibersdorf Austria Vienna Univ Technol Fac Informat Vienna Austria

ISBN: (纸本)9783319469829;9783319469812

In cyber-physical systems (CPS), physical behaviors are typically controlled by digital hardware. As a consequence, continuous behaviors are discretized by sampling and quantization prior to their processing. Quantifying the similarity between CPS behaviors and their specification is an important ingredient in evaluating correctness and quality of such systems. We propose a novel procedure for measuring robustness between digitized CPS signals and Signal Temporal logic (STL) specifications. We first equip STL with quantitative semantics based on the weighted edit distance (WED), a metric that quantifies both space and time mismatches between digitized CPS behaviors. We then develop a dynamic programming algorithm for computing the robustness degree between digitized signals and STL specifications. We implemented our approach and evaluated it on an automotive case study.

关键词： Temporal logic

来源：评论

学校读者我要写书评

暂无评论

Experience-based Learning of Symbolic Numerical Constraints

Experience-based Learning of Symbolic Numerical Constraints

引用

IEEE-RAS international conference on Humanoid Robots

作者： Gokhan Solak Abdullah Cihan Ak Sanem Sariel Artificial Intelligence and Robotics Laboratory Computer Engineering Department Istanbul Technical University

ISBN: (纸本)9781509047192

Learning symbolic-level numerical constraints is key to use abstractions in effective reasoning and transfer of knowledge for robot systems. We investigate this problem in an experience-based learning framework which uses inductive logic programming as the learning method. Our particular focus is on learning numerical constraints which is an open issue for ILP systems. Some approaches overcome this by using background knowledge given by domain experts. However, using expert knowledge is both expensive and domain dependent. To obtain more general solutions, numerical constraints should be induced by the robot system itself. For this purpose, we present a constraint induction method based on lazy evaluation, designed for deriving general numerical constraints from observations. We extend Aleph, an existing ILP system based on inverse entailment, with a constraint induction approach using a constraint solver. We analyze our method on some sample scenarios and demonstrate the cases where our method can induce the target concept while the prior lazy evaluation method cannot. Our results indicate that our method can generalize numerical constraints by the self observations of robots.

关键词： Experience-based learning inductive logic programming Numerical reasoning in robots

来源：评论

学校读者我要写书评

暂无评论

Extended Code Coverage for AspectJ-Based Runtime Verification Tools 16th

Extended Code Coverage for AspectJ-Based Runtime Verificatio...

引用

16th international conference on Runtime Verification (RV)

作者： Javed, Omar Zheng, Yudi Rosa, Andrea Sun, Haiyang Binder, Walter Univ Svizzera Italiana Fac Informat Lugano Switzerland

ISBN: (纸本)9783319469829;9783319469812

Many runtime verification tools for the Java virtual machine rely on aspect-oriented programming, particularly on AspectJ, to weave the verification logic into the observed program. However, AspectJ imposes several limitations on the verification tools, such as a restricted join point model and the inability of weaving certain classes, particularly the Java and Android class libraries. In this paper, we show that our domain-specific aspect language DiSL can overcome these limitations. While offering a programming model akin to AspectJ, DiSL features an extensible join point model and ensures weaving with complete bytecode coverage for Java and Android. We present a new compiler that translates runtime-verification aspects written in AspectJ to DiSL. Hence, it is possible to use existing, unmodified runtime verification tools on top of the DiSL framework to bypass the limitations of AspectJ. As a case study, we show that the AspectJ-based runtime verification tool JavaMOP significantly benefits from the automated translation of AspectJ to DiSL code, gaining increased code coverage. thanks to DiSL, JavaMOP analyses are able to unveil violations in the Java class library that cannot be detected when using AspectJ.

关键词： Aspect oriented programming

来源：评论

学校读者我要写书评

暂无评论

A Fuzzy logic Based Charging Scheme for Electric Vechicle Parking Station

A Fuzzy Logic Based Charging Scheme for Electric Vechicle Pa...

引用

IEEE international conference on Environment and Electrical Engineering

作者： Leehter Yao Zolboo Damiran Wei Hong Lim Department of Electrical Engineering National Taipei University of Technology Taipei 10608 Taiwan

ISBN: (纸本)9781509023219

关键词： Electric vehicle (EV) fuzzy inference system linear programming (LP) vehicle-to-grid (V2G) smart grid

来源：评论

学校读者我要写书评

暂无评论

Using the Embedded Ethernet Communication Capability of PLC controller for tailor-made Manufacturing Execution System 16

Using The Embedded Ethernet Communication Capability of PLC ...

引用

16th IEEE international conference on Research and Education in Mechatronics (REM)

作者： Kielan, Pawel Krawczyk, Damian Silesian Tech Univ Dept Mechatron Fac Elect Engn Gliwice Poland

ISBN: (纸本)9783945728017

there is a tailor-made Manufacturing Execution System presented in the paper. the system has been developed and implemented practically by authors. the general idea behind it is explained firstly. A generic structure of Factory Automation system was introduced. Siemens Simatic S7-300 PLC controllers were used to implement the idea. the MES software was written in C# software. the approach for PLC configuration and programming using Step 7 software was briefly presented. the communication between PC MES software and PLCs is based on industrial Ethernet. the main functionalities of the MES system were pointed.

关键词： programmable logic controller manufacturing execution system C# programming PLC programming

来源：评论

学校读者我要写书评

暂无评论

TIP: Tools for inductive Provers 1

引用

20th international conference on logic for programming, Artificial Intelligence and Reasoning (LPAR)

作者： Rosen, Dan Smallbone, Nicholas Chalmers Univ Technol Dept Comp Sci & Engn S-41296 Gothenburg Sweden

ISBN: (数字)9783662488997

ISBN: (纸本)9783662488997;9783662488980

TIP is a toolbox for users and developers of inductive provers. It consists of a large number of tools which can, for example, simplify an inductive problem, monomorphise it or find counterexamples to it. We are using TIP to help maintain a set of benchmarks for inductive theorem provers, where its main job is to encode aspects of the problem that are not natively supported by the respective provers. TIP makes it easier to write inductive provers, by supplying necessary tools such as lemma discovery which prover authors can simply import into their own prover.

关键词： Artificial intelligence

来源：评论

学校读者我要写书评

暂无评论

A Hybrid programming Framework for Resource-Constrained Scheduling Problems 16th

A Hybrid Programming Framework for Resource-Constrained Sche...

引用

16th international conference on Intelligent Data Engineering and Automated Learning (IDEAL)

作者： Sitek, Pawel Wikarek, Jaroslaw Tech Univ Kielce Control & Management Syst Sect Al Tysiaclecia Panstwa Polskiego 7 PL-25314 Kielce Poland

ISBN: (纸本)9783319248349;9783319248332

Resource-constrained scheduling problems appear frequently at different levels of decisions in manufacturing, logistics, computer networks, software engineering etc. they are usually characterized by many types of constraints, which often make them unstructured and difficult to solve (NP-complete). Traditional mathematical programming (MP) approaches are deficient because their representation of allocation constraints is artificial (using 0-1 variables). Unlike traditional approaches, declarative constraint logic programming (CLP) provides for a natural representation of heterogeneous constraints. In CLP we state the problem requirements by constraints;we do not need to specify how to meet these requirements. CLP approach is very effective for binary constraints (binding at most two variables). If there are more variables in the constraints and the problem requires further optimization, the efficiency decreases dramatically. this paper presents a hybrid programming framework for constrained scheduling problems where two environments (mathematical programming and constraint logic programming) were integrated. this integration, hybridization as well as a transformation of the problem helped reduce the combinatorial problem substantially. In order to compare the effectiveness of the proposed framework, also made implementation of illustrative example separately for the two environments MP and CLP.

关键词： Constraint logic programming Mathematical programming Scheduling Decision support Hybrid approach

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共32页 << < 7 8 9 10 11 12 13 14 15 16 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：