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

IEEE International Conference on High Performance Computing and Communication

作者： Ren, Xiaoguang Tang, Yuhua Tang, Tao Ye, Sen Wang, Huiquan Zhou, Jing National Laboratory for Parallel and Distributed Processing School of Computer National University of Defense Technology Changsha Hunan 410073 China

ISBN: (纸本)9780769542140

As a fast on-chip SRAM managed by software (the application and/or compiler), Scratchpad Memory (SPM) is widely used in many fields. This paper presents a SimpleScalar-based multi-level SPM memory hierarchy architecture simulator Sim-spm. We simulate the hardware of the multi-level SPM memory hierarchy successfully by extending Sim-outorder, which is an out-of-order simulator from SimpleScalar. Through the simulating memory method, the simulation framework of the multi-level SPM memory hierarchy has been built under the existing ISA (Instruction Set Architecture), which largely reduces the requirement to modify the existing compiler. The experimental results show that Sim-spm can accurately simulate the running state of the processor with a multi-level SPM memory hierarchy architecture, and it has a good prospect for the research of multi-level SPM memory hierarchy architecture. © 2010 IEEE.

关键词： Simulators

来源：评论

学校读者我要写书评

暂无评论

Stochastic extra-gradient based alternating direction methods for graph-guided regularized minimization

引用

Frontiers of Information technology & Electronic Engineering 2018年第6期19卷 755-762页

作者： Qiang LAN Lin-bo QIAO Yi-jie WANG College of Computer National University of Defense Technology National Laboratory for Parallel and Distributed Processing National University of Defense Technology

In this study, we propose and compare stochastic variants of the extra-gradient alternating direction method, named the stochastic extra-gradient alternating direction method with Lagrangian function（SEGL） and the stochastic extra-gradient alternating direction method with augmented Lagrangian function（SEGAL）, to minimize the graph-guided optimization problems, which are composited with two convex objective functions in large scale.A number of important applications in machine learning follow the graph-guided optimization formulation, such as linear regression, logistic regression, Lasso, structured extensions of Lasso, and structured regularized logistic regression. We conduct experiments on fused logistic regression and graph-guided regularized regression. Experimental results on several genres of datasets demonstrate that the proposed algorithm outperforms other competing algorithms, and SEGAL has better performance than SEGL in practical use.

关键词： Stochastic optimization Graph-guided minimization Extra-gradient method Fused logistic regression Graph-guided regularized logistic regression

来源：评论

学校读者我要写书评

暂无评论

DFIS: A scalable distributed fingerprint identification system 15th

DFIS: A scalable distributed fingerprint identification syst...

引用

15th International Conference on Algorithms and Architectures for parallel processing, ICA3PP 2015

作者： Zhao, Yunxiang Zhang, Wanxin Li, Dongsheng Huang, Zhen National Laboratory for Parallel and Distributed Processing College of Computer National University of Defence Technology ChangshaHunan410073 China

ISBN: (纸本)9783319271361

Fingerprint has been widely used in a variety of biometric identification systems. However, with the rapid development of fingerprint identification systems, the amount of fingerprints information stored in systems has been rising sharply, making it challenging to process and store fingerprints efficiently and robustly with traditional standalone systems and relational databases. In this paper, we propose a scalable distributed fingerprint identification system, named DFIS. It combines the feature extraction procedure with HIPI library and optimizes the load balance strategy of MongoDB to construct a much more robust and stable system. Related experiments and simulations have been carried out and results show that DFIS can reduce the time expense by 70% during the features extraction procedural. For load balance of MongoDB, DFIS can decrease the difference of access load to less than 5% and meanwhile decrease 50% data migration to gain more reasonable distribution of operation load and data load among shards compared with the default load balance strategy in MongoDB. © Springer International Publishing Switzerland 2015.

关键词： distributed computer systems

来源：评论

学校读者我要写书评

暂无评论

A technical capability evaluation model based concept and prerequisite relation in computer education 33

A technical capability evaluation model based concept and pr...

引用

33rd International Conference on Software Engineering and Knowledge Engineering, SEKE 2021

作者： Luo, Jiwen Wang, Tao Chang, Junsheng Guo, Xiaoting National Key Laboratory for Parallel and Distributed Processing College of Computer National University of Defense Technology Changsha410073 China

ISBN: (纸本)1891706527

