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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

909 篇 会议
16 册 图书
4 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

572 篇 工学
- 451 篇 计算机科学与技术...
- 285 篇 软件工程
- 135 篇 信息与通信工程
- 134 篇 控制科学与工程
- 62 篇 电气工程
- 54 篇 交通运输工程
- 46 篇 安全科学与工程
- 43 篇 生物工程
- 32 篇 网络空间安全
- 31 篇 电子科学与技术（可...
- 27 篇 动力工程及工程热...
- 27 篇 石油与天然气工程
- 24 篇 生物医学工程（可授...
- 22 篇 机械工程
- 20 篇 仪器科学与技术
- 18 篇 光学工程
228 篇 理学
- 139 篇 数学
- 51 篇 生物学
- 31 篇 物理学
- 28 篇 系统科学
- 28 篇 统计学（可授理学、...
- 16 篇 化学
161 篇 管理学
- 116 篇 管理科学与工程(可...
- 82 篇 工商管理
- 78 篇 图书情报与档案管...
48 篇 经济学
- 48 篇 应用经济学
30 篇 教育学
- 30 篇 教育学
29 篇 法学
- 25 篇 社会学
20 篇 医学
- 19 篇 临床医学
- 17 篇 基础医学(可授医学...
7 篇 农学
4 篇 军事学
2 篇 文学
2 篇 艺术学

主题

36 篇 computer science
26 篇 control systems
21 篇 machine learning
16 篇 artificial intel...
13 篇 access control
13 篇 reinforcement le...
13 篇 computational mo...
13 篇 real-time system...
13 篇 costs
12 篇 traffic control
12 篇 bandwidth
11 篇 deep learning
11 篇 computer archite...
11 篇 protocols
10 篇 quality of servi...
9 篇 automation
9 篇 neural networks
9 篇 hardware
8 篇 mobile ad hoc ne...
8 篇 computer communi...

机构

7 篇 university polit...
7 篇 faculty of autom...
6 篇 national institu...
6 篇 university polit...
6 篇 computer science...
5 篇 pazhou lab
5 篇 chinese acad sci...
4 篇 al-balqa applied...
4 篇 faculty of autom...
4 篇 university polit...
4 篇 school of inform...
4 篇 school of comput...
4 篇 guangdong univ t...
3 篇 college of compu...
3 篇 college of infor...
3 篇 univ chinese aca...
3 篇 univ jinan sch m...
3 篇 department of gr...
3 篇 department of co...
3 篇 university polit...

作者

7 篇 li hui
5 篇 florea adina mag...
5 篇 fagarasan ioana
4 篇 adina magda flor...
4 篇 min-chul lee
4 篇 ghassan samara
4 篇 myungjin cho
4 篇 samara ghassan
4 篇 mocanu stefan
4 篇 liu derong
4 篇 mustata alexandr...
4 篇 hyun-woo kim
4 篇 teng luyao
4 篇 ştefan mocanu
3 篇 bogdan-costel mo...
3 篇 giorgian neculoi...
3 篇 mihnea alexandru...
3 篇 stamatescu grigo...
3 篇 ding naikan
3 篇 grigore stamates...

语言

916 篇 英文
11 篇 其他
4 篇 中文

检索条件"任意字段=24th International Conference on Control Systems and Computer Science, CSCS 2023"

共 929 条记录，以下是791-800 订阅

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

详细简洁

排序：

Exploring trust to rank reputation in microblogging

Exploring trust to rank reputation in microblogging

引用

24th international conference on Database and Expert systems Applications, DEXA 2013

作者： Weitzel, Leila De Oliveira, José Palazzo Moreira Quaresma, Paulo Federal University of Pará Pará 68501-970 Brazil Federal University of Rio Grande Do Sul Rio Grande do Sul 91501-970 Brazil University of Évora Évora 7000 Portugal

ISBN: (纸本)9783642401725

the Web 2.0 is the top manifestation of User-Generated Content systems, such as reviews, tags, comments, tweets etc. Due to their free nature such systems contain information of different quality levels. Consequently, it is difficult for users to determine the quality of the information and the reputation of its providers. the quality evaluation is a matter of great concern, especially in medical and healthcare domain. To help the posts quality assessment this paper presents an alternative to measuring reputation based on social interactions. As a test case, we explore the data structure of the Twitter micro blogging service. Our main contribution is to provide a new methodology to Rank Reputation in a network structure based on weighted social interaction. this approach can guide Internet users to encounter authority and trustworthy sources of online health and medical information in Twittershpere. the results show that the rank methodology and the network structure have succeeded in inferring user reputation. © 2013 Springer-Verlag.

关键词： Quality control

来源：评论

学校读者我要写书评

暂无评论

Towards a TTCN-3 test system for runtime testing of adaptable and distributed systems

Towards a TTCN-3 test system for runtime testing of adaptabl...

引用

24th IFIP WG 6.1 international conference on Testing Software and systems, ICTSS 2012

作者： Lahami, Mariam Fakhfakh, Fairouz Krichen, Moez Jmaiel, Mohamed Research Unit of Development and Control of Distributed Applications National School of Engineering of Sfax University of Sfax Sokra Road km 4 Sfax Tunisia

ISBN: (纸本)9783642346903

Today, adaptable and distributed component based systems need to be checked and validated in order to ensure their correctness and trustworthiness when dynamic changes occur. Traditional testing techniques can not be used since they are applied during the development phase. therefore, runtime testing is emerging as a novel solution for the validation of highly dynamic systems at runtime. In this paper, we illustrate how a platform independent test system based on the TTCN-3 standard can be used to execute runtime tests. the proposed test system is called TT4RT: TTCN-3 test system for Runtime Testing. A case study in the telemedicine field is used as an illustration to show the relevance of the proposed test system. © 2012 IFIP international Federation for Information Processing.

关键词： Testing

来源：评论

学校读者我要写书评

暂无评论

Using knapsack problem model to design a resource aware test architecture for adaptable and distributed systems

Using knapsack problem model to design a resource aware test...

引用

24th IFIP WG 6.1 international conference on Testing Software and systems, ICTSS 2012

作者： Lahami, Mariam Krichen, Moez Bouchakwa, Mariam Jmaiel, Mohamed Research Unit of Development and Control of Distributed Applications National School of Engineering of Sfax University of Sfax Sokra Road km 4 Sfax Tunisia

ISBN: (纸本)9783642346903

this work focuses on testing the consistency of distributed and adaptable systems. In this context, Runtime Testing which is carried out on the final execution environment is emerging as a new solution for quality assurance and validation of these systems. this activity can be costly and resource consuming especially when execution environment is shared between the software system and the test system. To overcome this challenging problem, we propose a new approach to design a resource aware test architecture. We consider the best usage of available resources (such as CPU load, memory, battery level, etc.) in the execution nodes while assigning the test components to them. Hence, this work describes basically a method for test component placement in the execution environment based on an existing model called Multiple Multidimensional Knapsack Problem. A tool based on the constraint programming Choco library has been also implemented. © 2012 IFIP international Federation for Information Processing.

关键词： Quality assurance

来源：评论

学校读者我要写书评

暂无评论

Timed relational abstractions for sampled data control systems

Timed relational abstractions for sampled data control syste...

引用

24th international conference on computer Aided Verification, CAV 2012

作者： Zutshi, Aditya Sankaranarayanan, Sriram Tiwari, Ashish University of Colorado Boulder CO United States SRI International Menlo Park CA United States

ISBN: (纸本)9783642314230

In this paper, we define timed relational abstractions for verifying sampled data control systems. Sampled data control systems consist of a plant, modeled as a hybrid system and a synchronous controller, modeled as a discrete transition system. the controller computes control inputs and/or sends control events to the plant based on the periodically sampled state of the plant. the correctness of the system depends on the controller design as well as an appropriate choice of the controller sampling period. Our approach constructs a timed relational abstraction of the hybrid plant by replacing the continuous plant dynamics by relations. these relations map a state of the plant to states reachable within the sampling time period. We present techniques for building timed relational abstractions, while taking care of discrete transitions that can be taken by the plant between samples. the resulting abstractions are better suited for the verification of sampled data control systems. the abstractions focus on the states that can be observed by the controller at the sample times, while abstracting away behaviors between sample times conservatively. the resulting abstractions are discrete, infinite-state transition systems. thus conventional verification tools can be used to verify safety properties of these abstractions. We use k-induction to prove safety properties and bounded model checking (BMC) to find potential falsifications. We present our idea, its implementation and results on many benchmark examples. © 2012 Springer-Verlag.

关键词： Sampled data control systems

来源：评论

学校读者我要写书评

暂无评论

A model checker for hierarchical probabilistic real-time systems

A model checker for hierarchical probabilistic real-time sys...

引用

24th international conference on computer Aided Verification, CAV 2012

作者： Song, Songzheng Sun, Jun Liu, Yang Dong, Jin Song NUS Graduate School for Integrative Sci. and Engineering National University of Singapore Singapore Singapore Information System Technology and Design Singapore University of Technology and Design Singapore Singapore Temasek Lab. National University of Singapore Singapore Singapore School of Computing National University of Singapore Singapore Singapore

ISBN: (纸本)9783642314230

Real-life systems are usually hard to control, due to their complicated structures, quantitative time factors and even stochastic behaviors. In this work, we present a model checker to analyze hierarchical probabilistic real-time systems. A modeling language called PRTS is used to specify such systems, and automatic zone-abstraction approach, which is probability preserving, is used to generate finite state MDP. We have implemented PRTS in model checking framework PAT so that friendly user interface can be used to edit, simulate and verify PRTS models. Some experiments are conducted to show our tool's efficiency. © 2012 Springer-Verlag.

关键词： Modeling languages

来源：评论

学校读者我要写书评

暂无评论

Approximately bisimilar symbolic models for digital control systems

Approximately bisimilar symbolic models for digital control ...

引用

24th international conference on computer Aided Verification, CAV 2012

作者： Majumdar, Rupak Zamani, Majid Max Planck Institute for Software Systems Germany Department of Electrical Engineering University of California Los Angeles CA United States

ISBN: (纸本)9783642314230

Symbolic approaches to control hybrid systems construct a discrete approximately-bisimilar abstraction of a continuous control system and apply automata-theoretic techniques to construct controllers enforcing given specifications. For the class of digital control systems (i.e., whose control signals are piecewise constant) satisfying incremental input-to-state stability (δ-ISS), existing techniques to compute discrete abstractions begin with a quantization of the state and input sets, and show that the quantized system is approximately bisimilar to the original if the sampling time is sufficiently large or if the Lyapunov functions of the system decrease fast enough. If the sampling time is not sufficiently large, the former technique fails to apply. While abstraction based on Lyapunov functions may be applicable, because of the conservative nature of Lyapunov functions in practice, the size of the discrete abstraction may be too large for subsequent analyses. In this paper, we propose a technique to compute discrete approximately-bisimilar abstractions of δ-ISS digital control systems. Our technique quantizes the state and input sets, but is based on multiple sampling steps: instead of requiring that the sampling time is sufficiently large (which may not hold), the abstract transition system relates states multiple sampling steps apart. We show on practical examples that the discrete state sets computed by our procedure can be several orders of magnitude smaller than existing approaches, and can compute symbolic approximate-bisimilar models even when other existing approaches do not apply or time-out. Since the size of the discrete state set is the main limiting factor in the application of symbolic control, our results enable symbolic control of larger systems than was possible before. © 2012 Springer-Verlag.

关键词： Lyapunov functions

来源：评论

学校读者我要写书评

暂无评论

Mining inter-organizational business process models from EDI messages: A case study from the automotive sector

Mining inter-organizational business process models from EDI...

引用

24th international conference on Advanced Information systems Engineering, CAiSE 2012

作者： Engel, Robert Van Der Aalst, Wil M. P. Zapletal, Marco Pichler, Christian Werthner, Hannes Institute of Software Technology and Interactive Systems Electronic Commerce Group Vienna University of Technology Austria Department of Computer Science Eindhoven University of Technology Netherlands

ISBN: (纸本)9783642310942

Traditional standards for Electronic Data Interchange (EDI), such as EDIFACT and ANSI X12, have been employed in Business-to-Business (B2B) e-commerce for decades. Due to their wide industry coverage and long-standing establishment, they will presumably continue to play an important role for some time. EDI systems are typically not process-aware, i.e., messages are standardized but processes simply emerge. However, to improve performance and to enhance the control, it is important to understand and analyze the real processes supported by these systems. In the case study presented in this paper we uncover the inter-organizational business processes of an automotive supplier company by analyzing the EDIFACT messages that it receives from its business partners. We start by transforming a set of observed messages to an event log, which requires that the individual messages are correlated to process instances. thereby, we make use of the specific structure of EDIFACT messages. then we apply process mining techniques to uncover the inter-organizational business processes. Our results show that inter-organizational business process models can be derived by analyzing EDI messages that are exchanged in a network of organizations. © 2012 Springer-Verlag Berlin Heidelberg.

关键词： Electronic data interchange

来源：评论

学校读者我要写书评

暂无评论

Publication of geodetic documentation center resources on internet

Publication of geodetic documentation center resources on in...

引用

24th international conference on Advanced Information systems Engineering, CAiSE 2012

作者： Luckner, Marcin Izdebski, Waldemar Faculty of Mathematics and Information Science Warsaw University of Technology pl. Politechniki 1 00-661 Warsaw Poland Faculty of Geodesy and Cartography Warsaw University of Technology pl. Politechniki 1 00-661 Warsaw Poland

ISBN: (纸本)9783642310942

Geodetic Documentation Centers collect geodetic and cartographic resources. the resources include spatial data and their metadata. European Union INSPIRE directive imposes an obligation on GDC to publish selected data in the Internet. In this paper, an adequate form of publication is discussed on the base of iGeoMap application. the Internet application iGeoMap merges data from various resources. Depending on the data to present, different types of resources are used. the application can publish spatial data from files (text or binary), a database specialized in spatial data service (PostgreSQL, ORACLE), or web services (Web Map Service, Web Feature Service). Utilization of various data sources by the application is presented in this paper. As a part of the subject, searches of the most popular data (parcels, address points, and control points) are discussed. Various data sources and searching mechanisms involved by the searches in iGeoMap are presented in use cases. © 2012 Springer-Verlag Berlin Heidelberg.

关键词： Web services

来源：评论

学校读者我要写书评

暂无评论

An Analysis of Aircraft Arrival Procedure using Vienna Development Method

An Analysis of Aircraft Arrival Procedure using Vienna Devel...

引用

24th international conference on computer Applications in Industry and Engineering, CAINE 2011

作者： Yousaf, Shahid Buragga, Khalid A. Zafar, Nazir Ahmad Khan, Sher Afzal Faculty of Information Technology University of Central Punjab Lahore 54600 Pakistan Department of Computer Science King Faisal University Hofuf 31982 Saudi Arabia

ISBN: (纸本)9781880843833

the air traffic control system (ATC) is a safety, monitory and environmental critical system in a sense that its malfunctioning may cause the loss of human life, serious injuries and financial disasters. To ensure the safety of such systems it requires advance methodologies and step by step design process. In this paper, we have used formal methods in term of VDM++ to specify the safety properties of ATC system. the VDM++ is an object oriented modular based mathematical technique used to specify and verify the software systems. the method ensures the correctness by identifying errors at early stages of systems designing. the ATC system can be divided into three parts, i.e., departure, flight and arrival procedures. In this paper, we restrict ourselves to the air craft arrival procedure which consists of two stages of the control system. At the aircraft landing, it is controlled by the local controller then it is transferred to the ground controller. Initially, the related safety properties are specified then it is checked the syntax, type and flow by using the VDM++ toolbox.

关键词： Formal methods

来源：评论

学校读者我要写书评

暂无评论

Modern Approaches in Applied Intelligence - 24th international conference on Industrial Engineering and Other Applications of Applied Intelligent systems, IEA/AIE 2011, Proceedings

Modern Approaches in Applied Intelligence - 24th Internation...

引用

24th international conference on Industrial Engineering and Other Applications of Applied Intelligent systems, IEA/AIE 2011

ISBN: (纸本)9783642218262

the proceedings contain 92 papers. the topics discussed include: multimodal representations, indexing, unexpectedness and proteins;a generic approach for mining indirect association rules in data streams;status quo bias in configuration systems;improvement and estimation of prediction accuracy of soft sensor models based on time difference;fuzzy robot controller tuning with biogeography-based optimization;development of a genetic fuzzy controller for an unmanned aerial vehicle;toward evolving self-organizing software systems: a complex system point of view;evolving efficient sensor arrangement and obstacle avoidance control logic for a miniature robot;feature selection for translation initiation site recognition;DTP: decision tree-based predictor of protein contact map;and translation initiation site recognition by means of evolutionary response surfaces.

关键词：

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共93页 << < 76 77 78 79 80 81 82 83 84 85 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：