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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

979 篇 会议
37 篇 期刊文献
24 册 图书

馆藏范围

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

日期分布

学科分类号

700 篇 工学
- 581 篇 计算机科学与技术...
- 364 篇 软件工程
- 146 篇 电气工程
- 56 篇 控制科学与工程
- 30 篇 信息与通信工程
- 27 篇 材料科学与工程（可...
- 19 篇 电子科学与技术（可...
- 16 篇 机械工程
- 11 篇 动力工程及工程热...
- 11 篇 生物医学工程（可授...
- 10 篇 生物工程
- 7 篇 仪器科学与技术
- 7 篇 石油与天然气工程
- 6 篇 城乡规划学
- 4 篇 核科学与技术
- 4 篇 农业工程
189 篇 理学
- 156 篇 数学
- 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
62 篇 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
19 篇 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,017 篇 英文
16 篇 其他
8 篇 中文
1 篇 法文

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

共 1040 条记录，以下是901-910 订阅

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

详细简洁

排序：

A delay-encoding-logic array processor for dynamic programming matching

A delay-encoding-logic array processor for dynamic programmi...

引用

European conference on Solid-State Circuits (ESSCIRC)

作者： M. Ogawa T. Shibata Department of Frontier lnformatics University of Tokyo Bunkyo Tokyo Japan

Computationally very expensive, dynamic programming matching of data sequences has been directly implemented as a fully-parallel-architecture VLSI chip. the chip is organized as a 2D array of delay-encoding logic units, which works as an automatic best-match-sequence search network. the circuit operates as digital logic in the signal domain, while analog processing is carried out in the time domain. As a result, high-speed low-power operation has been established with a small chip area. A prototype chip was designed and fabricated in a 0.18-/spl mu/m CMOS technology, and a typical matching time of 80 ns with a power dissipation of 2 mW under a 1.3 V power supply has been demonstrated.

关键词： Delay Dynamic programming Programmable logic arrays logic arrays logic programming CMOS technology Very large scale integration Automatic logic units CMOS logic circuits logic circuits

来源：评论

学校读者我要写书评

暂无评论

the need for declarative security mechanisms

The need for declarative security mechanisms

引用

EUROMICRO conference

作者： S. Probst J. Kung Software Competence Center Hagenberg GmbH Austria FAW Austria

Today, security is recognized as an absolute need in application development. programming environments offer mechanisms and concepts allowing an easy integration of security mechanisms into the application. However, this often has to be done by hand, resulting in extra effort that has to be made during the development cycle. Furthermore, the code is popped up with statements that enforce application or site-specific security requirements, having negative impact on the reusability and maintainability of the code. the goal of this work is to promote the usage of declarative security mechanisms which allow the decoupling of security logic completely from the application logic. Furthermore, the framework GAMMA is presented, that offers several declarative authentication, access control, and auditing mechanisms that can be transparently integrated into software applications.

关键词： Application software Information security Access control logic Authorization Runtime programming environments Authentication Protection programming profession

来源：评论

学校读者我要写书评

暂无评论

Self-aligned access gate technology for compact embedded flash memories

Self-aligned access gate technology for compact embedded fla...

引用

European conference on Solid-State Device Research (ESSDERC)

作者： P. Goarin R. van Schaijk M. Slotboom P.G. Tello M. van Duuren N. Akil W. Baks Philips Research Leuven Leuven Belgium

this paper investigates an approach to solve the access gate misalignment issues linked to the poly-CMP process of compact cells. the process of this self-aligned access gate approach is be detailed and measurements demonstrate the viability of this approach and show that the issues associated with access gate misalignment, such as parameter spread among cells during source side injection programming, are gone. this paves the way for aggressively scaled low power embedded nonvolatile memories for the next CMOS generations.

关键词： Character generation Flash memory Tunneling Voltage Distributed power generation Power generation CMOS logic circuits logic devices logic programming Nonvolatile memory

来源：评论

学校读者我要写书评

暂无评论

DCPP: Knowledge representation for planning processes

DCPP: Knowledge representation for planning processes

引用

8th international conference on Knowledge-Based Intelligent Information and Engineering Systems, KES 2004

