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

Analysis for probabilistic and timed intransitive information flow security properties

Journal of Convergence Information Technology 2012年第15期7卷 488-495页

作者： Huang, Yong Wu, Jinzhao School of Information Science and Engineering Guangxi University for nationalities Nanning China Guangxi Key Laboratory of Hybrid Computation and IC Design Analysis Nanning China Chengdu institute of computer application Chinese academy of sciences Chengdu China

It is important to avoid information flow from higher levels to lower levels directly in multilevel systems, namely the so called covert channels. Primary studies of information flow analysis were accomplished based on time and probability factors. It is well known that systems that are considered to be secure may turn out to be insecure when time or probability is considered. Recently, both probabilistic and timing covert channels have been studied. However, with transitive noninterference formulation, it is difficult to deal with intransitive flow policies like channel control and secure downgrading of information with probabilistic and time constraints. In this paper, we introduce the notion of trust domain into Probabilistic Timed Secure Process Algebra (ptSPA), extending intransitive noninterference to probabilistic and time systems. Based on weak probabilistic and timed bisimulation equivalence, some security properties for intransitive flow are reformulated in a probabilistic and time setting, in particular one property which is persistent, meaning that if a system is secure then all of its reachable states are secure too. Finally, we provide one case study showing that it is possible to model and analyze the probabilistic and time system through our approach.

关键词： Network security

来源：评论

学校读者我要写书评

暂无评论

An improved real-valued negative selection algorithm for anomaly detection

引用

International Journal of Advancements in Computing Technology 2012年第16期4卷 453-459页

作者： Zeng, Jinquan Tang, Weiwen Liu, Caiming Hu, Jianbin Peng, Lingxi School of Computer Science and Engineering University of Electronic Science and Technology of China Chengdu China Sichuan Communication Research Planning and Designing Co. ltd Chengdu China Laboratory of Intelligent Information Processing and Application Leshan Normal University Leshan China School of Electronics and Information Nantong University Nantong China Department of Computer and Education Software Guangzhou University Guangzhou China

Conventional classification algorithms need samples for all classes (e.g. normal and abnormal) during the training phase. However, in many anomaly detection application, we can only get a class samples (commonly, normal samples) to train detectors. This paper presents an improved negative selection algorithm (NSA) and its applications to anomaly detection. This approach can only use normal samples to train detectors;at the same time, in order to overcome the drawbacks of the current representation of the self-space in NSAs, a new scheme of the representation of the self-space is introduced with variable-sized self-radius. In our experiments, this approach is tested using the wellknown real world datasets;preliminary results show that the new approach improves the overall performance of detectors and without increase in complexity.

关键词： Artificial intelligence

来源：评论

学校读者我要写书评

暂无评论

Calculating the pre-image using the kernel methods

引用

Advances in Information sciences and Service sciences 2012年第22期4卷 612-618页

作者： Tan, Zhiying Feng, Yong Xu, Kejia Jia, Ke Song, Xiaobo School of Computer Science and Engineering University of Electronic Science and Technology of China Chengdu China Chengdu Inst. of Computer Application Chinese Academy of Sciences Chengdu China Changzhou Inst. of Advanced Manufacturing Chinese Academy of Sciences Changzhou China Chongqing Inst. of Green and Intelligent Technology Chinese Academy of Sciences Chongqing China School of electrical SouthWest JiaoTong University Chengdu China

The nonlinear features can be extracted by the kernel methods. The features play the important roles in pattern recognition and image processing. The researching on kernel methods has the great theoretical and practical value. In the paper, we propose a method to calculate the pre-images using the kernel methods. And we specifically design an algorithm to obtain the pre-image based on the kernel PCA with Gaussian kernel. In the algorithm, the constructed optimal problem is solved by the iterative method. The method is available to all the learning problems with a large sample set. We use the method to detect the defects on the tickets' surface. The experiments results indicate that the method not only reduce the mistake rate but also cut down the detection time.

关键词： Iterative methods

来源：评论

学校读者我要写书评

暂无评论

Analytical Drain Current Model for Organic Thin-Film Transistors

Analytical Drain Current Model for Organic Thin-Film Transis...

引用

2012 IEEE 11th International Conference on Solid-State and Integrated Circuit Technology(ICSICT-2012)

