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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

491 篇 会议
13 篇 期刊文献
7 册 图书

馆藏范围

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

日期分布

学科分类号

320 篇 工学
- 241 篇 计算机科学与技术...
- 176 篇 软件工程
- 95 篇 电气工程
- 29 篇 控制科学与工程
- 21 篇 机械工程
- 18 篇 信息与通信工程
- 14 篇 生物医学工程（可授...
- 14 篇 生物工程
- 10 篇 电子科学与技术（可...
- 8 篇 材料科学与工程（可...
- 6 篇 核科学与技术
- 5 篇 石油与天然气工程
- 4 篇 仪器科学与技术
- 4 篇 交通运输工程
- 2 篇 光学工程
- 2 篇 建筑学
61 篇 理学
- 29 篇 数学
- 14 篇 物理学
- 14 篇 生物学
- 6 篇 系统科学
- 4 篇 统计学（可授理学、...
28 篇 管理学
- 17 篇 管理科学与工程(可...
- 8 篇 图书情报与档案管...
- 6 篇 工商管理
- 3 篇 公共管理
12 篇 农学
- 12 篇 作物学
5 篇 医学
4 篇 法学
- 2 篇 法学
- 2 篇 社会学
3 篇 经济学
- 3 篇 应用经济学
2 篇 教育学
- 2 篇 教育学
1 篇 文学

主题

48 篇 programming
38 篇 logic gates
31 篇 logic programmin...
28 篇 programming prof...
28 篇 software enginee...
25 篇 linear programmi...
23 篇 software
15 篇 computational mo...
14 篇 java
14 篇 logic
14 篇 probabilistic lo...
12 篇 computer program...
11 篇 optimization
11 篇 detectors
11 篇 dynamic programm...
11 篇 testing
10 篇 object oriented ...
10 篇 fuzzy logic
10 篇 parallel program...
10 篇 data models

机构

3 篇 nasa ames resear...
3 篇 george mason uni...
3 篇 carnegie mellon ...
3 篇 stillman school ...
3 篇 imperial coll lo...
2 篇 mayo fdn rochest...
2 篇 iran univ sci & ...
2 篇 univ copenhagen ...
2 篇 chalmers univers...
2 篇 university of fe...
2 篇 school of comput...
2 篇 ludwig maximilia...
2 篇 texas tech unive...
2 篇 tu wien austria
2 篇 graz university ...
2 篇 katholieke univ ...
2 篇 graduate school ...
2 篇 zagazig universi...
2 篇 iran university ...
2 篇 agh university o...

作者

5 篇 toni francesca
4 篇 azzolini damiano
4 篇 gupta gopal
3 篇 hanbong lee
3 篇 gavanelli marco
3 篇 riguzzi fabrizio
3 篇 eiter thomas
3 篇 coblenz michael
3 篇 satoh ken
3 篇 džeroski sašo
2 篇 lucarini stephen
2 篇 thevapalan andre
2 篇 liu yanhong a.
2 篇 m.a. farahat
2 篇 lavrac nada
2 篇 v. kodaganallur
2 篇 rose emma
2 篇 osaka naotoshi
2 篇 radoslaw klimek
2 篇 gebser martin

语言

506 篇 英文
5 篇 其他

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

共 511 条记录，以下是441-450 订阅

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

详细简洁

排序：

New approach to coordination of distance relay zone-2 with overcurrent protection using linear programming methods

New approach to coordination of distance relay zone-2 with o...

引用

39th international Universities Power Engineering conference (UPEC 2004)

作者： Jamali, S Pourtandorost, M Iran Univ Sci & Technol Dept Elect Engn Tehran 16844 Iran

ISBN: (纸本)1860433650

this paper presents a new method for the coordination of distance zone-2 and overcurrent relays by using linear programming methods. For this purpose, a topological analysis is first carried out to identify the set of primary and back-up relays. the coordination constraints are then used in the linear programming methods, where for the zone-2 operating time is set independently for each distance relay and the results are compared with the case where all the zone-2 time settings are the same. three linear programming methods are studied for solving the problem. the methods are tested for a typical interconected network and the results are presented and compared.

关键词： distance protection overcuurent protection relay coordination transmission networks optimal coordination linear programming protective relays

来源：评论

学校读者我要写书评

暂无评论

Fuzzy logic based indirect current control of the shunt active power filter

Fuzzy logic based indirect current control of the shunt acti...

引用

39th international Universities Power Engineering conference (UPEC 2004)

作者： Farrokhi, M Jamali, S Mousavi, SA Iran Univ Sci & Technol Dept Elect Engn Tehran 16844 Iran

ISBN: (纸本)1860433650

this paper presents a fuzzy logic based controller for indirect current control of shunt active power filter. Estimation of fundamental component of the line current is based on its effect on the voltage of the inverter DC side capacitor. To improve the classic PI controller used in this scheme, a decaying factor is introduced to its integral part. Proportional and integral gains are constant, but the decaying factor varies according to the system condition. Since the appropriate performance of this controller is greatly dependent on the decaying factor, a fuzzy logic based system is used to determine proper value 'of this parameter, in which the decision is made on the base of the voltage error of the inverter DC side capacitor. Computer simulation of a typical power distribution system with a nonlinear load and shunt active power filter is carried out and the results are presented which imply a better dynamic performance of the proposed scheme compared to the conventional PI controller.

关键词： harmonics active power filter indirect current control fuzzy system

来源：评论

学校读者我要写书评

暂无评论

Power system reliability evaluation and quality assessment by fuzzy logic technique

Power system reliability evaluation and quality assessment b...

引用

39th international Universities Power Engineering conference (UPEC 2004)

作者： Farahat, MA Al-Shammari, BM Zagazig Univ Fac Engn Elect Power Engn Dept Zagazig Egypt

ISBN: (纸本)1860433650

the basic function of power system is to supply electrical energy to both large and small customers as economically as possible, and with an acceptable degree of reliability and quality. Reliability and quality are two essential measures and important components of all power system planning and operation procedures. Reliability is one of the key design factors when designing complex, critical and expensive systems. this paper presents a fuzzy logic technique for evaluating the reliability of complex and large power system to deal with their imprecise variables. In the proposed technique, fuzzy set theory was used to evaluate the coefficients of different terms in reliability expression. System with hundreds of buses and tens of complex stations can be analyzed using advanced and numerically effective large-scale algorithms for reliability and quality assessment. An advance computer program for large-scale reliability and quality assessment is studied and applied to full-scale model of Saudi Arabia electricity system. the proposed algorithm is very useful to the on-line security assessment of large and complex power system. the results obtained are claimed to have far-reaching implications on various planning and operation aspects of the Saudi power system.

关键词： Electric power systems

来源：评论

学校读者我要写书评

暂无评论

Satisfiability checking for PC(ID)

Satisfiability checking for PC(ID)

引用

12th international conference on logic for programming, Artificial Intelligence, and Reasoning

作者： Mariën, M Mitra, R Denecker, M Bruynooghe, M Katholieke Univ Leuven Dept Comp Sci Louvain Belgium

ISBN: (纸本)354030553X

the logic FO(ID) extends classical first order logic with inductive definitions. this paper studies the satisifiability problem for PC(ID), its propositional fragment. We develop a framework for model generation in this logic, present an algorithm and prove its correctness. As FO(ID) is an integration of classical logic and logic programming, our algorithm integrates techniques from SAT and ASP. We report on a prototype system, called MIDL, experimentally validating our approach.

关键词： Formal logic

来源：评论

学校读者我要写书评

暂无评论

A new algorithm for answer set computation

A new algorithm for answer set computation

引用

3rd international Workshop on Answer Set programming: Advances in theory and Implementation, ASP 2005, Co-located Event with the 19th international Joint conference on Artificial Intelligence, IJCAI 2005

作者： Grossi, Giuliano Marchi, Massimo Dipartimento di Scienze dell'Informazione Università degli Studi di Milano Via Comelico 39 I-20135 Milano Italy

A new exact algorithm for computing answer sets of logic programs is presented and analyzed. the algorithm takes a logic program in Kernel normal form as an input and computes its answer sets by reducing the problem to a suitable version of graph colorability. Even though worst-case complexity is exponential, thanks to a straightforward formulation we can prove that the algorithm works in time O*(1.6181n), which is asymptotically better than the trivial bound O*(2n) of the brute force algorithms. We argue that this new algorithm represents a significant progress in terms of worst-case time complexity over traditional branch-and-bound algorithms.

关键词： Computer circuits

来源：评论

学校读者我要写书评

暂无评论

Software architecture based on multiprocessor platform to apply complex intrusion detection techniques

Software architecture based on multiprocessor platform to ap...

引用

international Carnahan conference on Security Technology

作者： A. Ferro F. Liberal A. Munoz I. Delgado A. Beaumont Electronics and Telecommunications Department University of Basque Country (UPV-EHU) Bilbao Spain Electronics and Telecommunications Department UPV/EHU ETSI Bilbao Bilbao Spain

the importance of security issues in network environments has increased greatly lately. Intrusion detection systems play an important role in network security environments. Nevertheless, nowadays, data network speed is so high that performing intrusion detection tasks becomes challenging. this paper presents a software architecture that intends to exploit the parallelism available on up-to-date and future workstations to apply intrusion detection rules in high speed networks. To achieve this, a shared memory multiprocessor system has been developed. the system includes a powerful rule language that adds big flexibility to the system.

关键词： Software architecture Intrusion detection Telecommunication traffic Engines Data security logic Computer architecture Parallel processing Workstations High-speed networks

来源：评论

学校读者我要写书评

暂无评论

Engineering secure software by modelling privacy and security requirements

Engineering secure software by modelling privacy and securit...

引用

international Carnahan conference on Security Technology

作者： M.N. Kreeger I. Duncan School of Computer Science University of Saint Andrews UK

Requirements are individual statements, usually expressed in a form of natural language, specifying the behaviour and constraints of a proposed system. Due to the intrinsic value of correct requirements, it is therefore essential for the process to be implemented correctly and that the requirements themselves reflect the true needs of the proposed system. the majority of developed systems introduce the concerns of privacy and security, however, traditional requirements engineering techniques have not addressed these issues appropriately. Further, the concepts of privacy, security, and the interrelated concept of trust, have not been accurately defined in terms of requirements engineering. Natural language is shown to be the most prevalent form of knowledge used to represent requirements, however, natural language introduces a number of inherent problems which can lead to ambiguity and specifications open to interpretation. When reasoning with privacy and security concerns the resulting specification should be both clear and concise in the stipulation of requirements. therefore, before attempting to model privacy and security at the requirements engineering level, it is essential to have an understanding and appreciation of the issues involved. Consideration is given to the various concerns that would effect methodology development and once assessed a possible approach to modelling privacy and security requirements is highlighted.

关键词： Privacy Natural languages programming Information security Computer science Councils Mathematical model Grounding

来源：评论

学校读者我要写书评

暂无评论

Elliptic curve cryptography: Java implementation issues

Elliptic curve cryptography: Java implementation issues

引用

international Carnahan conference on Security Technology

作者： V. Gayoso Martinez C. Sanchez Avila J. Espinosa Garcia L. Hernandez Encinas E.T.S.I. Telecomunicación Universite Politécnica de Madrid Madrid Spain Instituto de Fisica Aplicada C.S.I.C Madrid Spain

Elliptic curve cryptography (ECC) is based in one of the hardest arithmetic problems, the elliptic curve discrete logarithm problem, making ECC a reliable cryptographic technique. In addition to this advantage, ECC requires shorter keys compared to other public key algorithms, which suggests its use in low-end systems such as smart cards because of its efficiency and limited hardware requirements. Currently the leading smart card technology is Java card. though both Java 2 standard edition (J2SE) 5.0 and Java card (JC) 2.2.1 include classes and interfaces making ECC available to Java programs, they are not complete, making it necessary to use additional, non-standard packages if the programmer wants to use ECC for different operations (digital signature, data encryption and decryption, etc.). In the present work, we provide a complete review of the state of the art of ECC in J2SE and Java card, with a complete list of operations available in both standard implementations and proprietary packages.

关键词： Elliptic curve cryptography Java Smart cards Packaging Arithmetic Elliptic curves Public key cryptography Public key Hardware programming profession

来源：评论

学校读者我要写书评

暂无评论

Comparison of fuzzy logic and PID controllers for TCSC using Matlab

Comparison of fuzzy logic and PID controllers for TCSC using...

引用

international Universities Power Engineering conference (UPEC)

作者： U. Yolac T. Yalcinoz Department of Electrical & Electronic Engineering Nigde University Nigde Turkey

In this paper, a fuzzy logic controller and a PID controller are used to control firing angles of TCSC using Matlab Simulink, Power System Blockset and Fuzzy logic Toolbox. the graphic interface of Simulink provides a user-friendly environment where the power circuit and control system are represented in the same diagram. the design and testing of TCSC are verified using the Matlab environment. the studied power system is a simple two-bus system with distributed parameter line. the simulation results show that the fuzzy logic controller can generate better dynamic response.

关键词： Fuzzy logic three-term control Power capacitors thyristors Control systems Power system simulation Power system dynamics Power system control Power systems Graphics

来源：评论

学校读者我要写书评

暂无评论

New approach to coordination of distance relay zone-2 with overcurrent protection using linear programming methods

New approach to coordination of distance relay zone-2 with o...

引用

international Universities Power Engineering conference (UPEC)

作者： S. Jamali M. Pourtandorost Iran University of Science and Technology Iran

the paper presents a new method for the coordination of distance zone-2 and overcurrent relays by using linear programming methods. For this purpose, a topological analysis is first carried out to identify the set of primary and back-up relays. the coordination constraints are then used in the linear programming methods, where, for zone-2, operating time is set independently for each distance relay and the results are compared with the case where all the zone-2 time settings are the same. three linear programming methods are studied for solving the problem. the methods are tested for a typical interconnected network and the results are presented and compared.

关键词： Protective relaying Linear programming Relays Power system protection Substation protection Power system relaying Circuit faults Optimization methods Delay effects Network topology

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

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

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：