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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

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

详细简洁

排序：

A Web-of-things-Based System to Remotely Configure Automated Systems Using a Conditional programming Approach 5th

A Web-of-Things-Based System to Remotely Configure Automated...

引用

5th international conference on Frontiers in Intelligent Computing - theory and Applications (FICTA)

作者： Mukhopadhyay, Debajyoti Saha, Sourabh Rao, Rajdeep Paranjpe, Anish Maharashtra Inst Technol Dept Informat Technol Pune 411038 Maharashtra India

ISBN: (纸本)9789811031533;9789811031526

A system has been designed and implemented to remotely configure generic automated systems using only conditional logic statements and a web-based application for intuitive user interaction. Current automation systems use company-specific applications and require manual configuring in order to make any changes as per the user's needs. the purpose of this system is to give users the ability to self-configure and control all their systems from anywhere, using a simple internet-based application, thus requiring no external intervention. Our system is built using open-source software and hardware, thus rendering it cost-effective to implement in real time. Conditional programming, or If-then-Else logic, has been used as it is an easily understandable logic construct to maintain and configure the automated systems.

关键词： Web of things Automation Mobile Conditional programming

来源：评论

学校读者我要写书评

暂无评论

SOI Based Double Source Tunnel FET (DS-TFET) with High On-Current and Reduced Turn-on Voltage 30

SOI Based Double Source Tunnel FET (DS-TFET) with High On-Cu...

引用

30th IEEE international conference on Microelectronics (MIEL)

作者： Bagga, N. Kumar, A. Dasgupta, S. Indian Inst Technol Roorkee Dept Elect & Conunun Engn Roorkee 247667 Uttar Pradesh India

ISBN: (纸本)9781538625637

A novel TFET known as Double Source Tunnel FET (DS-TFET) is proposed in this paper, which provides higher ON current (ID-ON) with smaller turn-on voltage as compared to present Si based Tunnel FETs. the tunneling area is considerably enhanced which in turn increased the on-current, ID-ON (similar to 29.2 mu A/mu m) for a smaller turn-on voltage (V-tu = 0.15 volt). the results of rigorous 2L) simulation are presented in this paper for various performance parameters wInch have shown noticeable improvement viz sub-threshold slope (Min(SS)similar to 30.92 mV/decade) and ID-ON/ID-OFF (similar to 10(10)). the impact of varying gate dielectric constant and the tunnel gap (L-TS) is also studied and optimized for the better performance. the obtained results of the proposed work are compared with Lshaped Tunnel FET and we have procured that the proposed structure is better than the earlier reported L-shaped TFET.

关键词： Tunneling logic gates Junctions Electric fields Doping Particle separators

来源：评论

学校读者我要写书评

暂无评论

Quality of business processes conceptual models: Fuzzy logic vs. continuous logic operators 30

Quality of business processes conceptual models: Fuzzy logic...

引用

30th international conference on Computer Applications in Industry and Engineering, CAINE 2017

作者： Debnath, Narayan Lee, Ilhyun Lee, Haesun Salgado, Carlos Peralta, Mario Riesco, Daniel Baigorria, Lorena Montejano, Germán Department of Computer Science Winona State University Winona United States Math and Computer Science Department University of Texas - Permian Basin OdessaTX79762 United States Departamento de Informática Facultad de Ciencias Fisico-Matemáticas y Naturales Universidad Nacional de San Luis San Luis Argentina

ISBN: (纸本)9781943436088

Business Process Modeling presents an enterprise global vision. this vision allows better understanding of both: the enterprise dynamics and its internal and external relations. Business modeling is the main technique for aligning the development with the enterprise goals. Models have a fundamental role in the Business Process specification. For this reason, it is very important to use high quality models in order to improve the performance and evolution of the enterprises. this paper presents the study, analysis and comparison of the application of two methods for business processes conceptual models analysis. Both methods focus on the comprehensibility and maintainability of these models. this study was carried out on a real case of a company from the region. the methods were thought of as a control resource for business process modeling. the different phases allow controlling the correctness of the models and aims to support the engineers and project leaders with regard to the shaping of business process models.

关键词： Fuzzy logic

来源：评论

学校读者我要写书评

暂无评论

A logic for making hard decisions 30

A logic for making hard decisions

引用

30th international Florida Artificial Intelligence Research Society conference, FLAIRS 2017

作者： Roussev, Roussi Silaghi, Marius Florida Institute of Technology 150 W University Blvd MelbourneFL32901 United States

ISBN: (纸本)9781577357872

