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

International Conference on Availability, Reliability and Security, ARES

作者： Hyung Chan Kim R.S. Ramakrishna Wook Shin Koiuchi Sakurai Department of Information and Communications Gwangju Institute of Science and Technology Gwangju South Korea Department of Computer Science University of Illinois Urbana-Champaign IL USA Faculty of Computer Science and Communication Engineering Kyushu University Fukuoka Japan

ISBN: (纸本)9780769527758;0769527752

The main focus of current research in trusted operating systems (TOS) is on the enhanced access control of reference monitors which, in turn, control the individual operations on a given access instance. However, many real-life runtime attacks involve behavioral semantics. We have proposed an extended reference monitor to support both access and behavior controls. This results in a sequence of operations which are also of concern in security enforcement. This paper presents a policy language for the extended reference monitor. Our policy language is based on domain and type enforcement (DTE) and role-based access control (RBAC). Permission is defined as an event and a state of behavior is represented as a fluent to be accorded with the convention of event calculus (EC). Behavior policies can be expressed with the EC style syntax as well as access control policies

关键词： Operating systems Access control Security computerized monitoring computer science Runtime Calculus communication system control Control systems Permission

来源：评论

学校读者我要写书评

暂无评论

ML DESIGNERTM as simulation tool in robotics

ML DESIGNERTM as simulation tool in robotics

引用

International Conference on Telecommunications in Modern Satellite, Cable and Broadcasting Service (TELSIKS)

作者： Mario Schulz Ivan Velickovic Sasa Andelkovic Volker Zerbe Goran S. Dordevic Computer Science and Automation Faculty System and Control Theory Department Technical University Ilmenau Ilmenau Germany Faculty of Electronics engineering Robotics Lab University of Nis Nis Serbia

Robots are complex systems that require multidisciplinary approach to development. Hence, both research and production of a robotic system require a tool that would provide means for coordination between teams with different areas of expertise as well as the ability to integrate, simulate and debug the system in a comprehensive way. Also, with the growing popularity of service robotics, research and modeling of human-machine interaction gains the attention. From a simulation tool, it is expected to support the means for describing this interaction. For that purpose we are investigating the ML Designer TM , not just as a possible simulation tool, but also as a modeling and design paradigm. For verification purposes we will compare it against MATLAB Simulink TM . A pneumatic system will be modeled with both tools and a comparison will be performed.

关键词： Mathematical model Robot kinematics Cleaning system testing Power system modeling MATLAB Pneumatic systems Control systems Level control Costs

来源：评论

学校读者我要写书评

暂无评论

High resolution COSMO/SkyMed SAR data analysis for civil protection from flooding events

High resolution COSMO/SkyMed SAR data analysis for civil pro...

引用

IEEE International Symposium on Geoscience and Remote Sensing (IGARSS)

作者： Giorgio Boni Fabio Castelli Luca Ferraris Nazzareno Pierdicca Sebastiano Serpico Franco Siccardi Department of Communication Computer and System Science (DIST) University of Genoa Genoa Italy Department of Civil Engineering (DIC) University of Florence Florence Italy Department of Electronic Engineering (DIE) University of Rome Rome Italy Department of Biophysical and Electronic Engineering (DIBE) University of Genoa Genoa Italy

The paper focuses on the multiple roles and advantages of the use of remotely sensed, especially COSMO/SkyMed, imagery in the context of flooding-event prevention and management, describing a support system for civil ... 详细信息

关键词： Data analysis Protection Floods Prototypes Remote monitoring Industrial electronics Image classification Soil Image resolution computerized monitoring

来源：评论

学校读者我要写书评

暂无评论

Breast Cancer Classification Using Statistical Features and Fuzzy Classification of Thermograms

Breast Cancer Classification Using Statistical Features and ...

引用

IEEE International Conference on Fuzzy systems (FUZZ-IEEE)

作者： Gerald Schaefer Tomoharu Nakashima Michal Zavisek Yasuyuki Yokota Ales Drastich Hisao Ishibuchi School of Engineering and Applied Science Aston University U.K Department of Computer Science and Intelligent Systems Osaka Prefecture University Japan Faculty of Electrical Engineering and Communication Brno University of Technology Czech Republic

