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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

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

详细简洁

排序：

On the Generalization of Learned Constraints for ASP Solving in Temporal Domains 6th

On the Generalization of Learned Constraints for ASP Solving...

引用

6th International Joint conference on Rules and Reasoning (RuleML+RR)

作者： Romero, Javier Schaub, Torsten Strauch, Klaus Univ Potsdam Potsdam Germany

ISBN: (纸本)9783031215407;9783031215414

the representation of a dynamic problem in ASP usually boils down to using copies of variables and constraints, one for each time stamp, no matter whether it is directly encoded or via an action or temporal language. the multiplication of variables and constraints is commonly done during grounding and the solver is completely ignorant about the temporal relationship among the different instances. On the other hand, a key factor in the performance of today's ASP solvers is conflict-driven constraint learning. Our question is now whether a constraint learned for particular time steps can be generalized and reused at other time stamps, and ultimately whether this enhances the overall solver performance on dynamic problems. Knowing full well the domain of time, we study conditions under which learned dynamic constraints can be generalized and propose a simple translation of the original logic program such that, for the translated programs, all learned constraints can be generalized to other time points. Last but not least, we empirically evaluate the impact of adding the generalized constraints to an ASP solver.

关键词： Answer set programming Answer set solving Temporal reasoning

来源：评论

学校读者我要写书评

暂无评论

Towards Automated FPGA Compilation of Spiking Neural Networks

Towards Automated FPGA Compilation of Spiking Neural Network...

引用

IEEE International conference on Artificial Intelligence Circuits and Systems (AICAS)

作者： Ayan Shymyrbay Mohammed E. Fouda Ahmed Eltawil Department of ECE CEMSE Division King Abdullah University of Science and Technology Thuwal Saudi Arabia Rain Neuromorphics Inc. San Francisco CA USA

ISBN: (数字)9798350383638

ISBN: (纸本)9798350383645

Edge computing and the Internet of things (IoT) have created a growing demand for low-cost and low-power field programmable gate arrays (FPGAs) to facilitate rapid and efficient processing. At the same time, spiking neural networks (SNNs) have gained popularity for their capacity to replicate biological processes and efficiently handle temporal data, making them a favorable choice in various IoT applications. However, designers must possess a comprehensive knowledge of FPGA architecture and programming methodologies to fully exploit the potential of FPGAs for SNN implementations. In this work, we propose SpiComp framework aiming to automate the implementation of SNNs on FPGAs, leveraging their reconfigurable nature and high efficiency without requiring domain expertise. Results show that the SNN implementations produced by the framework achieve high throughput and have a small energy footprint compared to other implementations in the literature while providing design automation.

关键词： Design automation Circuits and systems Spiking neural networks Computer architecture logic gates programming throughput

来源：评论

学校读者我要写书评

暂无评论

the Stream Reasoning System I-DLV-sr: Enhancements and Applications in Smart Cities 6th

The Stream Reasoning System I-DLV-sr: Enhancements and Appli...

引用

6th International Joint conference on Rules and Reasoning (RuleML+RR)

作者： Calimeri, Francesco Mastria, Elena Perri, Simona Zangari, Jessica Univ Calabria Dept Math & Comp Sci Arcavacata Di Rende Italy DLVSyst Srl Arcavacata Di Rende Italy

ISBN: (纸本)9783031215407;9783031215414

I-DLV-sr is a recently proposed logic-based system for reasoning over data streams, which relies on a framework enabling a tight, fine-tuned interaction between Apache Flink and the ASP system I-2-DLV. Flink enables distributed stream processing, whereas I2-DLV acts as full-fledged reasoner capable of transparently performing incremental evaluations. In this paper, we present a new and optimized version of I-DLV-sr that features an improved management of parallel computations and communications between Flink and I-2-DLV, along with new linguistic extensions aiming at allowing its effective application in smart city scenarios.

关键词： Stream reasoning Stream processing Knowledge representation and reasoning Answer set programming Smart city Applications

来源：评论

学校读者我要写书评

暂无评论

Design of Memristor Based logic Gates for Low Power Wireless Sensors in Biomedical Applications 6

Design of Memristor Based Logic Gates for Low Power Wireless...

引用

6th IEEE International conference on Signal Processing, Computing and Control, ISPCC 2021

作者： Peddi, Anudeep Padma, A.S. Hassan, Saadia Polam, Sudhanshu Reddy Sravanth, R.K. Srinivas, K.K. VNRVJIET Dept.of ECE Hyderabad India

ISBN: (纸本)9781665425520

