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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

492 篇 会议
29 篇 期刊文献
24 册 图书

馆藏范围

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

日期分布

学科分类号

382 篇 工学
- 347 篇 计算机科学与技术...
- 220 篇 软件工程
- 60 篇 控制科学与工程
- 40 篇 电气工程
- 22 篇 信息与通信工程
- 11 篇 电子科学与技术（可...
- 9 篇 机械工程
- 9 篇 建筑学
- 8 篇 力学（可授工学、理...
- 8 篇 土木工程
- 8 篇 生物医学工程（可授...
- 7 篇 材料科学与工程（可...
- 7 篇 交通运输工程
- 5 篇 仪器科学与技术
- 5 篇 生物工程
- 4 篇 化学工程与技术
113 篇 理学
- 93 篇 数学
- 13 篇 系统科学
- 12 篇 统计学（可授理学、...
- 10 篇 物理学
- 10 篇 生物学
29 篇 管理学
- 17 篇 管理科学与工程(可...
- 12 篇 图书情报与档案管...
- 8 篇 工商管理
12 篇 医学
- 10 篇 基础医学(可授医学...
- 10 篇 临床医学
- 7 篇 药学(可授医学、理...
4 篇 经济学
- 4 篇 应用经济学
4 篇 法学
- 4 篇 社会学
4 篇 教育学
- 4 篇 教育学
2 篇 农学

主题

88 篇 logic programmin...
24 篇 computer circuit...
20 篇 fuzzy logic
16 篇 semantics
15 篇 programming
15 篇 mathematical log...
15 篇 logics and meani...
14 篇 artificial intel...
13 篇 programming lang...
12 篇 linear programmi...
12 篇 programming tech...
11 篇 formal logic
11 篇 software enginee...
10 篇 logic gates
10 篇 logic
9 篇 genetic programm...
9 篇 algebra
9 篇 functional progr...
8 篇 web services
7 篇 programmable log...

机构

3 篇 cwi p.o. box 940...
2 篇 sri int menlo pk...
2 篇 huelva universit...
2 篇 department of co...
2 篇 trinity coll dub...
2 篇 ctr wiskunde & i...
2 篇 computer science...
2 篇 hanoi univ techn...
2 篇 department of me...
2 篇 università di pi...
2 篇 applied mathemat...
2 篇 fujitsu laborato...
2 篇 dept. of informa...
2 篇 industrial depar...
2 篇 department of ma...
2 篇 department of el...
2 篇 univ munich inst...
2 篇 faculty of elect...
2 篇 univ kent canter...
2 篇 vienna univ tech...

作者

3 篇 osorio m
2 篇 riedl l
2 篇 ortiz m
2 篇 yu yong
2 篇 kurz a
2 篇 casadei roberto
2 篇 kahl wolfram
2 篇 schobbens pierre...
2 篇 hennicker r
2 篇 ray oliver
2 篇 le van hung
2 篇 kifer michael
2 篇 bidoit m
2 篇 lin ying
2 篇 zhao na
2 篇 moto-oka t.
2 篇 stehr mark-olive...
2 篇 zhang xuan
2 篇 pianini danilo
2 篇 jaffar joxan

语言

537 篇 英文
7 篇 其他
1 篇 中文

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

共 545 条记录，以下是531-540 订阅

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

详细简洁

排序：

Application of the STEAM Methodology for the Design of a Scaled-Up Hydroprinting Robotic Arm using LEGO Mindstorms EV3

Application of the STEAM Methodology for the Design of a Sca...

引用

Advanced Learning Technologies on Education & Research (ICALTER), IEEE international conference on

作者： Blanca Topon Visarrea Emilio Muñoz Del Salto Ingenierí a Industrial Universidad Indoamé rica Quito Ecuador Ingeniería en Tecnologías de la Información Universidad Indoamé rica Quito Ecuador

ISBN: (数字)9798331510244

ISBN: (纸本)9798331510251

this paper presents the development and evaluation of a LEGO Mindstorms EV3-based robotic arm prototype designed to simulate an automated hydro-printing process. Using STEAM methodology, the prototype allowed students to apply fundamental programming, kinematics and automation concepts in an educational environment. Practices were carried out with 20 industrial engineering students, who were evaluated through a survey with Likert-type questions. the results showed that 85% of the students clearly understood the programming logic, re-flected in a median of 5. In addition, 82% of the students reported understanding the principles of arm motion and kinematics, with a median of 5. However, 22% of the students reported difficulties in understanding automation, with a median of 4. the design process of the prototype included the integration of motors, sensors and modular structures, which allowed the students to simulate a typical automated environment in industrial engineering. the results indicate that the prototype is effective in teaching key programming and kinematics concepts, but suggest the need to improve the educational approach to automation. this project reinforces the value of STEAM methodology in interdisciplinary teaching, providing contextualised and meaningful learning.

关键词： Surveys Automation Service robots Prototypes Kinematics Industrial engineering Manipulators Sensors Robots programming profession

来源：评论

学校读者我要写书评

暂无评论

A Mixed Integer Linear programming (MILP) Model for Optimal Design of Water Network

A Mixed Integer Linear Programming (MILP) Model for Optimal ...

引用

international conference on Modeling, Simulation and Applied Optimization

作者： Z. B. Handani H. Hashim S. R. Wan Alwi Z. A. Manan Faculty of Chemical and Natural Resources Engineering Universiti Malaysia Pahang Process Systems Engineering Centre (PROSPECT) Department of Chemical Engineering Universiti Teknologi Malaysia

ISBN: (纸本)9781457700033

this work presents the development of a new systematic technique to target fresh water consumption and wastewater generation for systems involving multiple contaminants when all options of water minimization including source elimination, reduction, reuse/recycle, outsourcing and regeneration are considered simultaneously. this problem is formulated as mixed integer linear programming (MILP) and implemented in Generalized algebraic Modeling System (GAMS). the consideration of process changes will lead to optimal design of minimum water utilization network. the MILP model proposed in this work can be used to simultaneously generate the minimum water targets and design the minimum water network for global water-using operations for buildings and industry. the approach is illustrated by using an industrial involving a chlor-alkali plant. Significant water savings for the industrial case study is achieved, illustrating the effectiveness of the proposed approach.

关键词： Mathematical model Design Minimum water network Water management hierarchy MILP

来源：评论

学校读者我要写书评

暂无评论

Using Artificial Intelligence to Convert Code to Another programming Language

Using Artificial Intelligence to Convert Code to Another Pro...

引用

Smart Information Systems and Technologies (SIST), IEEE international conference on

作者： Oleksii Matsiievskyi Tetyana Honcharenko Olga Solovei Tamara Liashchenko Igor Achkasov Volodymyr Golenkov Dept. of Information Technologies Kyiv National University of Construction and Architecture Kyiv Ukraine

ISBN: (数字)9798350374865

ISBN: (纸本)9798350374872

this study presents a solution to the problem of automating the conversion of program code between different programming languages using artificial intelligence (AI) technologies this area is becoming increasingly relevant with the development of multilingual projects and the need to integrate existing solutions written in different programming languages. the difficulty of translating code between programming languages lies not only in the syntactic differences between languages, but also in preserving the semantics and logic of the original code. Artificial intelligence can help to recognize patterns and dependencies in the code, which will allow you to more effectively adapt the code to the target language, taking into account its features. the use of machine learning algorithms, in particular neural networks, allows you to develop systems that can learn from code examples and independently improve their conversion algorithms. Such systems analyze the abstract syntax tree (AST) of the code, create intermediate representations, and generate the target code. Various tools and platforms have been developed to simplify this process and increase its accuracy. the process of code transformation with the help of AI is used in many areas, including refactoring existing software, integrating systems written in different languages, and in the educational process, where it can be used to teach students the basics of different programming languages.

关键词： Training Computer languages Codes Accuracy Machine learning algorithms Neural networks Training data

来源：评论

学校读者我要写书评

暂无评论

Comparison of Regression Analysis, Artificial Neural Network and Genetic programming in Handling the Multicollinearity Problem

Comparison of Regression Analysis, Artificial Neural Network...

引用

4th international conference on Modelling,Identification and Control(ICMIC 2012)

作者： A.Garg School of Mechanical and Aerospace Engineering Nanyang Technological University 50 Nanyang Ave Singapore 639798

Highly correlated predictors in a data set give rise to the multicollinearity problem and models derived from them may lead to erroneous system analysis. An appropriate predictor selection using variable reduction methods and Factor Analysis (FA) can eliminate this problem. these methods prove to be commendable particularly when used in conjunction with modeling methods that do not automate predictor selection such as Artificial Neural Network (ANN), Fuzzy logic (FL), etc. the problem of severe multicollinearity is studied using data involving the estimation of fat content inside body. the purpose of the study is to select the subset of predictors from the set of highly correlated predictors. An attempt to identify the relevant predictors is comprehensively studied using Regression Analysis, Factor Analysis-Artificial Neural Networks (FA-ANN) and Genetic programming (GP). the interpretation and comparisons of modeling methods are summarized in order to guide users about the proper techniques for tackling multicollinearity problems.

关键词： Multicollinearity, Factor Analysis, Genetic programming, Principal Component Analysis, Artificial Neural Network

来源：评论

学校读者我要写书评

暂无评论

Information theoretical approach to minimization of AND/EXOR expressions of switching functions

Information theoretical approach to minimization of AND/EXOR...

引用

international conference on Telecommunications in Modern Satellite, Cable and Broadcasting Service (TELSIKS)

作者： V. Shmerko D. Popel R.S. Stankovic V. Cheushev S. Yanushkevich Department of Computer Aided Design Systems Technical University of Szczecin Poland Department of Computer Science State University of Informatics and Radioelectronics of Belarus Minsk Belarus Department of Computer Science University of Nis Yugoslavia Department of Programming Technologies State University Minsk Belarus

In modern circuit design, the Shannon decomposition of switching functions is widely used. On the other hand, in information theory of telecommunication, the Shannon entropy used as a measure to represent the information in numerical values, is a key notion. In this paper, we relate these two concepts, belonging to different areas, into an approach to the minimisation of exclusive-or sum-of-products (AND/EXOR) expressions for switching functions. the Shannon decomposition, and the closely related Davio decomposition for AND/EXOR expressions are interpreted in terms of basic concepts in the information theory. thanks to that, we have proposed an entropy based strategy for minimization of AND/EXOR expressions. We have provided a comparison and an experimental verification of this strategy with some known heuristic minimization strategies using benchmarks. In some cases, our program Info-EXOR produces extremely better results. Moreover, the information theory interpretation of classical decomposition of switching functions offers a new point of view to the existing design styles.

关键词： Minimization Entropy Information theory Switching circuits Telecommunication switching Circuit synthesis Data structures Boolean functions Electronic mail logic design

来源：评论

学校读者我要写书评

暂无评论

Distributed process monitoring and control using FPGA

Distributed process monitoring and control using FPGA

引用

international conference on Wireless Communication, Vehicular Technology, Information theory and Aerospace and Electronic Systems Technology (Wireless VITAE)

作者： Syed Waqad Ali Hashmi Muhammad Rehan Muhammad Aamir Haresh Kumar Faraz Liaquat Sir Syed University of Engineering and Technology Karachi PK Department of Electronic Engineering Sir Syed University of Engineering & Technology Karachi Pakistan

this paper presents a system to implement a process monitoring and control system on FPGA in order to replace PLC's from any industrial environment. the system implemented contains slave nodes being monitored and controlled through a single master node connected to a PC. this enables the centralized control of any industrial environment with plants distributed on considerable distances. the master FPGA is implemented in order to reduce the load from the PC as it collects the data from all the slaves over a wireless link. Wireless links provide possibility of long distance control. It can be a simple RF transceivers or a GSM modem. the slave FPGA collects data from different sensors and processes them in order to calculate the desired actuator response to control the respective parameters. these limits, with in which the parameters are to be limited, are sent on the wireless link from the master to individual Slave and gets updated using the GUI on the PC. the advantage of using FPGA is that they can be programmed in system without the need of detaching it from the system. this feature gives an advantage over a PLC which requires disconnection from the system when the internal programming needs to be changed. the only disadvantage was that the separate power switching circuits were designed for power switching. It is observed that the control and monitoring was possible in real time due to high data rate and the values were controlled well within the limits defined by the user.

关键词： Field programmable gate arrays Temperature sensors Monitoring Data acquisition logic gates Process control

来源：评论

学校读者我要写书评

暂无评论

An Orderly Charging Control Strategy for Electric Bus

An Orderly Charging Control Strategy for Electric Bus

引用

Electronic Technology, Communication and Information (ICETCI), IEEE international conference on

作者： Wei Zheng Xiaoyan Li Chenggong Liu Xiaoguang Liu Binbin Huang Yunfu Power Supply Bureau of Guangdong Power Grid Co. Ltd. Yunfu China

ISBN: (数字)9798350361643

ISBN: (纸本)9798350361650

Under the background of dual-carbon, a large number of large-capacity electric buses are connected to the grid for charging, and the peak superposition of charging load brings significant heavy overload operation risk to the urban power grid, which is difficult to upgrade in time. To solve this problem, considering the social service nature and charging scenario of electric operating vehicles, this paper first proposed the concept of electric bus charging system integrating photovoltaic, energy storage and charging facilities, and then took the minimum current at the entrance of the electric bus charging system as the optimization goal, and the light-storage operation of the electric bus charging system and the operating state of the electric bus as the constraints. the electric bus-energy storage joint control model is constructed. Finally, a simulation example is used to verify the effectiveness of the strategy proposed in this paper. the highly energy self-sufficiency of the electric bus charging system reduces the heavy overload operation risk of the distribution network, improves the operation efficiency of the power grid, and reduces the operating cost while ensuring the normal operation of the traffic system.

关键词： Photovoltaic systems Analytical models Distribution networks programming logic gates Linear programming Power grids

来源：评论

学校读者我要写书评

暂无评论

Research on Adaptive Software Development System Driven by ODBAM Tools and Network Software Analysis

Research on Adaptive Software Development System Driven by O...

引用

Electronic Technology, Communication and Information (ICETCI), IEEE international conference on

作者： Yifan Lan School of Computing Beijing Jiaotong University Weihai China

ISBN: (数字)9798350361643

ISBN: (纸本)9798350361650

this paper proposes an implementation method of software interface based on functional modeling. then according to the characteristics of SVG, the corresponding interface is automatically generated. It can effectively improve the work efficiency of developers. the generated SVG interface and JavaScript script work together to realize the full capabilities of the entire software. the main research contents include the abstraction and construction of network structure software based on agents, the adaptive and self-evolution mechanism of dynamic binding, the design and implementation of ODAM software based on organizational abstraction, the strategic expression language SADL based on self-adaptation and self-evolution and other core technologies. the system consists of ODBAM Tools, a network software analysis and development tool set, a programming tool set, and an operation support platform. An abstract interface designer allows users to intuitively specify the functional features of a software interface; it can automatically generate interfaces that match the display features of various terminals based on the functional features of the user interface. this paper uses SVG files to show the appearance of the final application interface, and uses JavaScript scripts to complete specific processing logic. With this tool, developers can write one program at a time. In this way, program interfaces are automatically generated multiple times for different devices.

关键词： Analytical models Adaptation models Adaptive systems Software algorithms User interfaces programming Software systems

来源：评论

学校读者我要写书评

暂无评论

Fuzzy logic based Soft Switched Active Clamped Boost Converter Charging Strategy for Electric Vehicles

Fuzzy Logic based Soft Switched Active Clamped Boost Convert...

引用

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

作者： R. Ramkumar M.Vinoth Kumar D. Sivamani K.Ramakrishnan College of Technology Trichy Tamilnadu India MAMCECT Trichy Tamilnadu India Rajalakshmi Engineering College Trichy Tamilnadu India

ISBN: (数字)9781728163871

ISBN: (纸本)9781728163888

A regulator dependent on Fuzzy rationale is actualized with its application to the guideline of delicate exchanged (ZVS) DC-DC converter is explored. the proposed fluffy rationale based lift converter can work with delicate exchanging, a nonstop inductor current, fixed exchanging recurrence, diminished exchanging stresses, and furthermore the guideline of yield voltage under different burden conditions. It likewise accomplishes quick powerful reaction and adjust to the shifting states of activity. this geography is demonstrated by utilizing the MATLAB programming and worked at limited higher changing recurrence to assess its shut circle execution in regard of burden guideline. the proposed geography gives an uncommon change in top overshoot and quick settling time and furthermore gives great dismissal capacity for flexibly and load aggravations.

关键词： Switches Inductors Capacitors Standards Zero voltage switching Voltage control Guidelines

来源：评论

学校读者我要写书评

暂无评论

Design and Implementation of Octave Plugin for HPCC Systems

Design and Implementation of Octave Plugin for HPCC Systems

引用

international conference on Computation System and Information Technology for Sustainable Solutions (CSITSS)

作者： K R Sathvik G Shobha Jyoti Shetty Dan Camper RV college of Engineering Bengaluru India LexisNexis Risk Solutions Alpharetta Georgia The United States

ISBN: (数字)9781728126197

ISBN: (纸本)9781728126203

HPCC Systems is an open source big data processing platform used to provide big data solutions. Big data processing applications such as image processing, audio processing often make use of mathematical computations, however currently there is little provision for execution of extensive mathematical computations on HPCC systems platform. Gnu Octave is an opensource programming language for numerical computations, to enable HPCC Systems to use the power of Octave this paper proposes design and implementation of an Octave plugin. Octave plugin gives HPCC Systems a new dimension for its mathematical computation ability, especially the simplicity of Octave enhances its numerical computation power. the Octave plugin is implemented and tested by executing an use case of fuzzy inference system for traffic control. the results demonstrate the successful integration of Octave plugin with HPCC Systems.

关键词： Engines Big Data Fuzzy logic Containers Buildings Traffic control Instruction sets

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共55页 << < 46 47 48 49 50 51 52 53 54 55 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：