作者： Hongyu He Jin He Wanling Deng Mansun Chan Yuan Liu Ruohe Yao Bin Li Xueren Zheng Peking University Shenzhen SOC Key Laboratory PKU-HKUST Shenzhen-HongKong Institution Department of Electronic and Computer Engineering Hong Kong University of Science and Technology Science and Technology on Reliability Physics and Application of Electronic Component Laboratory School of Electronic and Information Engineering South China University of Technology

Two analytical drain current models for organic thin-film transistors(OTFTs)are *** first one is the surface potential based drain current model considering both deep and tail trap states densities within the energy gap,and the model is valided in both subthreshold and above-threshold *** second one is the polynomial based model valided in above-threshold regime,and the model has the advantage in the simple parameter extraction steps by fitting the experimental effective mobility with the polynomial *** presented models are verified with the experimental data, and good agreements are obtained.

关键词： Analytical Drain Current Model for Organic Thin-Film Transistors Model

来源：评论

学校读者我要写书评

暂无评论

Interference analysis of TD-SCDMA system and CDMA2000 system

引用

Journal of Networks 2012年第1期7卷 101-109页

作者： Hao, Chen Tong, Yang Jian-Fu, Teng Hong, He School of Electronic and Information Engineering Tianjin University Tianjin 300072 China Computer Science and Information Engineering College Tianjin University of Science and Technology Tianjin 300222 China Tianjin Mobile Communications Co. Ltd Tianjin 300052 China School of Electronic and Information Engineering Tianjin University Tianjin 300072 China Tianjin Key Laboratory for Control Theory and Application in Complicated Systems Tianjin University of Technology Tianjin 300384 China

In this paper, the feasibility of co-channel coexistence of Time Division- Synchronous Code Division Multiple Access (TD-SCDMA) and Code Division Multiple Access 2000 (CDMA2000) systems operating in a macro cell environment is investigated. The deterministic analysis and simulation method are used to evaluate the performance compromising of both systems. Based on a more efficient calculation scheme, a novel deterministic equation is proposed and used to provide a better interpretation of the relationship between aggressor and victim in the interference system. The evaluation and simulation results show consistency with the corresponding experiment results. Furthermore, the interference characteristics of Omni-antenna and smart antenna in TD-SCDMA and CDMA2000 are compared, providing an important guideline to reduce the interference of two systems. © 2012 Academy Publisher.

关键词： Code division multiple access

来源：评论

学校读者我要写书评

暂无评论

Unknown malicious executables detection based on immune principles

引用

Research Journal of Applied sciences, engineering and Technology 2012年第1期4卷 82-85页

作者： Zeng, Jinquan Liu, Caiming Hu, Jianbin Zhang, Yu School of Computer Science and Engineering University of Electronic Science and Technology of China Chengdu 610054 China Sichuan Communication Research Planning and Designing Co. ltd Chengdu 610041 China Laboratory of Intelligent Information Processing and Application Leshan Normal University Leshan 614004 China School of Electronics and Information Nantong University Nantong 226019 China College of Information Science and Technology Hainan Normal University 571158 Haikou China

Detecting unknown malicious executables is a challenging task. Traditional anti-virus systems use signatures to detect malicious executables. However, the method cannot detect unseen instances or variants. Inspired by biological immune systems, an immune-based approach for detection of unknown malicious executables is proposed in this paper, which is referred to MEDMI. The approach can use the benign executables to be the training set for building the profile of the system and then generates detectors to detect malicious executables. The experiments comparing with different detection methods show that the approach provides an effective novel solution to detect malicious executables. © Maxwell Scientific Organization, 2012.

关键词： Viruses

来源：评论

学校读者我要写书评

暂无评论

A study of battery modeling technologies for vehicle system simulations

A study of battery modeling technologies for vehicle system ...

引用

IEEE Workshop on computers in Power Electronics

作者： Takayuki Sekisue Koichi Shigematsu Takashi Abe Thanh-Son Dao Technical Division Electrical Business Unit. ANSYS Japan K.K. Tokyo Japan Model Based Development Promotion Division Cybernet Systems Company Limited Nagoya Aichi Japan Division of Electrical Engineering and Computer Science Graduate School of Engineering Nagoya University Nagasaki Japan Application Engineering Division Maplesoft Waterloo Canada

