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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

107 篇 会议
6 册 图书
1 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

82 篇 工学
- 77 篇 计算机科学与技术...
- 33 篇 软件工程
- 8 篇 信息与通信工程
- 6 篇 控制科学与工程
- 3 篇 机械工程
- 3 篇 电气工程
- 3 篇 电子科学与技术（可...
- 3 篇 交通运输工程
- 2 篇 光学工程
- 2 篇 生物医学工程（可授...
- 2 篇 生物工程
- 1 篇 仪器科学与技术
- 1 篇 动力工程及工程热...
- 1 篇 船舶与海洋工程
- 1 篇 航空宇航科学与技...
- 1 篇 安全科学与工程
21 篇 理学
- 18 篇 数学
- 5 篇 统计学（可授理学、...
- 3 篇 物理学
- 2 篇 生物学
- 1 篇 系统科学
13 篇 管理学
- 7 篇 管理科学与工程(可...
- 7 篇 图书情报与档案管...
- 2 篇 工商管理
4 篇 教育学
- 4 篇 教育学
2 篇 医学
- 2 篇 基础医学(可授医学...
- 2 篇 临床医学
- 1 篇 公共卫生与预防医...
- 1 篇 药学(可授医学、理...
1 篇 法学
- 1 篇 社会学

主题

11 篇 computer science
7 篇 graph theory
5 篇 automata theory
5 篇 constraint theor...
4 篇 software enginee...
3 篇 interactive comp...
3 篇 computer archite...
3 篇 requirements eng...
3 篇 data structures
2 篇 computer simulat...
2 篇 information syst...
2 篇 theory of comput...
2 篇 approximation al...
2 篇 social robots
2 篇 application soft...
2 篇 systems engineer...
2 篇 collaborative so...
2 篇 medical services
2 篇 computer graphic...
2 篇 monitoring

机构

2 篇 institute of com...
2 篇 univ washington ...
1 篇 university of ca...
1 篇 univ coll cork i...
1 篇 ist austria klos...
1 篇 department of el...
1 篇 cleveland state ...
1 篇 school of comput...
1 篇 department of el...
1 篇 penn state univ ...
1 篇 univ kassel fach...
1 篇 univ wroclaw ins...
1 篇 department of co...
1 篇 school of applie...
1 篇 katholieke univ ...
1 篇 xidian univ inst...
1 篇 univ grenoble 1 ...
1 篇 engineering prof...
1 篇 singapore univer...
1 篇 univ durham sch ...

作者

2 篇 žák stanislav
2 篇 šíma jiří
2 篇 otto friedrich
2 篇 henzinger thomas...
1 篇 lee dae sung
1 篇 ratliff lillian
1 篇 elie saad
1 篇 moustafa a. fouz
1 篇 cuong dinh v
1 篇 lin xiaodong
1 篇 yuming jiang
1 篇 rasekh nima
1 篇 renault guenael
1 篇 giguette marguer...
1 篇 qingjun xiao
1 篇 t.w. griffin
1 篇 wu dan
1 篇 liang yung c.
1 篇 pierce james
1 篇 li ronghui

语言

113 篇 英文
1 篇 中文

检索条件"任意字段=33rd Conference on Current Trends in Theory and Practice of Computer Science"

共 114 条记录，以下是41-50 订阅

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

详细简洁

排序：

Bounded TSO-to-SC linearizability is decidable 42nd

Bounded TSO-to-SC linearizability is decidable

引用

42nd International conference on current trends in theory and practice of computer science, SOFSEM 2016

作者： Wang, Chao Lv, Yi Wu, Peng State Key Laboratory of Computer Science Institute of Software CAS Beijing China University of Chinese Academy of Sciences Beijing China

ISBN: (纸本)9783662491911

TSO-to-SC linearizability is a variant of linearizability for concurrent libraries on the Total Store Order (TSO) memory model. In this paper we propose the notion of k-bounded TSO-to-SC linearizability, a subclass of TSO-to-SC linearizability that concerns only bounded histories. This subclass is non-trivial in that it does not restrict the number of write, flush and cas (compare-and-swap) actions, nor the size of a store buffer, to be bounded. We prove that the decision problem of k-bounded TSO-to-SC linearizability is decidable for a bounded number of processes. We first reduce this decision problem to a marked violation problem of k-bounded TSO-to-SC linearizability, where specific cas actions are introduced to mark call and return actions. Then, we further reduce the marked violation problem to a control state reachability problem of a lossy channel machine, which is already known to be decidable. Moreover, we can show that the decision problem of k-bounded TSO-to-SC linearizability has non-primitive recursive complexity. © Springer-Verlag Berlin Heidelberg 2016.

关键词： Computability and decidability

来源：评论

学校读者我要写书评

暂无评论

Expanding and Refining Design and Criticality in HCI 15

Expanding and Refining Design and Criticality in HCI

引用

33rd Annual CHI conference on Human Factors in Computing Systems (CHI)

作者： Pierce, James Sengers, Phoebe Hirsch, Tad Jenkins, Tom Gaver, William DiSalvo, Carl Carnegie Mellon Univ HCI Inst Pittsburgh PA 15213 USA Cornell Univ Informat Sci Ithaca NY 14853 USA Univ Washington Div Design Sch Art Seattle WA 98195 USA Georgia Inst Technol Sch Literature Media & Commun Atlanta GA 30332 USA Univ London Goldsmiths Interact Res Studio London England

ISBN: (纸本)9781450331456

The term 'critical design' is on the upswing in HCI. We analyze how discourses around 'critical design' are diverging in Design and HCI. We argue that this divergence undermines HCI's ability to learn from and appropriate the design approaches signaled by this term. Instead, we articulate two ways to broaden and deepen connections between Design and HCI: (1) develop a broader collective understanding of what these design approaches can be, without forcing them to be about 'criticality' or 'critical design,' narrowly construed;and (2) shape a variation of design criticism to better meet Design practices, terms, and ways of knowing.

关键词： Critical design speculative design design thinking design criticism expanded design practice critical theory

来源：评论

学校读者我要写书评

暂无评论

Dominating an s-t-Cut in a Network 41

Dominating an <i>s</i>-<i>t</i>-Cut in a Network

引用

41st International conference on current trends in theory and practice of computer science ((SOFSEM)

作者： Rothenberger, Ralf Grau, Sascha Rossberg, Michael Univ Jena Jena Germany Tech Univ Ilmenau Ilmenau Germany

ISBN: (纸本)9783662460788;9783662460771

We study an optimization problem with applications in design and analysis of resilient communication networks: given two vertices s, t in a graph G = (V, E), find a vertex set X subset of V of minimum cardinality, such that X and its neighborhood constitute an s-t vertex separator. Although the problem naturally combines notions of graph connectivity and domination, its computational properties significantly differ from these relatives. In particular, we show that on general graphs the problem cannot be approximated to within a factor of 2(log1-delta n), with delta = 1/log log(c) n and arbitrary c < 1/2 (if P not equal NP). This inapproximability result even applies if the subgraph induced by a solution set has the additional constraint of being connected. Furthermore, we give a 2 root n-approximation algorithm and study the problem on graphs with bounded node degree. With Delta being the maximum degree of nodes V \ {s, t}, we identify a (Delta + 1) approximation algorithm.

关键词： graph theory approximation algorithms inapproximability

来源：评论

学校读者我要写书评

暂无评论

Model Based Enterprise Simulation and Analysis A Pragmatic Approach Reducing the Burden on Experts 33

Model Based Enterprise Simulation and Analysis A Pragmatic A...

引用

33rd International conference on Conceptual Modeling (ER)

作者： Kulkarni, Vinay Clark, Tony Barat, Souvik Barn, Balbir

ISBN: (纸本)9783319122564;9783319122557

Modern enterprises are complex systems operating in highly dynamic environments. The time to respond to the various change drivers is short and the cost of incorrect decisions is prohibitively high. Modern enterprises tend to exist in silos leading to fragmented knowledge with little support available for composing the fragments. current practice places a heavy burden on experts by requiring a quick and comprehensive solution. This paper proposes a model based approach to this problem in terms of a language to be used for enterprise simulation and analysis that is capable of integrating the 'what', 'how' and 'why' aspects of an enterprise. Possible implementation is also hinted.

关键词： computer simulation languages

来源：评论

学校读者我要写书评

暂无评论

On Path Following of Underactuated Surface Ships 33

On Path Following of Underactuated Surface Ships

引用

第三十三届中国控制会议

作者： LI Ronghui QI Yunpeng LI Tieshan ZHENG Qinling YU Yang Navigation college Dalian Maritime University Department of Electrical and Computer Engineering Cleveland State University

ISBN: (纸本)9781479947249

In this paper,a hybrid solution is proposed for motion control of underactuated surface ships with actuator constraints and unknown *** combines backstepping method with Active Disturbance Rejection Control(ADRC) and sliding mode control(SMC) to form an effective and robust control structure.A coordinate transformation of nonlinear equation is introduced to steer the ship to follow the desired *** cross track error caused by wind and current is removed via active disturbance rejection,in conjunction with the SMC based control *** were performed on a nonlinear kinematics model of a training ship to validate the stability and robustness of the proposed path following controller.

关键词： Underactuated Ships Path Following Active Disturbance Rejection Sliding Mode

来源：评论

学校读者我要写书评

暂无评论

Active disturbance rejection control: Methodology, practice and analysis 33

Active disturbance rejection control: Methodology, practice ...

引用

Proceedings of the 33rd Chinese Control conference, CCC 2014

作者： Huang, Yi Xue, Wenchao Zhiqiang, Gao Sira-Ramirez, Hebertt Wu, Dan Sun, Mingwei Key Lab. Systems and Control Academy of Mathematics and Systems Science Chinese Academy of Sciences Beijing100190 China Cleveland State University ClevelandOH44115 United States CINVESTAV Mexico City Mexico Department of Mechanical Engineering Tsinghua University Beijing100084 China College of Computer and Control Engineering Nankai University Tianjin300071 China

ISBN: (纸本)9789881563842

An overview of the active disturbance rejection control (ADRC) is presented in this talk. Ever since ADRC was proposed by Jingqing Han in 1990s[1]1, it has become quite an attractive methodology to applied researchers, even though rigorous theoretical justification was lagging behind for quite some time. The fact that ADRC possesses certain uniqueness in concepts, simplicity in engineering implementation, and superior actual performance allowed it to be readily translated into a valuable asset in engineering practice: namely, the ability in dealing with a vast range of uncertainties, improved transient response, easy implementation and energy savings, to name but a few. The range of applications seems broad, covering almost all domains of control engineering, such as motion control, speed control of induction motor and permanent-magnet synchronous motor, control for noncircular turning process, low-velocity compensation of brushless DC servo, robotic system, underactuated mechanical systems, micro-electro-mechanical systems gyroscope, control for superconducting RF cavities, flight control, attitude tracking of rigid spacecraft, web tension regulation, DC-DC power converter, chemical processes, ALSTOM gasifier benchmark problem, the boilerturbine-generator control systems, stabilization of axial flow compressors, the fractional-order system, etc. [10]-[31]. In the U.S.A., the ADRC solution was recently deployed at a Parker Hannifin Extrusion Plant in North America, resulting in over 50% energy saving per line across ten production lines, together with significant improvements in product quality [32]. And Texas Instrument has adopted the ADRC technology in developing and distributing a new line of motion control chips worldwide [33].The National Superconducting Cyclotron Lab in the U.S. has implemented ADRC in several high energy particle accelerators after significant improvements have been obtained in amplitude and phase regulation of electromagnetic fields. The ta

关键词： Permanent magnets

来源：评论

学校读者我要写书评

暂无评论

Symmetrized Summation Polynomials: Using Small Order Torsion Points to Speed Up Elliptic Curve Index Calculus

Symmetrized Summation Polynomials: Using Small Order Torsion...

引用

33rd Annual International Association for Cryptologic Research Eurocrypt conference on the theory and Applications of Cryptographic Techniques

作者： Faugere, Jean-Charles Huot, Louise Joux, Antoine Renault, Guenael Vitse, Vanessa INRIA POLSYS Ctr Paris Rocquencourt F-78153 Le Chesnay France Univ Paris 06 LIP6 Sorbonne Univ F-75005 Paris France UPMC LIP6 CNRS UMR 7606 F-75005 Paris France CryptoExperts Paris France UPMC Chaire Cryptol Fdn Pittsburgh PA USA Univ Grenoble 1 Inst Fourier F-38041 Grenoble France

ISBN: (纸本)9783642552205;9783642552199

Decomposition-based index calculus methods are currently efficient only for elliptic curves E defined over non-prime finite fields of very small extension degree n. This corresponds to the fact that the Semaev summation polynomials, which encode the relation search ( or "sieving"), grow over-exponentially with n. Actually, even their computation is a first stumbling block and the largest Semaev polynomial ever computed is the 6-th. Following ideas from Faugere, Gaudry, Huot and Renault, our goal is to use the existence of small order torsion points on E to define new summation polynomials whose symmetrized expressions are much more compact and easier to compute. This setting allows to consider smaller factor bases, and the high sparsity of the new summation polynomials provides a very efficient decomposition step. In this paper the focus is on 2-torsion points, as it is the most important case in practice. We obtain records of two kinds: we successfully compute up to the 8-th symmetrized summation polynomial and give new timings for the computation of relations with degree 5 extension fields.

关键词： ECDLP elliptic curves decomposition method index calculus Semaev polynomials multivariate polynomial systems invariant theory

来源：评论

学校读者我要写书评

暂无评论

Reliability Methodology and theory for Development of Novel Railway Signalling Systems

Reliability Methodology and Theory for Development of Novel ...

引用

第三十三届中国控制会议

作者： Guo Xie Yanmin Liang Fucai Qian Xinhong Hei School of Automation & Information Engineering Xi'an University of Technology School of Computer Science & Engineering Xi’an University of Technology

ISBN: (纸本)9781479947249

Driven by the high maintenance and repair cost, low operation efficiency and unsatisfactory safety level of the current railway systems, the autonomous perception and radio-based railway signalling systems are attracting world's attention. In development of these systems, a severe challenge is guaranteeing the software reliability. In this paper, a novel approach is proposed to analyze and formalize the requirements specification, which is the basis of software system. Specifically, firstly,in order to improve the accuracy of the translation from an original specification into a formal specification, dynamic state translation diagrams are extracted to express internal operation mechanisms and state changes. Followed by graphical UML models are created for a comprehensive and object-oriented analysis of the system structure. Thirdly, rigorous and explicit formal specification is established using VDM++. Lastly, system properties are validated by discharging the proof obligations of the formal specification. The satisfiability is validated by simulation and systematic testing.

关键词： railway signalling system,radio-based,formal methods,specification

来源：评论

学校读者我要写书评

暂无评论

Rough Sets and Intelligent Systems Paradigms: Second International conference, RSEISP 2014, Held as Part of JRS 2014, Granada and Madrid, Spain, July 9-13, 2014. Proceedings 1

引用

丛书名： Lecture Notes in computer science 8537 Lecture Notes in Artificial Intelligence

2014年

作者： Marzena Kryszkiewicz, Chris Cornelis, Davide Ciucci, Jesús Medina-Moreno, Hiroshi Motoda, Zbigniew W. Raś (eds.)

ISBN: (数字)9783319087290

ISBN: (纸本)9783319087283;9783319087290

This book constitutes the refereed proceedings of the 23rd Australasian Joint conference on Rough Sets and Intelligent Systems Paradigms, RSEISP 2014, held in Granada and Madrid, Spain, in July 2014. RSEISP 2014 was held along with the 9th International conference on Rough Sets and current trends in Computing, RSCTC 2014, as a major part of the 2014 Joint Rough Set Symposium, JRS 2014. JRS 2014 received 40 revised full papers and 37 revised short papers which were carefully reviewed and selected from 120 submissions and presented in two volumes. This volume contains the papers accepted for the conference RSEISP 2014, as well as the three invited papers presented at the conference. The papers are organized in topical sections on plenary lecture and tutorial papers; foundations of rough set theory; granular computing and covering-based rough sets; applications of rough sets; induction of decision rules - theory and practice; knowledge discovery; spatial data analysis and spatial databases; information extraction from images.

关键词：

来源：评论

学校读者我要写书评

暂无评论

SOFSEM 2007: theory and practice of computer science - 33rd conference on current trends in theory and practice of computer science, Proceedings

SOFSEM 2007: Theory and Practice of Computer Science - 33rd ...

引用

33rd conference on current trends in theory and practice of computer science, SOFSEM 2007

ISBN: (纸本)9783540695066

The proceedings contain 78 papers. The topics discussed include: graphs from search engine queries;model-checking large finite-state systems and beyond;interaction and realizability;weighted nearest neighbor algorithms for the graph exploration problems on cycles;straightening drawings of clustered hierarchical graphs;about the termination detection in the asynchronous message passing model;fast approximate point set matching for information retrieval;maximum rigid components as means for direction-based localization in sensor networks;generating high dimensional data and query sets;indexing factors with gaps;performance analysis of a multiagent architecture for passenger transportation;on efficient resource allocation in communication networks;multi-document summarization based on cluster using non-negative matrix factorization;and towards a versatile contract model to organize behavioral specifications.

关键词： computer science

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

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

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：