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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

2,053 篇 会议
51 册 图书
46 篇 期刊文献

馆藏范围

2,150 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

1,274 篇 工学
- 1,024 篇 计算机科学与技术...
- 583 篇 软件工程
- 254 篇 电气工程
- 157 篇 控制科学与工程
- 69 篇 信息与通信工程
- 50 篇 机械工程
- 42 篇 材料科学与工程（可...
- 36 篇 电子科学与技术（可...
- 18 篇 安全科学与工程
- 15 篇 交通运输工程
- 12 篇 仪器科学与技术
- 12 篇 土木工程
- 12 篇 化学工程与技术
- 12 篇 生物医学工程（可授...
- 12 篇 生物工程
- 11 篇 冶金工程
- 11 篇 动力工程及工程热...
- 10 篇 建筑学
296 篇 理学
- 227 篇 数学
- 39 篇 物理学
- 39 篇 统计学（可授理学、...
- 34 篇 系统科学
- 22 篇 生物学
- 16 篇 化学
119 篇 管理学
- 84 篇 管理科学与工程(可...
- 37 篇 工商管理
- 32 篇 图书情报与档案管...
47 篇 教育学
- 46 篇 教育学
25 篇 医学
- 24 篇 临床医学
10 篇 法学
- 10 篇 社会学
9 篇 经济学
5 篇 农学
4 篇 文学

主题

172 篇 logic gates
137 篇 fuzzy logic
129 篇 programming
118 篇 linear programmi...
94 篇 logic programmin...
65 篇 probabilistic lo...
59 篇 dynamic programm...
57 篇 optimization
52 篇 semantics
50 篇 training
49 篇 computer science
48 篇 logic
44 篇 object oriented ...
42 篇 computer archite...
41 篇 computational mo...
38 篇 hardware
38 篇 artificial intel...
37 篇 java
36 篇 computer program...
35 篇 software

机构

6 篇 laboratory of co...
5 篇 stevens inst tec...
5 篇 institute of log...
5 篇 university of to...
5 篇 institute for lo...
5 篇 chinese univ hon...
4 篇 univ oxford oxfo...
4 篇 school of electr...
4 篇 ibm corp thomas ...
3 篇 north carolina s...
3 篇 creighton univ o...
3 篇 univ politecn ca...
3 篇 ecole polytech f...
3 篇 tu wien austria
3 篇 department of co...
3 篇 department of el...
3 篇 rhein westfal th...
3 篇 school of comput...
3 篇 univ tokyo
3 篇 school of mathem...

作者

7 篇 inoue katsumi
5 篇 sakama chiaki
5 篇 gupta gopal
4 篇 wang liang
4 篇 iosif radu
4 篇 pontelli enrico
4 篇 liang wang
4 篇 tompits hans
4 篇 beck j. christop...
3 篇 kumar amruth n.
3 篇 chopra amit k.
3 篇 proietti maurizi...
3 篇 il han park
3 篇 m.-r. akbarzadeh...
3 篇 wei li
3 篇 riguzzi fabrizio
3 篇 schaub torsten
3 篇 melin p
3 篇 leonidas deligia...
3 篇 mcdirmid sean

语言

2,101 篇 英文
35 篇 其他
15 篇 中文
2 篇 葡萄牙文
1 篇 西班牙文
1 篇 法文

检索条件"任意字段=22nd International Conference on Logic Programming"

共 2150 条记录，以下是741-750 订阅

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

详细简洁

排序：

Modeling Multi Software Product Lines using UML 18

Modeling Multi Software Product Lines using UML

引用

22nd international Systems and Software Product Line conference (SPLC)

作者： Setyautami, Maya R. A. Adianto, Daya Azurat, Ade Univ Indonesia Fac Comp Sci Depok Jawa Barat Indonesia

ISBN: (纸本)9781450364645

We choose Unified Modeling Language (UML) as the foundation to model the proposed solution of the Multi Software Product Lines (MPL) interoperability challenge. The proposed pseudo-code is modeled as an extension of the UML meta-model to support MPL. The model serves to provide a standard representation of MPL and an intuitive transformation to an Object-Oriented programming (OOP) language. Some extension to the UML that yet to have intuitive translation into common OO language are augmented with a mechanism using a build automation system. This mechanism provides manual transformation that gives us some hints whether the proposed solution fulfilled the evaluation criteria. The given challenge case has been written in our proposed pseudo-code, modeled in our UML extension, and translated into Java source code and Gradle build scripts. By invoking Gradle tasks, we can simulate product generation that creates products as Java objects.

关键词： Delta-Oriented programming UML Profile Multi Software Product Lines

来源：评论

学校读者我要写书评

暂无评论

Terahertz Vision Using Field Effect Transistors Detectors Arrays 22

Terahertz Vision Using Field Effect Transistors Detectors Ar...

引用

22nd international Microwave and Radar conference (MIKON)

作者： Dyakonova, Nina Coquillat, Dominique Teppe, Frederic Knap, Wojciech Suszek, Jaroslaw Siemion, Agnieszka Sypek, Maciej But, Dmytro B. Sai, Pavel Yahniuk, Ivan Cywinski, Grzegorz Marczewski, Jacek Zaborowski, Michal Tomaszewski, Daniel Zagrajek, Przemyslaw Univ Montpellier CNRS Lab Charles Coulomb L2C Montpellier France

ISBN: (纸本)9788394942113

An overview of main results concerning THz detection related to plasma nonlinearities in nanometer field effect transistors is presented. In particular nonlinearity and dynamic range of these detectors are discussed. As the main result, we will show some of the first real-world applications of the FET THz detectors: demonstrators of the imager developed for fast postal security and industrial nondestructive quality control.

关键词： Detectors logic gates Image edge detection Physics FinFETs

来源：评论

学校读者我要写书评

暂无评论

Automated test generation for optimizing compilers with OpenMP support 22

Automated test generation for optimizing compilers with Open...

引用

22nd international conference on Circuits, Systems, Communications and Computers (CSCC)

作者： Pankratov, Svyatoslav AP Ershov Inst Informat Syst SB RAS Pr Akad Lavrentyeva 6 Novosibirsk 630090 Russia

The correctness of the compiler is a necessary requirement for the correct operation of the software compiled by it. Therefore, the most important stage in the development of the compiler is verification. Recent widespread of multi-core processors and graphics core integrated to CPU emphasized the problem of the transition from single-threaded to multi-threaded computing and re-usage of graphics core for general purpose heterogeneous parallel computations in particular. In this paper, we are presenting an approach to automate test creation for the verification of the compiler with OpenMP support, based on a generator that uses grammars to generate syntactically correct executable tests.

关键词： Application programming interfaces (API)

来源：评论

学校读者我要写书评

暂无评论

FPGA Implementation of a Fuzzy Rule Based Contrast Enhancement System for Real Time Applications 22

FPGA Implementation of a Fuzzy Rule Based Contrast Enhanceme...

引用

22nd international conference on System Theory, Control and Computing (ICSTCC)

作者： Liviu, Tigaeru Tech Univ Gheorghe Asachi Fac Elect Telecommun & Informat Technol Iasi Romania

ISBN: (纸本)9781538644447

The present paper describes a pipeline digital architecture of a fuzzy rule base grayscale image contrast enhancement system. The proposed system uses a zero order Takagi-Sugeno fuzzy model, adapted to avoid the division operation in the deffuzification block and also to reduce the computational requirements for the fuzzification block. The digital architecture is optimized to benefit from the advantages provided by the Xilinx DSP48E2 slice in terms of speed and logic resource consumption. The design has been synthesized and tested on a Xilinx FPGA device and the reported results confirm its viability to be embedded in real time application systems. Also, the functionality of the proposed system was tested on a set of low contrast images, illustrating heavy traffic conditions.

关键词： grayscale image contrast enhancement fuzzy logic fuzzy contrast enhancement FPGA design DSP48 slice

来源：评论

学校读者我要写书评

暂无评论

Two-variable first-order logic with counting in forests 22nd

Two-variable first-order logic with counting in forests

引用

22nd international conference on logic for programming, Artificial Intelligence and Reasoning, LPAR 2018

作者： Charatonik, Witold Guskov, Yegor Pratt-Hartmann, Ian Witkowski, Piotr Institute of Computer Science University of Wroc̷law Poland School of Computer Science University of Manchester United Kingdom Instytut Informatyki Uniwersytet Opolski Poland

We consider an extension of two-variable, first-order logic with counting quantifiers and arbitrarily many unary and binary predicates, in which one distinguished predicate is interpreted as the mother-daughter relation in an unranked forest. We show that both the finite satisfiability and the general satisfiability problems for the extended logic are decidable in NExpTime. We also show that the decision procedure for finite satisfiability can be extended to the logic where two distinguished predicates are interpreted as the mother-daughter relations in two independent forests. © 2018, EasyChair. All rights reserved.

关键词： Computer circuits

来源：评论

学校读者我要写书评

暂无评论

Lyndon interpolation holds for the prenex ⊃ prenex fragment of gödel logic 22nd

Lyndon interpolation holds for the prenex ⊃ prenex fragment...

引用

22nd international conference on logic for programming, Artificial Intelligence and Reasoning, LPAR 2018

作者： Baaz, Matthias Lolic, Anela TU Wien Institute of Discrete Mathematics and Geometry Austria

First-order interpolation properties are notoriously hard to determine, even for logics where propositional interpolation is more or less obvious. One of the most prominent examples is first-order Gödel logic. Lyndon interpolation is a strengthening of the interpolation property in the sense that propositional variables or predicate symbols are only allowed to occur positively (negatively) in the interpolant if they occur positively (negatively) on both sides of the implication. Note that Lyndon interpolation is difficult to establish for first-order logics as most proof-theoretic methods fail. In this paper we provide general derivability conditions for a first-order logic to admit Lyndon interpolation for the prenex ⊃ prenex fragment and apply the arguments to the prenex ⊃ prenex fragment of first-order Gödel logic. © 2018, EasyChair. All rights reserved.

关键词： Interpolation

来源：评论

学校读者我要写书评

暂无评论

A shallow embedding of pure type systems into first-order logic 22

A shallow embedding of pure type systems into first-order lo...

引用

22nd international conference on Types for Proofs and Programs, TYPES 2016

作者： Czajka, Lukasz DIKU University of Copenhagen Copenhagen Denmark

ISBN: (纸本)9783959770651

We define a shallow embedding of logical proof-irrelevant Pure Type Systems (piPTSs) into minimal first-order logic. In logical piPTSs a distinguished sort∗p of propositions is assumed. Given a context Γ and a Γ-proposition τ , i.e., a term τ such that Γ τ :∗p, the embedding translates τ and Γ into a first-order formula FΓ(τ) and a set of first-order axioms ΔΓ. The embedding is not complete in general, but it is strong enough to correctly translate most of piPTS propositions (by completeness we mean that if Γ M : τ is derivable in the piPTS then FΓ(τ ) is provable in minimal first-order logic from the axioms ΔΓ). We show the embedding to be sound, i.e., if FΓ(τ ) is provable in minimal first-order logic from the axioms ΔΓ, then Γ M : τ is derivable in the original system for some term M. The interest in the proposed embedding stems from the fact that it forms a basis of the translations used in the recently developed CoqHammer automation tool for dependent type theory. © Lukasz Czajka;licensed under Creative Commons License CC-BY 22nd international conference on Types for Proofs and Programs (TYPES 2016).

关键词： Embeddings

来源：评论

学校读者我要写书评

暂无评论

A LSTM Based Wind Power Forecasting Method Considering Wind Frequency Components and the Wind Turbine States

A LSTM Based Wind Power Forecasting Method Considering Wind ...

引用

international conference on Electrical Machines and Systems (ICEMS)

作者： Yongxin Su Jing Yu Mao Tan Zexuan Wu Zhe Xiao Jianghui Hu College of Information Engineering Xiangtan University Xiangtan China

ISBN: (纸本)9781728133997

The existing ultra-short-term wind power prediction methods do not fully consider the influence of wind speed frequency components and wind turbine states. This leads the prediction accuracy is difficult to improve. An ultrashort-term wind power prediction method is proposed. This method is based on long short-term memory (LSTM) network with wind speed components and wind turbines states. Based on the filtering characteristics of LSTM, the wind speed components with different resolutions are screened automatically. These components were generated by wavelet packet decomposition (WPD) and ensemble empirical mode decomposition (EEMD). The forecasting results show that wind speed components and wind turbines states be used as the network input. The prediction accuracy can be improved. The error index will be smaller when wind turbine states was considered. Considering yaw error and rotor speed of wind turbine states, the mean absolute percentage error at the 5 s time interval is 2.72%.

关键词： Wind power generation Wind speed Predictive models Wind turbines logic gates Forecasting White noise

来源：评论

学校读者我要写书评

暂无评论

Probabilistic Connectivity Performance of Power Network Topology Variation Trajectory

Probabilistic Connectivity Performance of Power Network Topo...

引用

international conference on Electrical Machines and Systems (ICEMS)

作者： Yi Yang Zhizhong Guo Yue Chen Dept. of Electrical Engineering and Automation Harbin Institute of Technology Harbin China

ISBN: (纸本)9781728133997

The cascading failure is accompanied by a sustained reduction in the topological connectivity of the network until the network is disconnected. From the perspective of the contingency analysis, the number of topological change trajectories of a cascading failure process is large, and the enumeration representation is cumbersome. In order to make full use of all the information of the topology variation trajectory space effectively and simply, the method of probability analysis is worth considering. First, this paper defines the probabilistic connectivity matrix of the network to describe the connectivity characteristics of the variation trajectory space. Second, the variation-connectivity sequence is defined according to the N-k connectivity expectation and the network disconnection probability. This sequence formulates the topological connectivity of the variable power network. Third, this paper gives a method to judge the strength of the variation of power network connectivity. Fourth, this paper defines the variation-connectivity sequence of the main grid. The results of the studies on several power network cases show that the variation-connectivity sequence can well describe the connectivity of the variable power network, and help to reveal the topological evolution characteristic of the power network in the cascading failure process.

关键词： Probabilistic logic Power system faults Power system protection Trajectory Network topology Topology Feature extraction

来源：评论

学校读者我要写书评

暂无评论

CIAHelper: Towards Change Impact Analysis in Delta-Oriented Software Product Lines 18

CIAHelper: Towards Change Impact Analysis in Delta-Oriented ...

引用

22nd international Systems and Software Product Line conference (SPLC)

作者： Hamza, Mostafa Walker, Robert J. Elaasar, Maged Univ Calgary Dept Comp Sci Calgary AB Canada Carleton Univ Dept Syst & Comp Engn Ottawa ON Canada

ISBN: (纸本)9781450364645

Change is inevitable for software systems to deal with the evolving environment surrounding them, and applying changes requires careful design and implementation not to break existing functionalities. Evolution in software product lines (SPLs) is more complex compared to evolution for individual products: a change applied to a single feature might affect all the products in the whole product family. In this paper we present an approach for change impact analysis in delta-oriented programming (DOP), an existing language aimed at supporting SPLs. We propose the CIAHelper tool to identify dependencies within a DOP program, by analyzing the semantics of both the code artifacts and variability models to construct a directed dependency graph. We also consider how the source code history could be used to enhance the recall of detecting the affected artifacts given a change proposal. We evaluate our approach by means of five case studies on two different DOP SPLs.

关键词： Change impact analysis feature model variability model code assets delta-oriented programming

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共215页 << < 71 72 73 74 75 76 77 78 79 80 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：