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

IEEE Workshop on Engineering of Autonomic and Autonomous Systems (EASE)

作者： Yongwang Zhao Dianfu Ma Jing Li Zhuqing Li State Key Laboratory of Software Development Environment School of Computer Science and Engineering Beihang University Beijing China Institute of Advanced Computing Technology School of Computer Science and Engineering Beihang University Beijing China

Increasingly, software needs to dynamically adapt its structure and behavior at runtime in response to changing conditions in the supporting computing, network infrastructure, and in the surrounding physical environments. By high complexity, adaptive programs are generally difficult to specify, verify, and validate. Assurance of high dependability of these programs is a great challenge. Efficiently and precisely specifying requirements and flexible model checking for adaptation are the key issues for developing dependably adaptive software. This paper introduces a formal model for adaptive programs which have different behavioral modes. We consider that adaptive programs have two behavioral level, functional behavior and adaptation. state machine is used to describe functional behavior in different modes and mode automata is proposed for adaptations. Specifications of adaptive programs are classified into three categories, local, adaptation and global properties from their different scope of dynamic adaptation. To specify and verify specifications on our model, We propose the Mode-extended Linear Temporal Logic (mLTL) and its model checking approach. mLTL extends Linear Temporal Logic (LTL) by adding mode related element and enables describing properties on different modes. Our formal model and mLTL formulae are translated to SMV language and verified in NuSMV model checker.

关键词： Automata Adaptation models Receivers Software Semantics Encryption Computational modeling

来源：评论

学校读者我要写书评

暂无评论

Towards Verifying Global Properties of Adaptive Software Based on Linear Temporal Logic

Towards Verifying Global Properties of Adaptive Software Bas...

引用

International Conference on Advanced Information Networking and Applications (AINA)

作者： Yongwang Zhao Jing Li Dou Sun Dianfu Ma Institute of Advanced Computing Technology School of Computer Science and Engineering Beihang University Beijing China State Key Laboratory of Software Development Environment School of Computer Science and Engineering Beihang University Beijing China

Increasingly, software needs to dynamically adapt its structure and behavior at runtime in response to changing conditions in the supporting computing, network infrastructure, and in the surrounding physical environments. By high complexity, assurance of high dependability of these software is a great challenge. Effective modeling of behavior and flexibly specifying requirements are the key issues for developing trusted adaptive software. This paper introduces a formal model for the behavior of adaptive software and an extended linear temporal logic to specify global properties. We use state machines to describe programs in different behavioral modes of adaptive software and consider these machines as different versions of programs. Specifications are classified into three categories, local, adaptation and global properties from perspective of dynamic adaptation. To specify and verify global properties on our model, we propose the versioned LTL (vLTL) which extends Linear Temporal Logic by adding version related element and enables describing properties on different versions. We also discuss verifying approach of vLTL by transforming them into LTL formulae and illustrate a study case.

关键词： Automata Software Adaptation model Semantics Runtime Algebra Switches

来源：评论

学校读者我要写书评

暂无评论

一种静态漏电与NBTI效应协同优化模型

一种静态漏电与NBTI效应协同优化模型

引用

第七届中国测试学术会议

作者： Jin Song 靳松 Hart Yinhe 韩银和 Liu Li 刘立 Department of Electronic and Communication Engineering School of Electrical and Electronic Engineer 华北电力大学电气与电子工程学院电子与通信工程系保定071003 State Key Laboratory of Computer Architecture Institute of Computing Technology Chinese Academy of 中国科学院计算技术研究所计算机体系结构国家重点实验室北京100190

随着制造工艺的不断进步，老化效应导致的动态参数偏差和漏电给集成电路的可靠性带来了严峻挑战。目前关于电路老化和漏电的协同优化方法或者以侵入式方法实现，或者采用输入向量控制方法(IVC)。然而，侵入式方法会增加设计复杂度，并... 详细信息

随着制造工艺的不断进步，老化效应导致的动态参数偏差和漏电给集成电路的可靠性带来了严峻挑战。目前关于电路老化和漏电的协同优化方法或者以侵入式方法实现，或者采用输入向量控制方法(IVC)。然而，侵入式方法会增加设计复杂度，并引入较大的时延和面积开销;而IVC方法则会随着电路规模的增大逐渐失去其优化效果。本文提出了一个新的协同优化模型以最小化电路处于待机模式时由于NBTI效应导致的时延偏差和静态漏电。提出的协同优化模型将NBTI效应导致的时延偏差和电路的平均静态漏电统一模型化为占空比的函数。将此模型应用于非线性规划中可以识别出电路处于待机模式时内部节点上的最优占空比集合。提出的协同优化模型通过一个多输入向量控制方法进行验证。实验结果表明，提出的模型可以有效地应用于NBTI效应和电路静态漏电的协同优化中。

