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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

358 篇 会议
20 册 图书
7 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

257 篇 工学
- 238 篇 计算机科学与技术...
- 134 篇 软件工程
- 24 篇 控制科学与工程
- 15 篇 电气工程
- 11 篇 信息与通信工程
- 3 篇 仪器科学与技术
- 3 篇 电子科学与技术（可...
- 3 篇 石油与天然气工程
- 3 篇 农业工程
- 2 篇 材料科学与工程（可...
- 2 篇 土木工程
- 2 篇 生物医学工程（可授...
53 篇 理学
- 49 篇 数学
- 4 篇 生物学
- 4 篇 系统科学
- 2 篇 物理学
- 2 篇 化学
- 2 篇 统计学（可授理学、...
22 篇 管理学
- 14 篇 管理科学与工程(可...
- 10 篇 图书情报与档案管...
- 6 篇 工商管理
6 篇 医学
- 5 篇 基础医学(可授医学...
- 4 篇 临床医学
- 2 篇 公共卫生与预防医...
4 篇 教育学
- 4 篇 教育学
- 1 篇 心理学(可授教育学...
4 篇 农学
- 4 篇 作物学
2 篇 文学
- 1 篇 中国语言文学
1 篇 哲学
- 1 篇 哲学
1 篇 法学
- 1 篇 社会学

主题

75 篇 logic programmin...
19 篇 fuzzy logic
18 篇 programming
18 篇 logic gates
16 篇 artificial intel...
15 篇 mathematical log...
14 篇 inductive logic ...
12 篇 logics and meani...
11 篇 software enginee...
11 篇 logic
11 篇 programming tech...
9 篇 computer science
8 篇 integer programm...
8 篇 semantics
7 篇 computer circuit...
7 篇 linear programmi...
7 篇 answer set progr...
7 篇 dynamic programm...
6 篇 languages
6 篇 computer archite...

机构

3 篇 univ potsdam pot...
3 篇 univ calabria di...
2 篇 brandeis univ wa...
2 篇 simon fraser uni...
2 篇 katholieke univ ...
2 篇 univ copenhagen ...
2 篇 katholieke univ ...
2 篇 ku leuven depart...
2 篇 department infor...
2 篇 vienna technol u...
2 篇 univ castilla la...
2 篇 carnegie mellon ...
2 篇 univ aarhus daim...
2 篇 at&t bell lab mu...
2 篇 natl univ irelan...
2 篇 natl inst inform...
2 篇 univ castilla la...
2 篇 univ nova lisboa...
2 篇 australian natl ...
2 篇 department of el...

作者

5 篇 gebser martin
5 篇 schaub torsten
4 篇 inoue katsumi
3 篇 nickles matthias
3 篇 fink michael
3 篇 schuller peter
2 篇 mileo alessandra
2 篇 mairson harry g.
2 篇 goncalves ricard...
2 篇 kung-kiu lau
2 篇 soria jose
2 篇 de raedt luc
2 篇 boustia narhimen...
2 篇 j.r. romero
2 篇 a. vallecillo
2 篇 woltran stefan
2 篇 lifschitz vladim...
2 篇 ferilli stefano
2 篇 sighireanu mihae...
2 篇 p. flener

语言

380 篇 英文
3 篇 其他
1 篇 西班牙文
1 篇 中文

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

共 385 条记录，以下是371-380 订阅

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

详细简洁

排序：

Holistic deductive framework theorem proving based on standard contradiction separation for first-order logic

Holistic deductive framework theorem proving based on standa...

引用

international conference on Intelligent System and Knowledge Engineering, ISKE

作者： Feng Cao Yang Xu Jian Zhong Guanfeng Wu National-Local Joint Engineering Laboratory of System Credibility Automatic Verification Southwest Jiaotong University Chengdu China

Nowadays, famous and powerful first-order logic automated theorem proving almost use saturation which called given-clause algorithm as the deductive framework. the given-clause algorithm is a divisional framework which divides the entire clauses into selected clause set and deductive clause set. It is efficient with large heuristic strategies and inference calculus. In this paper, we present a holistic deductive framework based on standard contradiction separation. the framework allows arbitrary clause to take part in deduction in the holistic clause set as many as possible which can take full advantage of synergetic effect between clauses. It is a multi-ary, dynamic, sound, complete deduction which can generate more new unit clauses as the goal. We implement the preliminary version of prover, it can find proofs in fewer inferential steps for some Mizar and TPTP problems under effective strategies. Related definitions and useful methods are proposed for programming search paths, avoiding repetition, simplifying clauses and the key strategies, they are contribute to finding proof more efficiently. Performance analysis and some conclusions are outlined at the end of this paper.

关键词： Complexity theory Algorithm design and analysis Inference algorithms Standards Performance analysis Planning Path planning

来源：评论

学校读者我要写书评

暂无评论

A Constraint logic programming Framework for the Synthesis of Fault-Tolerant Schedules for Distributed Embedded Systems

A Constraint Logic Programming Framework for the Synthesis o...

引用

12th IEEE international conference on Emerging Technologies and Factory Automation (ETFA 2007), vol.2

作者： Kare Harbo Poulsen Paul Pop Viacheslav Izosimov Informatics and Mathematical Modelling Department Technical University of Denmark Kongens Lyngby Denmark Computer and Information Science Department Linköping University Linkoping Sweden

We present a constraint logic programming (CLP) approach for synthesis of fault-tolerant hard real-time applications on distributed heterogeneous architectures. We address time-triggered systems, where processes and messages are statically scheduled based on schedule tables. We use process re-execution for recovering from multiple transient faults. We propose three scheduling approaches, which each present a trade-off between schedule simplicity and performance, (i) full transparency, (ii) slack sharing and (iii) conditional, and provide various degrees of transparency. We have developed a CLP framework that produces the fault-tolerant schedules, guaranteeing schedulability in the presence of transient faults. We show how the framework can be used to tackle design optimization problems. the proposed approach has been evaluated using extensive experiments.

关键词： logic programming Fault tolerant systems Embedded system Fault tolerance Processor scheduling Hardware Design optimization Timing Electromagnetic transients Costs

来源：评论

学校读者我要写书评

暂无评论

On procedure recognition in the Situation Calculus

On procedure recognition in the Situation Calculus

引用

Computer Science Society (SCCC) international conference Chilean FLAGGED

作者： J.A. Baier Departamento de Ciencia de la Computación Pontificia Universidad Católica de Chile Chile

the aim of our ongoing research is to give a method to construct intelligent tutoring systems for agents who are executing typical procedures in dynamic environments based on a logical framework. Typical procedures are similar to plans in the sense that they describe the actions an agent should execute to achieve a certain goal. In this paper we address what we consider is the first step toward the construction of this kind of system: procedure recognition. We formalize what it means that an agent is performing a procedure in the Situation Calculus, a logical first-order language extended with induction. Based upon this formalization, we give two different implementations. the first, which is directly based in our formalization, is proved to be quite inefficient. the second, significantly more efficient, arises from a logical reformulation of the original formalization. Procedures are represented through CONGOLOG programs, a logical interpreted language based on the Situation Calculus.

关键词： Calculus Intelligent agent Intelligent systems Aircraft Natural language processing Libraries Poles and towers Monitoring Position measurement logic programming

来源：评论

学校读者我要写书评

暂无评论

Well-formed Rules for Viewpoint Correspondences Specification

Well-formed Rules for Viewpoint Correspondences Specificatio...

引用

international Workshop on Enterprise Distributed Object Computing, EDOCW

作者： J.R. Romero A. Vallecillo Department Informática y Análisis Numérico Universidad de Córdoba Spain Department Lenguajes y Ciencias de la Computación Universidad de Málaga Spain

Service Enterprise Architecture (SEA) is nowadays gaining a wider audience in companies using large-scale IT systems. It combines service orientation and viewpoint modeling. Hence, service orientation is attractive due to its ability to virtualize component architecture and to enable easier composition and contractualization. However, services may be defined at multiple levels (business, application, technology) and viewpoint modeling permits to adopt a systematic approach. this paper compares several frameworks (Zachman, RM-ODP) and methodologies (TOGAF/ADM, Praxeme, thinkService). A special focus is made on their ability to handle viewpoint correspondences and evolution management.

关键词： Software systems Model driven engineering Context modeling Software engineering Intellectual property logic programming Code standards Standards organizations Computer languages Distributed processing

来源：评论

学校读者我要写书评

暂无评论

Architectural impacts of emerging transistors

Architectural impacts of emerging transistors

引用

Annual IEEE Northeast Workshop on Circuits and Systems (NEWCAS)

作者： A. Horváth X. S. Hu J. Nahas M. Niemier I. Palit R. Perricone B. Sedighi Faculty of Information Technology Pázmány Péter Catholic University Budapest Hungary Department of Computer Science and Engineering University of Notre Dame Notre Dame IN USA

At present there is much effort to determine if emerging information processing devices could have a positive impact on the performance of non-Boolean/non-von Neumann computer architectures. We explore this topic here by specifically considering how emerging transistor technologies might impact cellular neural networks (CNNs). For CNNs, prior work suggests that new transistor structures could be employed to better facilitate non-binary outputs - that in turn reduce the number of template/programming operations as well as the hardware paths needed to solve a given problem. Here, we present analysis that considers how the above approach could impact the performance/energy of the cells that comprise the CNN. We also consider how characteristics of other emerging transistor technologies could positively impact CNNs - particularly with respect to reduced program complexity.

关键词： Transistors Computer architecture logic gates Graphene Voltage control Performance evaluation Benchmark testing

来源：评论

学校读者我要写书评

暂无评论

Refining the impact of partially overlapping channels in wireless mesh networks through a cross-layer optimization model

Refining the impact of partially overlapping channels in wir...

引用

IEEE international conference on Wireless and Mobile Computing, Networking And Communications (WiMob)

作者： Amel Faiza Tandjaoui Mejdi Kaddour Department of Computer Science University of Oran Oran Algeria

ISBN: (纸本)9781509007257

Although many works exist on the subject, the real impact of partially-overlapping channels (POCs) on the capacity of multi-radio wireless mesh networks is not clearly established yet. In this paper, we propose a mathematical programming model to evaluate accurately the improvement in throughput that could be achieved if all the adjacent radio channels were exploited. Compared to previous works, our model tackles the problem with a fine-granularity control of a wider set of radio and network parameters related to routing, dynamic channel assignment, rate adaptation, transmission power and link scheduling. Due to its complexity, our problem is solved using column generation. Furthermore, we propose a suboptimal fast procedure to solve the induced subproblem of link selection with joint channel assignment, rate adaptation and power control. While our numerical experimentations on random topologies show that employing POCs leads to similar throughput increase (i.e., around 11%) to some previous work, our main result is that this gain is found to be almost negligible for more realistic topologies.

关键词： throughput Interference Optimization logic gates Signal to noise ratio Channel allocation Receivers

来源：评论

学校读者我要写书评

暂无评论

NFV-Based Distributed Service Function Chaining with Imperfect Information

NFV-Based Distributed Service Function Chaining with Imperfe...

引用

conference on Information and Knowledge Technology

作者： Mahsa Alikhani Marzieh Sheikhi Vesal Hakami School of Computer Engineering Iran University of Science and Technology Tehran Iran

ISBN: (纸本)9781665408509

Software-defined networking (SDN) and network function virtualization (NFV) technologies have emerged as promising paradigms in recent innovations for deploying users' demanded services. In this context, service function chaining (SFC) helps telecommunication operators to provide complex network services and improve their performance. this paper first addresses the service function chain deployment problem as an integer linear programming (ILP) problem under an impractical non-causal assumption about the network information for which we provide a solution in a centralized fashion. However, in real-life networks, distributed schemes are more scalable. Also, some parameters, such as the latency of the links, fluctuate over time because of the sharing nature of cloud datacenters, and their probabilistic distributions are unknown prior to deployment. therefore, we re-formulate the NFV -based SFC deployment problem as a noisy weighted congestion game and rely only on the actually experienced delay samples on each of the links to configure SFCs in a near-optimal fashion. In particular, we propose a multi-agent learning based algorithm using which each agent decides its VNF -based service chain only based on its own history of adopted actions and realized costs. By changing the network configuration, simulation results show that our proposed algorithm is at most 18% worse than the optimal solution, and in some situations, it behaves exactly the same as optimal results.

关键词： Technological innovation Service function chaining Simulation Games Integer linear programming Probabilistic logic Nash equilibrium

来源：评论

学校读者我要写书评

暂无评论

A 90 nm Static CMOS Technology Gate-Level Integrated Circuit Layout Classification and Error Detection Using EfficientNet Model

A 90 nm Static CMOS Technology Gate-Level Integrated Circuit...

引用

international conference on Humanoid, Nanotechnology, Information Technology, Communication and Control, Environment and Management (HNICEM)

作者： Lorena Ilagan Ronnie Concepcion Melvin Cabatuan Christian Raymund Roque University of Perpetual Help System DALTA Las Piñas City Philippines De La Salle University Manila Philippines Center for Applied Microelectronics and Programming Inc. Muntinlupa Philippines

ISBN: (纸本)9781665429979

Sensitivity issues of the internal design rule check (DRC) capability of an electronic design automation tool are highlighted when the design technology used is not properly configured. However, the integration of computer vision and computational intelligence in the field of constraint engineering and integrated circuit layout has high tendency to resolve this ambiguity. In this study, vision-based architecture is integrated with deep transfer learning network to classify NOT, NAND (no fold and two-finger), and NOR logic gates with 1 μm physical gate polysilicon and 0.5 μ m gate length using 90 nm CMOS technology. Inverter designs with contact (CO) error is generated using missing CO, metal 1 in place and not fully placed, and off positioned CO via an incorporated Python-triggered tool command language (TCL) program in the Synopsys platform. EfficientNetB7 perfectly classified NOT and NAND gates, and subcategorized NOT contact error designs. Overall, the developed seamless approach in classifying gate-level integrated circuit design and predicting contact errors using EfficientNetB7 is easy to replicate and can enhance layout assessment.

关键词： Integrated circuit layout Layout Transfer learning logic gates Tools CMOS technology Integrated circuit modeling

来源：评论

学校读者我要写书评

暂无评论

Architectural Design Methodologies for Complex Evolving Systems

Architectural Design Methodologies for Complex Evolving Syst...

引用

IEEE international conference on Engineering of Complex Computer Systems

作者： Urjaswala Vora C-DAC Mumbai Mumbai India

Software evolution is a costly yet unavoidable consequence of a successful application. To accommodate the requirements of today's fast changing business world, it is required to adapt the new business rules without disturbing the existing working system. For the business rules evolutions where old and new business rules and business data entities have to exist concurrently in the system, we proposed the Framework, CFFES (Control Flow Framework for Evolving Systems) which focuses on smooth and seamless evolution. CFFES also validates the different business rules as well as business data entities according to their temporal specifications. the Framework capabilities are to be compared with the existing methodologies which are aimed at prioritizing the quality factor - evolvability of a system. the principle of encapsulation in Object Oriented (OO) design overcame the flaws present in structured methodology due to separate data and process components and their interdependencies. However OO design has been proved inadequate in addressing design issues due to crosscutting concerns which are across the objects or components or packages. these crosscutting concerns are main obstacles in the evolution of OO systems. Aspect Oriented software development was proposed as a solution to this problem. In this paper we discuss the impact of evolution on the architectural design of a system designed using Aspect Oriented Design Methodology and a system designed using the Framework (CFFES) proposed by us.

关键词： Design methodology Costs Application software programming Software architecture Software quality logic Control systems Q factor Encapsulation

来源：评论

学校读者我要写书评

暂无评论

Nonvolatile Analog Switch

Nonvolatile Analog Switch

引用

international conference on Electronics, Computers and Artificial Intelligence (ECAI)

作者： Giorgiana-Catalina Ilie Chiranu Cristian Tudoran Otilia Neagoe Gheorghe Brezeanu Power Solutions Group ON Semiconductor University "Politehnica"of Bucharest Bucharest Romania Power Solutions Group ON Semiconductor Bucharest Romania

ISBN: (数字)9781728168432

ISBN: (纸本)9781728168449

this paper describes an analog switch capable of retaining its state even when powered off. It is in fact a floating gate transistor whose floating gate charge is programmed through a memory cell by means of Fowler-Nordheim tunneling. Its nonvolatile characteristic makes it very useful in low power consumption applications. Moreover, depending on the amount of charge stored into the floating gate, it can work with signals exceeding the supply voltage and provide small ON resistance when used in low voltage applications. this switch was designed in a 0.18um CMOS EEPROM process and HSPICE simulations were done to prove its functionality and performances.

关键词： Nonvolatile memory Transistors Switches Switching circuits logic gates Resistance programming

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共39页 << < 30 31 32 33 34 35 36 37 38 39 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：