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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

421 篇 会议
23 篇 期刊文献
19 册 图书

馆藏范围

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

日期分布

学科分类号

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

主题

83 篇 logic programmin...
21 篇 computer circuit...
19 篇 fuzzy logic
14 篇 programming
14 篇 artificial intel...
13 篇 semantics
13 篇 computer program...
13 篇 programming lang...
12 篇 mathematical log...
12 篇 programming tech...
12 篇 logics and meani...
10 篇 logic gates
10 篇 linear programmi...
9 篇 genetic programm...
9 篇 software enginee...
8 篇 logic
8 篇 web services
7 篇 programmable log...
7 篇 formal logic
7 篇 prolog (programm...

机构

3 篇 cwi p.o. box 940...
2 篇 sri int menlo pk...
2 篇 huelva universit...
2 篇 department of co...
2 篇 trinity coll dub...
2 篇 computer science...
2 篇 hanoi univ techn...
2 篇 department of me...
2 篇 fujitsu laborato...
2 篇 dept. of informa...
2 篇 industrial depar...
2 篇 department of ma...
2 篇 department of el...
2 篇 faculty of elect...
2 篇 univ kent canter...
2 篇 vienna univ tech...
2 篇 shanghai jiao to...
2 篇 department of co...
2 篇 la trobe univ de...
2 篇 university of ke...

作者

2 篇 riedl l
2 篇 ortiz m
2 篇 yu yong
2 篇 casadei roberto
2 篇 kahl wolfram
2 篇 ray oliver
2 篇 le van hung
2 篇 kifer michael
2 篇 lin ying
2 篇 zhao na
2 篇 moto-oka t.
2 篇 ueda kazunori
2 篇 stehr mark-olive...
2 篇 zhang xuan
2 篇 pianini danilo
2 篇 jaffar joxan
2 篇 dundua besik
2 篇 tanaka h.
2 篇 deng yuxin
2 篇 niemela i

语言

458 篇 英文
5 篇 其他

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

共 463 条记录，以下是21-30 订阅

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

详细简洁

排序：

A Linear Integer programming Method for Section Location in Distribution Networks Under Multiple Faults

A Linear Integer Programming Method for Section Location in ...

引用

Intelligent Power and Systems (ICIPS), international conference on

作者： Qiujie Wang Dewei Gan Chenxu Ji Hao Xiao Hong Tan College of Electrical Engineering and New Energy China Three Gorges University Yichang China

ISBN: (数字)9798331532765

ISBN: (纸本)9798331532772

Existing linearized section location methods for distribution networks are only applicable to single faults. In response, this paper proposes a linear integer programming method for section location in distribution networks that is suitable for multiple faults. Firstly, based on fault-tolerant mechanism analysis, a switch function tailored for multiple faults is developed. Secondly, the method incorporates phasor measurement unit (PMU) information fault information into the section location process, constructing a logical model for section location in distribution networks. Finally, by applying three transformation principles between logical and algebraic relationships, the logical model is converted into a linear integer programming model, which is solved using MATLAB+CPLEX. Case studies demonstrate that the proposed linear integer programming method for section location in distribution networks achieves fast location speed and robust fault tolerance, making it suitable for both single and multiple faults.

关键词： Integer programming Fault tolerance Fault tolerant systems Distribution networks Switches Fault location Mathematical models Phasor measurement units logic MATLAB

来源：评论

学校读者我要写书评

暂无评论

2022 international conference on Emerging Smart Computing and Informatics, ESCI 2022

2022 International Conference on Emerging Smart Computing an...

引用

4th IEEE international conference on Emerging Smart Computing and Informatics, ESCI 2022

ISBN: (纸本)9781665400732

the proceedings contain 75 papers. the topics discussed include: study of disease identification in pomegranate using leaf detection technique;design of multipliers using reversible logic and Toffoli gates;education and analysis of autistic patients using machine learning;a burgeoning 6g technology and its cloud services;an intelligent framework for crime prediction using behavioral tracking and motion analysis;forecasting diurnal covid-19 cases for top-5 countries using various time-series forecasting algorithms;investigating the role of artificial intelligence in building smart contact on block-chain;empirical study of crop-disease detection and crop-yield analysis systems: a statistical view;modified approach for solving fully fuzzy linear programming problems;deep learning for biometric recognition of children using footprints;gun detection: comparative analysis using transfer learning in single stage detectors;and safeguarding e-healthcare documents utilizing an infrastructure for advanced keyless signature infrastructure blockchain within the cloud.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Code Vision: Learning Mobile Application 4

Code Vision: Learning Mobile Application

引用

4th international conference on Innovative Computing (ICIC)

作者： Hussain, Muhammad Zunnurain Hasan, Muhammad Zulkifl Sarwar, Nadeem Nasir, Junaid Aslam, Naila Univ Putra Malaysia Dept Commun Technol & Network Fac Comp Sci & Informat Technol Serdang 43400 Selangor Malaysia Bahria Univ Dept Comp Sci Lahore Campus Lahore Pakistan Univ Management Technol Dept Comp Sci Lahore Pakistan

ISBN: (纸本)9781665400916

Technology is becoming a major part of each individual's life. the modern society is saturated with technology and cannot be separated from technology. Now a days, every person is using many number of devices and systems. Code Vision is a mobile application which is created for e-learning purposes. So we are emerging entertainment and education together for students to learn programming language. the aim of this article is to illustrate the leaning mobile application which is based on animated dry run of programming language C++ and Object-Oriented programming. It is based on the basic and advance concepts of OOP and C++. Mostly people face problems like they could not be able to understand the working of programming when they initially start learning, they won't be able to create the logic of their own program. this application reduces the confusion factor and make all the concepts clear in people's mind. In this article, the development process of this application has been described, and also the functionalities and significance of requirements of this application is defined. this article will be helpful in further researches and development in the field of mobile application development.

关键词： programming Language Object-Oriented programming Dry Run Development Requirements

来源：评论

学校读者我要写书评

暂无评论

A framework of SAT solver based on the ZYNQ 4

A framework of SAT solver based on the ZYNQ

引用

4th international conference on Advanced Electronic Materials, Computers and Software Engineering, AEMCSE 2021

作者： Chen, Huiqing Zhao, Kangli Xiao, Xiaoyang He, Anping Lanzhou University of Technology School of Computer and Communication Lanzhou China Guangxi University School of Computer Nanning China Lanzhou University School of Information Science and Engineering Lanzhou China

ISBN: (纸本)9781665415965

Boolean Satisfiability (SAT) Problem is one of the key issues in the fields of both logic theory and computer applications. At present, the software and hardware based SAT solvers are both important in various applications. However, there still are many occasions that require the flexibility of software as well as the speed of hardware. It is valuable to develop a solver that combines software and hardware. therefore, this paper proposed a framework of SAT solver on the ZYNQ platform, in which the assignments of variables are generated by a program in C-language and a concrete SAT problem is designed as an external device, two of them cooperates to solve the SAT problems. And a solving system was built based on the framework. the experimental results show that the framework of SAT solver is highly feasible and correct. © 2021 IEEE.

关键词： C (programming language)

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

Integrating a General Search Agent into an Imperative programming Language 4

Integrating a General Search Agent into an Imperative Progra...

引用

4th IEEE international conference on Artificial Intelligence and Knowledge Engineering (AIKE)

作者： Smith, James Henderson, Chris Bansal, Ajay Arizona State Univ Fulton Sch Engn Mesa AZ 85212 USA

ISBN: (纸本)9781665437363

Search is one of the more common strategies used by problem-solving agents. For many hard problems, a backtracking search can be the most effective approach for finding a solution. logic programming languages provide, as a core feature of the language, the mechanics for the search behind the scenes without requiring the user to specify the algorithm. However, this functionality has been generally left out of the core features of imperative programming languages. In this work we propose integrating a search agent into an imperative programming language through a search construct in the syntax. By doing so, our intention is that the user may apply a model-based approach to problem solving. We extend the Go programming language with this search construct and develop an agent to perform the search. the algorithm behind the search is implicitly handled by the agent. We demonstrate the effectiveness of this search construct through solutions to an exhaustive search over a file-system, the NQueens problem, and the monkey and the bananas problem.

关键词： Declarative programming Imperative programming problem-solving agent search agent backtracking search

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

DROM: Read Only Memory Storage in DNA Computing

DROM: Read Only Memory Storage in DNA Computing

引用

Sustainable Technologies for Industry 4.0 (STI), international conference on

作者： Tamanna Tabassum Fatema Akter Mohammed Nasir Uddin Dept of Computer Science and Engineering Jagannath University Bangladesh Dept of Computer Science and Engineering Green University Bangladesh Bangladesh

Biomolecular programming performs computing utilizing many sorts of reactions and stores the information in biological macromolecules (proteins and nucleic acids). DNA (Deoxyribose Nucleic Acid) exhibits highly predictable molecular behavior, which assists in the construction of logical versions of operating systems and molecular computers. Read Only Memory (ROM), is a form of electronic storage that is built into a device during the manufacturing process. It might be a programmable general-purpose logic device, and a client can customize the storage device as a basic logic gate operation to complex mechanisms on a chip. In this proposed work, a ROM is designed using DNA-based gates. the attributes of DNA-based computing enable DNA-based ROM to execute billions of operations consecutively as well as provide immense storage in a compact space.

关键词： Proteins Sequential analysis Operating systems DNA Molecular biophysics logic gates programming

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

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

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：