Advances in camera technologies and reduced equipment costs have lead to an increased interest in the application of thermography in the medical fields. Thermography is of particular interest for detection of breast cancer as it has been shown that it is capable of detecting the cancer earlier and is also allows diagnosis of fatty breast tissue. In this paper we perform breast cancer detection based on thermography, using a series of statistical features extracted from the thermograms coupled with a fuzzy rule-based classification system for diagnosis. The features stem from a comparison of left and right breast areas and quantify the bilateral differences encountered. Following this asymmetry analysis the features are fed to a fuzzy classification system. This classifier is used to extract fuzzy if-then rules based on a training set of known cases. Experimental results on a set of nearly 150 cases show the proposed system to work well accurately classifying about 80% of cases, a performance that is comparable to other imaging modalities such as mammography.

关键词： Breast cancer Cancer detection Fuzzy systems Cameras Costs Biomedical imaging Medical diagnostic imaging Breast tissue Feature extraction Fuzzy sets

来源：评论

学校读者我要写书评

暂无评论

H∞ filtering for a class of 2D systems

H∞ filtering for a class of 2D systems

引用

15th European Signal Processing Conference, EUSIPCO 2007

作者： Wu, Ligang Lam, James Paszke, Wojciech Galkowski, Krzysztof Rogers, Eric Kummert, Anton Space Control and Inertial Technology Research Center Harbin Institute of Technology Harbin 150001 China Department of Mechanical Engineering University of Hong Kong Pokfulam Road Hong Kong Hong Kong Institute of Control and Computation Engineering University of Zielona Góra 65-246 Zielona Góra Poland Department of Electronics and Computer Science University of Southampton Southampton SO17 1BJ United Kingdom University of Wuppertal Faculty of Electrical Information and Media Engineering Communication Theory Germany

ISBN: (纸本)9788392134022

The unique characteristic of a repetitive process is a series of sweeps or passes through a set of dynamics defined over a finite duration known as the pass length. At the end of each pass, the process is reset and the next time through the output, or pass profile, produced on the previous pass acts as a forcing function on, an hence contributes to, the dynamics of the new pass profile. They are hence a class of systems with information propagation in two independent directions where here the dynamics over the finite pass length are described by a matrix linear differential equation and that from pass to pass has a discrete updating structure. This means that filtering/estimation theory/algorithms for, in particular, 2D discrete linear systems is not applicable. In this paper we solve a general filtering problem with a view toward use in the many applications where such action will be required. © 2007 EURASIP.

关键词： Dynamics

来源：评论

学校读者我要写书评

暂无评论

Parallel Algorithm for Finding the Minimum Edges to Make a Disconnected Directed Acyclic Graph Strongly Connected

Parallel Algorithm for Finding the Minimum Edges to Make a D...

引用

International Conference on Innovative Computing, Information and Control (ICICIC)

作者： Tsuyoshi Itokawa Akio Tada Masahiro Migita Computer Science and Electrical Engineering Graduate School of Science and Technology Kumamoto University Japan Department of Computer System Technology Faculty of Computer and Information Sciences Sojo University Japan Center for Multimedia and Information Technologies Kumamoto University Japan

A problem to make a graph strongly connected is one of the most fundamental problems in graph theory. The known parallel algorithm solves this problem in O(log n) time using O(n 3 ) processors on a CRCW PRAM model. In this paper we present a parallel algorithm to find the minimum edges to make a disconnected directed acyclic graph strongly connected in O(log(m + n)) time using O(m + n) processors on a CREW PRAM model. This algorithm is an efficient parallel algorithm because the number of processors varies according to the density of the given graph.

关键词： Parallel algorithms Phase change random access memory Concurrent computing Graph theory computer science Multimedia systems Information technology Computational modeling Broadcasting Writing

来源：评论

学校读者我要写书评

暂无评论

NEURAL-ADAPTIVE CONTROL BASED ON ADALINE NEURONS WITH APPLICATION TO A POWER system

引用

IFAC Proceedings Volumes 2007年第18期40卷 457-464页

作者： Ioan Filip Octavian Prostean Florin Dragan Cristian Vasar Department of Control System Engineering “Politehnica” University from Timisoara Faculty of Automation and Computer Science 300223 Timisoara Romania Phone: (+40) 0256-403238 E-Mail: ioan.filip@aut.upt.ro

