检索结果-南通市图书馆

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 Computation and Knowledge Engineering of Ministry of Education, jilin university, changchun 130012, china b school of Computer Science and Technology, jilin university, changchun 130012, china [a]Key Laboratory of Symbolic Computation and Knowledge 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 MODIFIED ALGORITHM OF FINDING AN ELEMENT OF CLARKE GENERALIZED GRADIENT FOR A SMOOTH COMPOSITION OF MAX-TYPE FUNCTIONS A MODIFIED ALGORITHM OF FINDING AN ELEMENT OF CLARKE GENERALIZED GRADIENT FOR A SMOOTH COMPOSITION OF MAX-TYPE FUNCTIONS

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Journal of Computational Mathematics 2000年第5期18卷 513-520页

作者： Yan Gao (department of basic Science, china university of Mining and Technology-Beijing, Beijing 100083, china) （北京）中国矿业大学北京 100083

This paper refers to Clarke generalized gradient for a smooth composition of max-type functions of the form: f(x) = g(x, maxj∈J1 f1j(x),''', maxj∈Jm fmj(x)), where x ∈Rn, Ji, i = 1,''',m are finite index sets, g and fij,j ∈ Ji, i = 1,... )m, are continuously differentiable on Rm+n and Rn, respectively. In a previous paper) we proposed an algorithm of finding an element of Clarke generalized gradient for f, at a point. In that paper, finding an element of Clarke generalized gradient for f, at a point, is implemented by determining the compatibilities of systems of linear inequalities many times. So its computational amount is very expensive. In this paper) we will modify the algorithm to reduce the times that the compatibilities of systems of linear inequalities have to be determined.

关键词： Nonsmooth optimization Clarke generalized gradient Max-type function.

Surface roughness and removal rate in magnetorheological finishing of a subsurface damage free surface

在线全文

学校读者我要写书评

暂无评论

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

作者： CHENG Haobo1*, WANG Yingwei2, FENG Zhijing1 and CHENG Kai3(1. State Key Laboratory of Tribiology, Tsinghua university, Beijing 100084, china 2. department of Material Sciences, changchun university of Science and Technology, changchun 130021, china 3. Faculty of Information and Engineering Systems, City Campus, Leeds LS1 3HE, UK) State Key Laboratory of Tribiology Tsinghua University Beijing 100084 China department of Material Sciences Changchun University of Science and Technology Changchun 130021 China Faculty of Information and Engineering Systems City Campus Leeds LS1 3HE UK

Based on computer-controlled optical surfacing, a new technique called magnetorheological finishing (MRF), is presented. The new technique combines the features of conventional loose abrasive machining with a wheel shaped polishing tool. The tool incorporates a host of features and has unprecedented fabricating versatility. The pre-polishing and fine polishing processes can be performed only by adjusting different parameters. The material removal function is studied theoretically and the results of simulation present a Gaussian distribution feature. Based on the established theoretical model, material removal rate experiments involving a parabolic mirror are designed and carried out to determine the effect of controllable parameters on size of the gap between the workpiece and the polishing wheel, rotating speed of the polishing wheel, concentration of volume fraction of non-magnetic particles and polishing time. Further experiments are carried out on the surface microstructure of the workpiece, the final surface roughness with an initial value of 10.98 nm reaches 1.22 nm root mean square (RMS) after 20 min of polishing. The subsurface damage experiment and the atomic force microscopy (AFM) measurement on the polished surface can also verify the feasibility of the MRF technique.

关键词： magnetorheological finishing surface roughness computer controlled optical surfacing subsurface damage removal function.

FLUORESCENCE　STUDIES　ON　SELF－ASSEMBLING　BEHAVIOR　OF　AMPHIPHILES　WITH　NAPHALENE－1，5－DIOXY　GROUP

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Chinese Chemical Letters 1996年第8期7卷 735-736页

