检索结果-南通市图书馆

A method of combining SE-tree to compute all minimal hitting sets

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Progress in Natural Science:Materials International 2006年第2期16卷 169-174页

作者： ZHAO Xiangfu and OUYANG Dantong (School of Computer Science and Technology, jilin university, changchun 13.012, china {3. laboratory of Symbolic computation and knowledge engineering of ministry of education, changchun 13.012, china) [a]School of Computer Science and Technology Jilin University Changchun China

In model-based diagnosis, the candidate diagnostic results are generally characterized by all minimal hitting sets for the collection of all conflict sets. In this paper, a new method is proposed to judge a hitting set by the number of conflict sets corresponding to components, and the computing procedure is formalized by combining revised SE-tree (set enumeration tree) with closed nodes to generate all minimal hitting sets. Results show that because closed nodes are added into SE-tree, the search efficiency is highly improved. Furthermore, the proposed method is easy to be understood and implemented. Compared with other effective algorithms with completeness in some experimental tests, the diagnosis efficiency of our proposed method is higher, particularly for single- and double-fault diagnosis.

关键词： model-based diagnosis conflict set minimal hitting set set enumeration tree.

Complete quantum circuit of Haar wavelet based MRA

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Chinese Science Bulletin 2005年第16期50卷 1796-1798页

作者： HE Yuguo1,2 & SUN Jigui1,3.1. College of Computer Science and Technology, jilin university, changchun 13.012, china 2. Department of Computer Science and {3., Beijing Institute of Technology, Beijing 100081, china 3. key laboratory of computation and knowledge engineering of min-istry of education, jilin university, changchun 13.012, china College of Computer Science and Technology Jilin University Changchun 130012 China

Wavelet analysis has applications in many ar- eas, such as signal analysis and image processing. We pro- pose a method for generating the complete circuit of Haar wavelet based MRA by factoring butterfly matrices and con- ditional perfect shuffle permutation matrices. The factoriza- tion of butterfly matrices is the essential part of the design. As a result, it is the key point to obtain the circuits of I 2t ⊕ W ⊕ I 2n ? 2t ?2. In this paper, we use a simple means to de- velop quantum circuits for this kind of matrices. Similarly, the conditional permutation matrix is implemented entirely, combined with the scheme of Fijany and Williams. The cir- cuits and the ideas adopted in the design are simple and in- telligible.

关键词：量子计算量子算法量子电路 Haar微波 MRA

Deriving all minimal consistency-based diagnosis sets using SAT solvers

在线全文

学校读者我要写书评

暂无评论

Progress in Natural Science:Materials International 2009年第4期19卷 489-494页

作者： Xiangfu Zhao a,b, Liming Zhang a,b, Dantong Ouyang a,b, Yu Jiao a,b a key laboratory of Symbolic {3. and knowledge engineering of ministry of education, jilin university, changchun 13.012, china b School of Computer Science and Technology, jilin university, changchun 13.012, china [a]key laboratory of Symbolic computation and {3. engineering of ministry of education Jilin University Changchun 130012 China [b]School of Computer Science and Technology Jilin University Changchun 130012 China

In this paper, a novel method is proposed for judging whether a component set is a consistency-based diagnostic set, using SAT solv- ers. Firstly, the model of the system to be diagnosed and all the observations are described with conjunctive normal forms (CNF). Then, all the related clauses in the CNF files to the components other than the considered ones are extracted, to be used for satisfiability checking by SAT solvers. Next, all the minimal consistency-based diagnostic sets are derived by the CSSE-tree or by other similar algorithms. We have implemented four related algorithms, by calling the gold medal SAT solver in SAT07 competition – RSAT. Experimental results show that all the minimal consistency-based diagnostic sets can be quickly computed. Especially our CSSE-tree has the best effciency for the singleor double-fault diagnosis.

关键词： Conjunctive normal form Consistency-based diagnosis Model-based diagnosis SAT solver

A software cascading faults model

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Science china(Information Sciences) 2011年第11期54卷 2454-2458页

作者： LIU YanHeng 1,2,LIU XueLian 3.& WANG Jian 1,2 1 key laboratory of Symbolic computation and {3. engineering of ministry of education,jilin university,changchun 13.012,china 2 College of Computer Science and Technology,jilin university,changchun 13.012,china 3.College of Software,jilin university,changchun 13.012,china 1. key laboratory of Symbolic computation and {3. engineering of ministry of education Jilin University Changchun 130012 China2. College of Computer Science and Technology Jilin University Changchun 130012 China3. College of Software Jilin University Changchun 130012 China

Functions and call relations are extracted into nodes and edges,respectively,by which a novel topological model is *** directional edges and the corresponding weight values express the call relations and tightness *** introducing two concepts of function fault-tolerant capability and software fault intensity and by designing a allocation rule on fault-tolerant capability,a cascading fault model is built to explore fault propagation *** on practical software networks show that a weak fault intensity,a small number of initial faults,and a strong fault-tolerant capability can slow down the spreading *** functions with more call relations and more closer tightness contribute more to the stability of the whole system.

关键词： software fault tolerant cascading faults fault-tolerant capability fault intensity

Canonical Huffman code based full-text index

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Progress in Natural Science:Materials International 2008年第3期18卷 325-330页

作者： Yi Zhang a,b, Zhili Pei a, Jinhui Yanga, Yanchun Liang a, a College of Computer Science and Technology, jilin university, key laboratory of Symbol {3. and knowledge engineering of the ministry of education, changchun 13.012, china b Department of Computer Science, jilin Technology and Business College, changchun 13.062, china College of Computer Science and Technology Jilin University Key Laboratory of Symbol Computation and Knowledge Engineering of the Ministry of Education Changchun 130012 China Department of Computer Science Jilin Technology and Business College Changchun 130062 China

Full-text indices are data structures that can be used to find any substring of a given string. Many full-text indices require space larger than the original string. In this paper, we introduce the canonical Huffman code to the wavelet tree of a string T[1. . .n]. Compared with Huffman code based wavelet tree, the memory space used to represent the shape of wavelet tree is not needed. In case of large alphabet, this part of memory is not negligible. The operations of wavelet tree are also simpler and more efficient due to the canonical Huffman code. Based on the resulting structure, the multi-key rank and select functions can be performed using at most nH0 + jRj(lglgn + lgn lgjRj)+O(nH0) bits and in O(H0) time for average cases, where H0 is the zeroth order empirical entropy of T. In the end, we present an efficient construction algorithm for this index, which is on-line and linear.

关键词： Full-text index Su?x automaton Canonical Hu?man code

Towards advanced zinc anodes by interfacial modification strategies for efficient aqueous zinc metal batteries

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Journal of Energy Chemistry 2024年第6期93卷 79-110,I0003页

作者： changchun Fan Weijia Meng Jiaye Ye key laboratory of Bio-Inspired Smart Interfacial Science and Technology Ministry of EducationSchool of ChemistryBeihang UniversityBeijing 100191China Shaanxi key laboratory of New Transportation Energy and Automotive Energy Saving School of Energy and Electrical EngineeringChang’an UniversityXi’an 710061ShaanxiChina School of Chemistry and Physics Faculty of ScienceQueensland University of TechnologyBrisbaneQLD 4001Australia Centre for Materials Science Queensland University of TechnologyBrisbaneQLD 4001Australia

Developing sustainable and clean energy sources(e.g.,solar,wind,and tide energy)is essential to achieve the goal of carbon *** to the discontinuous and inco nsistent nature of common clean energy sources,high-performance energy storage technologies are a critical part of achieving this *** zinc metal batteries(AZMBs)with inherent safety,low cost,and competitive performance are regarded as one of the promising candidates for grid-scale energy ***,zinc metal anodes(ZMAs)with irreversible problems of dendrite growth,hydrogen evolution reaction,self-corrosio n,and other side reactions have seriously hindered the development and commercialization of *** increasing number of researchers are focusing on the stability of ZMAs,so assessing the effectiveness of existing research strategies is critical to the development of *** review aims to provide a comprehensive overview of the fundamentals and challenges of *** rch strategies for interfacial modification of ZMAs are systematically *** features of artificial interfacial coating and in-situ interfacial coating of ZMAs are compared and discussed in detail,as well as the effect of modified interfacial ZMA on the full-battery ***,perspectives are provided on the problems and challenges of *** review is expected to offer a constructive reference for the further development and commercialization of AZMBs.

关键词： Aqueous zinc metal batteries Zinc metal anode Interfacial modification Artificial interfacial coating In-situ interfacial coating

Simulating the Folding Pathway of RNA Secondary Structure Using the Modified Ant Colony Algorithm

在线全文

学校读者我要写书评

暂无评论

Journal of Bionic engineering 2010年第4期7卷 382-389页

作者： Jun Yu~(1,2),Changhai Zhang~(1,2),Yuanning Liu~(1,2),Xin Li~(1,2) 1.College of Computer Science and Technology,jilin university,changchun {3.,P.R.china 2.key laboratory of Symbolic computation and knowledge engineering (ministry of education,china) jilin university,changchun {3.,P.R.china [a] College of Computer Science Technology Jilin University Changchun 130012 P. R. China [b] Key Laboratory of Symbolic Computation knowledge engineering (min{3. of education China) Jilin University Changchun 130012 P. R. China

A new method for simulating the folding pathway of RNA secondary structure using the modified ant colony algorithmis *** a given RNA sequence,the set of all possible stems is obtained and the energy of each stem iscalculated and stored at the initial ***,a more realistic formula is used to compute the energy ofmulti-branch loop in the following *** a folding pathway is simulated,including such processes as constructionof the heuristic information,the rule of initializing the pheromone,the mechanism of choosing the initial andnext stem and the strategy of updating the pheromone between two different *** by testing RNA sequences withknown secondary structures from the public databases,we analyze the experimental data to select appropriate values *** measure indexes show that our procedure is more consistent with phylogenetically proven structures thansoftware RNAstructure sometimes and more effective than the standard Genetic Algorithm.

关键词： RNA secondary structure folding pathway ant colony algorithm

Mechanical Characteristics of Typical Plant Leaves

在线全文

学校读者我要写书评

暂无评论

Journal of Bionic engineering 2010年第3期7卷 294-300页

作者： Shujie Wang, Luquan Ren, Yan Liu, Zhiwu Han, Yue Yang The key laboratory of Bionic engineering ({3.istry of education, china), jilin university, changchun 13.022, P. R. china [a] The key laboratory of Bionic engineering ({3.istry of education China) Jilin University Changchun 130022 P. R. China

Plant leaf is a natural composite biomaterial, and its strength is closely related to the microstructure. In this paper, themechanical characteristics of eight species of plant leaves were investigated and analyzed. The ultimate strength of leaves andthe hardness of leaf surfaces were measured by using universal testing machine and nanoindenter tester, respectively. The tensilestrength of the parallel microstructure was investigated based on its cross-sectional mechanical model. The results of tensiontests indicate that the ultimate strength of a leaf is related to the material composition and structure. The coriaceous leavesusually exhibit higher tensile strength. For example, the Phyllostachys pubescens leaf can achieve the maximum ultimatestrength of 5.9091 N·mm. It is concluded from the results of hardness tests that material components of leaf surface caninfluence the surface hardness evidently. The leaf surface composed of more lignin and cellulose materials shows a highersurface hardness than that composed of more carbohydrates materials.

关键词： bionics plant leaf hardness tensile strength

Progress in the bionic study on anti-adhesion and resistance reduction of terrain machines

在线全文

学校读者我要写书评

暂无评论

Science china(Technological Sciences) 2009年第2期52卷 273-284页

作者： REN LuQuankey laboratory for Terrain-Machine Bionics engineering of {3.istry of education, School for Biology and Agricultural engineering, jilin university, changchun 13.025, china 1. key laboratory for Terrain-Machine Bionics engineering of {3.istry of education School for Biology and Agricultural Engineering Jilin University Changchun 130025 China

The theoretical studies of bionics of machinery have great scientific significance, and the development of bionic machines has large practical values in the field of engineering and technology. Through the rigorous selection process of evolution, the survived living organisms have successfully developed outstanding abilities to adapt to their surroundings and to reproduce their offspring. In this review,we interpreted the fundamental principles of anti-adhesion and anti-resistance of soil animals by reviewing the current status in this research field and summarizing the work of the research group at jilin university of china in the past decades. The principles and technologies used in morphology bionics,electric-osmosis bionics,flexibility bionics,configuration bionics and coupling bionics were ***,the applications of the engineering bionics and their extensive prospects were introduced.

关键词： terrain machines anti-adhesion and anti-resistance bionics non-smooth coupling