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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

1,464 篇 会议
128 册 图书
114 篇 期刊文献
1 篇 学位论文

馆藏范围

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

日期分布

学科分类号

789 篇 工学
- 675 篇 计算机科学与技术...
- 510 篇 软件工程
- 140 篇 电气工程
- 81 篇 电子科学与技术（可...
- 55 篇 控制科学与工程
- 35 篇 信息与通信工程
- 13 篇 机械工程
- 8 篇 化学工程与技术
- 7 篇 生物医学工程（可授...
- 6 篇 土木工程
- 6 篇 生物工程
- 5 篇 建筑学
- 4 篇 仪器科学与技术
- 4 篇 材料科学与工程（可...
- 3 篇 光学工程
266 篇 理学
- 233 篇 数学
- 28 篇 统计学（可授理学、...
- 23 篇 物理学
- 14 篇 系统科学
- 6 篇 化学
- 6 篇 生物学
54 篇 管理学
- 37 篇 管理科学与工程(可...
- 20 篇 图书情报与档案管...
- 18 篇 工商管理
6 篇 经济学
- 6 篇 应用经济学
6 篇 医学
- 5 篇 基础医学(可授医学...
- 5 篇 临床医学
4 篇 法学
- 4 篇 社会学
4 篇 农学
- 4 篇 作物学
3 篇 教育学
- 3 篇 教育学
1 篇 哲学

主题

431 篇 logic programmin...
113 篇 computer science
84 篇 logics and meani...
83 篇 mathematical log...
81 篇 artificial intel...
76 篇 software enginee...
76 篇 logic
76 篇 logic design
71 篇 programming lang...
63 篇 logic circuits
61 篇 computer languag...
60 篇 programming tech...
60 篇 hardware
57 篇 application soft...
50 篇 programming prof...
47 篇 fuzzy logic
46 篇 control systems
45 篇 programming
41 篇 concurrent compu...
40 篇 logic devices

机构

4 篇 univ of melbourn...
4 篇 imdea software i...
4 篇 carnegie mellon ...
4 篇 ecole polytech l...
4 篇 ibm research div...
4 篇 department of el...
3 篇 texas instrument...
3 篇 computer science...
3 篇 department of el...
3 篇 computer science...
3 篇 inst for new gen...
3 篇 department of el...
3 篇 imperial coll lo...
3 篇 univ of paderbor...
3 篇 cornell universi...
3 篇 universita di pi...
3 篇 california insti...
3 篇 the weizmann ins...
3 篇 school of comput...
3 篇 department of el...

作者

7 篇 miller dale
7 篇 g. gupta
6 篇 stuckey peter j.
6 篇 pontelli enrico
6 篇 t. higuchi
6 篇 e. pontelli
5 篇 anil nerode
5 篇 sergei artemov
5 篇 hanus michael
5 篇 hermenegildo man...
4 篇 deville yves
4 篇 woltran stefan
4 篇 de schreye danny
4 篇 r. hahnle
4 篇 t. hanyu
3 篇 j.t. butler
3 篇 c. moraga
3 篇 butler jon t.
3 篇 warren david s.
3 篇 subrahmanian v.s...

语言

1,610 篇 英文
90 篇 其他
6 篇 中文
1 篇 土耳其文

检索条件"任意字段=Logic Programming - Proceedings of the 1991 International Symposium"

共 1707 条记录，以下是81-90 订阅

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

详细简洁

排序：

9th international symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2020

9th International Symposium on Leveraging Applications of Fo...

引用

9th international symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2020

ISBN: (纸本)9783030614669

The proceedings contain 93 papers. The special focus in this conference is on Leveraging Applications of Formal Methods, Verification and Validation. The topics include: Bitcoin Covenants Unchained;designing a Demonstrator of Formal Methods for Railways Infrastructure Managers;specifying Framing Conditions for Smart Contracts;making Tezos Smart Contracts More Reliable with Coq;UTxO- vs Account-Based Smart Contract Blockchain programming Paradigms;Native Custom Tokens in the Extended UTXO Model;UTXOma : UTXO with Multi-asset Support;towards Configurable and Efficient Runtime Verification of Blockchain Based Smart Contracts at the Virtual Machine Level;introduction;reliable Smart Contracts;compiling Quantitative Type Theory to Michelson for Compile-Time Verification and Run-time Efficiency in Juvix;efficient Static Analysis of Marlowe Contracts;accurate Smart Contract Verification Through Direct Modelling;smart Derivatives: On-Chain Forwards for Digital Assets;the Good, The Bad and The Ugly: Pitfalls and Best Practices in Automated Sound Static Analysis of Ethereum Smart Contracts;automated Verification of Embedded Control Software: Track Introduction;a Model-Based Approach to the Design, Verification and Deployment of Railway Interlocking System;guess What I’m Doing!: Rendering Formal Verification Methods Ripe for the Era of Interacting Intelligent Systems;on the Industrial Application of Critical Software Verification with VerCors;a Concept of Scenario Space Exploration with Criticality Coverage Guarantees: Extended Abstract;functional Verification of Smart Contracts via Strong Data Integrity;towards Automated Service-Oriented Verification of Embedded Control Software Modeled in Simulink;verifying Safety Properties of Robotic Plans Operating in Real-World Environments via logic-Based Environment Modeling;formally Proving Compositionality in Industrial Systems with Informal Specifications.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Innovative Design and Coordinated Control of Multi-mode Coupling Drive System with a Speed-up Clutch for Plug-in Hybrid Electric Vehicles 28

Innovative Design and Coordinated Control of Multi-mode Coup...

引用

28th IEEE international symposium on Industrial Electronics (IEEE-ISIE)

作者： Qi, Bingnan Liu, Wei Zhang, Lipeng Jia, Qikang Li, Shaohua Liu, Bin Yanshan Univ Sch Elect Qinhuangdao Hebei Peoples R China Yanshan Univ Sch Vehicle & Energy Qinhuangdao Hebei Peoples R China Shijiazhuang Tiedao Univ Sch Mech Engn Shijiazhuang Hebei Peoples R China

ISBN: (纸本)9781728136660

To solve the problems that current plug-in hybrid systems lack dynamics control ability and the efficient work areas of the engine and the motors do not match, by coupling a distributed drive system and a centralized drive system and adding a speed-up clutch, a new hybrid electric drive system named multi-mode coupling drive system is designed. The paper introduces the configuration and the drive modes of the system and the structure and control logic of the speed-up clutch, and establishes the mathematical model of the system. Taking dynamic programming algorithm as the optimization tool and New European Driving Cycle as the test cycle, the system parameters are optimized and the output torque of each power unit is dynamically assigned to optimize the energy consumption. The research results show that the dynamics performance requirements of different conditions can be satisfied by the coordinated control. Furthermore, because the operating points of the engine and the motors fall into their respective efficient ranges, the system efficiency can be improved.

关键词： Plug-in hybrid electric vehicle Multi-mode coupling drive system Speed-up clutch Dynamic programming Coordinated control Energy management

来源：评论

学校读者我要写书评

暂无评论

proceedings of the 10th international symposium on Imprecise Probability: Theories and Applications, ISIPTA 2017

Proceedings of the 10th International Symposium on Imprecise...

引用

10th international symposium on Imprecise Probability: Theories and Applications, ISIPTA 2017

The proceedings contain 32 papers. The topics discussed include: differences of opinion;Kurt Weichselberger’s contribution to imprecise probabilities;SOS for bounded rationality;a polarity theory for sets of desirable gambles;modeling Markov decision processes with imprecise probabilities using probabilistic logic programming;empirical interpretation of imprecise probabilities;Bayesian inference under ambiguity: conditional prior belief functions;computable randomness is inherently imprecise;weak Dutch books versus strict consistency with lower previsions;and reconciling Bayesian and frequentist tests: the imprecise counterpart.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Retrieval of Individual Solutions from Encapsulated Search with a Potentially Infinite Search Space 19

Retrieval of Individual Solutions from Encapsulated Search w...

引用

34th ACM/SIGAPP Annual international symposium on Applied Computing (SAC)

作者： Dagefoerde, Jan C. Kuchen, Herbert Univ Munster ERCIS D-48149 Munster Germany

ISBN: (纸本)9781450359337

Constraint-logic object-oriented programming facilitates the development of applications that occasionally solve search problems. To that end it is possible to define constraints imperatively on-the-fly, using conditions over free variables. As a result, the search space is defined dynamically at runtime, based on the evaluation of such conditions in control structures. Consequently, the search space can -intentionally or by accident - become infinitely large if recursion and/or loops are involved. It is therefore desirable that the corresponding encapsulated search can be controlled by application developers. To that end, we discuss mechanisms for encapsulating such a search space and retrieving solutions from it. Our implementation for Muli is based on an appropriately extended symbolic Java virtual machine and it leverages the Java Stream API to provide a control mechanism that integrates well with object-oriented programs. Moreover, we show how our language Muli behaves for some example programs.

关键词： Infinite search space dynamic solution retrieval constraint-logic object-oriented programming multi-paradigm languages virtual machine implementation

来源：评论

学校读者我要写书评

暂无评论

Modeling Markov decision processes with imprecise probabilities using probabilistic logic programming 10

Modeling Markov decision processes with imprecise probabilit...

引用

10th international symposium on Imprecise Probability: Theories and Applications, ISIPTA 2017

作者： Bueno, Thiago P. Mauá, Denis D. De Barros, Leliane N. Cozman, Fabio G. Instituto de Matemática e Estatística Universidade de São Paulo Rua do Matão São Paulo S1010 Brazil Escola Politécnica Universidade de São Paulo Av. Prof. Mello Moraes São Paulo P2231 Brazil

We study languages that specify Markov Decision Processes with Imprecise Probabilities (MDPIPs) by mixing probabilities and logic programming. We propose a novel language that can capture MDPIPs and Markov Decision Processes with Set-valued Transitions (MDPSTs);we then obtain the complexity of one-step inference for the resulting MDPIPs and MDPSTs. We also present results of independent interest on the complexity of inference with probabilistic logic programs containing interval-valued probabilistic assessments. Finally, we also discuss policy generation techniques. Copyright © PMLR 2017. All rights reserved.

关键词： Markov processes

来源：评论

学校读者我要写书评

暂无评论

AlleAlle: Bounded Relational Model Finding with Unbounded Data

AlleAlle: Bounded Relational Model Finding with Unbounded Da...

引用

ACM SIGPLAN international symposium on New Ideas, New Paradigms, and Reflections on programming and Software (Onward) part of SPLASH Conference

作者： Stoel, Jouke van der Storm, Tijs Vinju, Jurgen J. CWI Amsterdam Netherlands Univ Groningen Groningen Netherlands TUe Eindhoven Netherlands

ISBN: (纸本)9781450369954

Relational model finding is a successful technique which has been used in a wide range of problems during the last decade. This success is partly due to the fact that many problems contain relational structures which can be explored using relational model finders. Although these model finders allow for the exploration of such structures they often struggle with incorporating the non-relational elements. In this paper we introduce ALLEALLE, a method and language that integrates reasoning on both relational structure and non-relational elements -the data- of a problem. By combining first order logic with Codd's relational algebra, transitive closure, and optimization criteria, we obtain a rich input language for expressing constraints on both relational and scalar values. We present the semantics of ALLEALLE and the translation of ALLEALLE specifications to SMT constraints, and use the off-the-shelf SMT solver Z3 to find solutions. We evaluate ALLEALLE by comparing its performance with Kodkod, a state-of-the-art relational model finder, and by encoding a solution to the optimal package resolution problem. Initial benchmarking show that although the translation times of ALLEALLE can be improved, the resulting SMT constraints can efficiently be solved by the underlying solver.

关键词： First order logic relational algebra SMT solvers model finding constraint problems constraint optimization problems

来源：评论

学校读者我要写书评

暂无评论

logic-based methodology to help security architects in eliciting high-level network security requirements 19

Logic-based methodology to help security architects in elici...

引用

34th ACM/SIGAPP Annual international symposium on Applied Computing (SAC)

作者： Laborde, Romain Bulusu, Sravani Teja Wazan, Ahmad Samer Barrere, Francois Benzekri, Abdelmalek Univ Paul Sabatier Toulouse France

ISBN: (纸本)9781450359337

In this paper(1), we propose a security methodology that automates the process of security zone specification and high-level network security requirements elicitation. We define a set of formalized rules derived from the principles of complete mediation, least privileges and the Clark-Wilson lite formal model making our approach traceable and verifiable. We implemented the methodology in Answer Set programming to automatically compute an optimal network security zone model considering the cost of the security solution. A use case study of an e-commerce enterprise network infrastructure illustrates our methodology.

关键词： Network Security Requirements Security Zoning Integrity Model Answer Set programming

来源：评论

学校读者我要写书评

暂无评论

Normalization by Evaluation for Call-By-Push-Value and Polarized Lambda Calculus 19

Normalization by Evaluation for Call-By-Push-Value and Polar...

引用

21st international symposium on Principles and Practice of Declarative programming (PPDP)

作者： Abel, Andreas Sattler, Christian Chalmers & Gothenburg Univ Dept Comp Sci & Engn Gothenburg Sweden Univ Nottingham Sch Comp Sci Nottingham England

ISBN: (纸本)9781450372497

We observe that normalization by evaluation for simply-typed lambda-calculus with weak coproducts can be carried out in a weak bi-cartesian closed category of presheaves equipped with a monad that allows us to perform case distinction on neutral terms of sum type. The placement of the monad influences the normal forms we obtain: for instance, placing the monad on coproducts gives us eta-long beta-pi normal forms where pi refers to permutation of case distinctions out of elimination positions. We further observe that placing the monad on every coproduct is rather wasteful, and an optimal placement of the monad can be determined by considering polarized simple types inspired by focalization. Polarization classifies types into positive and negative, and it is sufficient to place the monad at the embedding of positive types into negative ones. We consider two calculi based on polarized types: pure call-by-push-value (CBPV) and polarized lambda-calculus, the natural deduction calculus corresponding to focalized sequent calculus. For these two calculi, we present algorithms for normalization by evaluation. We further discuss different implementations of the monad and their relation to existing normalization proofs for lambda-calculus with sums. Our developments have been partially formalized in the Agda proof assistant.

关键词： Evaluation Intuitionistic Propositional logic Lambda-Calculus Monad Normalization Polarized logic Semantics

来源：评论

学校读者我要写书评

暂无评论

An Algorithm for Delay Optimal logic Replication for FPGAs Accounting for Combinational Loops 20

An Algorithm for Delay Optimal Logic Replication for FPGAs A...

引用

proceedings of the 2020 ACM/SIGDA international symposium on Field-Programmable Gate Arrays

作者： Rupesh S. Shelar Synopsys Inc. Hillsboro OR USA

ISBN: (纸本)9781450370998

logic replication is often necessary to improve speed of emulation for systems employing field programmable gate arrays (FPGAs), since design sizes are large enough requiring partitioning to fit a design into multiple (boards of) FPGAs. In this paper, we propose a polynomial time algorithm for combinational logic replication that ensures delay optimality for directed acyclic graphs and reduces overhead due to look-up table (LUT) and cut resources. The algorithm is further extended to consider combinational loops, often yielding delay optimal results. Experimental results on industrial designs show, on an average, 44%, 33%, and 33% reduction in overhead due to cut, LUT costs, and runtimes, respectively, compared to existing heuristics, thus demonstrating the efficiency of the algorithm.

关键词： dynamic programming optimization prototyping field programmable gate arrays (fpgas) timing combinational loops logic replication emulation algorithm

来源：评论

学校读者我要写书评

暂无评论

Fuzzy Traffic Light Control Based on Phase Urgency 61

Fuzzy Traffic Light Control Based on Phase Urgency

引用

61st international ELMAR symposium

作者： Vogel, Alan Oremovic, Izidor Simic, Robert Ivanjko, Edouard Univ Zagreb Fac Transport & Traff Sci Vukeliceva St 4 HR-10000 Zagreb Croatia

ISBN: (纸本)9781728121819

Due to dynamical traffic flow changes in urban areas, traffic congestion occurs on many intersections over a certain period of time. Today there are still many traffic light controllers with fixed signal programs used on signalized intersections, which causes aggravation of the overall state of traffic. To solve this problem, some solutions have been presented within the field of Intelligent Transport Systems. This paper presents an adaptive traffic light controller based on fuzzy logic used for improving the traffic flow on an isolated intersection. Three methods of adaptive traffic light control have been designed in order to determine the urgency of a particular phase for adaptation of phase duration, phase sequence and simultaneously phase duration and sequence. The proposed adaptive methods are compared to a fixed controller in three scenarios with different traffic demands to prove their effectiveness. For this purpose, a model of an isolated intersection in the microscopic simulator PTV VISSIM, and a fuzzy based traffic light control system in the MATLAB programming environment have been implemented.

关键词： Intelligent transport systems Traffic light control Microscopic simulation Urban intersections Fuzzy logic

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共171页 << < 5 6 7 8 9 10 11 12 13 14 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：