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

2011 International Conference on Mechatronic science, Electric engineering and computer, MEC 2011

作者： Li, Zhongwen Huang, Jia Ma, Shilong Wang, Ping State Key Laboratory of Software Development Environment Beihang University Beijing 100191 China School of Computer Science and Engineering Beihang University Beijing 100191 China Department of Power Distribution and Utilization and Rural Electrification China Electric Power Research Institute Beijing 100192 China

ISBN: (纸本)9781612847221

To meet the complex and variable characteristics of spacecraft testing business, and to increase the expandability of automated testing system, this paper proposed an architecture of spacecraft test executing system which is composed of test executing engine, business component library and registration center based on workflow. And discussed the key issues involved by the three parts of the architecture. Finally, this paper showed a typical application scenario under the architecture. © 2011 IEEE.

关键词： Engines

来源：评论

学校读者我要写书评

暂无评论

龙芯3号处理器多核虚拟化技术研究

龙芯3号处理器多核虚拟化技术研究

引用

2012全国高性能计算学术年会

作者： WANG Huixiang 王慧祥 RUAN Li 阮利 ZHU Mingfa 祝明发 XIAO Limin 肖利民 TANG Haofu 唐浩夫 State Key Laboratory of Software Development Environment Beijing 100191China 软件开发环境国家重点实验室北京 100191 School of Computer Science and Engineering Beihang UniversityBeijing 100191China 北京航空航天大学计算机学院北京 100191

MIPS处理器是精简指令集(RISC)处理器中的一个重要代表，通常应用于嵌入式系统中。近年来，随着MIPS处理器性能的大幅度提升，其应用渐渐的扩展到了高性能服务器领域。龙芯3号处理器是MIPS架构的典型代表。在目前的服务器研究领域中，... 详细信息

MIPS处理器是精简指令集(RISC)处理器中的一个重要代表，通常应用于嵌入式系统中。近年来，随着MIPS处理器性能的大幅度提升，其应用渐渐的扩展到了高性能服务器领域。龙芯3号处理器是MIPS架构的典型代表。在目前的服务器研究领域中，多核技术是一项重要的技术指标，而虚拟化技术是另一项重要的技术指标。当前，虽然虚拟化技术得到了快速发展，但是龙芯3号处理器上的虚拟化技术却鲜有成果。基于龙芯3号处理器的多核虚拟化技术面临许多问题，虚拟多核架构结构复杂，核间通信方式难以模拟等都会为龙芯3号处理器上的多核虚拟化带来困难。本文分析了多核龙芯3号处理器的硬件结构以及物理多核的核间中断通信方式，在此基础上介绍了龙芯3号处理器上多核虚拟化关键技术。主要在多核处理器虚拟化总体架构设计、虚拟多核结构设计以及虚拟多核的核间通信方式等方面进行了讨论。最后实验的结果表明在龙芯3号处理器上，多核虚拟化方法具有良好的效果。

关键词：处理器多核虚拟化技术精简指令集

来源：评论

学校读者我要写书评

暂无评论

Exploring Storage Optimizations to Accelerate Parallel Out-of-core Matrix Product

Exploring Storage Optimizations to Accelerate Parallel Out-o...

引用

The Fourth International Joint Conference on Computational science and Optimization(第四届计算科学与优化国际大会 CSO 2011)

作者： Bin Dong Xiuqiao Li Limin Xiao Li Ruan State Key Laboratory of Software Development Environment School of Computer Science and Engineering Beihang University Beijing 100191 P.R.China

The separate development between the storage system and scientific application has hidden most of internal implementation strategies of the storage system from the scientific application designers. This would worsen the existing I/O bottleneck problem of most scientific applications to some extent To address this problem, this study chooses the matrix and its parallel out-of-core product algorithm to study the interactions between the applications and the parallel storage system. Especially, the data distribution and access interfaces of the matrix are analyzed and optimized firstly. Then, the communication among processes are incorporated into the parallel out-of-core matrix multiplication algorithm to reduce its disk access times. Experiments show that the proposed optimizations can reduce the time spent in accessing data from disk and accelerate the parallel out-of-core matrix product.

关键词： Parallel out-of-core matrix product Parallel storage system Acceleration

来源：评论

学校读者我要写书评

暂无评论

A new query dependent feature fusion approach for medical image retrieval based on one-class SVM

引用

Journal of Computational Information Systems 2011年第3期7卷 654-665页

作者： Huang, Yonggang Ma, Dianfu Zhang, Jun Zhao, Yongwang Yi, Shengwei Institute of Advanced Computing Technology BeiHang University Beijing China National Lab. of Software Development Environment BeiHang University Beijing China School of Computer Science and Software Engineering University of Wollongong Wollongong Australia

With the development of the internet, medical images are now availab.e in large numbers in online repositories, and there exists the need to retrieval the medical images in the content-based ways through automatically extracting visual information of the medical images. Since a single feature extracted from images just characterizes certain aspect of image content, multiple features are necessarily employed to improve the retrieval performance. Furthermore, a special feature is not equally important for different image queries since a special feature has different importance in reflecting the content of different images. However, most existed feature fusion methods for image retrieval only utilize query independent feature fusion or rely on explicit user weighting. In this paper, based on multiply query samples provided by the user, we present a novel query dependent feature fusion method for medical image retrieval based on one class support vector machine. The proposed query dependent feature fusion method for medical image retrieval can learn different feature fusion models for different image queries, and the learned feature fusion models can reflect the different importance of a special feature for different image queries. The experimental results on the IRMA medical image collection demonstrate that the proposed method can improve the retrieval performance effectively and can outperform existed feature fusion methods for image retrieval. Copyright © 2011 Binary Information Press.