作者： Tanaka, Takushi Tanaka, Koki Department of Computer Science and Engineering Fukuoka Institute of Technology 3-30-1 Wajiro-Higashi Higashi-kuFukuoka811-0295 Japan Community Technology Research Co. Ltd 127-2-602 Imazyuku-machi Nishi-kuFukuoka819-0164 Japan

ISBN: (纸本)9783540232063

We have developed a language called DCPP (Definite Clauses for Planning Processes) to represent knowledge concerning situations changing due to a process. the knowledge coded by DCPP is translated into definite clauses and forms a logic program that simulates the situation changes. Since data flows are bilateral in logic programming, the program works not only as a symbolic simulator for changing situations, but also as a planner for generating a process to achieve the required situation. As an example of knowledge encoding, we will show the start-up process for an electric power plant. © Springer-Verlag Berlin Heidelberg 2004.

关键词： logic programming

来源：评论

学校读者我要写书评

暂无评论

Investigation of quantum effects in monolithic integrated circuits based on RTDs and HEMTs with a quantum hydrodynamic transport model 30

Investigation of quantum effects in monolithic integrated ci...

引用

30th international Symposium on Compound Semiconductors

作者： Höntschel, J Klix, W Stenzel, R Univ Appl Sci Dresden Dept Elect Engn D-01069 Dresden Germany

ISBN: (纸本)0780386140

this paper describes the first reported numerical simulations of monolithic integrated circuits of resonant tunneling structures and high electron mobility transistors based on In0.53Ga0.47As/In0.52Al0.48As/InP with a quantum hydrodynamic transport model (QHD-Model). For the numerical investigations the device simulator SIMBA is used, which is capable to handle complex device geometries as well as various physical models represented by certain sets of partial differential equations. As a new feature the involvement of a quantum potential is implemented to include quantum mechanical transport phenomena in different quantum size devices. the coupled solution of this quantum correction potential with a hydrodynamic transport model allows to model resonant tunneling of electrons through potential barriers and particle build up in potential wells. Different structure variations, especially the resonant tunneling diode area and the gate width of the HEMT structure show variable modulations in the output characteristics of the monolithic integrated device.

关键词： Circuit simulation HEMTs Hydrodynamics Integrated circuit modeling logic devices MODFETs Monolithic integrated circuits Quantum mechanics Resonant tunneling devices Voltage

来源：评论

学校读者我要写书评

暂无评论

Detection of heap management flaws in component-based software

Detection of heap management flaws in component-based softwa...

引用

EUROMICRO conference

作者： H. Verta T. Saridakis NOKIA Research Center Finland

Heap management is responsible for the allocation of heap segments to a running application. When the logic of the heap management is left to the application programmer, as it is the case with programming languages like C and C++, a number of problems may arise. One kind of problems related to imperfect heap management is that of memory leaks, which happen when heap segments become inaccessible before they are deallocated. Closely related to that problem, from the standpoint of programmer's operations, is the problem of corrupted heap due to redundant attempts to deallocate the same heap segment that has been previously allocated. this work presents a method for detecting such flaws in heap management. Our method is based on traces collected during the execution of an application and their off-line analysis in order to determine the presence of memory leaks and redundant deallocations of the same heap segment. When our method is applied to component-based embedded software, it allows to locate the component that had allocated heap memory and did not deallocate it before exiting, as well as the components that are responsible for the redundant deallocation of heap segments.

关键词： Application software logic programming Computer languages programming profession Memory management Embedded software Software systems Writing Runtime Java

来源：评论

学校读者我要写书评

暂无评论

FPGA-based islanding detection for grid connected inverter

FPGA-based islanding detection for grid connected inverter

引用

Annual conference of Industrial Electronics Society

作者： K. Tunlasakun K. Kirtikara S. thepa V. Monyakul Joint Graduate School of Energy and Environment KMUTT King Monzkut's University of Technology Thonburi Bangmod Thungkru Bangkok Thailand National Science and Technology Development Agency Thailand

this paper presents the development of a FPGA based islanding detection for grid connected inverter with simple under/over voltage and under/over frequency islanding detection algorithms. the design is based on the Xilinx chip XC4005E field programmable gate array (FPGA). the FPGA is used for all system logic function. this allows software development, testing, implementation and modification of logic circuitry without hardware modification. the FPGA monitor the under/over voltage and under/over frequency of utility grid and processed the value of voltage and frequency for turned on-off relay between grid connected inverter and utility grid. the results are provided to demonstrate the effectiveness of the design.