Current biomedical applications are using numerous wired and wireless sensors that keep track of various biological signals. these signals are continuously tracked, processed, and monitored for different biomedical applications. In this process, power consumption of the sensor is one of the important parameters to investigate. Most of the signal processing mechanisms is performed in mobile or computer-based applications. But data conversion and transfer can only be performed in sensor hardware where basic arithmetic operations are evaluated on voltages or current values. this work make use of a new and simple method to perform analog arithmetic operations, in which signals are interpreted and also stored using the memristor, rather than voltage or current. A new circuit is also being developed for programming the memristor's memristance with a predetermined analog value. the power dissipated by CMOS EX-NOR gate is highest, the power dissipated by memristor NOR gate is least. this paper will use the LTspice simulator, a common version of SPICE, to address memristor behavior. © 2021 IEEE.

关键词： Medical applications

来源：评论

学校读者我要写书评

暂无评论

Orion - A Novel programming Platform for Honing logical Abilities 6

Orion - A Novel Programming Platform for Honing Logical Abil...

引用

6th International conference on Advanced Computing and Communication Systems (ICACCS)

作者： Khandhar, Dharmil Parekh, Raj Narvekar, Meera Univ Mumbai Autonomous Coll Informat Technol Dwarkadas J Sanghvi Coll Engn Mumbai Maharashtra India Univ Mumbai Autonomous Coll Comp Engn Dwarkadas J Sanghvi Coll Engn Mumbai Maharashtra India

ISBN: (纸本)9781728151977;9781728151960

In this digital era with hundreds of aspiring programmers, there are numerous plafforms and sources to learn and master any of the hundreds of programming languages. In spite of this, the logic-cracking skills required for programming is something that demands more effort than learning the controls or semantics of a particular programming language. Building logic is a cognitive process that is achieved through solving challenges and continuous practice. this work aims to provide the exact tools required to train and develop logical and analytical skills to proficiently code in any programming language.

关键词： Interpreter Design logic Learning System Progressive Web App GoLang Lexer Parser Tokenise

来源：评论

学校读者我要写书评

暂无评论

the Floating Fuzzy logic based Evaluation Model for Appraising the Student Performance

The Floating Fuzzy Logic based Evaluation Model for Appraisi...

引用

International conference on Information Technology, Information Systems and Electrical Engineering (ICITISEE)

作者： Ditdit Nugeraha Utama Computer Science Department BINUS Graduate Program – Master of Computer Science Bina Nusantara University Jakarta

Membership function (MF) in process of fuzzy logic is very meaningful. It depicts the core of model. It can be adopted from the expert judgment and also coming from the configuration of data behavior. the study is an experimental research by analyzing time-series data behavior in developing the MF by using the programming language Python. the MF academically produced called as floating MF (FMF). Such a FMF operated to realize the fuzzy logic conception in an evaluation model. the constructed model is a model in simply measuring the student's performance. By using the ten series-data of student's grade point average (GPA) and absence per annual (APS) values, the model can simulate the moving students' performance per semester. When compared to the conventional FL based model, the proposed model has a similarity average 85%.

关键词： Fuzzy logic Electrical engineering Behavioral sciences Information technology Python Information systems

来源：评论

学校读者我要写书评

暂无评论

Optimizing Industrial Energy Systems: A Multi-Objective Approach to Decarbonization and Cost Efficiency

Optimizing Industrial Energy Systems: A Multi-Objective Appr...

引用

Smart Power & Internet Energy Systems (SPIES), International conference on

作者： Simon Kammerer Constantin Chaumet Christian Rehtanz Jakob Rehof Institute of Energy Systems Energy Efficiency and Energy Economics TU Dortmund University Dortmund Germany Department of Computer Science Software Engineering by Algorithms and Logic TU Dortmund University Dortmund Germany Lamarr Institute for Machine Learning and Artificial Intelligence TU Dortmund University Dortmund Germany

ISBN: (数字)9798350368864

ISBN: (纸本)9798350368871

the transition to a renewable energy (RE) based future necessitates transformative changes in the industrial sector's energy infrastructure. As industries strive to maintain economic viability while achieving decarbonization goals, there is a pressing need for innovative strategies that integrate renewable energy sources, enhance energy efficiency, and optimize energy procurement. this paper presents a comprehensive approach that leverages a combination of simulation and optimization methods to address the challenges of designing and operating complex future industrial energy systems. A nested optimization approach is proposed, which combines Mixed-Integer Linear programming (MILP) for operational optimization with black-box optimization techniques. the approach enables exploration of solutions for optimal infrastructure investment as well as operational strategies, allowing companies to benchmark a wide range of infrastructure and contractual options. this provides these companies with the means to determine long-term, cost-effective pathways that minimize CO2 emissions, avoid malinvestments, and ensure the sustainable operation of energy systems. A case study involving a German waste processing company illustrates the practical application of our approach, highlighting how strategic decisions in asset dimensioning, energy flexibility utilization, and renewable integration can significantly impact both costs and emissions.

关键词： Procurement Renewable energy sources Costs Closed box Optimization methods Companies Pressing Low carbon economy Mixed integer linear programming Investment

来源：评论

学校读者我要写书评

暂无评论