Effectively assessing the results of users' online learning and enhancing social recognition has become a major development direction for online education platforms. For computer education, this article constructs a technical capability assessment model. This model integrates professional concepts in the field of computer science and extracts knowledge concepts from educational resources. The model first extracts candidate concepts, then uses a graph propagation algorithm to quantify candidate concepts and obtains concepts from them, and finally uses prerequisite relationships to further quantify the concepts mastered by students. The model combines the prerequisite relationship among concepts to quantify the skills that students have mastered. It can not only effectively evaluate the user's skill mastery but also lays a foundation for subsequent course recommendations and career recommendations for users. The model is tested in the real learning environment of 250 students. This model has been proved to own certain practicability and reliability by Kendall rank correlation coefficient, which is used as an evaluation index. © 2021 Knowledge Systems Institute Graduate School. All rights reserved.

关键词： Students

来源：评论

学校读者我要写书评

暂无评论

Static analysis of list-manipulating programs via bit-vectors and numerical abstractions 13

Static analysis of list-manipulating programs via bit-vector...

引用

28th Annual ACM Symposium on Applied Computing, SAC 2013

作者： Chen, Liqian Li, Renjian Wu, Xueguang Wang, Ji National University of Defense Technology Changsha 410073 China National Laboratory for Parallel and Distributed Processing Changsha 410073 China

ISBN: (纸本)9781450316569

We present an approach under the framework of abstract interpretation to analyze list-manipulating programs by combining shape and numerical abstractions. The analysis automatically divides a list into non-overlapping list segments according to the reachability property of pointer variables to list nodes. The list nodes in each segment are abstracted by a bit-vector wherein each bit corresponds to a pointer variable and indicates whether the nodes can be reached by that pointer variable. Moreover, for each bit-vector, we introduce an auxiliary integer variable, namely a counter variable, to record the number of nodes in the segment abstracted by that bit-vector. On this basis, we leverage the power of numerical abstractions to discover numerical relations among counter variables, so as to infer relational length properties among list segments. Our approach stands out in its ability to find intricate properties that involve both shape and numerical information, which are important for checking program properties such as memory safety and termination. A prototype is implemented and preliminary experimental results are encouraging. Copyright 2013 ACM.

关键词： Static analysis

来源：评论

学校读者我要写书评

暂无评论

Neutronic calculations of the China dual-functional lithium–lead test blanket module with the parallel discrete ordinates code Hydra

引用

Nuclear science and Techniques 2020年第8期31卷 1-12页

作者： Guang-Chun Zhang Jie Liu Liang-Zhi Cao Hong-Chun Wu Xian-Bao Yuan Science and Technology on Parallel and Distributed Processing Laboratory National University of Defense TechnologyChangsha 410073China Laboratory of Software Engineering for Complex Systems National University of Defense TechnologyChangsha 410073China School of Nuclear Science and Technology Xi’an Jiaotong UniversityXi’an 710049China College of Mechanical and Power Engineering China Three Gorges UniversityYichang 443002China

The China dual-functional lithium–lead test blanket module(DFLL-TBM) is a liquid Li Pb blanket concept developed by the Institute of Nuclear Energy Safety technology of the Chinese Academy of sciences for testing in ITER to validate relevant tritium breeding and shielding technologies. In this study, neutronic calculations of DFLL-TBM were carried out using a massively parallel three-dimensional transport code, Hydra, with the Fusion Evaluated Nuclear Data Library/MG. Hydra was developed by the Nuclear Engineering Computational Physics Lab based on the discrete ordinates method and has been devoted to neutronic analysis and shielding evaluation for nuclear facilities. An in-house Monte Carlo code(MCX) was employed to verify the discretized calculation model used by Hydra for the DFLL-TBM calculations. The results showed two key aspects:(1) In most material zones,Hydra solutions are in good agreement with the reference MCX results within 1%, and the maximal relative difference of the neutron flux is merely 3%, demonstrating the correctness of the calculation model;(2) while the current DFLL-TBM design meets the operation shielding requirement of ITER for 4 years, it does not satisfy the tritium self-sufficiency requirement. Compared to the two-step approach, Hydra produces higher accuracies as it does not rely on the homogenization technique during the calculation process. The parallel efficiency tests of Hydra using the DFLL-TBM model also showed that this code maintains a high parallel efficiency on O(100) processors and, as a result, is able to significantly improve computing performance through parallelization. Parameter studies have been carried out by varying the thickness of the beryllium armor layer and the tritium breeding zone to understand the influence of the beryllium layer and breeding zone thickness on tritium breeding performance. This establishes a foundation for further improvement in the tritium production performance of DFLL-TBM.

关键词： Discrete ordinates method DFLL-TBM Neutronic analysis Tritium breeding performance

来源：评论

学校读者我要写书评

暂无评论

An economical power management for high performance computers