We tackle the problem of providing engineering decision makers with relevant information extracted from data obtained via a process model based on deliberation and voting. We list examples of potential applications from the area of bug-fix scheduling for software, as well as space-vehicles "go"-"no-go" decision making. In such application domains, important decisions have to be made hastily and therefore the decision factors have to be informed timely of the main issues discovered by the teams. A logic is proposed for reasoning with comments available in such deliberations. Search based algorithms are proposed which recommend the best justifications for a decision and retain the voting decisions for interested parties to tally. We have developed a Bayesian network for generating data by simulation based on probabilistic models that we can train from collected deliberation databases. the data generated in this way was used for evaluating the proposed search algorithm, showing how it can provide better than random recommendations of arguments to decision makers. Copyright © 2017, Association for the Advancement of Artificial Intelligence.

关键词： Bayesian networks

来源：评论

学校读者我要写书评

暂无评论

Optimization of Secrecy Rate in Cooperative Device to Device Communications 30

Optimization of Secrecy Rate in Cooperative Device to Device...

引用

30th Annual IEEE Canadian conference on Electrical and Computer Engineering (IEEE CCECE)

作者： Alibeigi, Maryam Taherpour, Abbas Gazor, Saeed Department of Electrical Engineering Imam Khomeini International University Qazvin Iran Department of Electrical and Computer Engineering Queens University Kingston ON Canada

ISBN: (纸本)9781509055388

In this paper, a cooperative device to device (D2D) communication system is studied while two transmitting devices communicate with one destination device in the presence of a passive eavesdropper. the second transmitting device cooperates with the first transmitting device and hence the transmission takes place is two phases. In the first phase, the first device transmits its signal to the second transmitting device. In the second phase, the second transmitting device transmits its own message along with the relaying signal from the first device simultaneously to the receiver. Our goal is to optimize this cooperation through maximizing the secrecy rate while the signal-to-noise ratio (SNR) at the destination is guaranteed to be above certain predefined threshold. We show that this optimization problem yields to polynomial fractional programming and propose an efficient numerical algorithm by using Gloptiploy and SeDuMi software packages. Simulation results show that this optimum cooperation achieves superior secrecy rate compared with fixed or maximum cooperation methods.

关键词： Signal to noise ratio

来源：评论

学校读者我要写书评

暂无评论

A Case Study of C-V Hysteresis Instability in Metal-High-k-Oxide-Silicon Devices with ZrO₂/Al₂O₃/Zr₂O₂ Stack as a Charge Trapping Layer 30

A Case Study of C-V Hysteresis Instability in Metal-High-k-O...

引用

30th IEEE international conference on Microelectronics (MIEL)

作者： Skeparovski, A. Spassov, D. Paskaleva, A. Novkovski, N. Ss Cyril & Methodius Univ Fac Nat Sci & Math Inst Phys Arhimedova St 3 Skopje 1000 Macedonia Bulgarian Acad Sci Inst Solid State Phys Tzarigradsko Chaussee 72 Sofia 1784 Bulgaria

ISBN: (纸本)9781538625637

Charge trapping properties of Al-ZrO2/Al2O3/ZrO2-SiO2-Si structures were investigated in attempt to elucidate the instability in their C-V hysteresis. the hysteresis in these structures is mainly due to subsequent trapping of electrons and holes injected from the Si substrate. However the competitive process of electron injection from the gate accompanied by the high leakage introduces instability and compromises the memory window.

关键词： Capacitors logic gates Stress Voltage measurement Hysteresis Substrates Silicon

来源：评论

学校读者我要写书评

暂无评论

Implementation of Pid Type Fuzzy logic Controller With Digital Signal Controller

Implementation of Pid Type Fuzzy Logic Controller With Digit...

引用

international conference on Control, Engineering & Information Technology (CEIT)

作者： ÖmerülFaruk ÖZGÜVEN Mehmet Serhat CAN Serdar Ethem HAMAMCI Dept. of Biomedical Engineering Inonu University Malatya Turkey Dept. of Electrical-Electronic Engineering Tokat Gaziosmanpasa University Tokat Turkey Dept. of Electrical-Electronic Engineering Inonu University Malatya Turkey

ISBN: (纸本)9781538676424

