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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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,380 篇 会议
76 册 图书
10 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

977 篇 工学
- 764 篇 计算机科学与技术...
- 677 篇 软件工程
- 154 篇 控制科学与工程
- 127 篇 电气工程
- 127 篇 信息与通信工程
- 88 篇 机械工程
- 73 篇 动力工程及工程热...
- 63 篇 生物工程
- 56 篇 电子科学与技术（可...
- 56 篇 生物医学工程（可授...
- 45 篇 土木工程
- 38 篇 交通运输工程
- 33 篇 仪器科学与技术
- 33 篇 建筑学
- 32 篇 化学工程与技术
- 31 篇 光学工程
- 28 篇 材料科学与工程（可...
487 篇 理学
- 354 篇 数学
- 76 篇 物理学
- 75 篇 生物学
- 67 篇 统计学（可授理学、...
- 59 篇 系统科学
- 34 篇 化学
270 篇 管理学
- 207 篇 管理科学与工程(可...
- 128 篇 工商管理
- 72 篇 图书情报与档案管...
65 篇 教育学
- 65 篇 教育学
58 篇 经济学
- 58 篇 应用经济学
48 篇 医学
- 44 篇 临床医学
- 41 篇 基础医学(可授医学...
32 篇 法学
16 篇 农学
8 篇 文学
6 篇 艺术学
4 篇 军事学

主题

69 篇 software enginee...
62 篇 programming
46 篇 linear programmi...
43 篇 software enginee...
39 篇 optimization
38 篇 dynamic programm...
31 篇 artificial intel...
28 篇 students
25 篇 computer science
25 篇 programming lang...
22 篇 programming tech...
22 篇 logics and meani...
21 篇 python
20 篇 programming prof...
20 篇 computer communi...
20 篇 genetic algorith...
20 篇 machine learning
19 篇 software
18 篇 computer languag...
18 篇 computer systems...

机构

5 篇 school of transp...
5 篇 al-farahidi univ...
5 篇 school of comput...
4 篇 the university o...
4 篇 school of electr...
4 篇 changsha univers...
4 篇 banaras hindu un...
4 篇 abv-indian insti...
4 篇 department of in...
4 篇 huazhong univers...
4 篇 the university o...
4 篇 school of comput...
4 篇 indian institute...
4 篇 department of co...
4 篇 school of mechan...
3 篇 wuhan university...
3 篇 wuhan university...
3 篇 school of comput...
3 篇 hohai university...
3 篇 school of mechat...

作者

4 篇 anshul verma
4 篇 stuckey peter j.
4 篇 rajkumar buyya
4 篇 li zuoyong
4 篇 holcombe mike
4 篇 kiran kumar patt...
4 篇 dipankar dasgupt...
4 篇 pradeepika verma
3 篇 senthil kumar a....
3 篇 wang lei
3 篇 wang dong
3 篇 gang wang
3 篇 filipe portela
3 篇 ismail musirin
3 篇 cao peng
3 篇 succi giancarlo
3 篇 a.v. senthil kum...
3 篇 watanobe yutaka
3 篇 singla ishdeep
3 篇 musirin ismail

语言

1,437 篇 英文
27 篇 其他
2 篇 中文

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

共 1466 条记录，以下是1181-1190 订阅

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

详细简洁

排序：

A computerized tool based on cellular automata and modified game of life for urban growth region analysis 4th

A computerized tool based on cellular automata and modified ...

引用

4th international conference on Soft Computing in Data science, SCDS 2018

作者： Abidin, Siti Z. Z. Zamani, Nur Azmina Mohamad Aliman, Sharifah Advanced Analytics Engineering Centre Faculty of Computer and Mathematical Sciences Universiti Teknologi MARA Shah AlamSelangor40450 Malaysia Faculty of Computer and Mathematical Sciences Universiti Teknologi MARA Perak Branch Tapah Campus Tapah RoadPerak35400 Malaysia

ISBN: (纸本)9789811334405

there are many factors that can affect the urban growth and it has great implications towards socio-economic for the related areas. Usually, the urban planning and monitoring are performed and administered by the local authorities for improvement and development purposes. this research focuses on analyzing the urban growth of Klang Valley in Malaysia (a developing country), where this is the most rapid growth area in the country. this area is divided into ten districts with different management and development plans. this work proposes a computing tool that applies cellular automata and modified game of life techniques to perform detailed analysis on urban expansion of Klang Valley area based on temporal imagery datasets. As a case study, satellite images were taken from different years where the prediction can be observed within fifteen years duration. the cellular automata technique is used for extracting high details of aerial images based on every pixel, while the modified game of life is for analyzing urban expansion. Based on the analysis, the pattern of the growth in any selected region in the area can be identified and the urban planners for each district can work together, discuss and make decision for monitoring, changes and development of Klang Valley. © Springer Nature Singapore Pte Ltd. 2019.

关键词： Cellular automata

来源：评论

学校读者我要写书评

暂无评论

Semantic-guided Image Feature Matching for Agricultural Robots 4

Semantic-guided Image Feature Matching for Agricultural Robo...

引用

4th international conference on artificial Intelligence and Pattern Recognition, AIPR 2021

作者： Yu, Zhenghong Zhu, Xiuli Zhou, Huabing College of Robotics Guangdong Polytechnic of Science and Technology China School of Computer Science and Engineering Wuhan Institute of Technology China

ISBN: (纸本)9781450384087

Image feature matching is one of the most important basic techniques for agricultural robots. this task has been tried, but because of the complexity of the image, especially the non-rigid transformations, the performance is still far from satisfactory. this paper proposed a semantic-guided feature matching method for both agricultural mobile robot and UAV via semantic segmentation and probabilistic inference. Given an original image pair, a learning-based method, which is very active to the challenging variation of outdoor luminosity, is introduced firstly to produce a sematic image pair. this step shifts the robot's focus to the task itself, while improving matching efficiency at the same time. then, based on the characteristic similarity of the ROI region of the semantic image pair, a series of putative correspondences are generated. Next, the focuses on eliminating outliers from that series while deducting the transformation, where this procedure was developed on a maximum likelihood Bayesian model. the paper has also applied three effective regularization techniques to the correspondence, which helped to come up with the best solution. Finally, as the problem was solved by EM algorithm and extensive experiments on those images taken from the real farmland, it is safe to say that the accurate results of this method are superior to other state-of-the-art methods. © 2021 ACM.

关键词： Mobile robots

来源：评论

学校读者我要写书评

暂无评论

DOOD: distributed object-oriented software development environment

DOOD: distributed object-oriented software development envir...

引用

Asia-Pacific conference on Software engineering

作者： Tae-Hoon Kim Woo-Chang Shin Geun-Duk Park Tae-Heun Lee Tae-Gyun Kim Yeong Gil Shin Chi-Su Wu Department of Computer Science Seoul National University Seoul South Korea Department of Computer Engineering Pusan University of Foreign Studies busan South Korea

ISBN: (纸本)081868271X

the object-oriented method has become very popular in software development because of its efficiency in automating software development processes and reusing software modules. To date, various object-oriented CASE tools have been used. However, they have concentrated on providing tools for developing software systems within some particular area. Even though we can use a general-purpose CSCW tool for cooperative software development in a distributed environment, current CSCW systems do not support any efficient object-oriented software development method. this paper discusses ways of combining CSCW features with an object-oriented CASE tool by introducing the experimental distributed object-oriented software development environment DOOD (Distributed Object-Oriented Designer). DOOD supports three models (the object model, the dynamic model and the functional model) of OMT (Object Modeling Technique) and provides consistent and transparent user interfaces for minimizing the effects of a geographically dispersed development environment. Our system is implemented based on a client-server architecture. the DOOD/Server manages the communication among clients and guarantees concurrent and consistent accesses to all the objects in the central repository, while DOOD/Client provides modeling and collaboration schemes over a TCP/IP network.

关键词： programming Object oriented modeling Computer aided software engineering Software systems User interfaces Dispersion Network servers Collaboration TCPIP IP networks

来源：评论

学校读者我要写书评

暂无评论

A Kubernetes-Oriented Edge Network Orchestrator for Heterogeneous Environment 10

A Kubernetes-Oriented Edge Network Orchestrator for Heteroge...

引用

10th international conference on Advanced Cloud and Big Data, CBD 2022

作者： Lu, Chenyu Huang, Zhaowu Weng, Caishan Jiao, Feng Guo, Xiaolin Dong, Fang Southeast University School of Computer Science and Engineering Nanjing China China Information Consulting and Designing Institute CO LTD China

ISBN: (纸本)9798350309713

Edge computing provides computing resources for devices at the network edge side close to the data source, so as to promote the Quality of Services (QoS) of applications that provide to end devices. In recent years, Kubernetes (k8s) is widely concerned because of the advantages that can easily integrate edge resources and realize edge computing systems. However, due to k8s only having simple dispatching algorithms like first-come-first-serve, it cannot achieve efficient request dispatching in a complex heterogeneous environment with limited resources. In this paper, we design and implement a k8s-oriented edge network orchestrator, aiming at minimizing the completion time of all devices' tasks in an edge environment. At the theoretical level, we model the joint problem of resource allocation and task dispatching as a mixed integer programming problem. We first determine the optimal resource allocation policy with a given task offloading decision profile. then, a decentralized iterative improve dispatching (IID) algorithm is proposed to efficiently calculate the task dispatching decisions. At the system level, we implement a prototype k8s-based edge system that equips the network orchestrator which embeds with the IID algorithm. the orchestrator provides the task-dispatching service through docker containers. Experimental evaluation results verify that the orchestrator has a significant progress compared with the state-of-the-art methods, achieving up 2.21 times on average. © 2022 IEEE.

关键词： Edge computing

来源：评论

学校读者我要写书评

暂无评论

the Real-Time All-In-Software CNC Engraving System Design Based On RTX Platform

The Real-Time All-In-Software CNC Engraving System Design Ba...

引用

international conference on Information science and Control engineering (ICISCE)

作者： Wang Zheng-you Executive Vice President of College of Modern Media Technology and Art Shanghai Publishing and Printing College Shangha China

there are uncertainties in quite a few of simulative applications caused by poor real-time performance of the Windows Operation System. On the basis of full demonstration, the author introduces RTX, a Windows based solution for real time from IntervalZero Inc. and concludes the designing method of RTX real time system in Windows environment, as well as, the programming of main function modules of all-in-software CNC engraving system under RTX in combination with the design requirements of a certain type of CNC engraving. In the end, this method is applied to a certain CNC engraving system successfully and the experimental result demonstrates that the system is reliable and steady, with the correct result and without any loss of data, during the entire experiment. the all-in-software program can satisfy the demands of the CNC engraving system in real time based on RTX platform.

关键词： Uncertainty Prototypes Tools Reliability engineering Real-time systems Stability analysis Software

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

the Design and Implementation of the Petroleum and Petrochemical Construction Project Valuation System

The Design and Implementation of the Petroleum and Petrochem...

引用

2012 4th international conference on Environmental science and Information Application Technology(ESIAT 2012)

作者： Wangxian Jiang Ming Zheng Hua Li School of Physics and nuclear energy engineering Beihang University

Based on the research of Chinese engineering valuation system and the application of bidding strategy, a computer aided valuation system is developed to improve work efficiency. the planning, modeling, design, development process of the system is discussed with introducing the development background, system programming, database design, module design etc., and the system's implementation effect is finally described.

关键词： Project cost, Petroleum and petrochemical, Application software

来源：评论

学校读者我要写书评

暂无评论

Smart Contracts for the CloudAnchor Platform 20th

Smart Contracts for the CloudAnchor Platform

引用

20th international conference on Practical Applications of Agents and Multi-Agent Systems , PAAMS 2022

作者： Vasco, Eduardo Veloso, Bruno Malheiro, Benedita ISEP/IPP – School of Engineering Polytechnic Institute of Porto Porto Portugal UPT – Universidade Portucalense Porto Portugal INESC TEC – Institute for Systems and Computer Engineering Technology and Science Porto Portugal

ISBN: (纸本)9783031181917

CloudAnchor is a multi-agent brokerage platform for the negotiation of Infrastructure as a Service cloud resources between Small and Medium Sized Enterprises, acting either as providers or consumers. this project entails the research, design, and implementation of a smart contract solution to permanently record and manage contractual and behavioural stakeholder data on a blockchain network. Smart contracts enable safe contract code execution, increasing trust between parties and ensuring the integrity and traceability of the chained contents. the defined smart contracts represent the inter-business trustworthiness and Service Level Agreements established within the platform. CloudAnchor interacts with the blockchain network through a dedicated Application programming Interface, which coordinates and optimises the submission of transactions. the performed tests indicate the success of this integration: (i) the number and value of negotiated resources remain identical;and (ii) the run-time increases due to the inherent latency of the blockchain operation. Nonetheless, the introduced latency does not affect the brokerage performance, proving to be an appropriate solution for reliable partner selection and contractual enforcement between untrusted parties. this novel approach stores all brokerage strategic knowledge in a distributed, decentralised, and immutable database. © 2022, the Author(s), under exclusive license to Springer Nature Switzerland AG.

关键词： Smart contract

来源：评论

学校读者我要写书评

暂无评论

Research on Linear programming and Grey Wolf Optimization Algorithm in Energy Storage System Configuration

Research on Linear Programming and Grey Wolf Optimization Al...

引用

Signal Processing, Communications and engineering Management conference (ISPCEM), international

作者： Wentao Li Tao Shen College of Automation Nanjing University of Science and Technology Nanjing China

ISBN: (数字)9798331528676

ISBN: (纸本)9798331528683

this paper focuses on the research and application of linear optimization algorithm and grey Wolf optimization algorithm, takes the energy storage system configuration optimization of the park energy system as the research object, and discusses in detail the similarities and differences and advantages of the energy storage system configuration under the three modes of independent operation, joint operation and collaborative configuration of wind storage. Firstly, a linear programming model for optimizing system configuration was established to determine the optimal energy storage power and capacity. In addition, under the consideration of State of Charge (SOC) and other constraints, the grey Wolf optimization algorithm was applied to further optimize the energy storage system configuration of independent parking lots to improve the accuracy and reliability of the optimization results. Secondly, the optimal energy storage configuration of the independent park is analyzed in detail, and the optimal energy storage scheme is deduced through the solution of the model and algorithm, which reflects the superiority of linear programming and grey Wolf optimization algorithm. the final focus is on developing a coordinated future configuration scheme for wind and solar storage. At the same time, the peak and valley electricity factor is introduced into the linear programming model, and the optimized grey Wolf algorithm is used to obtain the optimized energy scheduling and energy storage utilization strategy of the park's power generation and electricity price changes in the next five years.

关键词： Computational modeling Signal processing algorithms Microgrids Linear programming Approximation algorithms Reliability engineering Mathematical models Scheduling Optimization Energy storage

来源：评论

学校读者我要写书评

暂无评论

Task and intelligent path planning algorithm for teams of AGVs based on multi-stage method

Task and intelligent path planning algorithm for teams of AG...

引用

IEEE international conference on Automation, Electronics and Electrical engineering (AUTEEE)

作者： Xiang Huo Xinkai Wu School of Transportation Science and Engineering Beihang University Beijing China

ISBN: (纸本)9781665428408

Attributed to the rapid development of ecommerce, the demand for logistics is increasing day by day. In this context, modern warehousing technology with Multi-AGV Cooperation System (MACS) as the core came into being. the large-scale Automated Guided Vehicle (AGV) can transport multiple cargos in a single task owing to its large load capacity and strong endurance, which makes it a trend to use large-scale AGV to transport cargos in indoor warehouses or outdoor parks. However, it should be noted that there are a series of problems, such as resource allocation and path conflict, when using teams of AGVs to perform multiple transportation tasks, and it is a challenging task to find an ideal task and path planning scheme for the scenario where multi-AGV perform multiple transportation tasks. In view of this, the present study proposed a multi-stage optimization method to effectively obtain the approximate optimal solution to solve the aforesaid problem. In this proposed method, a 0-1 integer linear programming model was constructed to solve the problem of assigning multiple transportation tasks to multiple AGVs in the first stage, and then in the second stage we planned the optimization sequence in which AGV passes through each pick-up/delivery location when performing multiple transportation tasks. In the third stage we solved the path planning problem of teams of AGVs moving to each target location without collision. In addition, simulation experiments were carried out, which verified that the proposed method can achieve superior performance in path distance and task completion time when performing multiple tasks.

关键词： Uncertainty Heuristic algorithms Dynamics Warehousing Transportation Integer linear programming Multitasking

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共147页 << < 115 116 117 118 119 120 121 122 123 124 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：