检索结果-南通市图书馆

Game model of safety monitoring for arch dam deformation

在线全文

学校读者我要写书评

暂无评论

Science china(Technological Sciences) 2008年第S2期51卷 76-81页

作者： SU HuaiZhi1,2,WU ZhongRu1,2,GU YanChang1,2,HU Jiang1 & WEN ZhiPing3.1 college of Water Conservancy and Hydropower Engineering,Hohai University,Nanjing 210098,china 2 National Engineering Research Center of Water Resources Efficient Utilization and Engineering Safety,Nanjing 210098,china 3.Department of {3. Engineering,Nanjing Institute of technology,Nanjing 210013.china college of Water Conservancy and Hydropower Engineering Hohai University Nanjing 210098 China National Engineering Research Center of Water Resources Efficient Utilization and Engineering Safety Nanjing 210098 China Department of computer Engineering Nanjing Institute of Technology Nanjing 210013 China

Arch dam deformation is comprehensively affected by water pressure,temperature,dam's structural behavior and material properties as well as other *** them the water pressure and temperature are external factors(source factors) that cause dam deformation,and dam's structural behavior and material properties are the internal factors of deformation(resistance factors).The dam deformation is the result of the mutual game playing between source factors and resistance ***,resistance factors of structure and materials that reflect resistance character of arch dam structure are introduced into the traditional model,where structure factor is embodied by the flexibility coefficient of dam body and the maximum dam height,and material property is embodied by the elastic modulus of *** the basis of analyzing the correlation between dam deformation and resistance factors,the game model of safety monitoring for arch dam deformation is put forward.

关键词： arch dam deformation monitoring model flexibility coefficient game theory

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,{3. University,changchun 13.012.P.R.china 2.Key Laboratory of Symbolic Computation and Knowledge Engineering (Ministry of Education,china) {3. University,changchun 13.012.P.R.china [a] college of computer Science technology Jilin University Changchun 130012 P. R. China [b] Key Laboratory of Symbolic Computation Knowledge Engineering (Ministry 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

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 13.012. china b School of computer Science and {3., jilin University, changchun 13.012. 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

Weighted moments for a supercritical branching process in a varying or random environment

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Science china Mathematics 2011年第7期54卷 1437-1444页

作者： LI YingQiu1,2, HU YangLi1,2 & LIU QuanSheng1,3. 1college of Mathematics and Computing Sciences, Changsha University of Science and technology, Changsha 410004, china 2college of Mathematics and computer Sciences, Hunan Normal University, Changsha 410081, china 3.MAM, University of Bretgne-Sud, BP573. 56017 Vannes, France 1. college of Mathematics and Computing Sciences Changsha University of Science and Technology Changsha 410004 China2. College of Mathematics and Computer Sciences Hunan Normal University Changsha 410081 China3. LMAM University of Bretgne-Sud BP573 56017 Vannes France

Let W be the limit of the normalized population size of a supercritical branching process in a varying or random environment. By an elementary method, we find sufficient conditions under which W has finite weighted mo... 详细信息

关键词： branching process varying environment random environment moment martingale

Randomization of classical inference patterns and its application

在线全文

学校读者我要写书评

暂无评论

Science in china(Series F) 2007年第6期50卷 867-877页

作者： WANG GuoJun1,2 & HUI XiaoJing1,3. Institute of Mathematics, Shaanxi Normal University, Xi’an 710062, china 2 Research Center for Science, Xi’an Jiaotong University, Xi’an 710049, china 3.college of Mathematics and {3. Science, Yan’an University, 716000, china 1. Institute of Mathematics Shaanxi Normal University Xi’an 710062 China 2. Research Center for Science Xi’an Jiaotong University Xi’an 710049 China 3. college of Mathematics and computer Science Yan’an University 716000 China

By means of randomization, the concept of D-randomized truth degree of formulas in two-valued propositional logic is introduced, and it is proved that the set of values of D-randomized truth degree of formulas has no isolated point in [0,1]. The concepts of D-logic pseudo-metric and D-logic metric space are also introduced and it is proved that there is no isolated point in the space. The new built D-randomized concepts are extensions of the corresponding concepts in quantified logic. Moreover, it is proved that the basic logic connectives are continuous operators in D-logic metric space. Lastly, three different types of approximate reasoning patterns are proposed.

关键词： D-randomized mapping D-randomized truth degree D-similarity D-logic metric space approximate reasoning

Study of OCDs Reliability Estimation System Based on Bio-Immunology

在线全文

学校读者我要写书评

暂无评论

Journal of Bionic Engineering 2009年第3期6卷 306-310页

作者： Dan-e Wu~1 Qiu-zhan Zhou~1 Ping-ping Liu~2 He-bin Zhang1.college of Communication Engineering,jilin University,Changehun 13.022,P.R.china2.Department of {3. Science and technology,jilin University,changchun 13.012.P.R.china [a]college of Communication Engineering Jilin University Changchun 130022 P. R. China [b]Department of Computer Science and Technology Jilin University Changchun 130012 P. R. China

We introduce the relationship between excess noise in Optoelectronic Coupled Devices (OCDs) and their interior defects and explain how low-fiequency noise can be used to estimate their *** concepts from the biological immune system and its process of identifying invaders,we present a system for estimation of the reliability of *** system has expressions for the antigen (excess noise),lymphocyte (criterion) and the role of the lymphocyte eliminating unreliable devices. A genetic algorithm was used to estimate the components parameters of the noise spectrum for estimating the reliability of *** experimental results demonstrated that this method is reliable,adaptable and practical.

关键词： low-frequency noise artificial immunity genetic algonthm device reliability

An extended Lagrangian support vector machine for classifications

在线全文

学校读者我要写书评

暂无评论

Progress in Natural Science:Materials International 2004年第6期 57-61页

作者： YANG Xiaowei 1,2 ,SHU Lei 1,HAO Zhifeng 1,LIANG Yanchun 3.*,LIU Guirong 2 and HAN Xu 2(1. Department of Applied Mathematics,South china University of technology,Guangzhou 510640,china 2. Centre for ACES,Department of Mechanical Engineering,National University of Singapore,119260,Singapore 3. {3. of computer Science and technology,jilin University,changchun 13.012.china) Department of Applied Mathematics，South china University of technology，Guangzhou 510640，china Centre for ACES，Department of Mechanical Engineering，National University of Singapore，119260，Singapore Department of Applied Mathematics，South china University of technology，Guangzhou 510640，china college of computer Science and technology，{3. University，changchun 13.012.china Centre for ACES，Department of Mechanical Engineering，National University of Singapore，119260，Singapore

Lagrangian support vector machine (LSVM) cannot solve large problems for nonlinear kernel classifiers. In order to extend the LSVM to solve very large problems, an extended Lagrangian support vector machine (ELSVM) for classifications based on LSVM and SVM light is presented in this paper. Our idea for the ELSVM is to divide a large quadratic programming problem into a series of subproblems with small size and to solve them via LSVM. Since the LSVM can solve small and medium problems for nonlinear kernel classifiers,the proposed ELSVM can be used to handle large problems very efficiently. Numerical experiments on different types of problems are performed to demonstrate the high efficiency of the ELSVM.

关键词： quadratic programming support vector machine decomposition algorithm LSVM ELSVM.

Sobolev方程Fourier拟谱方法的长时间稳定性和收敛性

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

吉林大学学报（理学版） 2003年第4期41卷 440-448页

作者：冯立新黑龙江大学数学系

考虑一维 Sobolev方程的大时间问题 ,构造了它的半离散和全离散拟谱逼近 ,获得了时间区间 0≤ t<∞上一致最优阶的误差估计 .

关键词： Sobolev方程 Fourier拟谱方法长时间稳定性收敛性误差估计拟抛物型方程

A New Admissibility Condition of Discrete-time Singular Systems with Time-varying Delays

在线全文

学校读者我要写书评

暂无评论

International Journal of Automation and computing 2012年第5期9卷 480-486页

作者： Yong-Yun Shao 1,3.Xiao-Dong Liu 1,2 Xin Sun 3.Zhan Su 4 1 Transportation Management college, Dalian Maritime University, Dalian 116026, china 2 Department of Mathematics, Dalian Maritime University, Dalian 116026, china 3.Department of {3. and Mathematics Teaching, Shenyang Normal University, Shenyang 11003., china 4 Institute of Systems Science, Northeastern University, Shenyang 110004, china 1. Transportation Management college Dalian Maritime University Dalian 116026 China 3. Department of computer and Mathematics Teaching Shenyang Normal University Shenyang 110034 China 2. Department of Mathematics Dalian Maritime University Dalian 116026 China 4. Institute of Systems Science Northeastern University Shenyang 110004 China

This paper gives a novel delay-dependent admissibility condition of discrete-time singular systems with time-varying delays. For convenience, the time-varying delay is assumed to be the sum of delay lower bound and the integral multiples of a constant delay. Specially, if the constant delay is of unit length, the delay is an interval-like time-varying delay. The proposed admissibility condition is presented and expressed in terms of linear matrix inequality (LMI) by Lyapunov approach. Generally, the uncertainty of time-varying delay would lead to conservatism. In this paper, this critical issue is tackled by accurately estimating the time-varying delay. Consequently, the proposed admissibility condition is less conservative than the existing results, which is demonstrated by a numerical example.

关键词： Singular systems discrete-time delay-dependent admissibility time-varying delay