检索结果-南通市图书馆

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 130012, china {3. laboratory of Symbolic computation and knowledge engineering of ministry of education, changchun 130012, china) School of Computer Science and Technology Jilin University Changchun 130012 China key laboratory of Symbolic computation and {3. engineering of ministry of education Changchun 130012 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.

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Modal extension rule

Progress in Natural Science:Materials International 2005年第6期15卷 550-558页

作者： WU Xia*, SUN Jigui, LIN Hai and FENG Shasha(College of Computer Science and Technology, jilin university, changchun 130012, china {3. laboratory for Symbolic computation and knowledge engineering, jilin university, changchun 130012, china) College of Computer Science and Technology Jilin University Changchun 130012 China key laboratory for Symbolic computation and {3. engineering Jilin University Changchun 130012 China

Modal logics are good candidates for a formal theory of agents. The efficiency of reasoning method in modal logics is very important, because it determines whether or not the reasoning method can be widely used in systems based on agent. In this paper, we modify the extension rule theorem proving method we presented before, and then apply it to P-logic that is translated from modal logic by functional transformation. At last, we give the proof of its soundness and completeness.

关键词： theorem proving extension rule modal logics functional transformation.

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 130012, china b School of Computer Science and Technology, jilin university, changchun 130012, china key laboratory of Symbolic computation and {3. engineering of ministry of education Jilin University Changchun 130012 China 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 130012,china 2 College of Computer Science and Technology,jilin university,changchun 130012,china 3.College of Software,jilin university,changchun 130012,china key laboratory of Symbolic computation and {3. engineering of ministry of education Jilin University College of Computer Science and Technology Jilin University College of Software Jilin University

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

Biological couplings: Function, characteristics and implementation mode

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Science china(Technological Sciences) 2010年第3期53卷 379-387页

作者： REN LuQuan & LIANG YunHong key laboratory of Bionic engineering of {3.istry of education, School of Biological and Agricultural engineering, jilin university, changchun 13.025, china key laboratory of Bionic engineering of {3.istry of education School of Biological and Agricultural Engineering Jilin University

Through rigorous natural selection, biological organisms have evolved exceptional functions highly adaptable to their living environments. Biological organisms can achieve a variety of biological functions efficiently by using the synergic actions of two or more different parts of the body, or the coupling effects of multiple factors, and demonstrate optimal adaptations to the living environment. In this paper, the function, characteristics and types of biological couplings are analyzed, the implementation mechanism and mode of biological coupling functions are revealed from the bionic viewpoint. Finally, the technological prospects of the bionic implementation of biological coupling function are predicted.

关键词： biological coupling biological function biological characteristics implementation mode of biological function coupling bionics

同方期刊数据库

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 130012, 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

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 College of Computer Science and Technology Jilin University Changchun P. R. China key laboratory of Symbolic computation and {3. engineering (ministry of education China) Jilin University Changchun 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

A Study of Mechanical Properties of the Iron-base Sintered Steel Adding Fine Cr-Fe Powder

在线全文

学校读者我要写书评

暂无评论

稀有金属材料与工程 2011年第S3期40卷 5-8页

作者： Chen Hua 1 , Liu Yongbing 2 , Li Yueying 2 , Cao Zhanyi 2 , Chai Zhilong 3.1 key laboratory of Advanced Structural Materials, min{3. of education, changchun university of Technology, changchun 130012, china 2 key laboratory of Automobile Materials, min{3. of education, jilin university, changchun 13.022,china 3.Research Institute of First Automobile Factory of china, changchun 13.011, china changchun Univ Technol Sch Mat Sci & Engn Key Lab Adv Struct Mat Minist Educ Changchun 130012 Peoples R China jilin Univ Key Lab Automobile Mat Minist Educ Changchun 130022 Peoples R China Res Inst First Automobile Factory china Changchun 130011 Peoples R China

This paper reports an investigation of the mechanical properties and the fracture mechanism of iron-based sintered alloy containing fine Cr-Fe powder particles 3.0 nm in size and in contents raging from 0.2-1.5 wt%. The iron-base alloy were sintered at 1120 ℃ for 40min. The results of the study revealed improvement in mechanical properties such as tensile strength, elongation and hardness of the sintered alloy. The fracture behaviors of the alloy were influenced significantly by the presence of Cr-Fe powder particles. The mechanical properties increased with increasing Cr content. Micrographs of fracture appeared dimple and quasi-cleavage.

关键词： sintered steel fine Cr-Fe powder mechanical properties

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