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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

馆藏范围

1,490 篇 电子文献
2 种 纸本馆藏

日期分布

学科分类号

1,116 篇 工学
- 855 篇 计算机科学与技术...
- 501 篇 软件工程
- 120 篇 电气工程
- 112 篇 控制科学与工程
- 83 篇 土木工程
- 77 篇 机械工程
- 74 篇 建筑学
- 67 篇 信息与通信工程
- 42 篇 动力工程及工程热...
- 41 篇 安全科学与工程
- 39 篇 材料科学与工程（可...
- 35 篇 仪器科学与技术
- 33 篇 交通运输工程
- 31 篇 化学工程与技术
- 31 篇 石油与天然气工程
- 29 篇 水利工程
- 23 篇 力学（可授工学、理...
- 23 篇 生物医学工程（可授...
- 22 篇 电子科学与技术（可...
316 篇 理学
- 194 篇 数学
- 63 篇 系统科学
- 55 篇 统计学（可授理学、...
- 43 篇 物理学
- 38 篇 化学
- 30 篇 生物学
198 篇 管理学
- 143 篇 管理科学与工程(可...
- 81 篇 工商管理
- 71 篇 图书情报与档案管...
35 篇 经济学
- 35 篇 应用经济学
28 篇 医学
26 篇 法学
- 24 篇 社会学
23 篇 教育学
9 篇 文学
7 篇 农学
3 篇 艺术学
2 篇 军事学

主题

60 篇 model checking
42 篇 tools
28 篇 static analysis
27 篇 data mining
24 篇 algorithm design...
23 篇 analytical model...
21 篇 stochastic syste...
21 篇 artificial intel...
20 篇 software enginee...
18 篇 semantics
17 篇 real time system...
17 篇 visualization
16 篇 hybrid systems
15 篇 computer archite...
15 篇 big data
15 篇 feature extracti...
15 篇 hardware
15 篇 mathematical mod...
14 篇 machine learning
14 篇 software

机构

12 篇 ludwig maximilia...
7 篇 univ illinois ur...
7 篇 univ twente form...
7 篇 univ penn philad...
6 篇 tech univ munich...
4 篇 verimag ctr equa...
4 篇 rhein westfal th...
4 篇 natl aerosp univ...
4 篇 department of co...
4 篇 suny stony brook...
3 篇 saarland univ sa...
3 篇 university of wa...
3 篇 vienna universit...
3 篇 univ colorado bo...
3 篇 university colle...
3 篇 rwth aachen univ...
3 篇 carnegie mellon ...
3 篇 chinese acad sci...
3 篇 univ oxford dept...
3 篇 iowa state univ ...

作者

13 篇 beyer dirk
8 篇 parker david
8 篇 katoen joost-pie...
8 篇 kwiatkowska mart...
7 篇 hermanns holger
6 篇 yi w
5 篇 majumdar rupak
5 篇 podelski andreas
5 篇 van de pol jaco
5 篇 alur rajeev
5 篇 pettersson p
5 篇 norman gethin
4 篇 behrmann gerd
4 篇 kroening daniel
4 篇 neele thomas
4 篇 bozga marius
4 篇 abdulla parosh a...
4 篇 mateescu radu
4 篇 sharygina natash...
4 篇 groote jan friso

语言

1,438 篇 英文
30 篇 其他
15 篇 德文
7 篇 中文
2 篇 俄文

检索条件"任意字段=12th International Conference on Tools and Algorithms for the Construction and Analysis of Systems"

共 1492 条记录，以下是1241-1250 订阅

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

详细简洁

排序：

Modeling of Web-based collaborative negotiation systems using colored Petri net

Modeling of Web-based collaborative negotiation systems usin...

引用

international conference on Multimedia Modeling (MMM)

作者： Hong Jiang Junzhong Gu Qingsong Yu Computer Science Department East China Jiao Tong University Shanghai China

In this paper, a modeling methodology called BN_CPN based on colored Petri nets for business negotiation activities is proposed. With BN_CPN, a Web-based collaborative e-business negotiation system is modeled. Based on the analysis of the characteristics of business negotiation activities, through the expansion of the classical colored Petri net with the connotation of collaborative e-business negotiation, formalized description for each sub module is implemented by using BN_CPN system. the modeling methodology for Web-based collaborative e-business negotiation systems can fully demonstrate the characteristics and demands of business negotiation activities and can serve as the theoretical guide for design and development of collaborative e-business negotiation systems

关键词： Collaboration Concurrent computing Uncertainty Computer science Petri nets Business communication Collaborative tools Video sharing Internet Graphics

来源：评论

学校读者我要写书评

暂无评论

Experiences with simulations - a light and fast model for secure Web applications

Experiences with simulations - a light and fast model for se...

引用

international conference on Parallel and Distributed systems (ICPADS)

作者： R. Nou J. Guitart D. Carrera J. Torres Computer Architecture Department Technical University Of Catalonia Barcelona Spain Barcelona Supercomputing Center Barcelona Spain

Using simulations of a complex system such as a Web application server provides us with a tool that allows the running of tests without using the resources needed in a real system; thus enabling a "what-if" analysis platform that gives support in the decisions taking process. this paper goes through the methodology and the construction of this light and fast simulation, showing the points to take care of and that have made this approach successful. Our evaluation shows some of the results obtained with simulations, compares them with the real system and provides new information to investigate hypotheses; as for instance the effect of modifying the backlog queue component on overloaded systems, to increase the number of sessions finished. We have used several results from research on the effect of admission control over SSL connections to verify our simulated approach

关键词： Application software Network servers Computational modeling Analytical models Measurement Computer architecture Computer simulation System testing Admission control Performance analysis

来源：评论

学校读者我要写书评

暂无评论

Hardware-Software Codesign of Multimedia Embedded systems: the PeaCE

Hardware-Software Codesign of Multimedia Embedded Systems: t...

引用

IEEE international conference on Embedded and Real-Time Computing systems and Applications (RTCSA)

作者： Soonhoi Ha Choonseung Lee Youngmin Yi Seongnam Kwon Young-Pyo Joo The CAP Laboratory Seoul National University South Korea

Hardware/software codesign involves various design problems including system specification, design space exploration, hardware/software co-verification, and system synthesis. A codesign environment is a software tool that facilitates capabilities to solve these design problems. this paper presents the peace codesign environment mainly targeting for multimedia applications with real-time constraints. Peace specifies the system behavior with a heterogeneous composition of three models of computation. the Peace environment provides seamless co-design flow from functional simulation to system synthesis, utilizing the features of the formal models maximally during the whole design process. Preliminary experiments with real examples prove the viability of the proposed technique

关键词： Multimedia systems Embedded system Hardware Computer architecture Space exploration Algorithm design and analysis Software tools Computational modeling Software design Software performance

来源：评论

学校读者我要写书评

暂无评论

Performance modeling of communication and computation in hybrid MPI and OpenMP applications

Performance modeling of communication and computation in hyb...

引用

international conference on Parallel and Distributed systems (ICPADS)

作者： L. Adhianto B. Chapman Department of Computer Science University of Houston TX USA

Performance evaluation and modeling is a crucial process to enable the optimization of parallel programs. Programs written using two programming models, such as MPI and OpenMP, require an analysis to determine both performance efficiency and the most suitable numbers of processes and threads for their execution on a given platform. To study both of these problems, we propose the construction of a model that is based upon a small number of parameters, but is able to capture the complexity of the runtime system. We must incorporate measurements of overheads introduced by each of the programming models, and thus need to model both the network and computational aspects of the system. We have combined two different techniques: static analysis, driven by the OpenUH compiler, to retrieve application signatures and a parallelization overhead measurement benchmark, realized by Sphinx and Perfsuite, to collect system profiles. Finally, we propose a performance evaluation measurement to identify communication and computation efficiency. In this paper we describe our underlying framework, the performance model, and show how our tool can be applied to a sample code

关键词： Yarn Analytical models Predictive models Application software Performance analysis Instruments Computer science Computer networks Large-scale systems Supercomputers

来源：评论

学校读者我要写书评

暂无评论

Application of Virtual Instrumentation LabVIEW for Power Electronic System analysis

Application of Virtual Instrumentation LabVIEW for Power Ele...

引用

international (EPE-PEMC) Power Electronics and Motion Control conference

作者： Pavol Spanik Libor Hargas Miroslav Hrianka Ivan Kozehuba Department of Mechatronics and Electronics University of Zilina Zilina Slovakia

Virtual instrumentation is defined as the combination of measurement and control hardware and application software with industry-standard computer technology to create user-defined instrumentation systems. Computer-aided laboratory exercises based on the LabVIEW system are efficiently used on the topic of power electronic systems. the paper presents the application mentioned virtual instrument system in the education of boost type DC/DC converter in the continuous and discontinuous conduction mode. Its main application is in regulated DC power supplies and the regenerative braking of DC motors. Time-resolved measurements provided by NI ELVIS suite enable the students to explore and explain a behavior of circuits in the many different stages. A presented education form provides using different pedagogical tools and approaches. It is suitable for self-study purposes and in the field of e-learning platform education

关键词： Instruments Power electronics Application software Software measurement Control systems Hardware Computer industry Electrical equipment industry Industrial control Laboratories

来源：评论

学校读者我要写书评

暂无评论

Multi-faceted contextual model for person identification in news video

Multi-faceted contextual model for person identification in ...

引用

international conference on Multimedia Modeling (MMM)

作者： Ming Zhao Shi-Yong Neo Hai-Kiat Goh Tat-Seng Chua School of Computing National University of Singapore Singapore

Person identification is very important in the domain of multimedia news as it is often the focus of events in news stories and interest of searchers. However, this detection is impeded by the imprecise audio/visual analysis tools. In this paper, we describe a multimodal and multi-faceted approach to person-x detection in news video. We make use of multimodal features extracted from text, visual and audio inherent in news video. We also incorporate multiple external sources of news from Web and parallel news archives to extract location and temporal profile of the persons. We call this second source of information the multi-faceted context. the multimodal, multi-faceted information is then fused using a rank boosting approach. Experiments on TRECVID 2003 and 2004 search queries demonstrate that our approach is effective

关键词： Context modeling Face detection Automatic speech recognition Data mining Optical character recognition software Impedance Feature extraction Home computing Multimedia systems Target recognition

来源：评论

学校读者我要写书评

暂无评论

10th international conference on tools and algorithms for the construction and analysis of systems, TACAS 2004

10th International Conference on Tools and Algorithms for th...

引用

10th international conference on tools and algorithms for the construction and analysis of systems, TACAS 2004 Held as Part of the Joint European conferences on theory and Practice of Software, ETAPS 2004

ISBN: (纸本)354021299X

the proceedings contain 43 papers. the special focus in this conference is on theorem Proving and Probabilistic Model Checking. the topics include: Revisiting positive equality;an interpolating theorem prover;minimal assignments for bounded model checking;numerical vs. statistical probabilistic model checking;efficient computation of time-bounded reachability probabilities in uniform continuous-time markov decision processes;model checking discounted temporal properties;automatic creation of environment models via training;error explanation with distance metrics;online efficient predictive safety analysis of multithreaded programs;verification of object-oriented designs using UPPAAL;checker of persistent security;tampere verification tool;an aspect-oriented framework for synchronization;an animation tool for model-checking games;a tool for checking ANSI-C programs;obtaining memory-efficient reachability graph representations using the sweep-line method;automated generation of a progress measure for the sweep-line method;resource-optimal scheduling using priced timed automata;decidable and undecidable problems in schedulability analysis using timed automata;the succinct solver suite;binding-time analysis for metaML via type inference and constraint solving;a class of polynomially solvable range constraints for interval analysis without widenings and narrowings;a partial order semantics approach to the clock explosion problem of timed automata;lower and upper bounds in zone based abstractions of timed automata;a scalable incomplete test for the boundedness of UML RT models;automatic verification of time sensitive cryptographic protocols and simulation-based verification of autonomous controllers via livingstone pathfinder.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Integral - Matrix method for the algorithms of strapdown systems 12

Integral - Matrix method for the algorithms of strapdown sys...

引用

12th Saint Petersburg international conference on Integrated Navigation systems, ICINS 2005

作者： Yakushin, S.M. Perm State Technical University Komsomolsky avenue 29 Perm614600 Russia

ISBN: (纸本)5900780597

the decision of a problem of increase of accuracy strapdown attitude and navigation systems is considered. the analysis of errors strapdown systems is executed by the example of three variants of attitude parameters and for two circuits of processing of the measuring information - on the basis of matrix and integral algorithms. Researches were carried out on an interval of angular rotation 1 hour and on trajectories of more difficult, than conic rotation. the opportunity of the reckoning accuracy increase of attitude parameters is shown by transition to a integral-matrix method of construction of the strap-down system algorithms which description is resulted on the basis of use z-transformation with reference to the circuit of processing of the measuring information. Results of modelling strapdown attitude system are resulted.

关键词： Navigation systems

来源：评论

学校读者我要写书评

暂无评论

About analysis and modelling of the open message switching system

About analysis and modelling of the open message switching s...

引用

12th international conference on Analytical and Stochastic Modelling Techniques and Application

作者： Minkevicius, S Kulvietis, G Vilnius Gediminas Tech Univ LT-2040 Vilnius Lithuania

ISBN: (纸本)1842331167

the modern queueing theory is one of the powerful tools for a quantitative and qualitative analysis of communication systems, computer networks, transportation systems, and many other technical systems. the paper is designated to the analysis of queueing systems, arising in the networks theory and communications theory (called open queueing network). the authors of this research in the sphere of queueing theory present the theorem about the law of the iterated logarithm (LIL) for the queue length of a customers in open queueing network and its application to the mathematical model of the open message switching system.

关键词： models of information systems open message switching system open queueing network queue length of a customers heavy traffic a law of the iterated logarithm

来源：评论

学校读者我要写书评

暂无评论

tools and algorithms for the construction and analysis of systems: 10th international conference, TACAS 2004, Held as Part of the Joint European conferences on theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004. Proceedings 1

引用

丛书名： Lecture Notes in Computer Science 2988

2004年

作者： Shuvendu K. Lahiri Randal E. Bryant Amit Goel Muralidhar Talupur (auth.) Kurt Jensen Andreas Podelski (eds.)

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共150页 << < 121 122 123 124 125 126 127 128 129 130 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：