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

Probe Machine Based computing model for Maximum Clique Problem

Chinese Journal of Electronics 2022年第2期31卷 304-312页

作者： CUI Jianzhong YIN Zhixiang TANG Zhen YANG Jing Department of Computer Huainan Union University School of Electronic and Information Engineering Anhui University of Science & Technology School of Mathematics Physics and Statistics Shanghai University of Engineering Science School of Mathematics and Big Data Anhui University of Science & Technology

Probe machine(PM) is a recently reported mathematic model with massive parallelism. Herein,we presented searching the maximum clique of an undirected graph with six vertices. We constructed data library containing n sublibraries, each sublibrary corresponded to a vertex in the given graph. Then, probe library according to the induced subgraph was designed in order to search and generate all maximal cliques. Subsequently,we performed probe operation, and all maximal cliques were generated in parallel. The advantages of the proposed model lie in two aspects. On one hand, solution to NP-complete problem is generated in just one step of probe operation rather than found in vast solution *** the other hand, the proposed model is highly *** work demonstrates that PM is superior to TM in terms of searching capacity when tackling NP-complete problem.

关键词： maximal cliques maximum clique problem searching capacity data library NP-complete problem computational complexity model lie induced subgraph probe operation undirected graph mathematic model graph theory parallel algorithms optimisation parallelism computing model vertex probe library probe machine

来源：评论

学校读者我要写书评

暂无评论

A computing model: The Closed-Loop Optimal Control for Large-Scale One-of-a-Kind Production Based on Multilevel Hierarchical PERT-Petri Net

引用

IEEE TRANSACTIONS ON ENGINEERING MANAGEMENT 2021年第6期68卷 1637-1649页

作者： Mei, Ying Zeng, Zhigang Ye, Jiawei Univ Calgary Schulich Sch Engn Dept Mech & Mfg Engn Calgary AB T2N 1N4 Canada South China Univ Technol Sch Civil Engn & Transportat Guangzhou 510641 Peoples R China

For the design and operation of interim product manufacturing systems, large-scale one-of-a-kind production (OKP) features disruptions and lack of synchronization, which challenges real-time production process systematic control. The difficulty lies in two aspects. First, large-scale OKP is generally characterized by product design uncertainty and changes in resource availability, which often causes varied working time with workforce allocation variations. Second, specific types of large-scale OKP provides discrete production with complicated structures. There is the complicated work breakdown structure (WBS) of top-down and simple-to-complex refinement. Moreover, the production task relation structure in WBS, which consists of tandem structure, parallel structure and double-level-nested parallel structure, is complex. Indeed, many large-scale OKP enterprises do not have an effective method to both control and plan adjustment in a systematic way for dealing with the progress of OKP operations under workforce allocation disruptions and different working time scenarios. The traditional production project management and control system, theory, and methods do not handle this situation well since these technologies are developed with a view to managing production periods instead of controlling time-related cost systematically during production. Regarding the interim product production process in large-scale OKP as a manufacturing system, in this article we propose a cost dynamic control and optimization method based on the multilevel hierarchical PERT-Petri net (MLHPP) to achieve a closed-loop production dynamic control structure in large-scale OKP. The proposed modeling method and algorithms, through an industrial implementation in shipbuilding interim production (e.g., a ship block building), demonstrate a computing model for structuring and controlling large-scale OKP systems.

关键词： Production Analytical models Computational modeling Optimization Process control Petri nets Task analysis computing model engineering management manufacturing system production optimal control process simulation

来源：评论

学校读者我要写书评

暂无评论

A computing model for Design of Flexible Buoyancy System for Autonomous Underwater Vehicles and Gliders

引用

DEFENCE SCIENCE JOURNAL 2018年第6期68卷 589-596页

作者： Tiwari, B. K. Sharma, R. Indian Inst Technol Madras Design & Simulat Lab Dept Ocean Engn Madras 600036 Tamil Nadu India

Modern design approaches are conceived and utilised in an integrated loop covering system statics, dynamics, optimisation, and others. hi this regard this paper presents a computing based integrated design approach for a flexible buoyancy system (FBS) aimed towards the applications in autonomous underwater vehicles and gliders. The primary design alternatives for the FBS are: piston and pump driven and both are investigated. The primary design of autonomous underwater vehicles and gliders is computed from first principle of mechanics and defined in the computer aided design model and it is implemented in the Matlab*(TM). Lastly, to show the application of the present approach, a design example is presented for a water depth of 6000 m.