关键词：集成电路负偏置温度不稳定性静态漏电协同优化模型

来源：评论

学校读者我要写书评

暂无评论

Network Content Security Evaluation Method Analysis

Network Content Security Evaluation Method Analysis

引用

The Second International Conference on Theoretical and Mathematical Foundations of computer Science（ICTMF 2011）

作者： Dongyan Zhang Lihua Yin Hongsong Chen Dept. of Computer Science & Technology University of Science & Technology Beijing Institute of Computing Technology Chinese Academy of Sciences State key Laboratory of Networking and Switching Technology Beijing University of Posts and Telecommunications Dept. of Computer Science & Technology University of Science and Technology Beijing

The network content security system of Internet information requires a controlling force over information flows which allows the access to some information and prohibits some other information. The complexity of Internet information flows makes it difficult to control precisely over the Internet. Consequently, corresponding evaluation shall be conducted over all kinds of controlling methods. In the paper, precision rate and error rate metrics are proposed to evaluate the network content security system. Consequently we use the evaluation methods in intrusion detection and information retrieval for reference to evaluate the network content security system. We take a deep analysis for the evaluation methods from two aspects which are "monotony" of evaluation methods and the sensibility of evaluation methods and point out which of these methods are applicable to network content security controlling system. At last, we state briefly the application range of CID, ECC, NAMI and other metrics.

关键词： content security access control evaluation method metric

来源：评论

学校读者我要写书评

暂无评论

Beyond Green: Evolution to Adaptability and Recyclability

Beyond Green: Evolution to Adaptability and Recyclability

引用

IEEE/ACM Int'l Conference on & Int'l Conference on Cyber, Physical and Social computing (CPSCom) Green computing and Communications (GreenCom)

作者： Yuzhong Sun Ying Song Key Laboratory of Computer System and Architecture Chinese Academy of Sciences (CAS) Beijing China Institute of Computing Technology Chinese Academy of Sciences (CAS) Beijing China Key Lab. of Comput. Syst. & Archit. Beijing China

In current social computing system, not only hardware but also software experiences a directly discarded mode. Such directly discarded mode may result in huge waste. The major challenge in green computing is the recyclability of the computing system. In order to address this challenge in the software field, this paper proposes a design idea of green software embodying the adaptability and recyclability. The adaptable and recyclable strategy may consist of two phases. The first one is compressing the increasingly deeper software stack, another one is keeping the functionality recycling and code reuse. The adaptability and recyclability mean automatically decomposing the complex software into several parts which are ease to be reused and automatically selecting the feasible parts for the on-writing software. And we also explore the system software design path to adaptability and recyclability in our previous work as well as in the future.

关键词： Hardware Green products Recycling Software design computers Complexity theory

来源：评论

学校读者我要写书评

暂无评论

Landing Stencil Code on Godson-T

引用

Journal of computer Science & technology 2010年第4期25卷 886-894页

作者：崔慧敏王蕾范东睿冯晓兵 Key Laboratory of Computer System and Architecture Institute of Computing TechnologyChinese Academy of Sciences Graduate University of Chinese Academy of Sciences

The advent of multi-core/many-core chip technology offers both an extraordinary opportunity and a profound challenge. In particular, computer architects and system software designers are faced with a unique opportunity to introducing new architecture features as well as adequate compiler technology -- together they may have profound impact. This paper presents a case study （using the 1-D Jacobi computation） of compiler-amendable performance optimization techniques on a many-core architecture Godson-T. Godson-T architecture has several unique features that are chosen for this study： 1） chip-level global addressable memory in particular the scratchpad memories （SPM） local to the processing cores; 2） fine-grain memory based synchronization （e.g., full-empty bit for fine-grain synchronization）. Leveraging state-of-the-art performance optimization methods for 1-D stencil parallelization （e.g., timed tiling and variants）, we developed and implement a number of many-core-based optimization for Godson-T. Our experimental study shows good performance in both execution time speedup and scalability, validate the value of globally accessed SPM and fine-grain synchronization mechanism （full-empty bits） under the Godson-T, and provides some useful guidelines for future compiler technology of many-core chip architectures.

关键词： many-core, stencil, Jacobi, compiler SPM, fine-grain synchronization

来源：评论

学校读者我要写书评

暂无评论

Physical Implementation of the 1GHz Godson-3 Quad-Core Microprocessor

引用

Journal of computer Science & technology 2010年第2期25卷 192-199页

作者：范宝峡杨梁王江嵋王茹肖斌徐英刘动赵继业 Key Laboratory of Computer System and Architecture Institute of Computing TechnologyChinese Academy of Sciences Graduate University of Chinese Academy of Sciences Loongson Technology Corporation Limited

