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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

馆藏范围

1,200 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

879 篇 工学
- 650 篇 计算机科学与技术...
- 455 篇 软件工程
- 240 篇 控制科学与工程
- 159 篇 电气工程
- 118 篇 信息与通信工程
- 115 篇 机械工程
- 56 篇 动力工程及工程热...
- 46 篇 交通运输工程
- 46 篇 安全科学与工程
- 39 篇 生物工程
- 35 篇 电子科学与技术（可...
- 33 篇 生物医学工程（可授...
- 31 篇 仪器科学与技术
- 24 篇 网络空间安全
- 21 篇 光学工程
- 19 篇 力学（可授工学、理...
- 18 篇 化学工程与技术
281 篇 理学
- 162 篇 数学
- 50 篇 统计学（可授理学、...
- 49 篇 物理学
- 49 篇 生物学
- 49 篇 系统科学
- 33 篇 化学
174 篇 管理学
- 118 篇 管理科学与工程(可...
- 86 篇 图书情报与档案管...
- 55 篇 工商管理
31 篇 医学
- 30 篇 临床医学
- 25 篇 基础医学(可授医学...
20 篇 法学
- 15 篇 社会学
16 篇 经济学
- 16 篇 应用经济学
14 篇 教育学
6 篇 农学
1 篇 军事学

主题

49 篇 control systems
42 篇 computer science
27 篇 real-time system...
23 篇 access control
21 篇 monitoring
20 篇 hardware
20 篇 mathematical mod...
18 篇 process control
17 篇 computational mo...
16 篇 computer archite...
16 篇 sensors
15 篇 artificial intel...
14 篇 software enginee...
14 篇 smart cities
14 篇 servers
14 篇 software
13 篇 neural networks
13 篇 feature extracti...
13 篇 equations
13 篇 vehicles

机构

10 篇 univ politehn bu...
9 篇 computer science...
7 篇 univ politehn bu...
7 篇 college of compu...
6 篇 three gorges int...
6 篇 state key labora...
5 篇 faculty of autom...
4 篇 rudn univ people...
4 篇 department of co...
4 篇 school of comput...
4 篇 faculty of compu...
3 篇 division of elec...
3 篇 department of sy...
3 篇 department of el...
3 篇 delft univ techn...
3 篇 school of comput...
3 篇 china three gorg...
3 篇 department of au...
3 篇 peter great st p...
3 篇 chinese acad sci...

作者

5 篇 li xiaokun
4 篇 andrade rossana ...
4 篇 yuan ye
4 篇 nicolae tapus
4 篇 wang haoran
4 篇 wu hao
4 篇 y. dote
4 篇 guo xiwang
4 篇 sterca adrian
4 篇 qi liang
4 篇 lucia vacariu
4 篇 wang jiacun
4 篇 smits aletta
4 篇 detweiler chris
4 篇 bartels ester
3 篇 li weiling
3 篇 vescan andreea
3 篇 andrzej napieral...
3 篇 mariana mocanu
3 篇 octavian cret

语言

1,174 篇 英文
13 篇 其他
10 篇 中文
3 篇 俄文

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

共 1200 条记录，以下是1081-1090 订阅

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

详细简洁

排序：

Assessment Criteria for Cloud Identity Management systems

Assessment Criteria for Cloud Identity Management Systems

引用

Pacific Rim international Symposium on Dependable Computing

作者： Umme Habiba Abdul Ghafoor Abassi Rahat Masood Muhammad Awais Shibli National University of Science and Technology School of Electrical Engineering and Computer Science Islamabad Pakistan

Cloud computing offers many benefits to the IT industry by making available the services and resources that helps them to proliferate or decrease their organizational resources automatically on demand. On the other hand, organizations are still uncertain about the security and privacy of their sensitive information (for instance the identity credentials) in the multitenant environment of the Cloud. Many security systems have been devised for the protection of resources in Cloud environments. Identity Management systems, in this regard, play a vital role in ensuring effective user authentication, provisioning, de-provisioning and access control decisions. Many Cloud IDMSs have been proposed until now claiming to offer flexibility, agility and robustness. However, no comparative analysis of such Cloud based IDMSs has been performed so far, as to the best of our knowledge there exists no specific criteria against which one can evaluate an IDMS on Cloud. this paper proposes an assessment criterion for the evaluation of Cloud based IDMSs, comprising of potential security features that are positively imminent for the assessment of Cloud based IDMSs. Furthermore, analysis of Cloud IDMSs is presented based on the proposed assessment criteria. Potential research directions in the area of Cloud identity management and security are also discussed.

关键词： Authentication Identity management systems Authorization Cloud computing computer architecture Standards

来源：评论

学校读者我要写书评

暂无评论

Fuzzy systems Synthesis Method Based on Adaptive controllers

Fuzzy Systems Synthesis Method Based on Adaptive Controllers

引用

international computer sciences and Information Technologies (CSIT)

作者： Serhii Vladov Victoria Vysotska Valerii Sokurenko Oleksandr Muzychuk Vasyl Lytvyn Vitalii Danylyk Department of Aircraft Maintenance Kremenchuk Flight College of Kharkiv National University of Internal Affairs Kremenchuk Ukraine Information Systems and Networks Department Lviv Polytechnic National University Lviv Ukraine Kharkiv National University of Internal Affairs Kharkiv Ukraine

ISBN: (数字)9798331542634

ISBN: (纸本)9798331542641

A method for creating adaptive fuzzy controllers for helicopter turboshaft engines' parameters in onboard aircraft systems is proposed. this approach aims to enhance control quality when the object characteristics' mathematical description is incomplete or inaccurate. the foundation is an adaptive fuzzy controller, featuring an adaptive fuzzifier with a chosen adaptation algorithm. Unlike existing methods, this approach provides the fuzzy controller with adaptive properties that meet real-time operation requirements and can be implemented in onboard systems, highlighting this work's novelty.

关键词： computer science Adaptive systems Helicopters Real-time systems Aircraft Information technology Aircraft propulsion Engines Aerospace control Fuzzy systems

来源：评论

学校读者我要写书评

暂无评论

Industry feedback on skills and knowledge in real-time software engineering

Industry feedback on skills and knowledge in real-time softw...

引用

EAEEIE Annual conference,

作者： Adam Pilat Andrew J. Kornecki Jean-Marc thiriet Wojciech Grega Miroslav Sveda AGH University of Science and Technology Poland Embrey-Riddle Aeronautical University USA Grenoble Université France Brno University of Technology Czech Republic

Rapid progress of computing technologies is the major reason that the programs like electronics, computer and software engineering, robotics and control engineering need continuous updates. this paper is related to the development of an international curriculum in real-time software engineering. It focuses on identification of skills, attitude and knowledge the students need to acquire to become efficient engineers working in the field. To facilitate this objective, a survey administered to industry representatives in four countries is described and its results are discussed.

关键词： Companies Software Industries Real time systems USA Councils Software engineering Indexes

来源：评论

学校读者我要写书评

暂无评论

A remote file system for heterogeneous network topologies

A remote file system for heterogeneous network topologies

引用

international conference on Industrial Electronics, control and Instrumentation

作者： Swee Boon Lim M. Condry Department of Computer Science University of Illinois Urbana IL USA Sun MicroSystems Inc.orporated Mountain View CA USA

Achieving high performance in a distributed computing environment is a combination of efforts between the network, distributed operating systems, and the applications. All too often the focus of improvement excludes the opportunity for the application to make an impact on performance. In this study we provide a facility where the application characteristics can be employed in formulating a distributed solution. the specific problem being considered is remote file services, although the general ideas can be applied to other areas. Our file system permits the application to indicate the type of caching and transfer strategies most suitable for each remote file access instance: depending on the application will effect the load realized on the network. Earlier work provided techniques to characterize application behavior through simple profiles. this profile data can be employed in selecting what kind of caching and transfer strategies would be most suitable to minimize traffic on the network. We describe the architecture of our file system. We show how the system provides for efficient network performance by realization of reduced traffic on the network for each application. this application data approach will always provide better performance than any random based model design.< >

关键词： File systems Network topology File servers Network servers Application software computer science Telecommunication traffic Traffic control computer networks Distributed computing

来源：评论

学校读者我要写书评

暂无评论

A Double-Delta Compensating Technique for Pulse-Frequency Modulation CMOS Image Sensor

A Double-Delta Compensating Technique for Pulse-Frequency Mo...

引用

IEEE international conference on Electronics, Circuits and systems

作者： Tsung-Hsun Tsai Richard Hornsey VISOR Laboratory Department of Computer Science & Engineering York University

ISBN: (纸本)9781467312615

We design a double-delta compensating (DDC) technique for a comparator-based pulse-frequency modulation (PFM) pixel. this technique has been demonstrated by simulation to achieve both fixed-pattern noise (FPN) reduction and dynamic range (DR) extension at the high-light region. According to the result, the pixel DR extends by at least 12 dB;FPN is reduced from unacceptable levels to 1-3% when it is caused by the comparator offset voltage or less than 3.5% when the layout and process variations are considered. these simulations have been performed using the Monte Carlo method for realistic parameter variations in a 0.18-μm CMOS technology.

关键词： Monte Carlo technique CMOS technology CMOS image sensors layouts simulating parameter variation DR process change pixel offset voltage fixed pattern noise direct digital control Pulse frequency modulation

来源：评论

学校读者我要写书评

暂无评论

A novel charge recycling approach to low-power circuit design

A novel charge recycling approach to low-power circuit desig...

引用

international conference on Mixed Design of Integrated Circuits and systems (MIXDES)

作者： Chandradevi Ulaganathan Charles L. Britton Jeremy Holleman Benjamin J. Blalock Department of Electrical Engineering and Computer Science University of Tennessee Knoxville TN USA

A novel charge-recycling scheme has been designed and implemented to demonstrate the feasibility of operating digital circuits using the charge scavenged from the leakage and dynamic load currents inherent to digital logic. the proposed scheme uses capacitors to efficiently recover the ground-bound charge and to subsequently boost the capacitor voltage to power up the source circuit. this recycling methodology has been implemented on a 12-bit Gray-code counter within a 12-bit multi-channel Wilkinson ADC. the circuit has been designed in 0.5μm BiCMOS and in 90nm CMOS processes. SPICE simulation results reveal a 46-53% average reduction in the energy consumption of the counter. the total energy savings including the control generation aggregates to an average of 26-34%.

关键词： Capacitors Radiation detectors Switches Recycling Energy efficiency Leakage current Power demand

来源：评论

学校读者我要写书评

暂无评论

SAT-based preprocessing for MaxSAT

SAT-based preprocessing for MaxSAT

引用

19th international conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2013

作者： Belov, Anton Morgado, António Marques-Silva, Joao Complex and Adaptive Systems Laboratory University College Dublin Ireland IST/INESC-ID Technical University of Lisbon Portugal

ISBN: (纸本)9783642452208

State-of-the-art algorithms for industrial instances of MaxSAT problem rely on iterative calls to a SAT solver. Preprocessing is crucial for the acceleration of SAT solving, and the key preprocessing techniques rely on the application of resolution and subsumption elimination. Additionally, satisfiability-preserving clause elimination procedures are often used. Since MaxSAT computation typically involves a large number of SAT calls, we are interested in whether an input instance to a MaxSAT problem can be preprocessed up-front, i.e. prior to running the MaxSAT solver, rather than (or, in addition to) during each iterative SAT solver call. the key requirement in this setting is that the preprocessing has to be sound, i.e. so that the solution can be reconstructed correctly and efficiently after the execution of a MaxSAT algorithm on the preprocessed instance. While, as we demonstrate in this paper, certain clause elimination procedures are sound for MaxSAT, it is well-known that this is not the case for resolution and subsumption elimination. In this paper we show how to adapt these preprocessing techniques to MaxSAT. To achieve this we recast the MaxSAT problem in a recently introduced labelled-CNF framework, and show that within the framework the preprocessing techniques can be applied soundly. Furthermore, we show that MaxSAT algorithms restated in the framework have a natural implementation on top of an incremental SAT solver. We evaluate the prototype implementation of a MaxSAT algorithm WMSU1 in this setting, demonstrate the effectiveness of preprocessing, and show overall improvement with respect to non-incremental versions of the algorithm on some classes of problems. © Springer-Verlag 2013.

关键词： Iterative methods

来源：评论

学校读者我要写书评

暂无评论

Enhancing Industrial Productivity through AI-Driven Systematic Literature Reviews 19

Enhancing Industrial Productivity through AI-Driven Systemat...

引用

19th international conference on Web Information systems and Technologies, WEBIST 2023

作者： Coelho, Jaqueline Gutierri Bispo, Guilherme Dantas Vergara, Guilherme Fay Saiki, Gabriela Mayumi Serrano, André Luiz Marques Weigang, Li Neumann, Clovis Martins, Patricia Helena de Oliveira, Welber Santos Albarello, Angela Brigida Casonatto, Ricardo Accorsi Missel, Patrícia de Medeiros Junior, Roberto de Oliveira Gomes, Jefferson Rosano-Peña, Carlos da Costa, Caroline Cabral F. Latitude Decision Making Technologies Lab University of Brasilia Campus Darcy Ribeiro Brasilia Brazil Projectum Research Group for Math. Methodologies Applied to Management University of Brasilia Brasilia Brazil SENAI National Service of Industrial Learning Federal District Brazil Department of Production Engineering Faculty of Technology University of Brasília Federal District Brazil Department of Computer Science University of Brasilia Federal District Brazil Department of Economics University of Brasília Federal District Brazil UNITEC Innovation and Technology Unit National Service of Industrial Learning Federal District Brazil Department of Electrical University of Brasilia Federal District Brazil Department of Administration University of Brasilia Federal District Brazil

ISBN: (纸本)9789897586729

the advent of Artificial Intelligence (AI) has opened up new possibilities for improving productivity in various industry sectors. In this paper, we propose a novel framework aimed at optimizing systematic literature reviews (SLRs) for industrial productivity. By combining traditional keyword selection methods with AI-driven classification techniques, we streamline the review process, making it more efficient. Leveraging advanced natural language processing (NLP) approaches, we identify six key sectors for optimization, thereby reducing workload in less relevant areas and enhancing the efficiency of SLRs. this approach helps conserve valuable time and resources in scientific research. Additionally, we implemented four machine learning models for category classification, achieving an impressive accuracy rate of over 75%. the results of our analyses demonstrate a promising pathway for future automation and refinements to boost productivity in the industry. Copyright © 2023 by SCITEPRESS - science and Technology Publications, Lda. Under CC license (CC BY-NC-ND 4.0)

关键词： Natural language processing systems

来源：评论

学校读者我要写书评

暂无评论

Minimizing memory utilization of task sets in SmartOSEK

Minimizing memory utilization of task sets in SmartOSEK

引用

international conference on Advanced Information Networking and Applications (AINA)

作者： Wei Chen Zhaohui Wu Xiang Wang College of Computer Science Zhejiang University HangZhou China

ISBN: (纸本)0769522491

there has been a rapid growth in the amount and the importance of software in automobiles in the past two decades. this trend makes us view automobile space as a set of smart services. the basic platform for managing these services is a real-time operating system. Due to the limited resource in ECU, this operating system must be efficient in some aspects especially in memory utilization. We have implemented an operating system SmartOSEK, an OSEK-compliant OS. Some features and optimizations to reduce the RAM needed by the operating system are presented in this paper. First, an upper bound for the register set of each task that has to be stored can be calculated off-line. It also calls for the extension of the compiler to allocate registers across tasks for task contexts. We provide an experimental implementation with its result shown in this paper. Second, the stack space is saved based on some properties of tasks and interrupt handling.

关键词： Operating systems Random access memory Read-write memory Automotive engineering Resource management control systems Standards development Automobiles Real time systems Registers

来源：评论

学校读者我要写书评

暂无评论

Rehabilitation Support System for Attentional Deficits Based on Trail-Making Test

Rehabilitation Support System for Attentional Deficits Based...

引用

international Symposium on Soft Computing and Intelligent systems (SCIS)

作者： Ryuta Tonomura Tadamitsu Tadamitsu Atsushi Manji Naoyuki Kubota Takenori Obo Graduate School of Systems Design Tokyo Metropolitan University Tokyo Japan Josai Kokusai Daigaku Togane Chiba JP Physical Therapist Misato rehabilitation Hospital Saitama Japan Dept. of Applied Computer Science Tokyo Polytechnic University Kanagawa Japan

ISBN: (纸本)9781538626344;9781538626337

this paper presents a rehabilitation support system for patients with attention-deficits. Attention disorder is defined by the inability for a person to control attentional capture and disengagement. In this study, we focus on patient's gaze movement in order to extract the behavioral features before and after discovering target objects. First, we introduce the developed total system using a smart device (tablet PC) and eye tracker to analyze the exploratory behavior. Trail Making Test (TMT) is implemented into the smart device. Next, we propose a method for extracting the feature of eye movement from measured data. Finally, we show some experimental examples to discussed the applicability of the proposed method.

关键词： Feature extraction Smart devices Tablet computers Target tracking Task analysis Image color analysis

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共120页 << < 105 106 107 108 109 110 111 112 113 114 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：