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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

馆藏范围

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

日期分布

学科分类号

1,242 篇 工学
- 869 篇 计算机科学与技术...
- 532 篇 软件工程
- 136 篇 电气工程
- 128 篇 土木工程
- 122 篇 机械工程
- 109 篇 控制科学与工程
- 87 篇 建筑学
- 71 篇 材料科学与工程（可...
- 70 篇 信息与通信工程
- 54 篇 力学（可授工学、理...
- 44 篇 动力工程及工程热...
- 44 篇 交通运输工程
- 43 篇 安全科学与工程
- 39 篇 化学工程与技术
- 37 篇 生物工程
- 36 篇 仪器科学与技术
- 35 篇 石油与天然气工程
- 31 篇 环境科学与工程（可...
- 26 篇 电子科学与技术（可...
356 篇 理学
- 210 篇 数学
- 60 篇 统计学（可授理学、...
- 59 篇 物理学
- 56 篇 系统科学
- 52 篇 生物学
- 29 篇 化学
213 篇 管理学
- 155 篇 管理科学与工程(可...
- 85 篇 工商管理
- 74 篇 图书情报与档案管...
42 篇 医学
- 33 篇 临床医学
27 篇 法学
26 篇 经济学
- 25 篇 应用经济学
16 篇 教育学
10 篇 农学
3 篇 军事学
2 篇 文学
1 篇 历史学
1 篇 艺术学

主题

64 篇 model checking
48 篇 tools
29 篇 static analysis
28 篇 algorithm design...
26 篇 data mining
25 篇 real-time system...
24 篇 real time system...
23 篇 analytical model...
22 篇 software enginee...
22 篇 software
21 篇 semantics
20 篇 machine learning
19 篇 task analysis
19 篇 computational mo...
17 篇 monitoring
17 篇 stochastic syste...
17 篇 artificial intel...
16 篇 database systems
16 篇 construction ind...
16 篇 data analysis

机构

12 篇 ludwig maximilia...
7 篇 univ twente form...
7 篇 univ penn philad...
6 篇 univ illinois ur...
5 篇 tech univ munich...
4 篇 verimag ctr equa...
4 篇 rhein westfal th...
4 篇 carnegie mellon ...
4 篇 suny stony brook...
3 篇 saarland univ sa...
3 篇 university of wa...
3 篇 univ colorado bo...
3 篇 aalborg univ dep...
3 篇 school of constr...
3 篇 natl inst inform...
3 篇 carnegie mellon ...
3 篇 lviv polytechnic...
3 篇 chinese acad sci...
3 篇 univ oxford dept...
3 篇 iowa state univ ...

作者

13 篇 beyer dirk
8 篇 parker david
8 篇 katoen joost-pie...
7 篇 van de pol jaco
7 篇 hermanns holger
7 篇 kwiatkowska mart...
6 篇 yi w
5 篇 majumdar rupak
5 篇 podelski andreas
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,590 篇 英文
86 篇 其他
15 篇 德文
14 篇 中文
1 篇 捷克文
1 篇 葡萄牙文
1 篇 俄文
1 篇 乌克兰文

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

共 1707 条记录，以下是611-620 订阅

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

详细简洁

排序：

Some possibilities of using geographic information systems in analysis of the potential of destination Slovenský Raj (Slovakia) in tourism 10th

Some possibilities of using geographic information systems i...

引用

10th international Scientific and Professional conference on Geodesy, Cartography and Geoinformatics, 2017

作者： Blišťan, P. Šoltésová, M. Kršák, B. Sidor, C. Štrba, Ľ. Faculty of Mining Ecology Process Control and Geotechnology Institute of Geodesy Cartography and Geographical Information Systems Košice Slovakia Faculty of Mining Ecology Process Control and Geotechnology Institute of Earth Resources Košice Slovakia

ISBN: (纸本)9781138584891

Tourism in Slovakia represents the potential that in the future can positively influence the economy of Slovakia by bringing tourists and new services to the regions and creating new job opportunities. Several steps must be taken to achieve these goals, one of which is to analyze the potential of tourism objects. Geographic Information systems (GIS) are often used in the process of identifying and analyzing objects of tourism. this paper presents some possibilities of using GIS in identifying and analyzing the potential of the Slovak Paradise (Slovakia) site for tourism. the results of the analyses are then usable, e.g. for marketing or strategic decision making in investing in the construction of new tourism objects. © 2018 Taylor & Francis Group, London.

关键词： Geographic information systems

来源：评论

学校读者我要写书评

暂无评论

construction of Management System for Coordination Degree of Regional Economic Development Based on the Fusion of Spatial Econometric Model 10

Construction of Management System for Coordination Degree of...

引用

10th international conference on Measuring Technology and Mechatronics Automation (ICMTMA)

作者： Yin Xiuying Hulunbuir Coll Sch Econ & Management Dept Business Adm Hailar Inner Mongolia 021008 Peoples R China

ISBN: (纸本)9781538651148

In view of the situation that the traditional management system for the regional economy is influenced by excessively large number of entities and the huge dynamic changes of the economic structure, a kind of management system for coordination degree of regional economic development (hereinafter referred to as MSCDRED for short) based on the fusion of the spatial econometric model is put forward in this paper. the spatial econometric model is used to optimize the nonlinear characteristic indexes that have the influence on the regional economic development, so as to further obtain the initial data for the management of the regional economic development. And then the multi objective theory of decision making is applied to conduct the trade mediation on the long-term conflict of the regional economy. Finally, the experimental results are analyzed, and the following can be known from the analysis: Compared with the other different regional economic management systems, the efficiency of management in the system designed in this paper is very high. And it can predict the regional economic development trend accurately, so as to provide a reference frame for the management of the regional economic development.

关键词： Spatial Econometric Model Regional Economic Development Management System Nonlinear Characteristic Index

来源：评论

学校读者我要写书评

暂无评论

Model for Sucker-Rod Pumping Unit Operating Modes analysis Based on SimMechanics Library 11

Model for Sucker-Rod Pumping Unit Operating Modes Analysis B...

引用

11th international Scientific and Technical conference on Applied Mechanics and Dynamics systems

作者： Zyuzev, A. M. Bubnov, M. V. Ural Fed Univ Elect Drive & Automat Ind Plants Dept Ekaterinburg Russia

the article provides basic information about the process of a sucker-rod pumping unit (SRPU) model developing by means of SimMechanics library in the MATLAB Simulink environment. the model is designed for the development of a pump productivity optimal management algorithms, sensorless diagnostics of the plunger pump and pumpjack, acquisition of the dynamometer card and determination of a dynamic fluid level in the well, normalization of the faulty unit operation before troubleshooting is performed by staff as well as equilibrium ratio determining by energy indicators and outputting of manual balancing recommendations to achieve optimal power consumption efficiency. Particular attention is given to the application of various blocks from SimMechanics library to take into account the pumpjack construction principal characteristic and to obtain an adequate model. the article explains in depth the developed tools features for collecting and analysis of simulated mechanism data. the conclusions were drawn about practical implementation possibility of the SRPU modelling results and areas for further development of investigation.

关键词： SimMechanics sucker-rod pumping unit dynamometer card wattmeter card diagnostics

来源：评论

学校读者我要写书评

暂无评论

analysis on Implementation of Optical Network Management Solution with Hadoop Architecture 10

Analysis on Implementation of Optical Network Management Sol...

引用

10th international conference on Advanced Computing (ICoAC)

作者： Chander, U. Bhanu Anna Univ Dept Elect Engn MIT Campus Chennai 600044 Tamil Nadu India

ISBN: (纸本)9781728103532

Optical network management and solution system provides services for a complete end-to-end provisioning on the transport network. In Optical networks, various technologies like SDH, PTN, EoSDH and WDM are integrated with each other and also it implemented with their own required network elements. this complex hierarchy and the large value of network data are in each and every individual EMS (Element Management System). While these various EMS data are collected through the north bound interface in primary Network Management and Solution System, it should be large scale data with multiple varieties of data set. Traditional data processing tools like MySQL cannot reach the requirement up to this level. this paper approaches the network big data handling with Hadoop distributed file system to overcome that incompetence. Using Hadoop advantages like automatic cluster distribution of data handling, parallel processing and open source with integration of multiple platforms, this is used for the network discovery, network alarm extraction and integrating with network application platforms. this paper discuss the performances of the traditional MySQL DBMS and Hadoop based data processing frameworks for Optical network management systems. Various sizes of optical network data in terms of links processed and results are discussed. Hadoop with Spark engine provides good efficiency compared to others for the optical network management system while it increases in size is observed.

关键词： Optical Networks Network Management and Solution Big data computation HDFS

来源：评论

学校读者我要写书评

暂无评论

Extraction of Probabilistic Behaviour Models based on Contexts 10

Extraction of Probabilistic Behaviour Models based on Contex...

引用

10th IEEE/ACM international Workshop on Modelling in Software Engineering (MiSE)

作者： Duarte, Lucio Mauro Mendes Maia, Paulo Henrique Sanchotene Silva, Ana Carolina Fed Univ Rio Grande Sul UFRGS Inst Informat Porto Alegre RS Brazil State Univ Ceara UECE Grp Software Engn & Distributed Syst Fortaleza CE Brazil

ISBN: (纸本)9781450357357

Model extraction allows the automatic construction of behaviour models from an available implementation, which can be fed into existing analysis tools. Even though these models are usually analysed using qualitative properties, many interesting and relevant properties of current systems are related to quantitative aspects, such as the probability of reaching a certain state or how many times a certain task is expected to be executed. In this work, we extend an existing model extraction approach to include probabilistic information. the original approach creates Labelled Transition systems (LTS) from Java code based on execution traces. the traces are processed by a tool that identifies contexts, which represent abstract states of the system, considering static and dynamic information, producing context traces. We use these context traces to calculate transition probabilities and generate models in the input language of a probabilistic model checker. We evaluate our approach in case studies and demonstrate that, by using context traces rather than simple traces, we produce more accurate models, thereby with probabilistic information closer to the real behaviour of programs, based on their observed traces. We also show how to build models of programs with single and multiple components.

关键词： Probabilistic models Model extraction Quantitative analysis

来源：评论

学校读者我要写书评

暂无评论

10th international Symposium on Engineering Secure Software and systems, ESSoS 2018

10th International Symposium on Engineering Secure Software ...

引用

10th international Symposium on Engineering Secure Software and systems, ESSoS 2018

ISBN: (纸本)9783319944951

the proceedings contain 10 papers. the special focus in this conference is on Engineering Secure Software and systems. the topics include: Enforcing full-stack memory-safety in cyber-physical systems;model checking the information flow security of real-time systems;off-limits: Abusing legacy x86 memory segmentation to Spy on enclaved execution;One leak is enough to expose them all: From a WebRTC IP leak to web-based network scanning;privacyMeter: Designing and developing a privacy-preserving browser extension;security analysis of drone communication protocols;idea: Automatic localization of malicious behaviors in android malware with hidden Markov models;idea: Benchmarking android data leak detection tools.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Research on Adaptive Learning System Based on three Core Modules

Research on Adaptive Learning System Based on Three Core Mod...

引用

IEEE international Symposium on Information (IT) in Medicine and Education, ITME

作者： Lili Zhao Hong Wang School of Information Science and Engineering Shandong Normal University Jinan China

Adaptive learning system is a highly intelligent learning resource service model. It can provide learners with personalized learning paths and learning resources, and improve learning by combining specific behavioral characteristics such as user learning habits, learning methods and knowledge capacity, make each student can have his own "exclusive teacher."this paper focuses on the three core modules of the adaptive learning system-the knowledge network model, the cognitive level model and the adaptive recommendation model. Firstly, based on Ebbinghaus memory theory, students' memory rules are explored; knowledge network model is constructed by knowledge graph to build knowledge trees; dual-subject recommendation mechanism is adopted in adaptive recommendation models to integrate users and systems. Secondly, this paper designs a knowledge network construction method suitable for describing and demonstrating the characteristics of university courses, that is, using the knowledge tree to visualize knowledge points. Finally, this paper designs a representation method that can effectively distinguish the knowledge of different students. When using clustering and lag sequential analysis to determine the cognitive level of students, the "red and green traffic lights" form is used to grasp the knowledge points. this is also an element labeling method to reflect the progress of learning more vividly. the research results show that the resulting three-core module has better performance and higher adaptability. the conclusions of this study help to establish a relatively complete adaptive learning system to promote students' self-learning.

关键词： Adaptation models Adaptive learning Knowledge engineering Adaptive systems Learning systems Navigation

来源：评论

学校读者我要写书评

暂无评论

Inception and Specification of What-If Scenarios Using OLAP Usage Preferences 12th

Inception and Specification of What-If Scenarios Using OLAP ...

引用

12th Int Conf Soft Computing Models in Industrial and Environmental Applications (SOCO) / 10th Int Conf on Computational Intelligence in Security for Information systems (CISIS) / 8th Int Conf on European Transnational Education

作者： Carvalho, Mariana Belo, Orlando Univ Minho ALGORITMI R&D Ctr P-4710057 Braga Portugal

ISBN: (纸本)9783319671802;9783319671796

the possibility to simulate hypothetical scenarios without harming the business using What-If analysis tools and to retrieve highly refined information is an interesting way of achieving such advantages. In a previous work, it was introduced a hybrid model that combines What-If analysis and OLAP usage preferences, which helps filtering the information, meeting the users' needs and business requirements without losing data quality. In addition, it helps to overcome the lack of a user expertise using What-If analysis process. In this paper, we propose a formal verification of a hybridization model, integrating What-If analysis scenarios with OLAP usage preferences, which aim to suggest to the user enriched What-If scenarios based on the usage preferences of a specific user. For this, we used Alloy to specify and verify the referred model, which enables to analyze and verify our hybrid model, discovering possible ambiguity and inconsistencies.

关键词： What-If analysis On-Line Analytical Processing Usage preferences analysis systems specification Alloy

来源：评论

学校读者我要写书评

暂无评论

Eye tracking based usability evaluation of the MaxWhere virtual space in a search task

Eye tracking based usability evaluation of the MaxWhere virt...

引用

international conference on Cognitive Infocommunications (CogInfoCom)

作者： Tibor ujbányi Gordana Stankov Bálint Nagy CogInfoCom Based Learn AbilityResearch Lab University of Dunaújváros Hungary Subotica Tech - College of Applied Sciences Department of Mathematics and University of Dunaújváros Institute of Informatics Hungary

ISBN: (数字)9781728147932

ISBN: (纸本)9781728147949

the generations of the past decades are addicted to the information and the internet. the ICT devices determine their everyday lives. Several studies suggest that such tools are needed to teach these generations effectively, to make the learning process easier and quicker. the corresponding facts must be chosen, filtered and utilized from a constantly growing set of information by the students. they had to think and then Figure out the answer from these information. the ability of algorithmic thinking, the development of analytical thinking, and the promotion of thinking in the system play a key role. the involvement of 3D virtual spaces in education is investigated by more and more studies nowadays. In this article, through an example of a search task, an eye-tracking system is used to find out how much a 3D virtual space is more effective than a conventional LMS system.

关键词： three-dimensional displays Task analysis Education Two dimensional displays tools Operating systems

来源：评论

学校读者我要写书评

暂无评论

CREST - A DSL for Reactive Cyber-Physical systems 1

引用

10th international conference on System analysis and Modeling (SAM)

作者： Klikovits, Stefan Linard, Alban Buchs, Didier Univ Geneva Fac Sci Software Modeling & Verificat SMV Grp Geneva Switzerland

ISBN: (数字)9783030010423

ISBN: (纸本)9783030010423;9783030010416

this article presents CREST, a novel domain-specific language for the modelling of cyber-physical systems. CREST is designed for the simple and clear modelling, simulation and verification of small-scale systems such as home and office automation, smart gardening systems and similar. the language is designed to model the flow of resources throughout the system. It features synchronous system evolution and reactive behaviour. CREST's formal semantics allow real-valued time advances and the modelling of timed system evolution. the continuous time concept permits the precise simulation of future system behaviour by automatically calculating next transition times. We present CREST in a practical manner, and elaborate on the Python-based DSL implementation and simulator.

关键词： Formal methods

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共171页 << < 58 59 60 61 62 63 64 65 66 67 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：