The Godson-3A microprocessor is a quad-core version of the scalable Godson-3 multi-core series. It is physically implemented based on the 65 nm CMOS process. This 174 mm2 chip consists of 425 million transistors. The maximum frequency is 1GHz with a maximum power consumption of 15 W. The main challenges of Godson-3A physical implementation include very large scale, high frequency requirement, sub-micron technology effects and aggressive time schedule. This paper describes the design methodology of the physical implementation of Godson-3A, with particular emphasis on design methods for high frequency, clock tree design, power management, and on-chip variation （OCV） issue.

关键词： physical implementation design methodology on-chip variation （OCV） low power clock tree

来源：评论

学校读者我要写书评

暂无评论

Estimate-Piloted Regularization and Fast ALS Algorithm for Collaborative Filtering

Estimate-Piloted Regularization and Fast ALS Algorithm for C...

引用

International Conference on Future computer Science and Education (ICFCSE)

作者： Zhenyue Zhang Keke Zhao Hongyuan Zha Guirong Xue Department of Mathematics State Key Laboratory of CAD&CG Zhejiang University China College of Computing Georgia Institute of Technology Atlanta GA USA Department of Computer Science Shanghai Jiao Tong University Shanghai China

Regularized Low-rank approximation with missing data is an effective approach for Collaborative Filtering since it generates high quality rating predictions for recommender systems. Alternative LS (ALS) method is one of the commonly used algorithms for the CF problem. However, ALS did not work very well in some applications, due to the over-fitting to observations. This paper proposes a novel estimate-piloted regularization that uses a pre-estimate of the unobserved entries and uses the approximation errors to the pre-estimates as a regularize term. This new regularization can reduce the risk of over-fitting and improve the approximation accuracy of ALS. We also proposed a fast implementation of the modified ALS method, which is also very suitable for parallel computing. The proposed algorithm PALS has higher accuracy than ALS for original model in three real-world data sets.

关键词： Testing Accuracy Training Least squares approximation Collaboration Estimation

来源：评论

学校读者我要写书评

暂无评论

Accelerating Vehicle Detection in Low-Altitude Airborne Urban Video

Accelerating Vehicle Detection in Low-Altitude Airborne Urba...

引用

International Conference on Image and Graphics (ICIG)

作者： Xianbin Cao Renjun Lin Pingkun Yan Xuelong Li Anhui Province Key Laboratory of Software in Computing and Communication School of Computer Science and Technology University of Science and Technology Hefei Anhui China Center of OPTical IMagery Analysis and Learning (OPTIMAL) State Key Laboratory of Transient Optics and Photonics Xi'an Institute of Optics and Precision Mechanics Chinese Academy and Sciences Xi'an Shaanxi China

The limitation of the existing methods of traffic data collection is that they rely on techniques that are strictly local in nature. The airborne system in unmanned aircrafts provides the advantages of wider view angle and higher mobility. However, detecting vehicles in airborne videos is a challenging task because of the scene complexity and platform movement. Most of the techniques used in stationary platforms cannot perform well in this situation. A new and efficient method based on Bayes model is proposed in this paper. This method can be divided into two stages, attention focus extraction and vehicle classification. Experimental results demonstrated that, compared with other representative algorithms, our method obtained better performance with higher detection rate, lower false positive rate and faster detection speed.

关键词： Vehicles Feature extraction Vehicle detection Road transportation Cameras Atmospheric modeling Classification algorithms

来源：评论

学校读者我要写书评

暂无评论

KLT Feature Based Vehicle Detection and Tracking in Airborne Videos

KLT Feature Based Vehicle Detection and Tracking in Airborne...

引用

International Conference on Image and Graphics (ICIG)

作者： Xianbin Cao Jinhe Lan Pingkun Yan Xuelong Li Anhui Province Key Laboratory of Software in Computing and Communication School of Computer Science and Technology University of Science and Technology Hefei Anhui China Center of OPTical IMagery Analysis and Learning (OPTIMAL) State Key Laboratory of Transient Optics and Photonics Xi'an Institute of Optics and Precision Mechanics Chinese Academy and Sciences Xi'an Shaanxi China

Airborne vehicle detection and tracking systems equipped on unmanned aerial vehicles (UAVs) are difficult to develop because of factors like UAV motion, scene complexity and so on. In this paper, we propose a new framework of multi-motion layer analysis to detect and track moving vehicles in airborne platform. Moving vehicles are firstly detected by registration and temporal differencing to establish motion layers. After motion layers are constructed, they are maintained over time for tracking vehicles. All vehicles are tracked by maintaining their corresponding motion layers. Our experimental results showed that compared with other previous algorithms, our method can achieve better results in terms of detection and tracking performance.

关键词： Vehicles Tracking Videos Feature extraction Vehicle detection Maintenance engineering Motion segmentation

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：