作者： Guo Wen LI Ying Qiu LIANG2(Institute of Theoretical Chemistry, jilin university, changchun, 130023)(department of Chemistry, Nanjing university, Nanjing 210093) Institute of Theoretical Chemistry Jilin University Changchun 130023 department of Chemistry Nanjing University Nanjing 210093

Fluorescene Spectra in dilute aqueous solution of a series of single chain amphiphileswith an interposed naphthalene-1,5-dioxy group were studied to elucidate the characteristic selfassembling behavior. which indicate... 详细信息

关键词： STABLE BILAYER ASSEMBLIES SINGLE-CHAIN AMPHIPHILES DILUTE AQUEOUS-SOLUTION

In situ infrared investigation of alkylation reaction of dianionic triruthenium ketenylidene cluster on magnesium oxide with methyl iodide

在线全文

学校读者我要写书评

暂无评论

Chinese Journal of Chemistry 1993年第6期11卷 517-523页

作者： XIAO, Feng-Shou, department of Chemistry, jilin university, changchun 130023 department of Chemistry Jilin University Changchun 130023

The reaction between [Ru_3(CO)_9(CCO)]^(2-) supported on magnesium oxide and alky- lating agent CH_3I was investigated in an attempt to understand its reactivity and mechanism by using FT-IR technique. The IR spectra show that [Ru_3(CO)_9(CCO)]^(2-)/MgO reacts with CH_3I to produce [Ru_3(CO)_9CC(O)CH_3]-/MgO, which exhibits bands at 2960, 2022, 1988, 1638, 1460 and 1350 cm^(-1). The absorption at 2960, 1460 and 1350 cm^(-1) are attributed to -CH_3 group, while bands at 2022, 1988 and 1952 cm^(-1) are assigned to the terminal CO groups attached to ruthenium. The band at 1638 cm^(-1) was assigned to acyl carbonyl. Isotopes labeled compounds CD3I, ^(13)CO and [Ru_3(CO)_9(*C*CO)]^(2-) were used in investigation. The results demonstrate that β-carbon of CCO ligand is attacked by CH_3^+ species and produces [Ru_3(CO)_9CC(O)CH_3]-/MgO.

关键词： Ru CCO

Recent progress on the structure of Ser/Thr protein phosphatases

在线全文

学校读者我要写书评

暂无评论

Science china(Life Sciences) 2008年第6期51卷 487-494页

作者： WANG BaiJing1,2, ZHANG Peng1 & WEI Qun1 1 department of Biochemistry and Molecular Biology, Beijing Normal university, Beijing Key Laboratory, Beijing 100875, china 2 school of Life Science, changchun Normal university, changchun 130032, china 1. department of Biochemistry and Molecular Biology Beijing Normal University Beijing Key Laboratory Beijing 100875 China 2. school of Life Science Changchun Normal University Changchun 130032 China

PP1, PP2A and PP2B, belonging to the PPP family of Ser/Thr protein phosphatases, participate in regulating many important physiological processes, such as cell cycle control, regulation of cell growth and division regulation, etc. The sequence homology between them is relatively high, and ter- tiary structure is conserved. Because of the complexity of the structure of PP2A and the diversity of its regulatory subunits, its structure is less well known than those of PP1 and PP2B. The PP2A holoen- zyme consists of a heterodimeric core enzyme, comprising a scaffolding subunit and a catalytic sub- unit, as well as a variable regulatory subunit. In this study, the subunit compositions, similarities and differences between the Ser/Thr protein phsphatases structures are summarized.

关键词： Ser/Thr phosphatases subunit composition similarities and differences crystal structure

The change of Morin transition temperature in nanocrystalline α-Fe_2O_3

在线全文

学校读者我要写书评

暂无评论

Chinese Science Bulletin 1997年第4期42卷 344-346页