关键词： Image retrieval

来源：评论

学校读者我要写书评

暂无评论

Model Checking of Adaptive Programs with Mode-extended Linear Temporal Logic

Model Checking of Adaptive Programs with Mode-extended Linea...

引用

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

来源：评论

学校读者我要写书评

暂无评论

Thermal-aware Workload Distribution for Clusters

引用

Procedia engineering 2011年 15卷 3308-3312页

作者： Aihua Liang Limin Xiao Yu Pang Yongnan Li Li Ruan State Key Laboratory of Software Development Environment Beihang University Beijing 100191 China School of Computer Science and Engineering Beihang University Beijing 100191 China The Institute of Computer Technology Beijing Union University Beijing 100101 China

With the increase of the computing demand, cluster is becoming one of the most important computing infrastructures. Most of cluster systems use central air conditioning to remove heat. Therefore, the hot spot is unavoidable. Motivated by alleviating the hot spot issue and optimizing workload distribution, we propose a thermal-aware workload distribution policy. It ranks the nodes according to the thermal characteristics of racks layout and dispatches the workloads based on the ranked node queue. We analyze the saving power trend and validate that this policy can reduce power consumption to some extent with no impact on quality of service (QoS).

关键词： workload distribution thermal-aware hot spot cluster

来源：评论

学校读者我要写书评

暂无评论

KVM虚拟环境及漏洞检测方法

KVM虚拟环境及漏洞检测方法

引用

2012全国高性能计算学术年会

作者： RUAN Li 阮利 SUN Yikai 孙颐凯 XIAO Limin 肖利民 ZHU Mingfa 祝明发 State Key Laboratory of Software Development Environment Beihang UniversityBeijing 100191China 北京航空航天大学软件开发环境国家重点实验室北京 100191 School of Computer Science and Engineering Beihang UniversityBeijing 100191China 北京航空航天大学计算机学院北京 100191

本文针对现有安全研究对虚拟机监控器层次的研究相对较少，尤其针对现有的漏洞检测研究中缺乏对KVM(Kernel-based Virtual Machine)的虚拟机环境及其漏洞监测的系统性方法的问题，提出了一种KVM虚拟环境检查和漏洞扫描方法。功能和性能... 详细信息

本文针对现有安全研究对虚拟机监控器层次的研究相对较少，尤其针对现有的漏洞检测研究中缺乏对KVM(Kernel-based Virtual Machine)的虚拟机环境及其漏洞监测的系统性方法的问题，提出了一种KVM虚拟环境检查和漏洞扫描方法。功能和性能测试验证了本文所提出方法的有效性。

关键词：网络安全虚拟机环境检测漏洞监测

来源：评论

学校读者我要写书评

暂无评论

Multi-lab.l classification with Bayes' theorem

Multi-label classification with Bayes' theorem

引用

International Conference on BioMedical engineering and Informatics (BMEI)

作者： Guangzhi Qu Hui Zhang Craig T. Hartrick Computer Science and Engineering Department Oakland University Rochester MI USA State Key Laboratory of Software Development Environment School of Computer Science Beihang University Beijing China Anesthesiology Research School of Medicine Oakland University Rochester MI USA

Compared with single-lab.l classification, multi-lab.l classification is more general in practice, since it allows one instance to have more than one lab.l simultaneously. Bayes' Theorem has been successfully applied to deal with single-lab.l classification. In this paper, we proposed to tackle multi-lab.l classification using Bayes' Theorem. We propose two approaches, coined as Pair-Dependency Multi-lab.l Bayesian Classifier (PDMLBC) and Complete-Dependency Multi-lab.l Bayesian Classifier (CDMLBC). PDMLBC takes advantage of lab.l dependency between any two lab.ls, while CDMLBC considers the dependency among a set of lab.ls. In the experiments, we evaluate the performance of PDMLBC and CDMLBC on real medical data, the results show that both PDMLBC and CDMLBC methods outperform NB+BR on all metrics, and CDMLBC works best among the three methods.

关键词： Correlation Bayesian methods Logistics Data mining Machine learning Support vector machines Decision trees

来源：评论

学校读者我要写书评

暂无评论

Dynamic Resource Allocation Based on User experience in Virtualized Servers

引用

Procedia engineering 2011年 15卷 3780-3784页

作者： Wei Zhang Jiajun Liu Ying Song Mingfa Zhu Limin Xiao Yuzhong Sun Li Ruan State Key Laboratory of Software Development Environment Beijing 100191 China School of Computer Science and Engineering Beihang University Beijing 100191 China Key Laboratory of Computer System and Architecture Chinese Academy of SciencesBeijing Institute of Computing Technology Chinese Academy of Sciences Beijing China

Web workloads are known to vary dynamically with time which poses a challenge to resource allocation among the applications. In this paper, we argue that the existing dynamic resource allocation based on resource utilization has some drawbacks in virtualized servers. Dynamic resource allocation directly based on real-time user experience is more reasonable and also has practical significance. To address the problem, we propose a system architecture that combines real time measurements and analysis of user experience for resource allocation. We evaluate our proposal using Webbench. The experiment results show that these techniques can judiciously allocate system resources.

关键词： resource allocation virtualized servers user experience

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：