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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

388 篇 会议
20 册 图书
12 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

288 篇 工学
- 275 篇 计算机科学与技术...
- 184 篇 软件工程
- 29 篇 电气工程
- 19 篇 信息与通信工程
- 16 篇 控制科学与工程
- 7 篇 电子科学与技术（可...
- 4 篇 机械工程
- 3 篇 生物工程
- 3 篇 安全科学与工程
- 1 篇 仪器科学与技术
- 1 篇 冶金工程
- 1 篇 动力工程及工程热...
- 1 篇 土木工程
- 1 篇 石油与天然气工程
- 1 篇 交通运输工程
- 1 篇 农业工程
- 1 篇 环境科学与工程（可...
67 篇 理学
- 53 篇 数学
- 9 篇 系统科学
- 7 篇 统计学（可授理学、...
- 6 篇 生物学
- 3 篇 物理学
31 篇 管理学
- 19 篇 管理科学与工程(可...
- 13 篇 图书情报与档案管...
- 9 篇 工商管理
4 篇 教育学
- 4 篇 教育学
3 篇 经济学
- 3 篇 应用经济学
3 篇 医学
- 2 篇 基础医学(可授医学...
- 2 篇 临床医学
1 篇 哲学
1 篇 法学
- 1 篇 社会学
1 篇 农学

主题

95 篇 logic programmin...
19 篇 fuzzy logic
18 篇 artificial intel...
14 篇 linear programmi...
13 篇 semantics
12 篇 logic gates
11 篇 computer circuit...
11 篇 programming
11 篇 mathematical log...
10 篇 programming lang...
10 篇 logics and meani...
8 篇 programming tech...
7 篇 computer archite...
7 篇 computer program...
7 篇 computer program...
6 篇 object oriented ...
6 篇 model checking
6 篇 software enginee...
6 篇 answer set progr...
5 篇 genetic programm...

机构

3 篇 univ minho ctr a...
2 篇 telecommunicatio...
2 篇 univ mediterrane...
2 篇 xidian univ inst...
2 篇 dept. of electri...
2 篇 dept. of biomedi...
2 篇 univ potsdam pot...
2 篇 univ orleans lab...
2 篇 queensland unive...
2 篇 univ paris 06 li...
2 篇 xidian univ isn ...
2 篇 chinese acad sci...
2 篇 department of in...
2 篇 institute of inf...
2 篇 department of co...
2 篇 dipartimento di ...
2 篇 univ americas pu...
2 篇 dept. of electri...
2 篇 univ technol syd...
2 篇 chinese univ hon...

作者

6 篇 schaub torsten
4 篇 vicente henrique
3 篇 brezillon patric...
3 篇 pereira luís mon...
3 篇 anon
3 篇 faber wolfgang
3 篇 neves jose
3 篇 damásio carlos v...
2 篇 suzuki taro
2 篇 a.r. gray
2 篇 saubion frédéric
2 篇 bruynooghe mauri...
2 篇 leone nicola
2 篇 karali i
2 篇 sakama chiaki
2 篇 gebser martin
2 篇 ojeda-aciego man...
2 篇 codish michael
2 篇 hofstedt petra
2 篇 ida tetsuo

语言

416 篇 英文
2 篇 其他
1 篇 法文
1 篇 中文

检索条件"任意字段=6th Conference on Logic Programming, 1987"

共 420 条记录，以下是51-60 订阅

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

详细简洁

排序：

Effective Route Planning of a Mobile Robot for Static and Dynamic Obstacles with Fuzzy logic 6

Effective Route Planning of a Mobile Robot for Static and Dy...

引用

6th IEEE International conference on Control System, Computing and Engineering (ICCSCE)

作者： Nasrinahar, Amir Chuah, Joon Huang Univ Malaya Fac Engn Dept Elect Engn VIP Res Lab Kuala Lumpur 50603 Malaysia

ISBN: (纸本)9781509011780

Navigation of a mobile robot in cluttered environment while ensuring obstacle avoidance and maximum safety is indeed a challenging task. Route planning is an important issue in the field of autonomous mobile robots which makes them capable to travel from one position to another in various environments including both static and dynamic obstacles without any human intervention. this research is carried out with the purpose of designing and programming a mobile robot using two separated fuzzy logic controllers and developing an efficient algorithm in order to avoid both static and dynamic obstacles. In this work, four essential behavior controllers are designed and implemented onto the robot to assist its navigation towards the goal, i.e. goal reaching behavior, speed control behavior, goal searching behavior and obstacle avoidance behavior. For obstacle avoidance behavior, Sugeno fuzzy logic was applied. the simulation of this research was done by using MATLAB software where a mobile robot and some test environments with different complexity were created. Several navigation experiments were conducted and the robot's behavior were carefully observed. Analysis of the robot's performance validated the effectiveness of the proposed controllers and the robot could successfully navigate towards the goal in all experimental environments.

关键词： Mobile robot route planning fuzzy logic controllers dynamic obstacle avoidance Sugeno

来源：评论

学校读者我要写书评

暂无评论

Finding Resilient and Energy-Saving Control Strategies in Smart Homes 7

Finding Resilient and Energy-Saving Control Strategies in Sm...

引用

7th International conference on Ambient Systems, Networks and Technologies (ANT) / 6th International conference on Sustainable Energy Information Technology (SEIT)

作者： Marron, Stefano Gentile, Ugo Second Univ Napoli Dipartimento Matemat & Fis Naples Italy Univ Naples Federico II Dipartimento Ingn Elettr & Tecnol Informaz Naples Italy

Evolutionary computing has demonstrated its effectiveness in supporting the development of robust and intelligent systems: when used in combination with formal and quantitative models, it becomes a primary tool in critical systems. Among the modern critical infrastructures, smart energy grids are getting a growing interest from many communities (academic, industrial and political) fostering the development of a robust energy distribution infrastructure. Energy grids are also an example of critical cyber physical social systems since their equilibrium can be perturbed not only by cyber and physical attacks but also by economical and social crises as well as changes in the consumption profiles. the paper illustrates a practical framework supporting the run-time evolution of the control logic inside the Smart Meter: the centre of modern Smart Homes. By combining the modeling and analysis capabilities of Fluid Stochastic Petri Nets and the flexibility of Genetic programming, this approach can be used to adapt the control logic of the Smart Meters to the changes of the structure and functionalities of the Smart Home as well as of the operational environment. While the main objective of the evolution is to guarantee the energetic sustainability of the Smart Home, the fulfilment of the user's requirements about the energetic need of the home allows to preserve the identity of the Smart Meter during its evolution. (C) 2015 the Authors. Published by Elsevier B.V.

关键词： Genetic programming Computer-based Critical Infrastructures Smart Energy Grids Self-Adaptive Systems Fluid Stochastic Petri Nets

来源：评论

学校读者我要写书评

暂无评论

GRAPH-BASED CONCEPT DISCOVERY IN MULTI RELATIONAL DATA 6

GRAPH-BASED CONCEPT DISCOVERY IN MULTI RELATIONAL DATA

引用

6th International conference on Cloud System and Big Data Engineering (Confluence)

作者： Kavurucu, Yusuf Mutlu, Alev Ensari, Tolga Turkish Naval Acad Comp Engn Istanbul Turkey Kocaeli Univ Comp Engn Kocaeli Turkey Istanbul Univ Comp Engn Istanbul Turkey

ISBN: (纸本)9781467382038

Developments in technology, especially in computer science created the need of storing data in variety of areas. this need created the term database where the data is stored in a useful form. In the database, data is logically integrated in file/files according to relations among them. One of the important issues is to extract knowledge from these databases that hold data in a useful and complete form. this process is called as data mining. the main objective of data mining is to extract implicit and useful knowledge from huge and at first glance meaningless mass of data that is stored in database(s). Multi-Relational databases are the ones in which the data is stored in multiple tables (relations). the relationships between those tables are also stored as tables (relations) in the database. the more effective and commonly known approaches for Multi-Relational Data Mining (MRDM) are based on Inductive logic programming (ILP). ILP contains concepts from Inductive Learning and logic programming. From this point, the main purpose of MRDM is extracting implicit and trivial knowledge from relational database(s) using ILP approaches and techniques. In this approach, data is represented in graph structures and graph mining techniques are used for knowledge discovery. Concept discovery in multi-relational data mining aims to find relational rules that best describe a relation, called target relation, in terms of other relations in the database, called background knowledge. In this study, a graph-based concept discovery method for concept discovery is presented. the proposed method, namely G-CDS (Graph-based Concept Discovery System), utilizes methods both from substructure-based and path-finding based approaches, hence it can be considered as a hybrid method. G-CDS generates disconnected graph structures for each target relation and its related background knowledge, which are initially stored in a relational database, and utilizes them to guide generation of a summary graph

关键词： Multi relational data mining inductive logic programming (ILP) concept discovery graph

来源：评论

学校读者我要写书评

暂无评论

Patching logic Vulnerabilities for Web Applications using logicPatcher 16

Patching Logic Vulnerabilities for Web Applications using Lo...

引用

6th ACM conference on Data and Application Security and Privacy (CODASPY)

作者： Monshizadeh, Maliheh Naldurg, Prasad Venkatakrishnan, V. N. Univ Illinois Dept Comp Sci Chicago IL 60607 USA IBM Res India Bangalore Karnataka India

ISBN: (纸本)9781450339353

logic vulnerabilities are an important class of programming flaws in web applications. these vulnerabilities occur when a desired property pertaining to an application's logic does not hold along certain paths in the application's code. Many analysis tools have been developed to find logic vulnerabilities in web applications. Given a web application with logic vulnerabilities, the question is whether one can design methods to patch application code and prevent these vulnerabilities from being exploited. We answer this question by developing an approach and tool called logicPATCHER for patching of logic vulnerabilities. We focus on correct patch placement, i.e. identifying the precise location in code where the patch code can be introduced, based on path profiling. As we show in this paper, finding the appropriate location as well as generating the right patch can get complicated and require deep code analysis. We demonstrate the utility of logicPATCHER by automatically fixing several critical parameter tampering and authorization vulnerabilities in large web applications.

关键词： static program analysis logic vulnerabilities patch generation web security

来源：评论

学校读者我要写书评

暂无评论

An Assessment to Toxicological Risk of Pesticide Exposure 6th

An Assessment to Toxicological Risk of Pesticide Exposure

引用

6th International conference on Well-Being-in-the-Information-Society (WIS) - Building Sustainable Health Ecosystems

作者： Coelho, Cristina Rosario Martins, M. Lima, Nelson Vicente, Henrique Neves, Jose Univ Evora Escola Ciencias & Tecnol Dept Quim Evora Portugal Univ Evora Escola Ciencias & Tecnol Dept Quim Lab HERCULES Evora Portugal Univ Minho Micoteca Univ Minho Ctr Engn Biol Braga Portugal Univ Minho Ctr Algoritmi Braga Portugal

ISBN: (纸本)9783319446721;9783319446714

On the one hand, pesticides may be absorbed into the body orally, dermally, ocularly and by inhalation and the human exposure may be dietary, recreational and/or occupational where toxicity could be acute or chronic. On the other hand, the environmental fate and toxicity of the pesticide is contingent on the physico-chemical characteristics of pesticide, the soil composition and adsorption. Human toxicity is also dependent on the exposure time and individual's susceptibility. therefore, this work will focus on the development of an Artificial Intelligence based diagnosis support system to assess the pesticide toxicological risk to humanoid, built under a formal framework based on logic programming to knowledge representation and reasoning, complemented with an approach to computing grounded on Artificial Neural Networks. the proposed solution is unique in itself, once it caters for the explicit treatment of incomplete, unknown, or even self-contradictory information, either in terms of a qualitative or quantitative setting.

关键词： Pesticide exposure Toxicity Environmental fate Artificial intelligence logic programming Knowledge representation and reasoning Artificial neuronal networks Incomplete information

来源：评论

学校读者我要写书评

暂无评论

A Soft Computing Approach to Quality Evaluation of General Chemistry Learning in Higher Education 6th

A Soft Computing Approach to Quality Evaluation of General C...

引用

6th International conference on Methodologies and Intelligent Systems for Technology Enhanced Learning (mis4TEL)

作者： Figueiredo, Margarida Neves, Jose Vicente, Henrique Univ Evora Dept Quim Ctr Invest Educ & Psicol Escola Ciencias & Tecnol Evora Portugal Univ Minho Ctr Algoritmi Braga Portugal Univ Evora Dept Quim Escola Ciencias & Tecnol Evora Portugal

ISBN: (纸本)9783319401652;9783319401645

In contemporary societies higher education must shape individuals able to solve problems in a workable and simpler manner and, therefore, a multidisciplinary view of the problems, with insights in disciplines like psychology, mathematics or computer science becomes mandatory. Undeniably, the great challenge for teachers is to provide a comprehensive training in General Chemistry with high standards of quality, and aiming not only at the promotion of the student's academic success, but also at the understanding of the competences/skills required to their future doings. thus, this work will be focused on the development of an intelligent system to assess the Quality-of-General-Chemistry-Learning, based on factors related with subject, teachers and students.

关键词： General Chemistry Higher Education logic programming Knowledge representation and reasoning Artificial Neural Networks

来源：评论

学校读者我要写书评

暂无评论

Program Schemata Technique to Solve Propositional Program logics Revised 1

引用

10th International Andrei Ershov Informatics conference in Memory of Helmut Veith (PSI)

作者： Shilov, Nikolay Russian Acad Sci AP Ershov Inst Informat Syst Lavrenev Av 6 Novosibirsk 630090 Russia

ISBN: (数字)9783319415796

ISBN: (纸本)9783319415796;9783319415789

Propositional program (dynamic, temporal and process) logics are basis for logical specification of program systems (including parallel, distributed and multiagent systems). therefore development of efficient algorithms (decision procedures) for validation, provability and model checking of program logics is an important research topic for the theory of programming. the essence of a program schemata technique consists in the following. Formulas of a program logic to be translated into uninterpreted nondeterministic monadic flowcharts (so called Yanov schemata) so that the scheme is total (i.e. terminates) in all special interpretations if and only if the initial formula is a tautology (i.e. is identically true). Since this generalized halting problem is solvable (with an exponential complexity), it implies the decidability of initial program logic (and leads to a decidability upper bound). the first version of the technique was developed by Nikolay V. Shilov and Valery A. Nepomnjaschy in 1983-1987 for variants of Propositional Dynamic logic (PDL). In 1997 the technique was expanded on the propositional mu-Calculus. In both cases a special algorithm was used to solve the generalized halting problem. A recent development of program schemata technique consists in revised decision procedure for the halting problem. A new decision procedure consists in model checking of a special fairness property (presented by some fixed mu-Calculus formula) in finite models presented by Yanov schemata flowcharts. Exponential lower bound for transformation of mu-Calculus formulas to equivalent guarded form is a consequence of the new version of the decision procedure.

关键词： Computability and decidability

来源：评论

学校读者我要写书评

暂无评论

Cartesian genetic programming approach for embryonic fabric architecture

Cartesian genetic programming approach for embryonic fabric ...

引用

International conference on Information Communication and Management (ICICM)

作者： Gayatri Malhotra Scientist Control and Digital Electronics Group ISRO Satellite Centre Bangalore India

ISBN: (纸本)9781509034963

the Cartesian genetic programming (CGP) considers grid of nodes to represent a genotype. In the corresponding phenotype each node represents a processing element. the processing element has similar structure as of smallest embryonic fabric element. It can be an embryonic molecule where all molecules combine and create an embryonic cell equivalent to a circuit. the evolutionary algorithm applied to genotypes select the fittest. the evaluated genotype determines the configuration data for embryonic cell. the configuration data generation is automated with this approach. As well this can lead to optimized embryonic fabric structure if optimization by evolutionary algorithm is utilized. In this paper the CGP approach is applied to generate configuration data for embryonic fabric. the approach is simulated for 1-bit adder circuit.

关键词： Computer architecture Adders Fabrics Microprocessors Genetics Evolutionary computation logic gates

来源：评论

学校读者我要写书评

暂无评论

Graph-based concept discovery in multi relational data

Graph-based concept discovery in multi relational data

引用

International conference on Confluence the Next Generation Information Technology Summit (Confluence)

作者： Yusuf Kavurucu Alev Mutlu Tolga Ensari̇ Computer Engineering Turkish Naval Academy Istanbul TURKEY Computer Engineering Kocaeli University Kocaeli TURKEY Computer Engineering Istanbul University Istanbul TURKEY

ISBN: (纸本)9781467382045

关键词： Decision support systems Big data Data mining programming Integrated circuits Mathematics Warehousing

来源：评论

学校读者我要写书评

暂无评论

Revisiting the institutional approach to Herbrand's theorem 6

Revisiting the institutional approach to Herbrand's theorem

引用

6th conference on Algebra and Coalgebra in Computer Science, CALCO 2015

作者： Ţuţu, Ionut Fiadeiro, José Luiz Department of Computer Science Royal Holloway University of London United Kingdom Institute of Mathematics of the Romanian Academy Research Group of the Project ID-3-0439 Romania

ISBN: (纸本)9783939897842

More than a decade has passed since Herbrand's theorem was first generalized to arbitrary institutions, enabling in this way the development of the logic-programming paradigm over formalisms beyond the conventional framework of relational first-order logic. Despite the mild assumptions of the original theory, recent developments have shown that the institution-based approach cannot capture constructions that arise when service-oriented computing is presented as a form of logic programming, thus prompting the need for a new perspective on Herbrand's theorem founded instead upon a concept of generalized substitution system. In this paper, we formalize the connection between the institution- and the substitution-system-based approach to logic programming by investigating a number of features of institutions, like the existence of a quantification space or of representable substitutions, under which they give rise to suitable generalized substitution systems. Building on these results, we further show how the original institution-independent versions of Herbrand's theorem can be obtained as concrete instances of a more general result. © Ionut Ţuţu and José L. Fiadeiro;licensed under Creative Commons License CC-BY.

关键词： logic programming

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共42页 << < 2 3 4 5 6 7 8 9 10 11 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：