作者： LI Haibo, GONG Jie, ZHENG Weitao, CHEN Gang and YU Ruihuang1. department of Materials Science, jilin university, changchun 130023, china 2 department of Physics, Siping Normal ( lege, Siping 136000, china department of Materials Science Jilin University Changchun China department of Physics Siping Normal College Siping China

THE magnetic property of the ultrafine particles differs from that ot the bulk materials and has a lot of applications. Because of the size effect, magnetically ordered materials exhibit both superparamagnetism and collective magnetic excitation, and the magnetic transition temperature changes in the ultrafine particles with respect to the bulk materials as well. Bulk α-Fe2O3 is weakly ferromagnetic above the Morin transition temperature TM

关键词： Morin transition ultrafine particles Mossbauer effect.

An unconstrained optimization method using nonmonotone second order Goldstein's line search

在线全文

学校读者我要写书评

暂无评论

Science china Mathematics 2007年第10期50卷 1389-1400页

作者： Wen-yu SUN~(1+) Qun-yan ZHOU~(1,2) ~1 school of Mathematics and Computer Science,Nanjing Normal university,Nanjing 210097,china ~2 department of basic Courses,Jiangsu Teachers university of Technology,Changzhou 213001,china 1. school of Mathematics and Computer Science Nanjing Normal University Nanjing 210097 China 2. department of basic Courses Jiangsu Teachers University of Technology Changzhou 213001 China

In this paper, an unconstrained optimization method using the nonmonotone second order Goldstein's line search is proposed. By using the negative curvature information from the Hessian,the sequence generated is shown to converge to a stationary point with the second order optimality conditions. Numerical tests on a set of standard test problems confirm the efficiency of our new method.

关键词： nonmonotone method, direction of negative curvature, line search, descent pair,unconstrained optimization

Experimental remolding on the caprock's 3D strain field of the Indosinian-Yanshanian epoch in Tongling deposit concentrating area

在线全文

学校读者我要写书评

暂无评论

Science china Earth Sciences 2005年第7期48卷 863-874页

作者： DENG Jun1,HUANG Dinghua2,WANG Qingfei1,WAN Li1,SUN Zhongshi3,YANG Liqiang1 & GAO Bangfei1 1. State Key Laboratory of Geological Processes and Mineral Resources,china university of Geosciences,Beijing 100083,china 2. Faculty of Earth Sciences,china university of Geosciences,Wuhan 430074,china 3. department of Earth Sciences,jilin university,changchun 130061,china State Key Laboratory of Geological Processes and Mineral Resources China University of Geosciences Beijing 100083 China Faculty of Earth Sciences China University of Geosciences Wuhan 430074 China department of Earth Sciences Jilin University Changchun 130061 China

Based on field observations and rheology analysis, we perform one analogue experiment and remold the 3D structural frame of Tongling deposit concentrating area firstly. Then we disassemble and dialyze the 3D structures of the model using the methods of "slicing" and "stripping". A series of sliced planes vertical to the fold hinges show similar landscapes of that in the drill hole profiles. Meanwhile, layer stripping analysis indicates that the deformation features of each layer in the model are qualitatively analogical to those obtained from field observations. Through contrasting the 3D structure between the experimental model and the field phenomena, we verify the following 3D deformation features of the caprock in this area: (1) the Tongling area mainly consists of three series of NE S-typed fold groups; (2) in the uniform stress field, the incoherent folds universally develop in different positions, along different axes as well as in different strata; (3) the faults propagate upward which are mostly inter-bedded detachment faults, while the fold amplitudes decrease while going deeper; and (4) the folds and cleavages are highly developed in the Silurian System indicating that the deformation effect of the Indosin-ian-Yanshanian structural layer terminates at this layer, which suggests that the Silurian System is the crucial layer for the inversion between brittle and plastic deformation domains and the underlying strata are subject to the control of another deformation system with distinct properties.

关键词： Tongling deposit concentrating area Indosinian-Yanshanian epoch 3D structural frame of the caprock analogue experiment slicing and stripping analysis structural model.