The goal of this research is a proposal of a standard model for vehicle system simulations. Recently, the CO 2 reduction and efficiency improvement of the energy consumption are important subjects in development of the vehicle systems. The new technologies related to vehicle development have continued to increase in complexity. For these reasons, the energy management simulation by the coordinated design of an electric system and vehicle system is required. The electrical behavior of the batteries becomes important to improve the energy management in the vehicle systems. The battery modeling technologies and the application example for vehicle system simulation are reported.

关键词： Batteries Vehicles Mathematical model Integrated circuit modeling Equations System-on-a-chip Discharges (electric)

来源：评论

学校读者我要写书评

暂无评论

Combining chain-code and fourier descriptors for fingerprint matching

Combining chain-code and fourier descriptors for fingerprint...

引用

1st International Conference on Advances in Computing and Communications, ACC 2011

作者： Geevar, C.Z. Sojan Lal, P. Department of Computer Application MES College of Engineering Kuttippuram India School of Computer Science Mahatma Gandhi University Kottayam India

ISBN: (纸本)9783642227196

The performance of an fingerprint recognition system is measured by its accuracy in recognition. For a feature-based fingerprint recognition system, the accuracy is heavily depend on the chosen feature set. A fingerprint image may suffer from problems like translation, rotation, scaling and elastic distortion due to different imaging conditions. A fingerprint recognition algorithm should address these problems before building the feature set. We present a novel method of representing the fingerprint ridge shape as the feature set by combining chain code and fourier descriptor for fingerprint recognition. Experimental results shows that our proposed algorithm is reliable for fingerprint recognition. © 2011 Springer-Verlag.

关键词： Codes (symbols)

来源：评论

学校读者我要写书评

暂无评论

3D LIDAR point cloud based intersection recognition for autonomous driving

3D LIDAR point cloud based intersection recognition for auto...

引用

IEEE Symposium on Intelligent Vehicle

作者： Quanwen Zhu Long Chen Qingquan Li Ming Li Andreas Nüchter Jian Wang School of Geodesy and Geomatics Wuhan University of China Hubei China Engineering Research Center for Spatio-Temporal Data Smart Acquisition and Application Ministry of Education of China andthe School of Electronic Information Wuhan University of China Hubei China State Key Laboratory of Information Engineering in Surveying Mapping and Remote Sensing Wuhan University of China Wuhan Hubei China Computer School Wuhan University of China Hubei China School of Engineering and Science Jacobs University Bremen Bremen Germany

Finding road intersections in advance is crucial for navigation and path planning of moving autonomous vehicles, especially when there is no position or geographic auxiliary information available. In this paper, we investigate the use of a 3D point cloud based solution for intersection and road segment classification in front of an autonomous vehicle. It is based on the analysis of the features from the designed beam model. First, we build a grid map of the point cloud and clear the cells which belong to other vehicles. Then, the proposed beam model is applied with a specified distance in front of autonomous vehicle. A feature set based on the length distribution of the beam is extracted from the current frame and combined with a trained classifier to solve the road-type classification problem, i.e., segment and intersection. In addition, we also make the distinction between +-shaped and T-shaped intersections. The results are reported over a series of real-world data. A performance of above 80% correct classification is reported at a real-time classification rate of 5 Hz.

关键词： Roads Vehicles Structural beams Mobile robots Educational institutions Accuracy Intelligent vehicles

来源：评论

学校读者我要写书评

暂无评论

Object-oriented simulation software for an adaptive optics system

Object-oriented simulation software for an adaptive optics s...

引用

2011 IEEE 3rd International Conference on Communication Software and Networks, ICCSN 2011

作者： Chen, Ying Feng, Yong Tan, Zhiying Shi, Xiaoyu School of Computer Science and Engineering University of Electronic Science and Technology of China Chengdu China Chengdu Inst. of Computer Application Chinese Academy of Sciences Chengdu China

ISBN: (纸本)9781612844855

The object-oriented simulation software of an adaptive optics system is used to evaluate the performance of the adaptive optics system. The software includes distorted wavefront correction and turbulence simulation. An object-oriented adaptive optics system framework is proposed based on the features of adaptive optics systems simulation. Numerical simulation results show that it is a valid numerical simulation software. © 2011 IEEE.

关键词： Numerical models

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：