A neural-adaptive control solution is exposed in this paper. The control strategy is based on the linear adaptive neuron, which is called ADALINE. Unlike other neural control solutions, based on perceptrons neurons characterized by a long time learning process and a difficult on-line tuning of weights, this approach uses a fast algorithm, which adapts on-line the neuron's weights. Therefore the non-linear character of control law is induced by the permanent changes of neuron weights, which are variable parameters of controller. A set of study cases is done, with application to the excitation control of a synchronous generator.

关键词： adaptive control neural networks ADALINE modelling simulation synchronous generator

来源：评论

学校读者我要写书评

暂无评论

Speckle noise reduction in SAR imaging using lattice filters based subband decomposition

Speckle noise reduction in SAR imaging using lattice filters...

引用

IEEE International Symposium on Geoscience and Remote Sensing (IGARSS)

作者： Gokhan Karasakal I. Erer Informatics Institute Advanced Technologies in Engineering.Computer Science and Eng Istanbul Technical University Istanbul Turkey Electronics and Communication Department I.T.U. Faculty of Electrical and Electronic Engineering Istanbul Turkey

A new speckle reduction algorithm based on lattice filters for SAR imaging is presented. In the new method, the subband decomposition of the speckled image is performed using lattice filters. The noisy image is decomposed into subband images using high-pass and low-pass filters having lattice structure, then a threshold value is estimated according to noise variance in each subband and soft-thresholding is applied on the subband images. The despeckled image is obtained from the thresholded subband images using the inverse lattice filter. The proposed speckle reduction method is applied to RADARSAT/SAR images. The performance of the proposed method has also been compared with median filtering, and discrete and stationary wavelet transform based speckle reduction methods. Results show that the proposed method may be used efficiently for speckle noise reduction in SAR images.

关键词： Speckle Noise reduction Radar polarimetry Lattices Discrete wavelet transforms Filter bank Low pass filters Channel bank filters Image reconstruction Filtering

来源：评论

学校读者我要写书评

暂无评论

SHORT TERM ELECTRIC LOAD FORECAST WITH ARTIFICIAL NEURAL NETWORKS

引用

IFAC Proceedings Volumes 2007年第18期40卷 443-449页

作者： Vasar Cristian Szeidert Iosif Filip Ioan Prostean Gabriela Department of Control System Engineering “Politehnica” University from Timisoara Faculty of Automation and Computer Science 300223 Timisoara Romania Phone: (+40) 256-403237 E-Mail: cristian.vasar@aut.upt.ro

This paper presents issues regarding short term electric load forecasting using feedforward and Elman recurrent neural networks. The study cases were developed using measured data representing electrical energy consume from Banat area. There were considered 35 different types of structure for both feedforward and recurrent network cases. For each type of neural network structure were performed many trainings and best solution was selected. The issue of forecasting the load on short term is essential in the effective energetic consume management in an open market environment.

关键词： neural networks prediction problems load forecasting feedforward networks simulation

来源：评论

学校读者我要写书评

暂无评论

A Particle Swarm Optimization Algorithm for Neighbor Selection in Peer-to-Peer Networks

A Particle Swarm Optimization Algorithm for Neighbor Selecti...

引用

computer Information systems and Industrial Management Applications (CISIM)

作者： Shichang Sun Ajith Abraham Guiyong Zhang Hongbo Liu School of Computer Science and Engineering Dalian Nationalities of University Dalian China Department of Computer Science Dalian University of Technology Dalian China School of Computer Science Dalian Maritime University Dalian China Centre for Quantifiable Quality of Service in Communication Systems Faculty of Information Technology Mathematics and Electrical Engineering Norwegian University of Science and Technology Trondheim Norway

Peer-to-peer (P2P) topology has significant influence on the performance, search efficiency and functionality, and scalability of the application. In this paper, we propose a particle swarm optimization (PSO) approach to the problem of neighbor selection (NS) in P2P networks. Each particle encodes the upper half of the peer-connection matrix through the undirected graph, which reduces the search space dimension. The results indicate that PSO usually required shorter time to obtain better results than genetic algorithm (GA), specially for large scale problems.

关键词： Particle swarm optimization Peer to peer computing computer science Network topology Scalability Application software Genetic algorithms computer networks computer industry Middleware

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：