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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

1,067 篇 会议
64 册 图书
9 篇 期刊文献

馆藏范围

1,140 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

707 篇 工学
- 569 篇 计算机科学与技术...
- 481 篇 软件工程
- 135 篇 信息与通信工程
- 132 篇 控制科学与工程
- 99 篇 电气工程
- 71 篇 生物工程
- 64 篇 机械工程
- 55 篇 动力工程及工程热...
- 52 篇 电子科学与技术（可...
- 45 篇 交通运输工程
- 38 篇 生物医学工程（可授...
- 31 篇 化学工程与技术
- 25 篇 安全科学与工程
- 23 篇 土木工程
- 22 篇 光学工程
- 22 篇 石油与天然气工程
391 篇 理学
- 277 篇 数学
- 78 篇 生物学
- 63 篇 物理学
- 58 篇 统计学（可授理学、...
- 57 篇 系统科学
- 32 篇 化学
193 篇 管理学
- 139 篇 管理科学与工程(可...
- 80 篇 工商管理
- 68 篇 图书情报与档案管...
34 篇 经济学
- 34 篇 应用经济学
33 篇 教育学
- 33 篇 教育学
28 篇 法学
26 篇 医学
- 24 篇 基础医学(可授医学...
- 24 篇 临床医学
- 23 篇 药学(可授医学、理...
13 篇 农学
1 篇 艺术学

主题

51 篇 software enginee...
50 篇 programming
47 篇 linear programmi...
41 篇 software enginee...
31 篇 dynamic programm...
30 篇 artificial intel...
24 篇 integer programm...
23 篇 computer communi...
23 篇 optimization
21 篇 programming lang...
19 篇 machine learning
18 篇 logics and meani...
18 篇 heuristic algori...
17 篇 computer science
16 篇 computational mo...
16 篇 students
16 篇 software
15 篇 costs
15 篇 programming tech...
13 篇 object oriented ...

机构

7 篇 college of energ...
6 篇 school of electr...
5 篇 college of elect...
5 篇 school of scienc...
5 篇 information engi...
4 篇 school of comput...
4 篇 school of vehicl...
4 篇 china electric p...
4 篇 school of cyber ...
3 篇 school of electr...
3 篇 school of electr...
3 篇 school of transp...
3 篇 department of co...
3 篇 college of infor...
3 篇 school of inform...
3 篇 state key labora...
3 篇 department of co...
3 篇 nanjing universi...
3 篇 shanghai maritim...
3 篇 polytechnic inst...

作者

4 篇 meikang qiu
3 篇 wang hui
3 篇 miller james
3 篇 gong peizhu
3 篇 wang junxiang
3 篇 xigang yuan
3 篇 batra salil
3 篇 salil batra
3 篇 mekruksavanich s...
3 篇 jitpattanakul an...
3 篇 liu jin
3 篇 wu zhongdai
3 篇 mengjie zhang
2 篇 yin jianbing
2 篇 heinz stefan
2 篇 seniman
2 篇 li cheng
2 篇 saraswat sudhir
2 篇 duo liu
2 篇 cheng wang

语言

1,116 篇 英文
21 篇 其他
5 篇 中文

检索条件"任意字段=7th International Conference on the Art, Science, and Engineering of Programming, Programming 2023"

共 1140 条记录，以下是391-400 订阅

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

详细简洁

排序：

Optimized closed-loop supply chain configuration selection for sustainable product designs

Optimized closed-loop supply chain configuration selection f...

引用

2011 7th IEEE international conference on Automation science and engineering, CASE 2011

作者： Metta, Haritha Badurdeen, Fazleena Mechanical Engineering PhD Program University of Kentucky Lexington KY 40506 United States Department of Mechanical Engineering Institute for Sustainable Manufacturing University of Kentucky Lexington KY 40506 United States

ISBN: (纸本)9781457717307

Decision support models for coordinating sustainable product and supply chain (SC) design can help a company identify the best product designs that will bring highest sustainability benefits to the entire SC at the product development stage. this paper presents a multi-stage decision support model (developed using a hierarchical approach) that evaluates alternate product designs and their SC configurations to identify the best product design and their closed-loop SC configuration that maximizes profit and also minimize adverse environmental and societal impacts. the model considers a total life-cycle approach and promotes closed-loop flow over multiple product life-cycles. Particularly, this paper provides a detailed description of the mixed integer linear programming model developed to evaluate the impact of alternate product design on their corresponding SC configuration to identify for each design an optimal closed-loop SC configuration that maximizes the profit. the application of the model to an example problem is presented. © 2011 IEEE.

关键词： Product design

来源：评论

学校读者我要写书评

暂无评论

Hybrid modeling and control of switching DC-DC converters via MLD systems

Hybrid modeling and control of switching DC-DC converters vi...

引用

2011 7th IEEE international conference on Automation science and engineering, CASE 2011

作者： Hejri, Mohammad Giua, Alessandro School of Electrical Engineering KTH-Royal Institute of Technology Stockholm Sweden Department of Electrical and Electronic Engineering University of Cagliari Italy

ISBN: (纸本)9781457717307

Modeling and control of DC-DC converters is a non trivial problem in power electronics. Such converters exhibit both autonomous and non-autonomous switching phenomena which are commonly modeled by general classes of hybrid systems. this paper addresses the modeling and control of a DC-DC buck converter via Mixed Logical Dynamical (MLD) systems and hybrid predictive control based on Mixed Integer Quadratic programming. the main contribution of the paper is the novel concept of Forward MLD as opposed to the classical modeling approach that we call Backward MLD. the advantage of the proposed method is to introduce a prediction of the continuous behavior at a the switching instant. this results in a more accurate model and allowing to reduce by one step the prediction horizon necessary to compute the optimal control. the proposed technique reduces the complexity of the resulting MIQP program. the transient and steady state performances of the closed-loop control system over a wide range of operating points show satisfactory operation of the proposed modeling and control scheme. © 2011 IEEE.

关键词： Electric inverters

来源：评论

学校读者我要写书评

暂无评论

Design and Implementation of Seasonal based Auto Irrigation System using Intelligent Controller 7

Design and Implementation of Seasonal based Auto Irrigation ...

引用

7th international conference on Inventive Computation Technologies, ICICT 2024

作者： Uday, Karparthi Shanmugasundaram, R. Bhanwrela, Lalit Rathore, Priya Rajesh, S. Venkateswarlu, G. Cvr College of Engineering Department of Electronics And Instrumentation Engineering Telangana Hyderabad India Sri Ramakrishna Engineering College Department of Electrical And Electronics Engineering Coimbatore641 022 India Shri Vaishnav Vidyappeth Vishwavidyalaya Shri Vaishnav Institute of Technology And Science Department of Electrical And Electronics Engineering Indore India Medicaps University Department of Electronics Engineering Indore India Vsb College of Engineering Department of Electrical And Electronics Engineering Karur India

ISBN: (纸本)9798350359299

To optimize the water usage in agriculture and improve the crop growth, FX5U intelligent based Seasonal Based Irrigation System (SBAIS) is introduced. Different sensors like moisture measurement sensors, Soil Moisture sensors, temperature sensors are used to collect information about the soil and environment to know the crop requirements. All the sensors are connected with the PLC input AI/DI ports with suitable signal conditioning hardware setup and the data are fed to the data memory of the intelligent controller. the AIML algorithm is used in the FX5U controller to analyze the sensors data and produces the optimal irrigation schedule and crop water needs. Python programming is used in FX5U controller to train the model with different seasonal inputs. the trained AIML model produces the desired and optimal output for drip irrigation system. this proposed system reduces the manual work involvement and improve the crop productivity and it mainly saves the water. Due to this invention, the water scarcity problems are reduced during the summer condition. © 2024 IEEE.

关键词： Irrigation

来源：评论

学校读者我要写书评

暂无评论

Extracting all minimal siphons from maximal unmarked siphons in manufacturing-oriented Petri nets

Extracting all minimal siphons from maximal unmarked siphons...

引用

2011 7th IEEE international conference on Automation science and engineering, CASE 2011

作者： Wang, ShouGuang Zhou, MengChu Wang, ChengYing College of Information and Electronic Engineering Zhejiang Gongshang University Hangzhou 310018 China Department of Electrical and Computer Engineering New Jersey Institute of Technology Newark NJ 07102-1982 United States MoE Key Laboratory of Embedded System and Service Computing Tongji University Shanghai 200092 China

ISBN: (纸本)9781457717307

Deadlock control is an important research issue in automated manufacturing systems that have a high degree of resource sharing and concurrency. Since minimal siphons are closely tied with deadlocks in Petri net models, their efficient extraction is fundamentally important. the existing methods can rapidly extract one minimal siphon given a maximal unmarked siphon that is obtained by using a mixed integer programming approach. this paper for the first time presents an extraction algorithm that can efficiently extract all minimal ones. the idea is based on the generation and use of a subnet tree structure given the places in a maximal unmarked siphon. Several Petri net models of automated manufacturing systems are used to illustrate the proposed concepts and methods. © 2011 IEEE.

关键词： Petri nets

来源：评论

学校读者我要写书评

暂无评论

Transportation Planning Decision-Making Using Intuitionistic Fuzzy programming 7

Transportation Planning Decision-Making Using Intuitionistic...

引用

7th international conference on Contemporary Computing and Informatics, IC3I 2024

作者： Gulia, Pinki Sharma, Vikrant Rakhra, Manik Jairath, Kapil Suri, Sakshi Kumar, Rakesh Lovely Professional University Department of Mathematics Punjab Phagwara India Graphic Era Hill University Uttarakhand Dehradun India Graphic Era Deemed to be University Uttarakhand Dehradun India Lovely professional University Department of computer science and Engineering Punjab Phagwara India Trinity College Department of Sciences Punjab Jalandhar India Lovely Professional University School of design-II Interior & Furniture design Punjab Phagwara India

ISBN: (纸本)9798350350067

In this research, we use intuitionistic fuzzy programming to bring insight into transportation planning decision-making processes, namely multi-objective optimization (MOO). Considerations for transportation time and prices are made in the case study, which entails moving things from one location to another. In order to improve the model's capacity to deal with uncertainty, the supply and demand parameters are represented using crisp parameters. With the goal of simultaneously minimizing time and overall cost, the study interacts MOO with crisp data. Our solution is shown to be feasible by means of a hypothetical numerical issue. With linear membership as well as non-membership functions in particular, the transportation planning problem is tackled and solved. As a result of offering decision-makers with thorough solutions that successfully balance many objectives, the results highlight the effectiveness of the intuitionistic fuzzy programming technique in addressing real-world transportation planning difficulties. © 2024 IEEE.

关键词： Membership functions

来源：评论

学校读者我要写书评

暂无评论

Sustaining making in the era of accountability: STEM integration using E-textiles materials in a high school physics class 17

Sustaining making in the era of accountability: STEM integra...

引用

7th Annual conference on Creativity and Making in Education, FabLearn 2017

作者： Ball, Douglas Tofel-Grehl, Colby Searle, Kristin A. Utah State University 2805 Old Main Hill LoganUT United States

ISBN: (纸本)9781450363495

Maker-projects have often been implemented in K-12 schools to foster the emergence of identity, develop maker mindsets, fuel creation, and master STEM skills and content. this paper explores the ability of an electronic textiles, or e-textile, maker project to develop deeper science learning within a unit where computer science, technology, engineering, design, and physics intersect. Maker-project learning is often dedicated to bridging the areas that make up STEM, namely science, technology, engineering and mathematics. However, the content areas of science and mathematics are often less explored pillars within STEM while implementing maker-projects in a K-12 classroom. We look at how a unit on electricity in a high school physics classroom is taught using the programming of an Arduino microcontroller and electronic textile construction. In this way, the science in computer science is emphasized and understood from a physics perspective. © 2017 Association for Computing Machinery.

关键词： engineering education

来源：评论

学校读者我要写书评

暂无评论

A Constraint programming Model for the B-Coloring Problem 10

A Constraint Programming Model for the B-Coloring Problem

引用

10th international conference on Industrial engineering and Applications, ICIEA 2023

作者： Montemanni, Roberto Carraretto, Gabriel Henrique Mele, Umberto Junior Gambardella, Luca Maria Department of Sciences and Methods for Engineering University of Modena and Reggio Emilia Reggio Emilia Italy Faculty of Informatics Universitá della Svizzera Italiana Lugano Switzerland

ISBN: (纸本)9781643684086

B-coloring is a theoretical optimization problem on a graph that, on top of being used to model some real-world applications, is exploited by some bounding techniques embedded into solvers for the classical graph coloring problem. this implies that improved solutions for the b-coloring problem have an impact on an even larger pool of practical applications modelled by graph coloring in several different fields such as scheduling, timetabling and telecommunications. the b-coloring problem aims to maximize the number of colors used to provide a complete coloring for a graph G = (V,E), while preventing adjacent vertices from receiving the same color. Moreover, each color used is associated to a so-called a b-vertex. A vertex can be a b-vertex only if the set of colors assigned to its adjacent vertices includes all the colors used, apart from the one assigned to the vertex itself. In this work we discuss a new Constraint programming model for the b-coloring problem and we show how such a paradigm can improve state-of-the-art results for several benchmarks instances commonly adopted in the literature. © 2023 the authors and IOS Press.

关键词： Optimization

来源：评论

学校读者我要写书评

暂无评论

Recent improvements using constraint integer programming for resource allocation and scheduling

Recent improvements using constraint integer programming for...

引用

10th international conference on the Integration of artificial Intelligence and Operations Research Techniques in Constraint programming, CPAIOR 2013

作者： Heinz, Stefan Ku, Wen-Yang Beck, J. Christopher Zuse Institute Berlin Takustr. 7 14195 Berlin Germany Department of Mechanical and Industrial Engineering University of Toronto Toronto ON M5S 3G8 Canada

ISBN: (纸本)9783642381706

Recently, we compared the performance of mixed-integer programming (MIP), constraint programming (CP), and constraint integer programming (CIP) to a state-of-the-art logic-based Benders manual decomposition (LBBD) for a resource allocation/scheduling problem. For a simple linear relaxation, the LBBD and CIP models deliver comparable performance with MIP also performing well. Here we show that algorithmic developments in CIP plus the use of an existing tighter relaxation substantially improve one of the CIP approaches. Furthermore, the use of the same relaxation in LBBD and MIP models significantly improves their performance. While such a result is known for LBBD, to the best of our knowledge, the other results are novel. Our experiments show that both CIP and MIP approaches are competitive with LBBD in terms of the number of problems solved to proven optimality, though MIP is about three times slower on average. Further, unlike the LBBD and CIP approaches, the MIP model is able to obtain provably high-quality solutions for all problem instances. © Springer-Verlag 2013.

关键词： Integer programming

来源：评论

学校读者我要写书评

暂无评论

Levels of abstraction in programming device ecology workflows

Levels of abstraction in programming device ecology workflow...

引用

作者： Loke, Seng W. Ling, Sea Butler, Gerry Gillick, Brett School of Computer Science and Software Engineering Monash University Caulfield East VIC 3145 Australia

ISBN: (纸本)9728865198

We explore the notion of the workflow for specifying interactions among collections of devices (which we term device ecologies). We discuss three levels of abstraction in programming device ecologies: high-level workflow, low-level workflow and device conversations, and how control (in the sense of operations issued by an end-user on such workflows or exceptions) is passed between levels. Such levels of abstraction are important since the system should be as user friendly as possible while permitting programmability not only at high-levels of abstraction but also at low levels of detail. We also present a conceptual architecture for the device ecology workflow engine for executing and managing such workflows.

关键词： Web services

来源：评论

学校读者我要写书评

暂无评论

Proceedings of the 2014 international C conference on Computer science and Software engineering, C3S2E 2014

Proceedings of the 2014 International C Conference on Comput...

引用

2014 7th international C conference on Computer science and Software engineering, C3S2E 2014

ISBN: (纸本)9781450327121

the proceedings contain 27 papers. the topics discussed include: label-bag based graph anonymization via edge addition;verification and code generation for timed transitions in pCharts;software specification and automatic code generation to realize homeostatic adaptation in unmanned spacecraft;classification and generation of grammatical errors;on the dynamic scheduling of task farm patterns on a heterogeneous CPU-GPGPU environment;a robust daily human activity recognition and prediction system;a new conceptual model for dynamic text clustering using unstructured text as a case;FDKeeper: a quick and open failure detector for cloud computing system;binary linear programming-based release planning for multi-tenant business SaaS;a design time estimation methodology for spatial databases;and proposed architecture and algorithm for academic personnel evaluation and decision support making.

关键词：

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共114页 << < 36 37 38 39 40 41 42 43 44 45 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：