关键词： Flexible buoyancy system Underwater vehicle computing model Piston driven flexible buoyancy system Pump driven flexible buoyancy system

来源：评论

学校读者我要写书评

暂无评论

An Efficient MapReduce computing model for Imprecise Applications

引用

INTERNATIONAL JOURNAL OF WEB SERVICES RESEARCH 2016年第3期13卷 46-63页

作者： Wang, Changjian Peng, Yuxing Tang, Mingxing Li, Dongsheng Li, Shanshan You, Pengfei Natl Univ Def Technol Coll Comp Changsha Hunan Peoples R China

Optimizing the Map process is important for the improvement of the MapReduce performance. Many efforts have been devoted into the problem to design more efficient scheduling strategies. However, there exists a kind of MapReduce applications, named imprecise applications, where the imprecise results based on part of map tasks can satisfy the requirements of imprecise applications and thus the job processes can be completed when enough map tasks are processed. According to the feature of imprecise applications, the authors propose an improved MapReduce model, named MapCheckReduce, which can terminate the map process when the requirements of an imprecise application is satisfied. Compared to MapReduce, a Check mechanism and a set of extended programming interfaces are added to MapCheckReduce. The Check mechanism receives and analyzes messages submitted by completed map tasks and then determines whether to terminate the map phase according to the analysis results. The programming interfaces are used by the programmers to define the termination conditions of the map process. A data-prefetching mechanism is designed and implemented in MapCheckReduce which can improve the performance of MapCheckReduce effectively. The MapCheckReduce prototype has been implemented and experiment results verify the feasibility and effectiveness of MapCheckReduce.

关键词： computing model Imprecise Application MapCheckReduce MapReduce

来源：评论

学校读者我要写书评

暂无评论

Universal resources for quantum computing

引用

Communications in Theoretical Physics 2023年第12期75卷 57-74页

作者： Dong-Sheng Wang CAS Key Laboratory of Theoretical Physics Institute of Theoretical PhysicsChinese Academy of SciencesBeijing 100190China

Unravelling the source of quantum computing power has been a major goal in the field of quantum information *** recent years,the quantum resource theory(QRT)has been established to characterize various quantum resources,yet their roles in quantum computing tasks still require *** so-called universal quantum computing model(UQCM),*** circuit model,has been the main framework to guide the design of quantum algorithms,creation of real quantum computers *** this work,we combine the study of UQCM together with *** find,on one hand,using QRT can provide a resource-theoretic characterization of a UQCM,the relation among models and inspire new ones,and on the other hand,using UQCM offers a framework to apply resources,study relation among these resources and classify *** develop the theory of universal resources in the setting of UQCM,and find a rich spectrum of UQCMs and the corresponding universal *** on a hierarchical structure of resource theories,we find models can be classified into *** this work,we study three natural families of UQCMs in detail:the amplitude family,the quasi-probability family,and the Hamiltonian *** include some well known models,like the measurement-based model and adiabatic model,and also inspire new models such as the contextual model that we *** family contains at least a triplet of models,and such a succinct structure of families of UQCMs offers a unifying picture to investigate resources and design *** also provides a rigorous framework to resolve puzzles,such as the role of entanglement versus interference,and unravel resource-theoretic features of quantum algorithms.

关键词： quantum resource computing model quantum algorithm

来源：评论

学校读者我要写书评

暂无评论

A computing model for Real-Time Stream Processing

A Computing Model for Real-Time Stream Processing

引用

International Conference on Cloud computing and Big Data (CCBD)

作者： Li Zhao Zhang Chuang Xu Ke-fu Chen Meng-meng Chinese Acad Sci Inst Informat Engn Beijing Peoples R China

ISBN: (纸本)9781479966219

For two main problems of the existing stream processing model: lack of support for iterative computing and tight coupling, the paper proposes a real-time stream processing model based on directed graph with sources and sinks, which supports both general DAG computing by means of directed circle detection and iteration protection as well as iterative feedback stream computing of directed circles, tow-way arcs and ring arcs. On this basis, the paper has implemented a set of flexible interfaces, which supports functional programming and runs executable program directly to achieve language independence without performance loss. This computing model is applicable to a wider range with more flexible interfaces and provides an effective approach to complicated stream computing.

关键词： real-time stream processing computing model directed graph with sources and sinks directed circle detection loosely-coupled business interfaces

来源：评论

学校读者我要写书评

暂无评论

Verification and Application of computing models of Genglubu in the South China Sea

Verification and Application of Computing Models of Genglubu...

引用

第四届材料科学应用与能源材料国际研讨会

