Reduced Q-matrix (Qr matrix) plays an important role in the rule space model (RSM) and the attribute hierarchy method (AHM). Based on the attribute hierarchy, a valid/invalid item is defined. The judgment method...Reduced Q-matrix (Qr matrix) plays an important role in the rule space model (RSM) and the attribute hierarchy method (AHM). Based on the attribute hierarchy, a valid/invalid item is defined. The judgment method of the valid/invalid item is developed on the relation between reachability matrix and valid items. And valid items are explained from the perspective of graph theory. An incremental augment algorithm for constructing Qr matrix is proposed based on the idea of incremental forward regression, and its validity is theoretically considered. Results of empirical tests are given in order to compare the performance of the incremental augment algo-rithm and the Tatsuoka algorithm upon the running time. Empirical evidence shows that the algorithm outper-forms the Tatsuoka algorithm, and the analysis of the two algorithms also show linear growth with respect to the number of valid items. Mathematical models with 10 attributes are built for the two algorithms by the linear regression analysis.展开更多
The mode characteristics for twin coupled microdisks are investigated by finite-difference time-domain technique. In the coupled microdisks,the same order whispering-gallery(WG) modes can form coupled modes with split...The mode characteristics for twin coupled microdisks are investigated by finite-difference time-domain technique. In the coupled microdisks,the same order whispering-gallery(WG) modes can form coupled modes with split mode wavelengths. We find that the coupled fundamental and first order WG modes can have anticrossing mode coupling as their wavelengths approach the same value in some case,which prevents the cross of the coupled mode wavelengths. The anticrossing mode coupling greatly reduces the coupled mode Q-factor,because the coupled mode field distribution transfers between the fundamental and the first order WG modes.展开更多
In order to improve the computation efficiency and simulation accuracy,a novel simplified simulation method for friction pendulum bearing( FPB) is proposed. The behavior of FPB was analyzed based on the stress charact...In order to improve the computation efficiency and simulation accuracy,a novel simplified simulation method for friction pendulum bearing( FPB) is proposed. The behavior of FPB was analyzed based on the stress characteristics of the slider of FPB. Then,a novel simplified FPB model with a single pendulum and a nonlinear spring was established. The mechanical behavior of the simplified model was analyzed and it conformed well to the basic requirements of FPB. Furthermore,shaking table tests of a concrete slab block structure isolated by four FPBs were carried out, followed by finite element simulations of the test using the proposed simplified model.Three waves and eleven loading scenarios were selected in the test. The results show that the overall trend of the relative displacement time-history curves,the horizontal acceleration time-history curves and the vertical acceleration time-history curves from the numerical simulation match in a good manner with those obtained from the tests. Specifically,it is found that the difference of the peak value within these curves between the simulation and test results is less than 15%,which means that the proposed simplified model can be used to simulate the FPB behaviors under dynamic loadings with acceptable accuracy for engineering purposes.展开更多
Based on the construction bridge of Xiamen-Shenzhen high-speed railway(9-32 m simply-supported beam + 6×32 m continuous beam),the pier-beam-track finite element model,where the continuous beam of the ballast trac...Based on the construction bridge of Xiamen-Shenzhen high-speed railway(9-32 m simply-supported beam + 6×32 m continuous beam),the pier-beam-track finite element model,where the continuous beam of the ballast track and simply-supported beam are combined with each other,was established.The laws of the track stress,the pier longitudinal stress and the beam-track relative displacement were analyzed.The results show that reducing the longitudinal resistance can effectively reduce the track stress and the pier stress of the continuous beam,and increase the beam-track relative displacement.Increasing the rigid pier stiffness of continuous beam can reduce the track braking stress,increase the pier longitudinal stress and reduce the beam-track relative displacement,Increasing the rigid pier stiffness of simply-supported beam can reduce the track braking stress,the rigid pier longitudinal stress and the beam-track relative displacement.展开更多
A known result by Jackson Bill is that every 2-connected k-regular graph on at most 3k vertices is Hamiltonian. In this paper,it is proved that every 2-connected k-regular claw-free graph on at most 5k(k≥10)vertices ...A known result by Jackson Bill is that every 2-connected k-regular graph on at most 3k vertices is Hamiltonian. In this paper,it is proved that every 2-connected k-regular claw-free graph on at most 5k(k≥10)vertices is Hamiltonian. Moreover, the bound 5k is best possible. A counterexample of a 2-connected k-regular claw-free non-Hamiltonian graph on 5k+1 vertices is given, and it is conjectured that every 3-connected k-regular claw-free graph on at most 12k-7 vertices is Hamiltonian.展开更多
This work deals with the power exponent 1rand 2r respectively of the maximal and second-maximal prime factors of the order of simple K4-group, and the classification for simple 4{5,7}K--group G (i.e. G can not be divi...This work deals with the power exponent 1rand 2r respectively of the maximal and second-maximal prime factors of the order of simple K4-group, and the classification for simple 4{5,7}K--group G (i.e. G can not be divided by 5 nor by 7 or ()Gp= 4 ), simple 5 -4K-group G (i.e. G can not divided by 5 and ()Gp=4) and simple 7-4K-group G (i.e. G can not divided by 7 and ()Gp= 4). It is derived that 1r =1, 2 and 4, and 2r is not greater than 4. All the simple 4K-groups with order 235,237abcdabcdpp and 2357abcd are obtained.展开更多
There have been a great many of studies on the pointed representations of fi- nite-dimensional sanple Lie algebras.cf.[1][2]etc.In this paper we give a new proof of an impottant Lemma,and from this we derive our main ...There have been a great many of studies on the pointed representations of fi- nite-dimensional sanple Lie algebras.cf.[1][2]etc.In this paper we give a new proof of an impottant Lemma,and from this we derive our main result:Irreducible pointed modules of finite -dimesional simple Lie algebras are all Harish-Chandra modules.展开更多
Optimization of an automotive body structure faces the difficulty of having too many design variables and a too large design search space. A simplified model of body-in-prime(BIP) can solve this difficulty by reducing...Optimization of an automotive body structure faces the difficulty of having too many design variables and a too large design search space. A simplified model of body-in-prime(BIP) can solve this difficulty by reducing the number of design variables. In this study, to achieve lighter weight and higher stiffness, the simplified model of BIP was developed and combined with an optimization procedure;consequently, optimal designs of automotive body B-pillar were produced. B-pillar was divided into four quarters and each quarter was modelled by one simplified beam. In the optimization procedure, depth, width, and thickness of the simplified beams were considered as the design variables.Weight, bending and torsional stiffness were also considered as objective functions. The optimization procedure is composed of six stages: designing the experiments, calculating grey relational grade, calculating signal-to noise ratio,finding an optimum design using Taguchi grey relational analysis, performing sensitivity analysis using analysis of variance(ANOVA) and performing non-dominated sorting and multi-criteria decision making. The results show that the width of lower B-pillar has the highest effect(about 55%) and the obtained optimum design point could reduce the weight of B-pillar by about 40% without reducing the BIP stiffness by more than 1.47%.展开更多
Based on finite element method and finite strip method, a simplified approach was presented to analyze high rise frame tube structures. The generalized strip element is introduced and then the generalized stiffness ma...Based on finite element method and finite strip method, a simplified approach was presented to analyze high rise frame tube structures. The generalized strip element is introduced and then the generalized stiffness matrices for beam and column line are derived by using the displacement functions that describe the nodal displacements and displacement transforms. Furthermore, the formulas for the generalized stiffness matrix of generalized strip element and load arrays corresponding to the displacement parameters were developed. It is shown through a series of numerical computation that the nodal angular displacements at the same floor in a generalized strip element are approximately identical. A comparison of the finite element method and the finite strip method shows that the simplified approach not only is accurate, but also reduces the number of basic unknown quantities.展开更多
A graph Г is said to be G-locally primitive, where G is a subgroup of automorphisms of Г, if the stabiliser Ga of a vertex α acts primitively on the set Г( α ) of vertices of Г adjacent to α. For a finite non-a...A graph Г is said to be G-locally primitive, where G is a subgroup of automorphisms of Г, if the stabiliser Ga of a vertex α acts primitively on the set Г( α ) of vertices of Г adjacent to α. For a finite non-abelian simple group L and a Cayley subset S of L, suppose that L ? G ? Aut( L), and the Cayley graph Г = Cay ( L, S) is G-locally primitive. In this paper we prove that L is a simple group of Lie type, and either the valency of Г is an add prine divisor of |Out(L)|, orL =PΩ 8 + (q) and Г has valency 4. In either cases, it is proved that the full automorphism group of Г is also almost simple with the same socle L.展开更多
The linear arboricity la(G) of a graph G is the minimum number of linear forests which partition the edges of G. Akiyama, Exoo and Harary conjectured that la(G) = [△(G)+1/2] for any regular graph G. In this paper, we...The linear arboricity la(G) of a graph G is the minimum number of linear forests which partition the edges of G. Akiyama, Exoo and Harary conjectured that la(G) = [△(G)+1/2] for any regular graph G. In this paper, we prove the conjecture for some composition graphs, in particular, for complete multipartite graphs.展开更多
We consider even factors with a bounded number of components in the n-times iterated line graphs L^n(G). We present a characterization of a simple graph G such that L^n(G) has an even factor with at most k components,...We consider even factors with a bounded number of components in the n-times iterated line graphs L^n(G). We present a characterization of a simple graph G such that L^n(G) has an even factor with at most k components, based on the existence of a certain type of subgraphs in G. Moreover, we use this result to give some upper bounds for the minimum number of components of even factors in L^n(G) and also show that the minimum number of components of even factors in L^n(G) is stable under the closure operation on a claw-free graph G, which extends some known results. Our results show that it seems to be NP-hard to determine the minimum number of components of even factors of iterated line graphs. We also propose some problems for further research.展开更多
In our context,the planetary many-body problem consists of studying the motion of(n+1)-bodies under the mutual attraction of gravitation,where n planets move around a massive central body,the Sun.We establish the exis...In our context,the planetary many-body problem consists of studying the motion of(n+1)-bodies under the mutual attraction of gravitation,where n planets move around a massive central body,the Sun.We establish the existence of real analytic lower dimensional elliptic invariant tori with intermediate dimension N lies between n and 3n-1 for the spatial planetary many-body problem.Based on a degenerate KolmogorovArnold-Moser(abbr.KAM)theorem proved by Bambusi et al.(2011),Berti and Biasco(2011),we manage to handle the difficulties caused by the degeneracy of this real analytic system.展开更多
基金Supported by the National Natural Science Foundation of China (30860084,60673014,60263005)the Backbone Young Teachers Foundation of Fujian Normal University(2008100244)the Department of Education Foundation of Fujian Province (ZA09047)~~
文摘Reduced Q-matrix (Qr matrix) plays an important role in the rule space model (RSM) and the attribute hierarchy method (AHM). Based on the attribute hierarchy, a valid/invalid item is defined. The judgment method of the valid/invalid item is developed on the relation between reachability matrix and valid items. And valid items are explained from the perspective of graph theory. An incremental augment algorithm for constructing Qr matrix is proposed based on the idea of incremental forward regression, and its validity is theoretically considered. Results of empirical tests are given in order to compare the performance of the incremental augment algo-rithm and the Tatsuoka algorithm upon the running time. Empirical evidence shows that the algorithm outper-forms the Tatsuoka algorithm, and the analysis of the two algorithms also show linear growth with respect to the number of valid items. Mathematical models with 10 attributes are built for the two algorithms by the linear regression analysis.
文摘The mode characteristics for twin coupled microdisks are investigated by finite-difference time-domain technique. In the coupled microdisks,the same order whispering-gallery(WG) modes can form coupled modes with split mode wavelengths. We find that the coupled fundamental and first order WG modes can have anticrossing mode coupling as their wavelengths approach the same value in some case,which prevents the cross of the coupled mode wavelengths. The anticrossing mode coupling greatly reduces the coupled mode Q-factor,because the coupled mode field distribution transfers between the fundamental and the first order WG modes.
基金The National Natural Science Foundation of China(No.6505000184)the National Key Research and Development Program of China(No.2016YFC0701400)
文摘In order to improve the computation efficiency and simulation accuracy,a novel simplified simulation method for friction pendulum bearing( FPB) is proposed. The behavior of FPB was analyzed based on the stress characteristics of the slider of FPB. Then,a novel simplified FPB model with a single pendulum and a nonlinear spring was established. The mechanical behavior of the simplified model was analyzed and it conformed well to the basic requirements of FPB. Furthermore,shaking table tests of a concrete slab block structure isolated by four FPBs were carried out, followed by finite element simulations of the test using the proposed simplified model.Three waves and eleven loading scenarios were selected in the test. The results show that the overall trend of the relative displacement time-history curves,the horizontal acceleration time-history curves and the vertical acceleration time-history curves from the numerical simulation match in a good manner with those obtained from the tests. Specifically,it is found that the difference of the peak value within these curves between the simulation and test results is less than 15%,which means that the proposed simplified model can be used to simulate the FPB behaviors under dynamic loadings with acceptable accuracy for engineering purposes.
基金Project(50678176) supported by the National Natural Science Foundation of China
文摘Based on the construction bridge of Xiamen-Shenzhen high-speed railway(9-32 m simply-supported beam + 6×32 m continuous beam),the pier-beam-track finite element model,where the continuous beam of the ballast track and simply-supported beam are combined with each other,was established.The laws of the track stress,the pier longitudinal stress and the beam-track relative displacement were analyzed.The results show that reducing the longitudinal resistance can effectively reduce the track stress and the pier stress of the continuous beam,and increase the beam-track relative displacement.Increasing the rigid pier stiffness of continuous beam can reduce the track braking stress,increase the pier longitudinal stress and reduce the beam-track relative displacement,Increasing the rigid pier stiffness of simply-supported beam can reduce the track braking stress,the rigid pier longitudinal stress and the beam-track relative displacement.
文摘A known result by Jackson Bill is that every 2-connected k-regular graph on at most 3k vertices is Hamiltonian. In this paper,it is proved that every 2-connected k-regular claw-free graph on at most 5k(k≥10)vertices is Hamiltonian. Moreover, the bound 5k is best possible. A counterexample of a 2-connected k-regular claw-free non-Hamiltonian graph on 5k+1 vertices is given, and it is conjectured that every 3-connected k-regular claw-free graph on at most 12k-7 vertices is Hamiltonian.
文摘This work deals with the power exponent 1rand 2r respectively of the maximal and second-maximal prime factors of the order of simple K4-group, and the classification for simple 4{5,7}K--group G (i.e. G can not be divided by 5 nor by 7 or ()Gp= 4 ), simple 5 -4K-group G (i.e. G can not divided by 5 and ()Gp=4) and simple 7-4K-group G (i.e. G can not divided by 7 and ()Gp= 4). It is derived that 1r =1, 2 and 4, and 2r is not greater than 4. All the simple 4K-groups with order 235,237abcdabcdpp and 2357abcd are obtained.
文摘There have been a great many of studies on the pointed representations of fi- nite-dimensional sanple Lie algebras.cf.[1][2]etc.In this paper we give a new proof of an impottant Lemma,and from this we derive our main result:Irreducible pointed modules of finite -dimesional simple Lie algebras are all Harish-Chandra modules.
文摘Optimization of an automotive body structure faces the difficulty of having too many design variables and a too large design search space. A simplified model of body-in-prime(BIP) can solve this difficulty by reducing the number of design variables. In this study, to achieve lighter weight and higher stiffness, the simplified model of BIP was developed and combined with an optimization procedure;consequently, optimal designs of automotive body B-pillar were produced. B-pillar was divided into four quarters and each quarter was modelled by one simplified beam. In the optimization procedure, depth, width, and thickness of the simplified beams were considered as the design variables.Weight, bending and torsional stiffness were also considered as objective functions. The optimization procedure is composed of six stages: designing the experiments, calculating grey relational grade, calculating signal-to noise ratio,finding an optimum design using Taguchi grey relational analysis, performing sensitivity analysis using analysis of variance(ANOVA) and performing non-dominated sorting and multi-criteria decision making. The results show that the width of lower B-pillar has the highest effect(about 55%) and the obtained optimum design point could reduce the weight of B-pillar by about 40% without reducing the BIP stiffness by more than 1.47%.
基金Fund of Science and Technology Develop-ment of Shanghai ( No.0 2 ZF14 0 5 6)
文摘Based on finite element method and finite strip method, a simplified approach was presented to analyze high rise frame tube structures. The generalized strip element is introduced and then the generalized stiffness matrices for beam and column line are derived by using the displacement functions that describe the nodal displacements and displacement transforms. Furthermore, the formulas for the generalized stiffness matrix of generalized strip element and load arrays corresponding to the displacement parameters were developed. It is shown through a series of numerical computation that the nodal angular displacements at the same floor in a generalized strip element are approximately identical. A comparison of the finite element method and the finite strip method shows that the simplified approach not only is accurate, but also reduces the number of basic unknown quantities.
基金This work was supported by the National Natural Science Foundation of China (Grant No. 69873002).
文摘A graph Г is said to be G-locally primitive, where G is a subgroup of automorphisms of Г, if the stabiliser Ga of a vertex α acts primitively on the set Г( α ) of vertices of Г adjacent to α. For a finite non-abelian simple group L and a Cayley subset S of L, suppose that L ? G ? Aut( L), and the Cayley graph Г = Cay ( L, S) is G-locally primitive. In this paper we prove that L is a simple group of Lie type, and either the valency of Г is an add prine divisor of |Out(L)|, orL =PΩ 8 + (q) and Г has valency 4. In either cases, it is proved that the full automorphism group of Г is also almost simple with the same socle L.
基金This work is partially supported by National Natural Science foundation of China Doctoral foundation of the Education Committee of China.
文摘The linear arboricity la(G) of a graph G is the minimum number of linear forests which partition the edges of G. Akiyama, Exoo and Harary conjectured that la(G) = [△(G)+1/2] for any regular graph G. In this paper, we prove the conjecture for some composition graphs, in particular, for complete multipartite graphs.
基金supported by National Natural Science Foundation of China (Grant Nos. 11471037 and 11171129)Specialized Research Fund for the Doctoral Program of Higher Education (Grant No. 20131101110048)
文摘We consider even factors with a bounded number of components in the n-times iterated line graphs L^n(G). We present a characterization of a simple graph G such that L^n(G) has an even factor with at most k components, based on the existence of a certain type of subgraphs in G. Moreover, we use this result to give some upper bounds for the minimum number of components of even factors in L^n(G) and also show that the minimum number of components of even factors in L^n(G) is stable under the closure operation on a claw-free graph G, which extends some known results. Our results show that it seems to be NP-hard to determine the minimum number of components of even factors of iterated line graphs. We also propose some problems for further research.
文摘In our context,the planetary many-body problem consists of studying the motion of(n+1)-bodies under the mutual attraction of gravitation,where n planets move around a massive central body,the Sun.We establish the existence of real analytic lower dimensional elliptic invariant tori with intermediate dimension N lies between n and 3n-1 for the spatial planetary many-body problem.Based on a degenerate KolmogorovArnold-Moser(abbr.KAM)theorem proved by Bambusi et al.(2011),Berti and Biasco(2011),we manage to handle the difficulties caused by the degeneracy of this real analytic system.