In this study, the real-time application of the Fuzzy logic-Proportional-Integral-Derivative (Fuzzy-PID) controller is performed. Product-Max operator is used in the design of Fuzzy logic Controller (FLC). this FLC has Proportional-Derivative (PD) controller structure. An integrator was added to the designed FLC output and thus a Fuzzy-PID controller structure is obtained. For the real-time implementation of the controller, the dsPIC30F4010 digital signal controller (DSC) is preferred as the processor because it contains the necessary peripherals, has the required memory capacity and processor speed, low cost and easy to design. For the easily observe application result of the designed FLC, the speed of a brushed direct current electric motor (BDCM) driven by MOSFET is controlled using Pulse Width Modulation (PWM) produced by DSC. the Fuzzy-PID controller algorithm is written in C programming language. Edited C language program is compiled and generated operation codes (OP-CODE) is loaded into the DSC. In the study, the BDCM connected to a braking system driven by a shaft belt. So, for different parameters of the controller, the real time system output graphs of the BDCM in loaded, unloaded and varying speeds conditions is obtained and evaluated.

关键词： Mathematical model Fuzzy logic Real-time systems Pulse width modulation Control engineering Information technology

来源：评论

学校读者我要写书评

暂无评论

FLAIRS 2017 - Proceedings of the 30th international Florida Artificial Intelligence Research Society conference

FLAIRS 2017 - Proceedings of the 30th International Florida ...

引用

30th international Florida Artificial Intelligence Research Society conference, FLAIRS 2017

ISBN: (纸本)9781577357872

the proceedings contain 138 papers. the topics discussed include: learning tree-structured CP-Nets with local search;the perception of social Bots by human and machine;online article ranking as a constrained, dynamic, multi-objective optimization problem;real-time imitation learning of visual behavior by a mobile robot;using deep-learning to automate feature: modeling in learning by observation;a deep neural architecture for kitchen activity recognition;semantic web and ignorance: Dempster-Shafer description logics;temporal deep belief network for online human action recognition;group-based active learning of classification models;automated reasoning for the dialetheic logic RM3;Markov analysis of students' professional skills in virtual internships;overlapping coalition formation in multi-sensor networks;can word embeddings help find latent emotions in text?. preliminary results;learning slowly to learn better: curriculum learning for legal ontology population;computational analysis of lexical and cohesion difference in defensive language;and automatically identifying humorous and persuasive language produced during a creative problem-solving task.

关键词：

来源：评论

学校读者我要写书评

暂无评论

moviola: Interpreting Dynamic logic Programs via Multi-shot Answer Set programming 14th

moviola: Interpreting Dynamic Logic Programs via Multi-shot ...

引用

14th international conference on logic programming and Nonmonotonic Reasoning (LPNMR)

作者： Sabuncu, Orkunt Leite, Joao TED Univ Ankara Turkey Univ Nova Lisboa NOVA LINCS Caparica Portugal

ISBN: (纸本)9783319616605;9783319616599

the causal rejection-based update semantics assign meanings to a Dynamic logic Program (DLP), which is a sequence of logic programs each one updating the preceding ones. Although there are translations of DLPs under these update semantics to logic programs of Answer Set programming (ASP), they have not led to efficient and easy to use implementations. this is mainly because such translations aim offline solving in a sense that the resulting logic program is given to an answer set solver to compute models of the current DLP and for any future updates the whole process has to be repeated from scratch. We aim to remedy this situation by utilizing multi-shot ASP, composed of iterative answer set computations of a changing program without restarting from scratch at every step. To this end, we developed a system called moviola, utilizing the multi-shot answer set solver clingo. Using the system, a user can interactively write a DLP, update it, compute its models according to various semantics on the fly.

关键词： Semantics

来源：评论

学校读者我要写书评

暂无评论

Reflection on the evaluation logic of the individual performance of teachers-researchers in the Moroccan university system 30

Reflection on the evaluation logic of the individual perform...

引用

30th international Business Information Management Association conference - Vision 2020: Sustainable Economic development, Innovation Management, and Global Growth, IBIMA 2017

作者： Mohamed, Marso Hassane, Boujettou Université Abdelmalek Essaadi Université Abdelmalek Essaadi Centre des études doctorales: Droit Economie et Gestion Tanger China Université Abdelmalek Essaadi Ecole Nationale de Commerce et de Gestion de Tanger Tanger China

ISBN: (纸本)9780986041990

the observed reality of the current situation of higher education establishments in Morocco is marked by the gradual introduction of a number of evaluation practices. these practices are far from being a true system of performance evaluation culture. On the other hand, these systems are highly research-oriented, which is not without consequence on other activities and especially that of education and training. the purpose of this article is to analyze the impact of this focus on single-profile evaluation systems centered on publications, on the overall performance of higher education institutions. © 2017 international Business Information Management Association IBIMA. All Rights Reserved.

关键词： Economic and social effects

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共105页 << < 41 42 43 44 45 46 47 48 49 50 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：