Reconfigurable Hardware Implementation of CNN Accelerator using Zero-bypass Multiplier

Reconfigurable Hardware Implementation of CNN Accelerator us...

引用

International conference of Electronics, Communication and Aerospace Technology (ICECA)

作者： M. Vanitha Guntamadugu Ganesh G thirumalesh E tharun Dept. of ECE Saveetha Engineering College Chennai India

ISBN: (纸本)9781665482721

Convolutional Neural Networks (CNNs) have undergone accelerated growth due to their capacity to resolve challenging image recognition problems. they are utilized to handle an increasing number of difficulties, such as speech recognition, and the segmentation and categorization of images. the ever-increasing processing needs of CNNs are spawning the market for hardware support strategies. Moreover, CNN workloads are of a streaming nature, which makes them a good choice for reconfigurable hardware architectures like as Field Programmable Gate Arrays (FPGAs). Neural networks are a sort of computer architecture inspired by the way the human brain processes information. A artificial neural network consists of a large number of densely interconnected individual processors, or neurons. By adding a simplified bypass zero multiplier to the neural computing of the system, the proposed system may reduce the processing time and complexity while handling a broad range of datasets. the suggested CNN comprises of two hidden layers and two convolutional layers. the proposed CNN is implemented on a Xilinx zynq 7z020 FPGA using the verilog HDL programming language, with the consideration for space utilization, power estimation, and logical utilization.

关键词： Image resolution Image recognition Neurons Computer architecture Programmable logic arrays logic gates Hardware

来源：评论

学校读者我要写书评

暂无评论

More than Structured programming in Primary School Syllabus 2nd

More Than Structured Programming in Primary School Syllabus

引用

22nd International conference on Interactive Collaborative Learning (ICL) / 48th IGIP International conference on Engineering Pedagogy - Impact of the 4th Industrial Revolution on Engineering Education

作者： Fatourou, Eleni Zygouris, Nikolaos C. Loukopoulos, Athanasios Stamoulis, Georgios, I Vavougios, Denis Dept Comp Sci & Telecommun 2-4 Papasiopoulou St Lamia 35100 Greece Dept Comp Sci & Bioinformat 2-4 Papasiopoulou St Lamia 35100 Greece Univ Thessaly Elect & Comp Engn Dept 37 Glavani St Volos 38221 Greece Univ Thessaly Dept Special Educ Volos 38221 Greece

ISBN: (纸本)9783030402716;9783030402709

Computer programming was introduced to primary schools by many countries with the aim of advancing logic and algorithmic thinking of students. the bulk of a typical syllabus (e.g., in the case of Greece) for computer programming courses at 5th and 6th grade primary school, consists of teaching structured programming concepts. While the comprehension of basic program flow concepts such as branch instructions and loops is of paramount importance, overextending the teaching of the basics may lead to students losing their interest due to lack of challenge. On the other hand, in a mixed classroom environment there exist both students with substantial skills in modern computer technology and others with smaller such experience, e.g., due to societal and economic factors. To avoid discouraging both the talented pupils by re-visiting the same topics and the less experienced ones by not providing an alternative way of learning, we investigate instructing advanced computer programming concepts in a playful way using pair programming. Results reveal that teaching advanced programming concepts using pair programming can improve the overall programming skills of mixed classroom students.

关键词： Structured programming Advanced programming Syllabus Pair programming Diverse classrooms Scratch

来源：评论

学校读者我要写书评

暂无评论

Auto-tuning pid based on extremum seeking algorithm for an industrial application 6th

Auto-tuning pid based on extremum seeking algorithm for an i...

引用

6th International conference on Advanced Engineering theory and Applications, AETA 2019

作者： Arias-Patiño, A. Zapata-Lombana, A. Salazar-Caceres, F. Bueno-López, M. Department of Automation Engineering Universidad de la Salle Bogotá Colombia Department of Electrical Engineering Universidad de la Salle Bogotá Colombia

ISBN: (纸本)9783030530204

the PID controller implementation on the industry is an active area of study, however, according to the technique used is possible not having optimal and good performance due to the difficulties in the process identification and parameter tuning of the system since there is no full information of the industrial process. In last years PID auto-tuning methodologies have been developed which let synthesize efficient polynomial controllers because the parameters, generally, are optimal in some sense. In this paper is showed a PID auto-tuning through Extremum Seeking algorithm (ES) in a flow control plant implemented with blocks programming in a programmable logic controller (PLC), this block system acquires input signals obtained by the plant sensors, in this case, a flow sensor, consequently a control signal is sent to the variable frequency drive of the pump system, the objective control is to maintain the flow constantly through the system in the desired reference. In the following section the block diagram of the controlled system is presented, the auto-tuning ES algorithm, the simulation results, and the real-time implementation on the industrial process, finally, some conclusions and final implementation comment considering some future work is developed. © Springer Nature Switzerland AG 2021.

关键词： Programmable logic controllers

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

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

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：