An economical power management for high performance computer...

引用

2011 International Conference on Computational and Information sciences, ICCIS 2011

作者： Wang, Huiquan Xu, Xinhai Zhou, Jing Zhou, Hao Wang, Guibin National Laboratory for Parallel and Distributed Processing School of Computer National University of Defense Technology Changsha Hunan 410073 China

ISBN: (纸本)9780769545011

The large amount of energy consumption of high performance computers represent significant financial cost. If we consider the specific situation of electricity price, a measure which makes the energy consumption the lowest is usually not the best on economy. This paper proposes an economical approach for designing a power management plan that reduces the assessment of energy consumption of high performance computers. By taking account of the electricity price in different periods during the day, we assign the workload to each period properly to make the electricity fee as low as possible. A simulation of the cases of a single task and multi-task demonstrates how our approach can be used. The results of the simulation show that our approach can save the electricity fee produced by high performance computers effectively. In the single task case, the proposed approach saves the electricity fee of 10.08% on average, and in the multi-task case the proportion of saved fee is 12.67%. © 2011 IEEE.

关键词： Power management

来源：评论

学校读者我要写书评

暂无评论

Failure-divergence refinement of compensating communicating processes

Failure-divergence refinement of compensating communicating ...

引用

Lecture Notes in Computer science

作者： Chen, Zhenbang Liu, Zhiming Wang, Ji National Laboratory for Parallel and Distributed Processing Changsha China International Institute for Software Technology United Nations University China

ISBN: (纸本)9783642214363

Compensating CSP (cCSP) extends CSP for specification and verification of long running transactions. The original cCSP is a modest extension to a subset of CSP that does not consider non-deterministic choice, synchronized composition, and recursion. There are a few further extensions. However, it remains a challenge to develop a fixed-point theory of process refinement in cCSP. This paper provides a complete solution to this problem and develops a theory of cCSP, corresponding to the theory of CSP, so that the verification techniques and their tools, such as FDR, can be extended for compensating processes. © 2011 Springer-Verlag.

关键词： Fixed point arithmetic

来源：评论

学校读者我要写书评

暂无评论

An efficient two-level bitmap index for cloud data management

An efficient two-level bitmap index for cloud data managemen...

引用

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

作者： Bin, Huang Yu-Xing, Peng School of Computer Science Wuhan University Wuhan China National Laboratory of Parallel and Distributed Processing School of Computer Science National University of Defense Technology Changsha China

ISBN: (纸本)9781612844855

A Cloud may be seen as a type of flexible computing infrastructure consisting of many compute nodes, where resizable computing capacities can be provided to different customers. To fully harness the power of the Cloud, efficient data management is needed to handle huge volumes of data and support a large number of concurrent end users. To achieve that, a scalable and high-throughput indexing scheme is generally required. Such an indexing scheme must support parallel search to improve scalability. In this paper, we present a bitmap based indexing scheme for efficient data processing in the Cloud. Our approach can be summarized as follows. First, we build a local bitmap index for each compute node which only indexes data residing on the node. Second, we organize the compute nodes as a structured overlay and each node maintains a portion of the global index for the whole different data. The global index is also bitmap index to indicate the node each data resides in. Third, all bitmaps are compressed by adopting run-length coding for reducing storage requirement. We conduct extensive experiments on a LAN, and the results demonstrate that our indexing scheme is dynamic, efficient and scalable. © 2011 IEEE.

关键词： Information management

来源：评论

学校读者我要写书评

暂无评论

Metal interference analysis and design rules of on chip antennas for wireless interconnect

Metal interference analysis and design rules of on chip ante...

引用

International Symposium on Signals, Systems and Electronics

作者： He, Xiaowei Zhang, Minxuan Li, Jinwen Li, Shaoqing National Laboratory for Parallel and Distributed Processing School of Computer National University of Defense Technology Changsha Hunan 410073 China

ISBN: (纸本)9781424463558

The influence of on-chip metal interconnections, power grids, heat sink together with packaging, and metal dummy fills on the transmission characteristics of a 2mm-long integrated dipole antenna pair has been investigated in this paper. These metal structures and placements have been classified and particular simulations are performed to explore the interference effects of neighboring various metal structures on transmission gain, phase, impedance and radiation pattern for on-chip dipole antenna pair. By virtue of the experimental results and analyses, several experiential linear expressions for antenna pair gain and phase in interference circumstances are obtained using numerical fit. A set of design rules is concluded accordingly for guiding on-chip antenna layout and design targeting wireless interconnect. © 2010 IEEE.

关键词： Dipole antennas

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：