In present paper, we obtain the inverse moment estimations of parameters of the Birnbaum-Saunders fatigue life distribution based on Type-Ⅱ bilateral censored samples and multiply Type-Ⅱ censored sample. In this pap...In present paper, we obtain the inverse moment estimations of parameters of the Birnbaum-Saunders fatigue life distribution based on Type-Ⅱ bilateral censored samples and multiply Type-Ⅱ censored sample. In this paper, we also get the interval estimations of the scale parameters.展开更多
This paper is devoted to the probabilistic stability analysis of a tunnel face excavated in a two-layer soil. The interface of the soil layers is assumed to be positioned above the tunnel roof. In the framework of lim...This paper is devoted to the probabilistic stability analysis of a tunnel face excavated in a two-layer soil. The interface of the soil layers is assumed to be positioned above the tunnel roof. In the framework of limit analysis, a rotational failure mechanism is adopted to describe the face failure considering different shear strength parameters in the two layers. The surrogate Kriging model is introduced to replace the actual performance function to perform a Monte Carlo simulation. An active learning function is used to train the Kriging model which can ensure an efficient tunnel face failure probability prediction without loss of accuracy. The deterministic stability analysis is given to validate the proposed tunnel face failure model. Subsequently, the number of initial sampling points, the correlation coefficient, the distribution type and the coefficient of variability of random variables are discussed to show their influences on the failure probability. The proposed approach is an advisable alternative for the tunnel face stability assessment and can provide guidance for tunnel design.展开更多
Formal concept analysis （FCA） is a discipline that studied the hierarchical structures induced by a binary relation between a pair of sets, and applies in data analysis, information retrieval, knowledge discovery, e...Formal concept analysis （FCA） is a discipline that studied the hierarchical structures induced by a binary relation between a pair of sets, and applies in data analysis, information retrieval, knowledge discovery, etc. In this paper, it is shown that a formal context T is equivalent to a set-valued mapping S ： G → P（М）, and formal concepts could be defined in the set-valued mapping S. It is known that the topology and set-valued mapping are linked. Hence, the advantage of this paper is that the conclusion make us to construct formal concept lattice based on the topology.展开更多
The theory and method of system integration for the real-time monitoring of core rock-fill dam filling con- struction quality are studied in this paper. First, the importance analysis of system integration factors is ...The theory and method of system integration for the real-time monitoring of core rock-fill dam filling con- struction quality are studied in this paper. First, the importance analysis of system integration factors is carried out with the analytic hierarchy process. Then, according to the analysis result of integration factors, the conceptual model of system integration is built based on function integration, index integration, technology integration and information integration, the index structure of core rock-fill dam filling construction quality control is constructed and the method of function integration and technology integration is studied. The mathematical model of process monitoring is built according to monitoring objective, process and indexes. Research results have been applied in Nuozhadu core rock-fill dam construction management, realizing system integration through building appropriate monitoring work flow and comprehensive information platform of digital dam.展开更多
In this paper, we conduct research on the applications of advanced mathematics on the mathematical modeling and the inner connections with linear algebra and the probability statistics. Aiming at model in mathematical...In this paper, we conduct research on the applications of advanced mathematics on the mathematical modeling and the inner connections with linear algebra and the probability statistics. Aiming at model in mathematical modeling and solving and model of evaluation and promotion of the two links, put forward the ＂bystander＂ and ＂the authorities＂ this two characters, and points out that excellent mathematical modeling participants should have ＂from a bystander to the authorities＂ and ＂from the authorities to return to bystanders＂ two-way role transformation ability. Great situation in mathematics teaching, by means of the mathematical modeling formed in the development of the teachers, as well as the teaching thought, teaching experience and achievements, the onward march of mathematical experiment should be faster than mathematical modeling. Our research provides the new paradigm for the math development which will be meaningful.展开更多
By using a well known result in combinatorics, named Konig Lemma, this paper generalized the method of constructing measure by repeated subdivision, which was a basic tool for fractal geometry. A more general method w...By using a well known result in combinatorics, named Konig Lemma, this paper generalized the method of constructing measure by repeated subdivision, which was a basic tool for fractal geometry. A more general method was presented to construct measure, which was an essential improvement to the existing result. The proof employed a skill similar to that for Konig Lemma, which helped to avoid using the compactness in Euclidean space. Two conditions of the existing method were found not necessary.展开更多
By the similarity between the syllogism in logic and a path proposition in graph theory,a new concept,fuzzy reasoning graph G has been given in this paper. Transitive closure has been studied and used to do reasoning ...By the similarity between the syllogism in logic and a path proposition in graph theory,a new concept,fuzzy reasoning graph G has been given in this paper. Transitive closure has been studied and used to do reasoning related to self-loop in G,and an algorithm has been designed to cope with reasoning in other cycles in G. Both approaches are applicable and efficient.展开更多
A new mathematical expectation formula with some hypotheses, notions and propositions was given to get rid of the challenge of St. Petersburg paradox and Pascal's wager. Relevant results show that it is very effec...A new mathematical expectation formula with some hypotheses, notions and propositions was given to get rid of the challenge of St. Petersburg paradox and Pascal's wager. Relevant results show that it is very effective to apply the model to solve the expected revenue problems containing random events with low proba-bility but high revenue. This work also provides the probability theory with a more widely applied perspective in group decision-making.展开更多
The goal of the Physiome Project is to understand and describe the physiology and pathophysiology of the human organism. Multiscale mathematical and computer models are developed within this concept to help understan...The goal of the Physiome Project is to understand and describe the physiology and pathophysiology of the human organism. Multiscale mathematical and computer models are developed within this concept to help understand human health. From its beginning about 15 years ago, most of the focus has been in the cardiac field (the Cardiome project) but other areas are developing as well now.展开更多
Buffer influences the performance of production lines greatly.To solve the buffer allocation problem(BAP) in serial production lines with unreliable machines effectively,an optimization method is proposed based on an ...Buffer influences the performance of production lines greatly.To solve the buffer allocation problem(BAP) in serial production lines with unreliable machines effectively,an optimization method is proposed based on an improved ant colony optimization(IACO) algorithm.Firstly,a problem domain describing buffer allocation is structured.Then a mathematical programming model is established with an objective of maximizing throughput rate of the production line.On the basis of the descriptions mentioned above,combining with a two-opt strategy and an acceptance probability rule,an IACO algorithm is built to solve the BAP.Finally,the simulation experiments are designed to evaluate the proposed algorithm.The results indicate that the IACO algorithm is valid and practical.展开更多
Automatic reading procedures in colon cells biopsies allow a faster and precise reading of microscopic biopsies. These procedures implement automatic image segmentation in order to classify cell types as cancerous or ...Automatic reading procedures in colon cells biopsies allow a faster and precise reading of microscopic biopsies. These procedures implement automatic image segmentation in order to classify cell types as cancerous or noncancerous. The authors have developed a new approach aiming to detect colon cancer cells derived from the ＂Snake＂ method but using a progressive division of the dimensions of the image to achieve rapid segmentation. The aim of the present paper was to classify different cancerous cell types based on nine morphological parameters and on probabilistic neural network. Three types of cells were used to assess the efficiency of our classifications models, including BH （Benign Hyperplasia）, IN （Intraepithelial Neoplasia） that is a precursor state for cancer, and Ca （Carcinoma） that corresponds to abnormal tissue proliferation （cancer）. Results showed that among the nine parameters used to classify cells, only three morphologic parameters （area, Xor convex and solidity） were found to be effective in distinguishing the three types of cells. In addition, classification of unknown cells was possible using this method.展开更多
基金Supported by the NSF of China(69971016) Supported by the Shanghai Higher Learning Science Supported by the Technology Development Foundation(00JC14507)
文摘In present paper, we obtain the inverse moment estimations of parameters of the Birnbaum-Saunders fatigue life distribution based on Type-Ⅱ bilateral censored samples and multiply Type-Ⅱ censored sample. In this paper, we also get the interval estimations of the scale parameters.
基金Projects supported by the China Scholarship Council
文摘This paper is devoted to the probabilistic stability analysis of a tunnel face excavated in a two-layer soil. The interface of the soil layers is assumed to be positioned above the tunnel roof. In the framework of limit analysis, a rotational failure mechanism is adopted to describe the face failure considering different shear strength parameters in the two layers. The surrogate Kriging model is introduced to replace the actual performance function to perform a Monte Carlo simulation. An active learning function is used to train the Kriging model which can ensure an efficient tunnel face failure probability prediction without loss of accuracy. The deterministic stability analysis is given to validate the proposed tunnel face failure model. Subsequently, the number of initial sampling points, the correlation coefficient, the distribution type and the coefficient of variability of random variables are discussed to show their influences on the failure probability. The proposed approach is an advisable alternative for the tunnel face stability assessment and can provide guidance for tunnel design.
基金the Young Foundation of Sichuan Province(06ZQ026-037) the Education Department Foundation of Sichuan Province(2005A1212006A084)
文摘Formal concept analysis （FCA） is a discipline that studied the hierarchical structures induced by a binary relation between a pair of sets, and applies in data analysis, information retrieval, knowledge discovery, etc. In this paper, it is shown that a formal context T is equivalent to a set-valued mapping S ： G → P（М）, and formal concepts could be defined in the set-valued mapping S. It is known that the topology and set-valued mapping are linked. Hence, the advantage of this paper is that the conclusion make us to construct formal concept lattice based on the topology.
基金National Key Technology R&D Program in the 12th Five Year Plan of China (No. 2011BAB10B06)Independent Innovation Foundation of Tianjin University (No. 1102119)
文摘The theory and method of system integration for the real-time monitoring of core rock-fill dam filling con- struction quality are studied in this paper. First, the importance analysis of system integration factors is carried out with the analytic hierarchy process. Then, according to the analysis result of integration factors, the conceptual model of system integration is built based on function integration, index integration, technology integration and information integration, the index structure of core rock-fill dam filling construction quality control is constructed and the method of function integration and technology integration is studied. The mathematical model of process monitoring is built according to monitoring objective, process and indexes. Research results have been applied in Nuozhadu core rock-fill dam construction management, realizing system integration through building appropriate monitoring work flow and comprehensive information platform of digital dam.
文摘In this paper, we conduct research on the applications of advanced mathematics on the mathematical modeling and the inner connections with linear algebra and the probability statistics. Aiming at model in mathematical modeling and solving and model of evaluation and promotion of the two links, put forward the ＂bystander＂ and ＂the authorities＂ this two characters, and points out that excellent mathematical modeling participants should have ＂from a bystander to the authorities＂ and ＂from the authorities to return to bystanders＂ two-way role transformation ability. Great situation in mathematics teaching, by means of the mathematical modeling formed in the development of the teachers, as well as the teaching thought, teaching experience and achievements, the onward march of mathematical experiment should be faster than mathematical modeling. Our research provides the new paradigm for the math development which will be meaningful.
文摘By using a well known result in combinatorics, named Konig Lemma, this paper generalized the method of constructing measure by repeated subdivision, which was a basic tool for fractal geometry. A more general method was presented to construct measure, which was an essential improvement to the existing result. The proof employed a skill similar to that for Konig Lemma, which helped to avoid using the compactness in Euclidean space. Two conditions of the existing method were found not necessary.
文摘By the similarity between the syllogism in logic and a path proposition in graph theory,a new concept,fuzzy reasoning graph G has been given in this paper. Transitive closure has been studied and used to do reasoning related to self-loop in G,and an algorithm has been designed to cope with reasoning in other cycles in G. Both approaches are applicable and efficient.
基金the Scientific Research Foundation of Hunan Education Department (No. 05C185)
文摘A new mathematical expectation formula with some hypotheses, notions and propositions was given to get rid of the challenge of St. Petersburg paradox and Pascal's wager. Relevant results show that it is very effective to apply the model to solve the expected revenue problems containing random events with low proba-bility but high revenue. This work also provides the probability theory with a more widely applied perspective in group decision-making.
文摘The goal of the Physiome Project is to understand and describe the physiology and pathophysiology of the human organism. Multiscale mathematical and computer models are developed within this concept to help understand human health. From its beginning about 15 years ago, most of the focus has been in the cardiac field (the Cardiome project) but other areas are developing as well now.
基金Supported by the National Natural Science Foundation of China(No.61273035,71471135)
文摘Buffer influences the performance of production lines greatly.To solve the buffer allocation problem(BAP) in serial production lines with unreliable machines effectively,an optimization method is proposed based on an improved ant colony optimization(IACO) algorithm.Firstly,a problem domain describing buffer allocation is structured.Then a mathematical programming model is established with an objective of maximizing throughput rate of the production line.On the basis of the descriptions mentioned above,combining with a two-opt strategy and an acceptance probability rule,an IACO algorithm is built to solve the BAP.Finally,the simulation experiments are designed to evaluate the proposed algorithm.The results indicate that the IACO algorithm is valid and practical.
文摘Automatic reading procedures in colon cells biopsies allow a faster and precise reading of microscopic biopsies. These procedures implement automatic image segmentation in order to classify cell types as cancerous or noncancerous. The authors have developed a new approach aiming to detect colon cancer cells derived from the ＂Snake＂ method but using a progressive division of the dimensions of the image to achieve rapid segmentation. The aim of the present paper was to classify different cancerous cell types based on nine morphological parameters and on probabilistic neural network. Three types of cells were used to assess the efficiency of our classifications models, including BH （Benign Hyperplasia）, IN （Intraepithelial Neoplasia） that is a precursor state for cancer, and Ca （Carcinoma） that corresponds to abnormal tissue proliferation （cancer）. Results showed that among the nine parameters used to classify cells, only three morphologic parameters （area, Xor convex and solidity） were found to be effective in distinguishing the three types of cells. In addition, classification of unknown cells was possible using this method.