作者： Bing Yuan Wenhua Li School of Computer Science and Cyberspace Security Hainan University

Starting from the four key elements of Genglu, this paper, with evidence from Genglubu itself and relevant documents, presents a discussion on reliability of range computing model and deviation estimation model in Genglubu research. These two digital models are established with mathematical method, and their establishment is based on the four key elements of Genglubu and involve the disciplines of geography, nautical navigation and toponymy. This discussion shows that these two models are scientific and reliable and can be applied to examine the genglus in doubt and clarify doubts in different versions of Genglubu. This research is of significance in promoting multidisciplinary research on Genglubu.

关键词： Genglubu computing model Verification Application

来源：评论

学校读者我要写书评

暂无评论

RUBP: a storm-based real-time computing model for textual unstructured data

RUBP: a storm-based real-time computing model for textual un...

引用

2014 International Conference on Computer Science and Systems Engineering（CSSE2014）

作者： Q.Wu J.Huang Y.Yao L.Wu Department of Computer Science and Technology Hangzhou Dianzi University

ISBN: (纸本)9781784660543

Nowadays, the internet generates vast amounts of unstructured data every day. And among them, the textual unstructured data is a very important part. How to find the real value from textual unstructured data is a huge challenge. Apache Storm is a real-time computation system, which is a free and open source, it can make up for the inadequacy of real-time computing. Based on the business requirements, this paper proposes the RUBP(Real-time framework of Unstructured Big data Processing) computing model which is based on Storm for the analysis of massive data, to find the value from these large amounts of textual unstructured data efficiently, accurately and quickly. The experiment proved that the RUBP computing model in real-time calculation of textual unstructured data is feasible.

关键词： real-time storm textual unstructured data computing model

来源：评论

学校读者我要写书评

暂无评论

Survey of external memory large-scale graph processing on a multi-core system

引用

JOURNAL OF SUPERcomputing 2020年第1期76卷 549-579页

作者： Huang, Jianqiang Qin, Wei Wang, Xiaoying Chen, Wenguang Tsinghua Univ Dept Comp Sci & Technol Beijing 100084 Peoples R China Qinghai Univ Dept Comp Technol & Applicat Xining 810016 Qinghai Peoples R China

The fast development of big data computing contributes to the fact that large-scale graph processing has become a basic computing model in both academic and industrial communities, and it has been applied in many actual big data computing works, such as social network analysis, Web search, and product promotion. These computing works include large-scale graphs of billions of vertices and trillions of edges. Such scale has brought many challenges to large-scale graph processing. This paper mainly introduces the essential features and challenges of large-scale graph processing and how we can handle billions of edges on a multi-core machine, for which we represent out-of-core processing system and semi-external memory processing systems. This paper also summarizes the key technologies in graph processing systems and forecasts the future development of large-scale graph processing systems.

关键词： Graph data processing Parallel computing computing model Graph algorithms

来源：评论

学校读者我要写书评

暂无评论

Dynamic Placement Optimization for Bio-Inspired Self-Repairing Hardware

引用

IEEE ACCESS 2020年 8卷 11007-11018页

作者： Liu Xiubin Qian Yanling Feng Xiangli Zhuo Qingqi Li Yue Natl Univ Def Technol Sci & Technol Integrated Logist Support Lab Changsha 410073 Peoples R China Tsinghua Univ Sch Aerosp Engn Beijing 100084 Peoples R China

Bio-inspired self-repairing hardware is a distributed self-adaptive system, characterized by powerful fault-tolerant ability and environment adaptivity. However, it suffers from some difficulties such as large resource consumption and degraded circuit performances. From the viewpoint of cybernetics and computer science, the cellular differentiation and substitution process of bio-inspired self-repairing hardware can be converted into dynamic placement problems on a reconfigurable system. Current systems can only generate some predefined fault-free placements from a finite number of initial placements. The aim of this paper was to achieve high-quality placements from arbitrary initial placements. Based on P systems, an analysis has been made on the limitations of current systems and an improved computing system has been developed to achieve the ergodic property. Its computational power has been verified by a constructive proof. Moreover, centering on the problem how to improve the placement quality on a distributed platform, the optimization model, task allocation, optimization strategy, and membrane optimization algorithm have been designed and developed. The optimization performances were verified and the calculation amount was exhibited by experiments. Finally, it indicated by comparison that the proposed approach would reduce the resource consumption and maintain good circuit performances.

关键词： Bio-inspired self-repairing hardware dynamic placement optimization P systems computing model membrane optimization algorithms

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：