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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

馆藏范围

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

日期分布

学科分类号

982 篇 工学
- 768 篇 计算机科学与技术...
- 680 篇 软件工程
- 154 篇 控制科学与工程
- 128 篇 电气工程
- 128 篇 信息与通信工程
- 89 篇 机械工程
- 73 篇 动力工程及工程热...
- 63 篇 生物工程
- 57 篇 电子科学与技术（可...
- 56 篇 生物医学工程（可授...
- 45 篇 土木工程
- 39 篇 交通运输工程
- 33 篇 仪器科学与技术
- 33 篇 建筑学
- 32 篇 化学工程与技术
- 31 篇 光学工程
- 28 篇 材料科学与工程（可...
489 篇 理学
- 356 篇 数学
- 76 篇 物理学
- 75 篇 生物学
- 67 篇 统计学（可授理学、...
- 59 篇 系统科学
- 34 篇 化学
271 篇 管理学
- 208 篇 管理科学与工程(可...
- 129 篇 工商管理
- 72 篇 图书情报与档案管...
67 篇 教育学
- 67 篇 教育学
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 篇 英文
28 篇 其他
6 篇 中文

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

共 1467 条记录，以下是1341-1350 订阅

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

详细简洁

排序：

A fully run-time auto-tuned sparse iterative solver with OpenATLib

A fully run-time auto-tuned sparse iterative solver with Ope...

引用

international conference on Intelligent and Advanced Systems, ICIAS

作者： Ken Naono Takao Sakurai Mitsuyoshi Igai Takahiro Katagiri Satoshi Ohshima Shoji Itoh Kengo Nakajima Hisayasu Kuroda Central Research Laboratory Hitachi and Limited Yokohama Kanagawa Japan Hitachi ULSI Systems Company Limited Tachikawa Tokyo Japan Information Technology Center University of Tokyo Bunkyo Tokyo Japan Graduate School of Science and Engineering Ehime University Matsuyama Ehime Japan

We propose a general application programming interface called OpenATLib for auto-tuning (AT). OpenATLib is carefully designed to establish the reusability of AT functions for sparse iterative solvers. Using APIs of OpenATLib, we develop a fully auto-tuned sparse iterative solver called Xabclib. Xabclib has several novel runtime AT functions. We also develop a numerical computation policy that can optimize memory space and computational accuracy. Using the above functions and policies, we obtain the following important findings: (1) an average memory space is reduced to 1/45 under lower memory policies, and (2) fault convergence, which the conventional solvers judges to be converged but actually not converged in the sense of the before-preconditioned matrix, is avoided under higher accuracy policies. the results imply policy-based runtime AT plays significant role in sparse iterative matrix computations.

关键词： Accuracy Sparse matrices Symmetric matrices Convergence Libraries Vectors Time frequency analysis

来源：评论

学校读者我要写书评

暂无评论

Fluent calculus-based Web service composition — From OWL-S to fluent calculus

Fluent calculus-based Web service composition — From OWL-S ...

引用

IEEE international conference on Intelligent Computer Communication and Processing (ICCP)

作者： Viorica R. Chifu Ioan Salomie Emil St. Chifu Department of Computer Science Technical University of Cluj-Napoca Cluj-Napoca Romania Universitatea Tehnica din Cluj-Napoca Cluj-Napoca RO

ISBN: (纸本)9781424426737

Web service composition facilitates the creation of new services out of existing ones, for satisfying a complex functionality. Automatic Web service composition is considered as one of the most promising features that can be realized by Web services. this paper presents a novel approach for semantic Web service composition based on the fluent calculus. We show how the planning capabilities of the fluent calculus can be used to automatically generate a Web service composition. We have identified a mapping between an OWL-S process ontology and the fluent calculus concepts. We also present an algorithm to translate OWL-S service descriptions into an equivalent fluent calculus service specification. this specification is then forwarded as input to a flux planner to generate the plans that solve the composition goal. As a result, the solution for the requested functionality of the composed Web service is obtained. FLUX is used as the logic programming method to implement the mathematical formalism of the fluent calculus.

关键词： Calculus Web services Planning Business Ontologies Knowledge engineering Automation

来源：评论

学校读者我要写书评

暂无评论

Research on Distribution Network Planning with Distributed Generation Considering Line Margin

Research on Distribution Network Planning with Distributed G...

引用

Advanced Electrical and Energy Systems (AEES), international conference on

作者： Liping Gao Yanjie She Lili Zhu Jiangtao Zhang Jing Wang Wentao Xu Pengcheng Cai Yang Mi State Grid Luoyang Power Supply Company Henan China School of Information Shanghai Ocean University Shanghai China College of Electrical Engineering Shanghai University of Electric Power Shanghai China

the current planning for large-scale photovoltaic integration into the distribution network needs to balance electricity and transmission capacity, and the strategy of energy storage distribution network joint planning has emerged. Firstly, a line margin index is established as the evaluation basis for the transmission capacity of distribution network lines. Furthermore, a bi-level programming model was constructed that comprehensively considers economic costs and line transmission capacity. Collaborative planning was carried out for energy storage systems and distribution network lines, and the model was transformed from a two-layer model to a single-level model to solve the problem, reducing the difficulty of solving the model. Finally, a numerical example was compared between the collaborative planning strategy and other methods. From the simulation results, it can be seen that the proposed strategy not only has certain economic benefits in planning the expansion direction of the grid line and determining the energy storage capacity, but also has higher grid line margin and higher security in the proposed planning scheme.

关键词：

来源：评论

学校读者我要写书评

暂无评论

How Much Should this Symbol Weigh? A GNN-Advised Clause Selection 24th

How Much Should This Symbol Weigh? A GNN-Advised Clause Sele...

引用

24th international conference on Logic for programming, artificial Intelligence and Reasoning, LPAR 2023

作者： Bártek, Filip Suda, Martin Czech Institute of Informatics Robotics and Cybernetics Czech Republic Faculty of Electrical Engineering Czech Technical University in Prague Czech Republic

Clause selection plays a crucial role in modern saturation-based automatic theorem provers. A commonly used heuristic suggests prioritizing small clauses, i.e., clauses with few symbol occurrences. More generally, we can give preference to clauses with a low weighted symbol occurrence count, where each symbol’s occurrence count is multiplied by a respective symbol weight. Traditionally, a human domain expert would supply the symbol weights. In this paper, we propose a system based on a graph neural network that learns to predict symbol weights with the aim of improving clause selection for arbitrary first-order logic problems. Our experiments demonstrate that by advising the automatic theorem prover Vampire on the first-order fragment of TPTP using a trained neural network, the prover’s problem solving capability improves by 6.6% compared to uniformly weighting symbols and by 2.1% compared to a goal-directed variant of the uniformly weighting strategy. © 2023, EasyChair. All rights reserved.

关键词： theorem proving

来源：评论

学校读者我要写书评

暂无评论

the Method Research on the Calculating Aerosol Optical Depth in Dust Weather

The Method Research on The Calculating Aerosol Optical Depth...

引用

2013 IEEE 4th international conference on Electronics Information and Emergency Communication

作者： Jilin Gu Hua Zhang Lili Ai Wenhai Xu School of Physics and Electronic Technology Liaoning Normal University College of Marine Engineering College of Information Science Technology Dalian Maritime University

According to the importance of aerosol optical depth in the fields of climate,atmospheric correction of space remote sensing and atmospheric radiative transmission,the influence factors on calculating aerosol optical depth are analyzed. the complex refractive index data and the distribution of dust particles observed are *** establishing database of the dust complex refractive index, improving aerosol particle size distribution model based on experiment and considering atmospheric visibility and other atmospheric parameters, the method research on calculating aerosol optical depth in dust weather is suggested using the Mie scattering theory. According to the relationship between optical depth and atmospheric transmittance, the atmospheric transmittance model is improved in 3-5 m *** the model is simulated using MATLAB programming. Compared the results by MATLAB programming with the results by PcModWin, the maximum relative error is 3.87% between 3 m and 5 *** provides the feasibilities of the method and the model are the foundation of engineering applications. (Abstract)

关键词： Optical depth Atmospheric transmittance Complex refractive index Dust aerosol(key words)

来源：评论

学校读者我要写书评

暂无评论

A Proposed Architecture for Quality based Decision Making Approach for Software Re-engineering

A Proposed Architecture for Quality based Decision Making Ap...

引用

Electronics and Sustainable Communication Systems (ICESC), 2020 international conference on

作者： Nikhil Govil Nidhi Sharma Deepti thakral Shalini Garg Rinku Dixit Shailee Lohmor Chaoudhary Department of CEA GLA University Mathura India Department of IT Galgotia College of Engineering and Technology Greater Noida India Department of Computer Science & Technology Manav Rachna University Faridabad India MIT Art Design and Technology University Pune MH India Department of AIML – Data Science New Delhi Institute of Management New Delhi India

Software re-engineering is the modification of a software system after it has been reverse engineered, typically to add new functionality or fix errors. Software re-engineering involves a set of activities aimed at reorganizing a legacy system into a new target system that conforms to quality constraints. this paper explores the reasons behind the failure of software re-engineering. this study has analyzed that some of the most common factors for failure of software re-engineering are misestimated costs and quality inefficiencies. As far as the quality factor is concerned, first the basic tool architecture is analyzed which is used by most of the tools for reverse engineering, reorganization and re-engineering. In this research study, a quality evaluation factor as well as parameters for quality evaluation are added to that particular architecture, so that customers and maintainers can analyze whether they achieve the desired goals for re-engineering. Ifthe target is achieved then the finished product is obtained again with quality and within budget, otherwise more attention should be given to the quality evaluation process.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Design of Intelligent Analog Circuit Generation System

Design of Intelligent Analog Circuit Generation System

引用

Electronic Information engineering and Computer Technology (EIECT), international conference on

作者： Jihong Liu Rao Liu School of Information Science and Engineering Northeastern University Shenyang China

ISBN: (数字)9798331528850

ISBN: (纸本)9798331528867

the design of analog circuits is a time-consuming and complex task that usually requires the development and simulation of a suitable language to describe the circuit. therefore, this paper proposes an intelligent generation system for analog circuits based on the fundamental theory of circuits using a combination of Python and LTspice. the system is characterized by the generation of a “.asc” text description file by Python, which is then opened by LTspice to obtain an automatically generated analog circuit. the LTspice model of the electronic components of the circuit is a textual description, and with the textual description of each electronic component, the textual file can be processed using the capabilities of the Python programming language. this approach allows users to automatically generate multiple standard circuit diagram files from Python scripts, facilitating batch circuit design and testing without the need to manually draw circuit diagrams, simplifying the process of circuit design and testing, and improving efficiency, which plays an important role in automated circuit design and verification.

关键词： Codes Automation Electronic components Analog circuits Data processing Circuit synthesis Integrated circuit modeling Standards Python Testing

来源：评论

学校读者我要写书评

暂无评论

Open Standards for Integrating Datacube Backend, Catalog, and Visualization Tools: A Case Study

Open Standards for Integrating Datacube Backend, Catalog, an...

引用

Electrical, Computer, Communications and Mechatronics engineering (ICECCME), international conference on

作者： Peter Baumann Computer Science & Electrical Engineering Constructor University Bremen Germany

ISBN: (数字)9798350391183

ISBN: (纸本)9798350391190

Today, service-oriented architectures dominate the field over monolithic systems. Manifold building blocks are available, with a likewise wide range of application programming interfaces (APIs). Standards can help here in that they give guidance for implementers and ease adaptation to further tools coming with the same interface, thereby widening opportunities for composing services. Some argue that open source is the key because the source code can be inspected anytime; the author's view, conversely, is that open standards are key to interoperability. this case study connects the thREDDS data catalog and metadata management server, the ncWMS Web mapping extension of the OGC Web Map Service (WMS), and the rasdaman array database management system, thereby providing an integrated approach to handle Big Geo Data. In particular, the resulting system combines efficient raster query processing of rasdaman with flexible metadata search in thREDDS and intuitive visualization through ncWMS.

关键词： Codes Source coding Optical wavelength conversion Data visualization Metadata Service-oriented architecture Visual databases Usability Standards Surface treatment

来源：评论

学校读者我要写书评

暂无评论

Graph-based Approaches for the Interval Scheduling Problem

Graph-based Approaches for the Interval Scheduling Problem

引用

international conference on Parallel and Distributed Systems (ICPADS)

作者： Panagiotis Oikonomou Nikos Tziritas Georgios theodoropoulos Maria Koziri thanasis Loukopoulos Samee U. Khan Computer Science and Engineering Southern Univ. of Science and Technology Shenzhen China Computer Science and Telecomm University of Thessaly Lamia Greece Comp. Science and Biomedical Informatics University of Thessaly Lamia Greece Electrical and Computer Engineering Mississippi State University Mississippi USA

ISBN: (数字)9781728190747

ISBN: (纸本)9781728183824

One of the fundamental problems encountered by large-scale computing systems, such as clusters and cloud, is to schedule a set of jobs submitted by the users. Each job is characterized by resource demands, as well as start and completion time. Each job must be scheduled to execute on a machine having the required capacity between the start and completion time (referred as interval) of the job. Each machine is defined by a parallelism parameter g that indicates the maximum number of jobs that can be processed by the machine, in parallel. the above problem is referred to as the interval scheduling problem with bounded parallelism. the objective is to minimize the total busy time of all machines. Majority of the solutions proposed in the literature consider homogeneous set of jobs and machines that is a simplified assumption as in practice, heterogeneous jobs and machines are frequently encountered. In this article, we tackle the aforesaid problem with a set of heterogeneous jobs and machines. A major contribution of our work is that the problem is addressed in a novel way by combining a graph-based approach and a dynamic programming approach which is based on a variation of bin packing problem. A greedy algorithm is also proposed by employing only a graph-based approach at the aim to reduce the computational complexity. Experimental results show that the proposed algorithms can significantly reduce the cumulative busy interval over all machines compared with state-of-the-art algorithms proposed in the literature.

关键词： Greedy algorithms Schedules Processor scheduling Heuristic algorithms conferences Parallel processing Dynamic programming

来源：评论

学校读者我要写书评

暂无评论

Informatics Leveling Training Methodical System Development for the First-year Students of a Technical University

Informatics Leveling Training Methodical System Development ...

引用

Technology Enhanced Learning in Higher Education (TELE), international conference on

作者： Evgeniya Filippova Svetlana Shemyakina Alexander Rybanov Olga Sviridova The Department of Methods of Teaching Mathematics and Physics ICT Volgograd State Socio- Pedagogical University Volgograd Russia The Department of Methods of Teaching Mathematics and Physics ICT Volgograd State Socio- Pedagogical University The Department of Physics Mathematics and Informatics Volgograd State Medical University Volgograd Russia Informatics and Programming Techniques Department Volzhsky Polytechnic Institute Branch of the Volgograd State Technical University Volzhsky Russia

ISBN: (数字)9798350353532

ISBN: (纸本)9798350353549

the article presents a leveling training methodical system development of students' knowledge, skills and abilities to use the information technologies due to their different pre- university training, explains the authors' idea of leveling training methodical system development at example of teaching the first-year students to computer science. Suggested methodical system permits to determine the goals, content, forms, methods and means of training taken into account the profile of technical specialties such as “Construction”, “Operation of transport and transport-technological mechanisms and complexes” and “Software engineering”. Features and specifics of educational material on computer science using information technologies are described due to the profile of different areas of technical specialists' training.

关键词： Training Knowledge engineering Computer science Personal digital devices Predictive models Software Information technology

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共147页 << < 131 132 133 134 135 136 137 138 139 140 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：