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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

62 篇 会议
8 册 图书
2 篇 期刊文献

馆藏范围

71 篇 电子文献
1 种 纸本馆藏

日期分布

学科分类号

45 篇 工学
- 39 篇 计算机科学与技术...
- 21 篇 软件工程
- 6 篇 信息与通信工程
- 5 篇 电气工程
- 3 篇 控制科学与工程
- 3 篇 化学工程与技术
- 2 篇 安全科学与工程
- 2 篇 网络空间安全
- 1 篇 机械工程
- 1 篇 仪器科学与技术
- 1 篇 交通运输工程
22 篇 理学
- 12 篇 数学
- 5 篇 物理学
- 4 篇 化学
- 2 篇 系统科学
- 2 篇 统计学（可授理学、...
- 1 篇 大气科学
- 1 篇 生物学
11 篇 管理学
- 9 篇 图书情报与档案管...
- 2 篇 管理科学与工程(可...
- 2 篇 工商管理
- 1 篇 公共管理
3 篇 法学
- 3 篇 社会学
2 篇 医学
- 2 篇 基础医学(可授医学...
- 1 篇 临床医学
- 1 篇 公共卫生与预防医...
- 1 篇 护理学（可授医学、...
1 篇 经济学
- 1 篇 应用经济学
1 篇 文学
- 1 篇 新闻传播学

主题

4 篇 computer communi...
4 篇 discrete mathema...
3 篇 theory of comput...
3 篇 software enginee...
3 篇 software enginee...
3 篇 database managem...
3 篇 computers
3 篇 artificial intel...
3 篇 algorithm analys...
2 篇 data storage rep...
2 篇 graph theory
2 篇 automata theory
2 篇 quantum theory
2 篇 information stor...
1 篇 surveys
1 篇 information syst...
1 篇 learning systems
1 篇 theory-building
1 篇 digital innovati...
1 篇 计算理论

机构

2 篇 department of co...
2 篇 department of in...
1 篇 department of so...
1 篇 institute of inf...
1 篇 faculty of infor...
1 篇 school of applie...
1 篇 certicon shareho...
1 篇 institute of inf...
1 篇 us ctr dis contr...
1 篇 department of in...
1 篇 university of el...
1 篇 institute of che...
1 篇 robotics and cyb...
1 篇 dept. of compute...
1 篇 univ minnesota m...
1 篇 university of th...
1 篇 bundesamt fur ei...
1 篇 department of cy...
1 篇 dept. of informa...
1 篇 shanghai jiao to...

作者

3 篇 šimko marián
2 篇 kutrib martin
2 篇 leszek pacholski
2 篇 löwe jan-thomas
1 篇 petr kadera
1 篇 ronquillo charle...
1 篇 laryea samuel
1 篇 afsarmanesh hami...
1 篇 beňňušková ľubic...
1 篇 breton vincent
1 篇 chukwunonso fran...
1 篇 nørager1 sofie
1 篇 wielemaker jan
1 篇 geusebroek jan-m...
1 篇 frans c. a. groe...
1 篇 peter ružička (e...
1 篇 pennec xavier
1 篇 de vaujany franç...
1 篇 petr novák
1 篇 herveg jean a.m.

语言

69 篇 英文
3 篇 中文

检索条件"任意字段=29th Conference on Current Trends in Theory and Practice of Informatics"

共 72 条记录，以下是11-20 订阅

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

详细简洁

排序：

Product-Oriented Product-Process-Resource Asset Network and its Representation in AutomationML for Asset Administration Shell

Product-Oriented Product-Process-Resource Asset Network and ...

引用

International conference on Emerging Technologies and Factory Automation (ETFA)

作者： Sára Strakošová Petr Novák Petr Kadera Faculty of Mechanical Engineering Czech Technical University in Prague Prague Czech Republic Robotics and Cybernetics Czech Institute of Informatics Czech Technical University in Prague Prague Czech Republic

ISBN: (数字)9798350361230

ISBN: (纸本)9798350361247

current products, especially in the automotive sector, pose complex technical systems having a multi-disciplinary mechatronic nature. Industrial standards supporting system engineering and production typically (i) address the production phase only, but do not cover the complete product life cycle, and (ii) focus on production processes and resources rather than the products themselves. the presented approach is motivated by incorporating the impacts of the end-of-life phase of the product life cycle into the engineering phase. this paper proposes a modeling approach coming up from the Product-Process-Resource (PPR) modeling paradigm. It combines requirements on (i) respecting the product structure as a basis for the model, and (ii) incorporates repairing, remanufacturing, or up cycling within cyber-physical production systems. the proposed model called PoPAN should accompany the product during the entire life cycle as a digital shadow encapsulated within the Asset Administration Shell of a product. To facilitate the adoption of the proposed paradigm, the paper also proposes serialization of the model in the AutomationML data format. the model is demonstrated on a use-case for disassembling electric vehicle batteries to support their remanufacturing for stationary battery applications.

关键词： Production systems Mechatronics Systems engineering and theory Electric vehicles Data models Batteries Standards Manufacturing automation Automotive engineering

来源：评论

学校读者我要写书评

暂无评论

On the Difference Between Finite-State and Pushdown Depth 46th

On the Difference Between Finite-State and Pushdown Depth

引用

46th International conference on current trends in theory and practice of informatics (SOFSEM)

作者： Jordon, Liam Moser, Philippe Natl Univ Ireland Maynooth Comp Sci Dept Maynooth Kildare Ireland

ISBN: (纸本)9783030389192;9783030389185

this paper expands upon existing and introduces new formulations of Bennett's logical depth. A new notion based on pushdown compressors is developed. A pushdown deep sequence is constructed. the separation of (previously published) finite-state based and pushdown based depth is shown. the previously published finite state depth notion is extended to an almost everywhere (a.e.) version. An a.e. finite-state deep sequence is shown to exist along with a sequence that is infinitely often (i.o.) but not a.e. finite-state deep. For both finite-state and pushdown, easy and random sequences with respect to each notion are shown to be non-deep, and that a slow growth law holds for pushdown depth.

关键词： Algorithmic information theory Kolmogorov complexity Bennett's logical depth

来源：评论

学校读者我要写书评

暂无评论

Contrasting safety management approaches for natural disasters applied to landslides in sandnes (Norway) 29

Contrasting safety management approaches for natural disaste...

引用

29th European Safety and Reliability conference, ESREL 2019

作者： Mulero, Diego Lopez Nja, Ove University of Stavanger Postboks 8600 Stavanger Norway SEROS University of Stavanger Norway

ISBN: (纸本)9789811127243

the social, economic and environmental effects of natural disasters are increasing. It is widely demonstrated that the main cause is related to the climate change, and the latest predictions from the IPCC do not forecast a promising future in this regard. Numerous countries are taking actions against these challenges as the rate of occurrence and consequences are higher. the return periods of extreme climatic events are decreasing. the urbanization keeps its pace thus, more population and economic activity is allocated vulnerable areas. the current situation in Norwegian municipalities is that they are assumed to self-regulate their safety management activities to protect against natural disasters and develop emergency preparedness systems designed to evacuate exposed population. this is a regulatory strategy being successful in the Norwegian oil and gas industry, but we raise questions towards its effectiveness in the public sector. this paper aims to analyze and contrast the traditional safety management approach seen in Norwegian municipalities with a systems theory based on Leveson's System-theoretic Accident Model and Processes (STAMP). We use the landslide protection management practice in the Sandnes municipality as our case study. the analysis and comparison are a step in a wider effort to quantify the landslide occurrence likelihood given certain conditions based on data and typical causes in order to support the community in creating resilience in preparation for future landslide risks. Copyright © 2019 European Safety and Reliability Association.

关键词： System theory

来源：评论

学校读者我要写书评

暂无评论

A Game of Cops and Robbers on Graphs with Periodic Edge-Connectivity 46th

A Game of Cops and Robbers on Graphs with Periodic Edge-Conn...

引用

46th International conference on current trends in theory and practice of informatics (SOFSEM)

作者： Erlebach, thomas Spooner, Jakob T. Univ Leicester Sch Informat Leicester Leics England

ISBN: (纸本)9783030389192;9783030389185

this paper considers a game in which a single cop and a single robber take turns moving along the edges of a given graph G. If there exists a strategy for the cop which enables it to be positioned at the same vertex as the robber eventually, then G is called cop-win, and robber-win otherwise. In contrast to previous work, we study this classical combinatorial game on edge-periodic graphs. these are graphs with an infinite lifetime comprised of discrete time steps such that each edge e is assigned a bit pattern of length le, with a 1 in the i-th position of the pattern indicating the presence of edge e in the i-th step of each consecutive block of le steps. Utilising the known framework of reachability games, we obtain an O(LCM(L) . n(3)) time algorithm to decide if a given n-vertex edge-periodic graph Gt is cop-win or robber-win as well as compute a strategy for the winning player (here, L is the set of all edge pattern lengths le, and LCM(L) denotes the least common multiple of the set L). For the special case of edge-periodic cycles, we prove an upper bound of 2 . l . LCM(L) on the minimum length required of any edge-periodic cycle to ensure that it is robber-win, where l = 1 if LCM(L) = 2 . maxL, and l = 2 otherwise. Furthermore, we provide constructions of edge-periodic cycles that are cop-win and have length 1.5 . LCM(L) in the l = 1 case and length 3 . LCM(L) in the l = 2 case.

关键词： Graph theory

来源：评论

学校读者我要写书评

暂无评论

Two-Player Competitive Diffusion Game: Graph Classes and the Existence of a Nash Equilibrium 46th

Two-Player Competitive Diffusion Game: Graph Classes and the...

引用

46th International conference on current trends in theory and practice of informatics (SOFSEM)

作者： Fukuzono, Naoka Hanaka, Tesshu Kiya, Hironori Ono, Hirotaka Yamaguchi, Ryogo Nagoya Univ Grad Sch Informat Chikusa Ku Furo Cho Nagoya Aichi Japan Chuo Univ Dept Informat & Syst Engn Bunkyo Ku 1-13-27Kasuga Tokyo Japan Dev Bank Japan Tokyo Japan

ISBN: (纸本)9783030389192;9783030389185

the competitive diffusion game is a game-theoretic model of information spreading on a graph proposed by Alon et al. (2010). In the model, a player chooses an initial vertex of the graph, from which information by the player spreads through the edges connected with the initial vertex. If a vertex that is not yet influenced by any information receives information by a player, it is influenced by the information and it diffuses it to adjacent vertices. A vertex that simultaneously receives two or more types of information does not diffuse any type of information from then on. the objective of a player is to maximize the number of vertices influenced by the player's information. In this paper, we investigate the existence of a pure Nash equilibrium of the two-player competitive diffusion game on chordal and its related graphs. We show that a pure Nash equilibrium always exists on block graphs, split graphs and interval graphs, all of which are well-known subclasses of chordal graphs. On the other hand, we show that there is an instance with no pure Nash equilibrium on (strongly) chordal graphs;the boundary of the existence of a pure Nash equilibrium is found.

关键词： Nash equilibrium Competitive diffusion game Algorithmic game theory Chordal graph

来源：评论

学校读者我要写书评

暂无评论

Sofsem'99 : theory and practice of informatics : 26th conference on current trends in theory and practice of informatics, Milovy, Czech Republic, November 27-December 4, 1999 : Proceedings

引用

2016年

作者： jan pavelka

Sofsem'99 : theory and practice of informatics : 26th conference on current trends in theory and practice of informatics, Milovy, Czech Republic, November 27-December 4, 1999 : Proceedings by Sofsem (1999 : Milovy, Czech Republic); Pavelka, Jan, 1948-; Tel, Gerard; Bartošek, Miroslav; published by Berlin ; New York : Springer

关键词： 27-december computer software computers conference current practice theory

来源：评论

学校读者我要写书评

暂无评论

Reachability in timed automata with diagonal constraints 29

Reachability in timed automata with diagonal constraints

引用

29th International conference on Concurrency theory, CONCUR 2018

作者： Gastin, Paul Mukherjee, Sayan Srivathsan, B. LSV CNRS ENS Paris-Saclay Université Paris–Saclay France Chennai Mathematical Institute India

ISBN: (纸本)9783959770873

We consider the reachability problem for timed automata having diagonal constraints (like x − y dLU for timed automata with diagonal constraints. On the negative side, we show that deciding ZdLU Z is NP-complete. On the positive side, we identify a witness for ZdLU Z and propose an algorithm to decide the existence of such a witness using an SMT solver. the shape of the witness reveals that the simulation test is likely to be e cient in practice. © Paul Gastin, Sayan Mukherjee, and B. Srivathsan.

关键词： Automata theory

来源：评论

学校读者我要写书评

暂无评论

Dynamic data assigning clustering for school grouping 3

Dynamic data assigning clustering for school grouping

引用

3rd International conference on Big Data Analytics, Data Mining and Computational Intelligence 2018, the 7th International conference on theory and practice in Modern Computing 2018 and of the 4th International conference on Connected Smart Cities 2018, part of the 2018 Multi conference on Computer Science and Information Systems, MCCSIS 2018

作者： Georgieva, Olga Sofia University "St. Kl. Ohridski" Faculty of Mathematics and Informatics Sofia Bulgaria

ISBN: (纸本)9789898533807

Following the current trends in data driven solutions, this paper aims to explore a value-creation mechanism for open data of education sector. Dynamic data assigning algorithm for cluster identification is investigated for the ability to group schools based on the students' scores. the primary purpose of the solution is to drive decisions about the education system and policies for reducing the risk of premature leaving the system accounting for the current state of the presented learning deficits. © 2018 CURRAN-conference. All rights reserved.

关键词： Decision support systems

来源：评论

学校读者我要写书评

暂无评论

thinking in advance about the last algorithm we ever need to invent 29

Thinking in advance about the last algorithm we ever need to...

引用

29th International conference on Probabilistic, Combinatorial and Asymptotic Methods for the Analysis of Algorithms, AofA 2018

作者： Häggström, Olle Dept of Mathematical Sciences Chalmers University of Technology Göteborg412 96 Sweden Institute for Future Studies Box 591 Stockholm101 31 Sweden

ISBN: (纸本)9783959770781

We survey current discussions about possibilities and risks associated with an artificial intelligence breakthrough on the level that puts humanity in the situation where we are no longer foremost on the planet in terms of general intelligence. the importance of thinking in advance about such an event is emphasized. Key issues include when and how suddenly superintelligence is likely to emerge, the goals and motivations of a superintelligent machine, and what we can do to improve the chances of a favorable outcome. © Olle Häggström.

关键词： Intelligence explosion Omohundro-Bostrom theory Superintelligence

来源：评论

学校读者我要写书评

暂无评论

Research on Reactive Power Compensation Technology in Distribution Grid 29

Research on Reactive Power Compensation Technology in Distri...

引用

第29届中国控制与决策会议

作者： Youjie Ma Luwen Cao Xuesong Zhou Zhiqiang Gao Key Research Laboratory for Control Theory & Applications in Complicated Systems Tianjin University of Technology

ISBN: (纸本)9781509046584

the researches of reactive power compensation in distribution network mainly consist of two aspects:the research of reactive power compensation optimization theory and the research of reactive power compensation *** to certain configuration principle and optimization principle,the mode and capacity of reactive power compensation can be optimized,which can effectively reduce the system loss and improve the power quality of distribution *** present,reactive power compensation devices include shunt capacitor,static var compensator and static synchronous compensator(D-STATCOM).We could choose the appropriate reactive power compensation device to compensate the distribution network in the view of practice and *** article would introduce some aspects of reactive power compensation breifly,including several studies on compensation mode selection and capacity *** addition,we would also introduce the working principle and the reactive current detection technology of D-STATCOM which is the most advanced reactive power compensation device.

关键词： Reactive Power Compensation Distribution Grid D-STATCOM Reactive current Detection

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

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

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：