关键词： Inverters Field programmable gate arrays Frequency Voltage control Circuit testing logic testing Detection algorithms Programmable logic arrays logic functions programming

来源：评论

学校读者我要写书评

暂无评论

A LabVIEW program for the stimulation of a vergence open-loop response

A LabVIEW program for the stimulation of a vergence open-loo...

引用

Annual Northeast Bioengineering conference

作者： A.P. Daftari T.L. Alvarez F.B. Chua J.L. Semmlow C. Pedrono Department of Biomedical Engineering New Jersey Institute of Technology Newark NJ Department of Biomedical Engineering New Jersey Institute of Technology Newark NJ USA Depart of Biomedical Engineering Rutgers University New Brunswick NJ Fssilor International S. A. Saint Maur Saint Maur des Fossés France

the vergence oculomotor system is used in viewing objects moving in depth, such as when a baseball player tracks a ball moving towards him. Based on the dual mode theory it is composed of two components; a fast preprogrammed initiating component and a slow feedback-controlled sustaining component. the initiating component is described using open-loop control and the sustaining component is described as a closed-loop feedback control system. Previously, several languages have been utilized to develop programs to study and isolate the open-loop portion of vergence eye movements. Presenting a subject with a stimulus, which repetitively provokes an open-loop response, has been speculated to cause stronger adaptation in the vergence system . this study utilizes Lab VIEW 6i in developing a program capable of real-time experimentation to study the open-loop portion of vergence eye movements. LabVIEW offers many options to the programmer and operator with a user-friendly interface for program development as well as an open architecture, allowing flexibility for future studies. this research validated that LabVIEW can be used for open-loop experimentation through a comparison proving that responses obtained from this code are similar to data published in the literature.

关键词： Eyes Biomedical engineering Feedback control Target tracking Feeds Voltage Surgery Open loop systems programming profession Retina

来源：评论

学校读者我要写书评

暂无评论

logic for programming, Artificial Intelligence, and Reasoning: 10th international conference, LPAR 2003

Logic for Programming, Artificial Intelligence, and Reasonin...

引用

10th international conference, LPAR 2003

the proceedings contain 30 papers from the logic for programming, Artificial Intelligence, and Reasoning: 10th international conference, LPAR 2003. the topics discussed include: congruence closure with integer offsets;a machine-verified code generator;extensions of non-standard inferences to description logics with transitive roles;improving dependency pairs;extended caconicity of certain topological properties of set spaces;ordered diagnosis;minimizing automata on infinite words;automatic structures of bounded degree and strict geometry of interaction graph models.

关键词： Automata theory

来源：评论

学校读者我要写书评

暂无评论

10th international conference on logic for programming, Artificial Intelligence, and Reasoning, LPAR 2003

引用

10th international conference on logic for programming, Artificial Intelligence, and Reasoning, LPAR 2003

ISBN: (纸本)3540201017

the proceedings contain 30 papers. the special focus in this conference is on logic for programming, Artificial Intelligence, and Reasoning. the topics include: From tableaux to automata for description logics;imperative object-based calculi in co-inductive type theories;congruence closure with integer offsets;a translation characterizing the constructive content of classical theories;extensions of non-standard inferences to description logics with transitive roles;extended canonicity of certain topological properties of set spaces;algebraic and model theoretic techniques for fusion decidability in modal logics;on closure under complementation of equational tree automata for theories extending ac;completeness of e-unification with eager variable elimination;handling equality in monodic temporal resolution;computing preferred answer sets in answer set programming;a syntax-based approach to reasoning about actions and events;minimizing automata on infinite words;accelerating proof search for zero-one linear constraint systems;NP-completeness results for deductive problems on stratified terms;automatic structures of bounded degree;an optimal automata approach to ltl model checking of probabilistic systems;a logical study on qualitative default reasoning with probabilities;strict geometry of interaction graph models and connection-based proof construction in non-commutative logic.

关键词：

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共104页 << < 87 88 89 90 91 92 93 94 95 96 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：