Rehabilitation of existing structures with fiber reinforced plastic(FRP)has been growing in popularity because they offer superior performance in terms of resistance to corrosion and high specific stiffness.The strain...Rehabilitation of existing structures with fiber reinforced plastic(FRP)has been growing in popularity because they offer superior performance in terms of resistance to corrosion and high specific stiffness.The strain coordination results of 34 reinforced concrete beams(four groups)strengthened with different methods were presented including external-bonded or near-surface mounted glass or carbon FRP or helical rib bar in order to study the strain coordination of the strengthening materials and steel rebar of RC beam.Because there is relative slipping between concrete and strengthening materials(SM),the strain of SM and steel rebar of RC beam satisfies the double linear strain distribution assumption,that is,the strain of longitudinal fiber parallel to the neutral axis of plated beam within the scope of effective height(h0)of the cross section is in direct proportion to the distance from the fiber to the neutral axis.The strain of SM and steel rebar satisfies the equation εGCH=βεsteel,where the value of β is equal to 1.1-1.3 according to the test results.展开更多
Recent seismic events have raised concerns over the safety and vulnerability of reinforced concrete moment resisting frame ＂RC-MRF＂ buildings. The seismic response of such buildings is greatly dependent on the compu...Recent seismic events have raised concerns over the safety and vulnerability of reinforced concrete moment resisting frame ＂RC-MRF＂ buildings. The seismic response of such buildings is greatly dependent on the computational tools used and the inherent assumptions in the modelling process. Thus, it is essential to investigate the sensitivity of the response demands to the corresponding modelling assumption. Many parameters and assumptions are justified to generate effective structural finite element（FE） models of buildings to simulate lateral behaviour and evaluate seismic design demands. As such, the present study focuses on the development of reliable FE models with various levels of refinement. The effects of the FE modelling assumptions on the seismic response demands on the design of buildings are investigated. the predictive ability of a FE model is tied to the accuracy of numerical analysis; a numerical analysis is performed for a series of symmetric buildings in active seismic zones. The results of the seismic response demands are presented in a comparative format to confirm drift and strength limits requirements. A proposed model is formulated based on a simplified modeling approach, where the most refined model is used to calibrate the simplified model.展开更多
Background:Familiarity with a simulation platform can seduce modellers into accepting untested assumptions for convenience of implementation.These assumptions may have consequences greater than commonly suspected,and ...Background:Familiarity with a simulation platform can seduce modellers into accepting untested assumptions for convenience of implementation.These assumptions may have consequences greater than commonly suspected,and it is important that modellers remain mindful of assumptions and remain diligent with sensitivity testing.Methods:Familiarity with a technique can lead to complacency,and alternative approaches and software can reveal untested assumptions.Visual modelling environments based on system dynamics may help to make critical assumptions more evident by offering an accessible visual overview and empowering a focus on representational rather than computational efficiency.This capacity is illustrated using a cohort-based forest growth model developed for mixed species forest.Results:The alternative model implementation revealed that untested assumptions in the original model could have substantial influence on simulated outcomes.Conclusions:An important implication is that modellers should remain conscious of all assumptions,consider alternative implementations that reveal assumptions more clearly,and conduct sensitivity tests to inform decisions.展开更多
Mechanisms of animal learning and memory were traditionally studied without reference to niche-specific functional considerations. More recently, ecological demands have informed such investigations, most notably with...Mechanisms of animal learning and memory were traditionally studied without reference to niche-specific functional considerations. More recently, ecological demands have informed such investigations, most notably with respect to foraging in birds. In parallel, behavioural ecologists, primarily concerned with functional optimization, have begun to consider the role of mechanistic factors, including cognition, to explain apparent deviations from optimal predictions. In the present paper we discuss the application of laboratory-based constructs and paradigms of cognition to the real-world challenges faced by avian foragers. We argue that such applications have been handicapped by what we term the ＇paradigmatic assumption＇ - the assumption that a given laboratory paradigm maps well enough onto a congruent cognitive mechanism （or cognitive ability） to justify confiation of the two. We present evidence against the paradigmatic assumption and suggest that to achieve a profitable integration between function and mechanism, with respect to animal cognition, a new conceptualization of cognitive mechanisms - functional cogni- tion - is required. This new conceptualization should define cognitive mechanisms based on the informational properties of the animal＇s environment and the adaptive challenges faced. Cognitive mechanisms must be examined in settings that mimic the im- portant aspects of the natural environment, using customized tasks designed to probe defined aspects of the mechanisms＇ opera- tion. We suggest that this approach will facilitate investigations of the functional and evolutionary relevance of cognitive mecha- nisms, as well as the patterns of divergence, convergence and specialization of cognitive mechanisms within and between species .展开更多
Inspired by the framework of Boyen, in this paper, an attribute-based signature（ABS） scheme from lattice assumption is proposed. In this attribute-based signature scheme, an entity＇s attributes set corresponds to t...Inspired by the framework of Boyen, in this paper, an attribute-based signature（ABS） scheme from lattice assumption is proposed. In this attribute-based signature scheme, an entity＇s attributes set corresponds to the concatenation of a lattice matrix with the sum of some random matrices, and the signature vector is generated by using the Preimage Sampling algorithm. Compared with current attribute-based signature schemes, this scheme can resist quantum attacks and enjoy shorter public-key, smaller signature size and higher efficiency.展开更多
The distribution of shear stress on the cross-section of plastic metal solid circular shaft under pure torsion yielding, the applicability of complete plastic model assumption and the shear stress formula were researc...The distribution of shear stress on the cross-section of plastic metal solid circular shaft under pure torsion yielding, the applicability of complete plastic model assumption and the shear stress formula were researched. Based on the shear stress formula of circular shaft under pure torsion in elastic stage, the formula of torque in elastic stage and the definition of yield, it is obtained that the yielding stage of plastic metal shaft under pure torsion is only a surface phenomenon of torque-torsion angle relationship, and the distribution of shear stress is essentially different from that of tensile stress when yielding under uniaxial tension. The pure torsion platform-torsion angle and the shape of torque-torsion angle curve cannot change the distribution of shear stress on the shaft cross-section. The distribution of shear stress is still linear with the maximum shear stress ts. The complete plasticity model assumption is not in accordance with the actual situation of shaft under torsion. The experimental strength data of nine plastic metals are consistent with the calculated results of the new limiting strain energy strength theory （LSEST）. The traditional yield stress formula for plastic shaft under torsion is reasonable. The shear stress formula based on the plane assumption in material mechanics is applicable for all loaded stages of torsion shaft.展开更多
The article is devoted to hitherto never undertaken applying an almost unknown logically formalized axiomatic epistemology-and-axiology system called “Sigma-V” to the Third Newton’s Law of mechanics. The author has...The article is devoted to hitherto never undertaken applying an almost unknown logically formalized axiomatic epistemology-and-axiology system called “Sigma-V” to the Third Newton’s Law of mechanics. The author has continued investigating the extraordinary (paradigm-breaking) hypothesis of formal-axiological interpreting Newton’s mathematical principles of natural philosophy and, thus, has arrived to discrete mathematical modeling a system of formal axiology of nature by extracting and systematical studying its proper algebraic aspect. Along with the proper algebraic machinery, the axiomatic (hypothetic-deductive) method is exploited in this investigation systematically. The research results are the followings. 1) The Third Newton’s Law of mechanics has been modeled by a formal-axiological equation of two-valued algebraic system of metaphysics as formal axiology. (Precise defining the algebraic system is provided.) The formal-axiological equation has been established (and examined) in this algebraic system by accurate computing compositions of relevant evaluation-functions. Precise tabular definitions of the evaluation-functions are given. 2) The wonderful formula representing the Third Newton’s Law (in the relevant physical interpretation of the formal theory Sigma-V) has been derived logically in Sigma-V from the presumption of a-priori-ness of knowledge. A precise axiomatic definition of the nontrivial notion “a-priori-ness of knowledge” is given. The formal derivation is implemented in strict accordance with the rigor standard of D. Hilbert’s formalism;hence, checking the formal derivation submitted in this article is not a difficult task. With respect to proper theoretical physics, the formal inference is a nontrivial scientific novelty which has not been discussed and published elsewhere yet.展开更多
This paper presents a thorough study of the effect of the Constant Eddy Viscosity(CEV)assumption on the optimization of a discrete adjoint-based design optimization system.First,the algorithms of the adjoint methods w...This paper presents a thorough study of the effect of the Constant Eddy Viscosity(CEV)assumption on the optimization of a discrete adjoint-based design optimization system.First,the algorithms of the adjoint methods with and without the CEV assumption are presented,followed by a discussion of the two methods’solution stability.Second,the sensitivity accuracy,adjoint solution stability,and Root Mean Square(RMS)residual convergence rates at both design and offdesign operating points are compared between the CEV and full viscosity adjoint methods in detail.Finally,a multi-point steady aerodynamic and a multi-objective unsteady aerodynamic and aeroelastic coupled design optimizations are performed to study the impact of the CEV assumption on optimization.Two gradient-based optimizers,the Sequential Least-Square Quadratic Programming(SLSQP)method and Steepest Descent Method(SDM)are respectively used to draw a firm conclusion.The results from the transonic NASA Rotor 67 show that the CEV assumption can deteriorate RMS residual convergence rates and even lead to solution instability,especially at a near stall point.Compared with the steady cases,the effect of the CEV assumption on unsteady sensitivity accuracy is much stronger.Nevertheless,the CEV adjoint solver is still capable of achieving optimization goals to some extent,particularly if the flow under consideration is benign.展开更多
This study is focused on the mineralogical and chemical compositions,deposition environment and mechanism of formation of sediments of Kyzyltokoy basin.By an interpretation of formation,an environment of sedimentation...This study is focused on the mineralogical and chemical compositions,deposition environment and mechanism of formation of sediments of Kyzyltokoy basin.By an interpretation of formation,an environment of sedimentation of a basin was separated into three general conditions:a condition where glauconitization process interrupted,where process reached a completion and where occurred decay of glauconites,i.e.,the beginning and interruption in the middle of glauconitization,completion of the展开更多
Recently, many bit commitment schemes have been presented. This paper presents a new practical bit commitment scheme based on Schnorr's one-time knowledge proof scheme,where the use of cut-and-choose method and ma...Recently, many bit commitment schemes have been presented. This paper presents a new practical bit commitment scheme based on Schnorr's one-time knowledge proof scheme,where the use of cut-and-choose method and many random exam candidates in the protocols are replaced by a single challenge number. Therefore the proposed bit commitment scheme is more efficient and practical than the previous schemes In addition, the security of the proposed scheme under factoring assumption is proved, thus the cryptographic basis of the proposed scheme is clarified.展开更多
Based on the general theory of elastic plates which abandons Kirchhoff-Loveassunption in the classical theory. this paper establishes a first order approximationtheory of elastic circular plates with non-Kirchhoff-Lov...Based on the general theory of elastic plates which abandons Kirchhoff-Loveassunption in the classical theory. this paper establishes a first order approximationtheory of elastic circular plates with non-Kirchhoff-Love assumption, and presents ananalytic solution to the axisymmetric problem of elastic circular plates with clampedboundary under uniformly distributed load. By comparing with the classical solution ofthe thin circular plates, it is verified that the new solution is closer to the experimentresults than the classical solution. By virtue of the new theory. the influence of thediameter-to=thickness ratio upon the precision of the classical theory is examined.展开更多
SUMMARY Linear regression is widely used in biomedical and psychosocial research.A critical assumption that is often overlooked is homoscedasticity.Unlike normality,the other assumption on data distribution,homoscedas...SUMMARY Linear regression is widely used in biomedical and psychosocial research.A critical assumption that is often overlooked is homoscedasticity.Unlike normality,the other assumption on data distribution,homoscedasticity is often taken for granted when fitting linear regression models.However,contrary to popular belief,this assumption actually has a bigger impact on validity of linear regression results than normality.In this report,we use Monte Carlo simulation studies to investigate and compare their effects on validity of inference.展开更多
The design and analysis of authenticated key exchange protocol is an important problem in information security area. At present, extended Canetti-Krawczyk (eCK) model provides the strongest definition of security for ...The design and analysis of authenticated key exchange protocol is an important problem in information security area. At present, extended Canetti-Krawczyk (eCK) model provides the strongest definition of security for two party key agreement protocol, however most of the current secure protocols can not be prove to secure without Gap assumption. To avoid this phenomenon, by using twinning key technology we propose a new two party key agreement protocol TUP which is obtained by modifying the UP protocol, then in conjunction with the trapdoor test, we prove strictly that the new protocol is secure in eCK model. Compared with previous protocols, the security assumption of new proposal is more standard and weaker, and it also solves an open problem in ProvSec'09.展开更多
The classical small deflection theory of elastic plates id based on the Kirchhoff-Lore assumptions￣[1,2].Ther are used on the basis of the thinness of plate and the smallness of deflection.In terms of Cartesian tens...The classical small deflection theory of elastic plates id based on the Kirchhoff-Lore assumptions￣[1,2].Ther are used on the basis of the thinness of plate and the smallness of deflection.In terms of Cartesian tensor coordinates x_i(i=0, 12)these basic assumptions are:(1)the transversal normal strain may be neglected i.e._(00)=0;(2)the transversal shear strain may be neglected i.e.e_(0α)=0(α= 1, 2)(3)the transversal normal stress may be neglected i.e.. σ_(00)=0 .In classical theory of elastic plates,the strain-displacement relations and the corresponding stress-displacement relations are established on the basis of these assumptions. And the equations of the classical theory for a set of undetermined quantities defined on the middle surface are established through integrating the three dimensional equations of equilibrium of stress over the thickness.In the previous papers￣[3,4,5],an approximation theory is given on the basis of Ihree dimensional theory of elastic plates without using Kirchhoff-Love assumptions。However,no uniqueness study is given,and also the boundary conditions have never been studied. In this paper.the same problems are studied on the basis of generalizedvariational principle of the three dimensional theory of elastic bodies￣[6].The stationary conditions of variation give an unique and complete set of field equations and the related boundary conditions for the approximation theory.In this paper,the first order approximation theory is studied in detail.展开更多
To understand any statistical tool requires not only an understanding of the relevant computational procedures but also an awareness of the assumptions upon which the procedures are based, and the effects of violation...To understand any statistical tool requires not only an understanding of the relevant computational procedures but also an awareness of the assumptions upon which the procedures are based, and the effects of violations of these assumptions. In our earlier articles (Laverty, Miket, & Kelly [1]) and (Laverty & Kelly, [2] [3]) we used Microsoft Excel to simulate both a Hidden Markov model and heteroskedastic models showing different realizations of these models and the performance of the techniques for identifying the underlying hidden states using simulated data. The advantage of using Excel is that the simulations are regenerated when the spreadsheet is recalculated allowing the user to observe the performance of the statistical technique under different realizations of the data. In this article we will show how to use Excel to generate data from a one-way ANOVA (Analysis of Variance) model and how the statistical methods behave both when the fundamental assumptions of the model hold and when these assumptions are violated. The purpose of this article is to provide tools for individuals to gain an intuitive understanding of these violations using this readily available program.展开更多
One of the key assumptions in respondent-driven sampling (RDS) analysis, called “random selection assumption,” is that respondents randomly recruit their peers from their personal networks. The objective of this stu...One of the key assumptions in respondent-driven sampling (RDS) analysis, called “random selection assumption,” is that respondents randomly recruit their peers from their personal networks. The objective of this study was to verify this assumption in the empirical data of egocentric networks. Methods: We conducted an egocentric network study among young drug users in China, in which RDS was used to recruit this hard-to-reach population. If the random recruitment assumption holds, the RDS-estimated population proportions should be similar to the actual population proportions. Following this logic, we first calculated the population proportions of five visible variables (gender, age, education, marital status, and drug use mode) among the total drug-use alters from which the RDS sample was drawn, and then estimated the RDS-adjusted population proportions and their 95% confidence intervals in the RDS sample. Theoretically, if the random recruitment assumption holds, the 95% confidence intervals estimated in the RDS sample should include the population proportions calculated in the total drug-use alters. Results: The evaluation of the RDS sample indicated its success in reaching the convergence of RDS compositions and including a broad cross-section of the hidden population. Findings demonstrate that the random selection assumption holds for three group traits, but not for two others. Specifically, egos randomly recruited subjects in different age groups, marital status, or drug use modes from their network alters, but not in gender and education levels. Conclusions: This study demonstrates the occurrence of non-random recruitment, indicating that the recruitment of subjects in this RDS study was not completely at random. Future studies are needed to assess the extent to which the population proportion estimates can be biased when the violation of the assumption occurs in some group traits in RDS samples.展开更多
In this paper, the theory of elastic circular plate with no classical Kirchhoff-Love assumptions is established on the basis of a previous paper. In this theory, no classical Kirchhoff-Love assumptions are pre-assumed...In this paper, the theory of elastic circular plate with no classical Kirchhoff-Love assumptions is established on the basis of a previous paper. In this theory, no classical Kirchhoff-Love assumptions are pre-assumed and the axial symmetrical analytic solution of fixed circular plate under the action of uniform pressure is obtained. Comparison of this solution and the known classical solution shows that this new solution agrees better than classical solution with the experiment measurement.This gives also the quantitative effect of the thickness on the deflection of circular plate with moderate thickness.展开更多
How managers’ knowledge and beliefs of human nature are formed and manifested has not been fully explored in the context of Chinese society going through rapid transition nowadays. And yet this could be the missing l...How managers’ knowledge and beliefs of human nature are formed and manifested has not been fully explored in the context of Chinese society going through rapid transition nowadays. And yet this could be the missing link in our discourse on Chinese managers. Based on a qualitative study conducted in Quanzhou, China, this study found certain assumptions of human nature that are deeply embedded in their managers’ intellectual framework, which in turn guide their managerial behaviours in diverse aspects of their work. Unless the managers are prepared to examine their own thoughts, especially those at the sub-conscious level, they would remain prisoners of their own thought, and all the efforts directed at transforming managers would be seriously compromised.展开更多
Regression estimates are biased when potential confounders are omitted or when there are other similar risks to validity.The instrumental variable(IV)method can be used instead to obtain less biased estimates or to st...Regression estimates are biased when potential confounders are omitted or when there are other similar risks to validity.The instrumental variable(IV)method can be used instead to obtain less biased estimates or to strengthen causal inferences.One key assumption critical to the validity of the IV method is the exclusion assumption,which requires instruments to be correlated with the outcome variable only through endogenous predictors.The chi-square test of model fit is widely used as a diagnostic test for this assumption.Previous simulation studies assessed the power of this diagnostic test only in situations with strong violations of the exclusion assumption.However,low to moderate levels of assumption violation are not uncommon in reality,especially when the exclusion assumption is violated indirectly.In this study,we showed through Monte Carlo simulations that the chi-square model fit test suffered from a severe lack of power(<30%)to detect violations of the exclusion assumption when the level of violation was of typical size,and the IV causal inferences were severely inaccurate and misleading in this case.We thus advise using the IV method with caution unless there is a chance for thorough assumption diagnostics,like in meta-analyses or experiments.展开更多
基金Project(11B033)supported by the Foundation for Excellent Young Scholars of Hunan Scientific Committee,ChinaProject(116001)supported by the Consultative Program of the Chinese Academy of Engineering+1 种基金Project(11JJ6040)supported by the National Natural Science Foundation of Hunan Province,ChinaProject(2010GK3198)supported by the Science and Research Program of Hunan Province,China
文摘Rehabilitation of existing structures with fiber reinforced plastic(FRP)has been growing in popularity because they offer superior performance in terms of resistance to corrosion and high specific stiffness.The strain coordination results of 34 reinforced concrete beams(four groups)strengthened with different methods were presented including external-bonded or near-surface mounted glass or carbon FRP or helical rib bar in order to study the strain coordination of the strengthening materials and steel rebar of RC beam.Because there is relative slipping between concrete and strengthening materials(SM),the strain of SM and steel rebar of RC beam satisfies the double linear strain distribution assumption,that is,the strain of longitudinal fiber parallel to the neutral axis of plated beam within the scope of effective height(h0)of the cross section is in direct proportion to the distance from the fiber to the neutral axis.The strain of SM and steel rebar satisfies the equation εGCH=βεsteel,where the value of β is equal to 1.1-1.3 according to the test results.
基金Scientific Research Deanship,Taibah University Grant No.6363/436
文摘Recent seismic events have raised concerns over the safety and vulnerability of reinforced concrete moment resisting frame ＂RC-MRF＂ buildings. The seismic response of such buildings is greatly dependent on the computational tools used and the inherent assumptions in the modelling process. Thus, it is essential to investigate the sensitivity of the response demands to the corresponding modelling assumption. Many parameters and assumptions are justified to generate effective structural finite element（FE） models of buildings to simulate lateral behaviour and evaluate seismic design demands. As such, the present study focuses on the development of reliable FE models with various levels of refinement. The effects of the FE modelling assumptions on the seismic response demands on the design of buildings are investigated. the predictive ability of a FE model is tied to the accuracy of numerical analysis; a numerical analysis is performed for a series of symmetric buildings in active seismic zones. The results of the seismic response demands are presented in a comparative format to confirm drift and strength limits requirements. A proposed model is formulated based on a simplified modeling approach, where the most refined model is used to calibrate the simplified model.
文摘Background:Familiarity with a simulation platform can seduce modellers into accepting untested assumptions for convenience of implementation.These assumptions may have consequences greater than commonly suspected,and it is important that modellers remain mindful of assumptions and remain diligent with sensitivity testing.Methods:Familiarity with a technique can lead to complacency,and alternative approaches and software can reveal untested assumptions.Visual modelling environments based on system dynamics may help to make critical assumptions more evident by offering an accessible visual overview and empowering a focus on representational rather than computational efficiency.This capacity is illustrated using a cohort-based forest growth model developed for mixed species forest.Results:The alternative model implementation revealed that untested assumptions in the original model could have substantial influence on simulated outcomes.Conclusions:An important implication is that modellers should remain conscious of all assumptions,consider alternative implementations that reveal assumptions more clearly,and conduct sensitivity tests to inform decisions.
文摘Mechanisms of animal learning and memory were traditionally studied without reference to niche-specific functional considerations. More recently, ecological demands have informed such investigations, most notably with respect to foraging in birds. In parallel, behavioural ecologists, primarily concerned with functional optimization, have begun to consider the role of mechanistic factors, including cognition, to explain apparent deviations from optimal predictions. In the present paper we discuss the application of laboratory-based constructs and paradigms of cognition to the real-world challenges faced by avian foragers. We argue that such applications have been handicapped by what we term the ＇paradigmatic assumption＇ - the assumption that a given laboratory paradigm maps well enough onto a congruent cognitive mechanism （or cognitive ability） to justify confiation of the two. We present evidence against the paradigmatic assumption and suggest that to achieve a profitable integration between function and mechanism, with respect to animal cognition, a new conceptualization of cognitive mechanisms - functional cogni- tion - is required. This new conceptualization should define cognitive mechanisms based on the informational properties of the animal＇s environment and the adaptive challenges faced. Cognitive mechanisms must be examined in settings that mimic the im- portant aspects of the natural environment, using customized tasks designed to probe defined aspects of the mechanisms＇ opera- tion. We suggest that this approach will facilitate investigations of the functional and evolutionary relevance of cognitive mecha- nisms, as well as the patterns of divergence, convergence and specialization of cognitive mechanisms within and between species .
基金Supported by the National Natural Science Foundation of China(61173151,61472309)
文摘Inspired by the framework of Boyen, in this paper, an attribute-based signature（ABS） scheme from lattice assumption is proposed. In this attribute-based signature scheme, an entity＇s attributes set corresponds to the concatenation of a lattice matrix with the sum of some random matrices, and the signature vector is generated by using the Preimage Sampling algorithm. Compared with current attribute-based signature schemes, this scheme can resist quantum attacks and enjoy shorter public-key, smaller signature size and higher efficiency.
文摘The distribution of shear stress on the cross-section of plastic metal solid circular shaft under pure torsion yielding, the applicability of complete plastic model assumption and the shear stress formula were researched. Based on the shear stress formula of circular shaft under pure torsion in elastic stage, the formula of torque in elastic stage and the definition of yield, it is obtained that the yielding stage of plastic metal shaft under pure torsion is only a surface phenomenon of torque-torsion angle relationship, and the distribution of shear stress is essentially different from that of tensile stress when yielding under uniaxial tension. The pure torsion platform-torsion angle and the shape of torque-torsion angle curve cannot change the distribution of shear stress on the shaft cross-section. The distribution of shear stress is still linear with the maximum shear stress ts. The complete plasticity model assumption is not in accordance with the actual situation of shaft under torsion. The experimental strength data of nine plastic metals are consistent with the calculated results of the new limiting strain energy strength theory （LSEST）. The traditional yield stress formula for plastic shaft under torsion is reasonable. The shear stress formula based on the plane assumption in material mechanics is applicable for all loaded stages of torsion shaft.
文摘The article is devoted to hitherto never undertaken applying an almost unknown logically formalized axiomatic epistemology-and-axiology system called “Sigma-V” to the Third Newton’s Law of mechanics. The author has continued investigating the extraordinary (paradigm-breaking) hypothesis of formal-axiological interpreting Newton’s mathematical principles of natural philosophy and, thus, has arrived to discrete mathematical modeling a system of formal axiology of nature by extracting and systematical studying its proper algebraic aspect. Along with the proper algebraic machinery, the axiomatic (hypothetic-deductive) method is exploited in this investigation systematically. The research results are the followings. 1) The Third Newton’s Law of mechanics has been modeled by a formal-axiological equation of two-valued algebraic system of metaphysics as formal axiology. (Precise defining the algebraic system is provided.) The formal-axiological equation has been established (and examined) in this algebraic system by accurate computing compositions of relevant evaluation-functions. Precise tabular definitions of the evaluation-functions are given. 2) The wonderful formula representing the Third Newton’s Law (in the relevant physical interpretation of the formal theory Sigma-V) has been derived logically in Sigma-V from the presumption of a-priori-ness of knowledge. A precise axiomatic definition of the nontrivial notion “a-priori-ness of knowledge” is given. The formal derivation is implemented in strict accordance with the rigor standard of D. Hilbert’s formalism;hence, checking the formal derivation submitted in this article is not a difficult task. With respect to proper theoretical physics, the formal inference is a nontrivial scientific novelty which has not been discussed and published elsewhere yet.
基金supported by the National Science and Technology Major Project,China(No.2017-II-0009-0023)China’s 111 project(No.B17037)sponsored by Innovation Foundation for Doctor Dissertation of Northwestern Polytechnical University,China.
文摘This paper presents a thorough study of the effect of the Constant Eddy Viscosity(CEV)assumption on the optimization of a discrete adjoint-based design optimization system.First,the algorithms of the adjoint methods with and without the CEV assumption are presented,followed by a discussion of the two methods’solution stability.Second,the sensitivity accuracy,adjoint solution stability,and Root Mean Square(RMS)residual convergence rates at both design and offdesign operating points are compared between the CEV and full viscosity adjoint methods in detail.Finally,a multi-point steady aerodynamic and a multi-objective unsteady aerodynamic and aeroelastic coupled design optimizations are performed to study the impact of the CEV assumption on optimization.Two gradient-based optimizers,the Sequential Least-Square Quadratic Programming(SLSQP)method and Steepest Descent Method(SDM)are respectively used to draw a firm conclusion.The results from the transonic NASA Rotor 67 show that the CEV assumption can deteriorate RMS residual convergence rates and even lead to solution instability,especially at a near stall point.Compared with the steady cases,the effect of the CEV assumption on unsteady sensitivity accuracy is much stronger.Nevertheless,the CEV adjoint solver is still capable of achieving optimization goals to some extent,particularly if the flow under consideration is benign.
文摘This study is focused on the mineralogical and chemical compositions,deposition environment and mechanism of formation of sediments of Kyzyltokoy basin.By an interpretation of formation,an environment of sedimentation of a basin was separated into three general conditions:a condition where glauconitization process interrupted,where process reached a completion and where occurred decay of glauconites,i.e.,the beginning and interruption in the middle of glauconitization,completion of the
基金Supported by the National Natural Science Foundation of China(No.69772035,69882002) and "863" Programme
文摘Recently, many bit commitment schemes have been presented. This paper presents a new practical bit commitment scheme based on Schnorr's one-time knowledge proof scheme,where the use of cut-and-choose method and many random exam candidates in the protocols are replaced by a single challenge number. Therefore the proposed bit commitment scheme is more efficient and practical than the previous schemes In addition, the security of the proposed scheme under factoring assumption is proved, thus the cryptographic basis of the proposed scheme is clarified.
文摘Based on the general theory of elastic plates which abandons Kirchhoff-Loveassunption in the classical theory. this paper establishes a first order approximationtheory of elastic circular plates with non-Kirchhoff-Love assumption, and presents ananalytic solution to the axisymmetric problem of elastic circular plates with clampedboundary under uniformly distributed load. By comparing with the classical solution ofthe thin circular plates, it is verified that the new solution is closer to the experimentresults than the classical solution. By virtue of the new theory. the influence of thediameter-to=thickness ratio upon the precision of the classical theory is examined.
文摘SUMMARY Linear regression is widely used in biomedical and psychosocial research.A critical assumption that is often overlooked is homoscedasticity.Unlike normality,the other assumption on data distribution,homoscedasticity is often taken for granted when fitting linear regression models.However,contrary to popular belief,this assumption actually has a bigger impact on validity of linear regression results than normality.In this report,we use Monte Carlo simulation studies to investigate and compare their effects on validity of inference.
文摘The design and analysis of authenticated key exchange protocol is an important problem in information security area. At present, extended Canetti-Krawczyk (eCK) model provides the strongest definition of security for two party key agreement protocol, however most of the current secure protocols can not be prove to secure without Gap assumption. To avoid this phenomenon, by using twinning key technology we propose a new two party key agreement protocol TUP which is obtained by modifying the UP protocol, then in conjunction with the trapdoor test, we prove strictly that the new protocol is secure in eCK model. Compared with previous protocols, the security assumption of new proposal is more standard and weaker, and it also solves an open problem in ProvSec'09.
文摘The classical small deflection theory of elastic plates id based on the Kirchhoff-Lore assumptions￣[1,2].Ther are used on the basis of the thinness of plate and the smallness of deflection.In terms of Cartesian tensor coordinates x_i(i=0, 12)these basic assumptions are:(1)the transversal normal strain may be neglected i.e._(00)=0;(2)the transversal shear strain may be neglected i.e.e_(0α)=0(α= 1, 2)(3)the transversal normal stress may be neglected i.e.. σ_(00)=0 .In classical theory of elastic plates,the strain-displacement relations and the corresponding stress-displacement relations are established on the basis of these assumptions. And the equations of the classical theory for a set of undetermined quantities defined on the middle surface are established through integrating the three dimensional equations of equilibrium of stress over the thickness.In the previous papers￣[3,4,5],an approximation theory is given on the basis of Ihree dimensional theory of elastic plates without using Kirchhoff-Love assumptions。However,no uniqueness study is given,and also the boundary conditions have never been studied. In this paper.the same problems are studied on the basis of generalizedvariational principle of the three dimensional theory of elastic bodies￣[6].The stationary conditions of variation give an unique and complete set of field equations and the related boundary conditions for the approximation theory.In this paper,the first order approximation theory is studied in detail.
文摘To understand any statistical tool requires not only an understanding of the relevant computational procedures but also an awareness of the assumptions upon which the procedures are based, and the effects of violations of these assumptions. In our earlier articles (Laverty, Miket, & Kelly [1]) and (Laverty & Kelly, [2] [3]) we used Microsoft Excel to simulate both a Hidden Markov model and heteroskedastic models showing different realizations of these models and the performance of the techniques for identifying the underlying hidden states using simulated data. The advantage of using Excel is that the simulations are regenerated when the spreadsheet is recalculated allowing the user to observe the performance of the statistical technique under different realizations of the data. In this article we will show how to use Excel to generate data from a one-way ANOVA (Analysis of Variance) model and how the statistical methods behave both when the fundamental assumptions of the model hold and when these assumptions are violated. The purpose of this article is to provide tools for individuals to gain an intuitive understanding of these violations using this readily available program.
文摘One of the key assumptions in respondent-driven sampling (RDS) analysis, called “random selection assumption,” is that respondents randomly recruit their peers from their personal networks. The objective of this study was to verify this assumption in the empirical data of egocentric networks. Methods: We conducted an egocentric network study among young drug users in China, in which RDS was used to recruit this hard-to-reach population. If the random recruitment assumption holds, the RDS-estimated population proportions should be similar to the actual population proportions. Following this logic, we first calculated the population proportions of five visible variables (gender, age, education, marital status, and drug use mode) among the total drug-use alters from which the RDS sample was drawn, and then estimated the RDS-adjusted population proportions and their 95% confidence intervals in the RDS sample. Theoretically, if the random recruitment assumption holds, the 95% confidence intervals estimated in the RDS sample should include the population proportions calculated in the total drug-use alters. Results: The evaluation of the RDS sample indicated its success in reaching the convergence of RDS compositions and including a broad cross-section of the hidden population. Findings demonstrate that the random selection assumption holds for three group traits, but not for two others. Specifically, egos randomly recruited subjects in different age groups, marital status, or drug use modes from their network alters, but not in gender and education levels. Conclusions: This study demonstrates the occurrence of non-random recruitment, indicating that the recruitment of subjects in this RDS study was not completely at random. Future studies are needed to assess the extent to which the population proportion estimates can be biased when the violation of the assumption occurs in some group traits in RDS samples.
文摘In this paper, the theory of elastic circular plate with no classical Kirchhoff-Love assumptions is established on the basis of a previous paper. In this theory, no classical Kirchhoff-Love assumptions are pre-assumed and the axial symmetrical analytic solution of fixed circular plate under the action of uniform pressure is obtained. Comparison of this solution and the known classical solution shows that this new solution agrees better than classical solution with the experiment measurement.This gives also the quantitative effect of the thickness on the deflection of circular plate with moderate thickness.
文摘How managers’ knowledge and beliefs of human nature are formed and manifested has not been fully explored in the context of Chinese society going through rapid transition nowadays. And yet this could be the missing link in our discourse on Chinese managers. Based on a qualitative study conducted in Quanzhou, China, this study found certain assumptions of human nature that are deeply embedded in their managers’ intellectual framework, which in turn guide their managerial behaviours in diverse aspects of their work. Unless the managers are prepared to examine their own thoughts, especially those at the sub-conscious level, they would remain prisoners of their own thought, and all the efforts directed at transforming managers would be seriously compromised.
基金supported by Guangdong Basic and Applied Basic Research Foundation(Grant No.2022A1515011986)National Natural Science Foundation of China(Grant No.31700986).
文摘Regression estimates are biased when potential confounders are omitted or when there are other similar risks to validity.The instrumental variable(IV)method can be used instead to obtain less biased estimates or to strengthen causal inferences.One key assumption critical to the validity of the IV method is the exclusion assumption,which requires instruments to be correlated with the outcome variable only through endogenous predictors.The chi-square test of model fit is widely used as a diagnostic test for this assumption.Previous simulation studies assessed the power of this diagnostic test only in situations with strong violations of the exclusion assumption.However,low to moderate levels of assumption violation are not uncommon in reality,especially when the exclusion assumption is violated indirectly.In this study,we showed through Monte Carlo simulations that the chi-square model fit test suffered from a severe lack of power(<30%)to detect violations of the exclusion assumption when the level of violation was of typical size,and the IV causal inferences were severely inaccurate and misleading in this case.We thus advise using the IV method with caution unless there is a chance for thorough assumption diagnostics,like in meta-analyses or experiments.
