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.展开更多
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.展开更多
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.展开更多
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.展开更多
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.展开更多
A simplified calculation of the specimen’s stress-strain curve is generally conducted using the two-wave method by the split Hopkinson pressure bar(SHPB),which aligns the onset of the transmitted and reflected waves....A simplified calculation of the specimen’s stress-strain curve is generally conducted using the two-wave method by the split Hopkinson pressure bar(SHPB),which aligns the onset of the transmitted and reflected waves.However,this approach neglects the travel time of elastic waves within the specimen.Considering the travel time of elastic waves,this study quantitatively investigates the error characteristics and patterns of stress,strain,and strain rate in the specimen under different conditions using the theoretical two-wave method,and compares the results with those obtained using the onset-aligned twowave method.The study reveals that the stress-time curves derived from the theoretical two-wave method are lower than the actual stress curves,whereas those obtained from the onset-aligned two-wave method are consistently higher than the actual stress curves,with the stress deviation approximating a constant value when the dimensionless time exceeds 2.0.The starting point of the stress-strain curves obtained by the theoretical two-wave method is not zero but a point on the strain axis,whereas the onset-aligned two-wave method always starts at zero.However,the slopes of the stress-strain curves obtained by both methods differ from the actual Young’s modulus of the material,and functional relationships between the slopes and the actual Young’s modulus are provided.This research offers theoretical guidance for the refined design of SHPB experiments and the accurate processing of data.展开更多
In this paper, we introduce a notion of the family of closed world assumptions and compare several well-known closed world approaches in the family to the extent to which an incomplete database is com- pleted.
The precise characterization of hypersonic glide vehicle(HGV) maneuver laws in complex flight scenarios still faces challenges. Non-stationary changes in flight state due to abrupt changes in maneuver modes place high...The precise characterization of hypersonic glide vehicle(HGV) maneuver laws in complex flight scenarios still faces challenges. Non-stationary changes in flight state due to abrupt changes in maneuver modes place high demands on the accuracy of modeling methods. To address this issue, a novel maneuver laws modeling and analysis method based on higher order multi-resolution dynamic mode decomposition(HMDMD) is proposed in this work. A joint time-space-frequency decomposition of the vehicle's state sequence in the complex flight scenario is achieved with the higher order Koopman assumption and standard multi-resolution dynamic mode decomposition, and an approximate dynamic model is established. The maneuver laws can be reconstructed and analyzed with extracted multi-scale spatiotemporal modes with clear physical meaning. Based on the dynamic model of HGV, two flight scenarios are established with constant angle of attack and complex maneuver laws, respectively. Simulation results demonstrate that the maneuver laws obtained using the HMDMD method are highly consistent with those derived from the real dynamic model, the modeling accuracy is better than other common modeling methods, and the method has strong interpretability.展开更多
A tightly secure cryptographic scheme refers to a construction with a tight security reduction to a hardness assumption,where the reduction loss is a small constant.A scheme with tight security is preferred in practic...A tightly secure cryptographic scheme refers to a construction with a tight security reduction to a hardness assumption,where the reduction loss is a small constant.A scheme with tight security is preferred in practice since it could be implemented using a smaller parameter to improve efficiency.Recently,Bader et al.(EUROCRYPT 2016)have proposed a comprehensive study on the impossible tight security reductions for certain(e.g.,key-unique)public-key cryptographic schemes in the multi-user with adaptive corruptions(MU-C)setting built upon non-interactive assumptions.The assumptions of one-more version,such as one-more computational Diffie-Hellman(n-CDH),are variants of the standard assumptions and have found various applications.However,whether it is possible to have tightly secure key-unique schemes from the one-more assumptions or the impossible tight reduction results also hold for these assumptions remains unknown.In this paper,we give affirmative answers to the above question,i.e.,we can have efficient key-unique public-key cryptographic schemes with tight security built upon the one-more assumptions.Specifically,we propose a digital signature scheme and an encryption scheme,both of which are key-unique and have tight MU-C security under the one-more computational Diffie-Hellman(n-CDH)assumption.Our results also reflect from another aspect that there indeed exists a gap between the standard assumptions and their one-more version counterparts.展开更多
At present,although knowledge graphs have been widely used in various fields such as recommendation systems,question and answer systems,and intelligent search,there are always quality problems such as knowledge omissi...At present,although knowledge graphs have been widely used in various fields such as recommendation systems,question and answer systems,and intelligent search,there are always quality problems such as knowledge omissions and errors.Quality assessment and control,as an important means to ensure the quality of knowledge,can make the applications based on knowledge graphs more complete and more accurate by reasonably assessing the knowledge graphs and fixing and improving the quality problems at the same time.Therefore,as an indispensable part of the knowledge graph construction process,the results of quality assessment and control determine the usefulness of the knowledge graph.Among them,the assessment and enhancement of completeness,as an important part of the assessment and control phase,determine whether the knowledge graph can fully reflect objective phenomena and reveal potential connections among entities.In this paper,we review specific techniques of completeness assessment and classify completeness assessment techniques in terms of closed world assumptions,open world assumptions,and partial completeness assumptions.The purpose of this paper is to further promote the development of knowledge graph quality control and to lay the foundation for subsequent research on the completeness assessment of knowledge graphs by reviewing and classifying completeness assessment techniques.展开更多
In contrast to the solutions of applied mathematics to Zeno’s paradoxes, I focus on the concept of motion and show that, by distinguishing two different forms of motion, Zeno’s apparent paradoxes are not paradoxical...In contrast to the solutions of applied mathematics to Zeno’s paradoxes, I focus on the concept of motion and show that, by distinguishing two different forms of motion, Zeno’s apparent paradoxes are not paradoxical at all. Zeno’s paradoxes indirectly prove that distances are not composed of extensionless points and, in general, that a higher dimension cannot be completely composed of lower ones. Conversely, lower dimensions can be understood as special cases of higher dimensions. To illustrate this approach, I consider Cantor’s only apparent proof that the real numbers are uncountable. However, his widely accepted indirect proof has the disadvantage that it depends on whether there is another way to make the real numbers countable. Cantor rightly assumes that there can be no smallest number between 0 and 1, and therefore no beginning of counting. For this reason he arbitrarily lists the real numbers in order to show with his diagonal method that this list can never be complete. The situation is different if we start with the largest number between 0 and 1 (0.999…) and use the method of an inverted triangle, which can be understood as a special fractal form. Here we can construct a vertical and a horizontal stratification with which it is actually possible to construct all real numbers between 0 and 1 without exception. Each column is infinite, and each number in that column is the starting point of a new triangle, while each row is finite. Even in a simple sine curve, we experience finiteness with respect to the y-axis and infinity with respect to the x-axis. The first parts of this article show that Zeno’s assumptions contradict the concept of motion as such, so it is not surprising that this misconstruction leads to contradictions. In the last part, I discuss Cantor’s diagonal method and explain the method of an inverted triangle that is internally structured like a fractal by repeating this inverted triangle at each column. The consequence is that we encounter two very different methods of counting. Vertically it is continuous, horizontally it is discrete. While Frege, Tarski, Cantor, Gödel and the Vienna Circle tried to derive the higher dimension from the lower, a procedure that always leads to new contradictions and antinomies (Tarski, Russell), I take the opposite approach here, in which I derive the lower dimension from the higher. This perspective seems to fail because Tarski, Russell, Wittgenstein, and especially the Vienna Circle have shown that the completeness of the absolute itself is logically contradictory. For this reason, we agree with Hegel in assuming that we can never fully comprehend the Absolute, but only its particular manifestations—otherwise we would be putting ourselves in the place of the Absolute, or even God. Nevertheless, we can understand the Absolute in its particular expressions, as I will show with the modest example of the triangle proof of the combined horizontal and vertical countability of the real numbers, which I developed in rejection of Cantor’s diagonal proof. .展开更多
The accurate three-dimensional wind field obtained from a Doppler lidar not only helps to comprehend the refined structure of complex airflow but also provides important and valuable solutions for many fields.However,...The accurate three-dimensional wind field obtained from a Doppler lidar not only helps to comprehend the refined structure of complex airflow but also provides important and valuable solutions for many fields.However,the underlying homogeneity assumption of the typical wind retrieval methods,such as Doppler Beam Swinging(DBS)and Velocity Azimuth Display(VAD)based on a single-lidar,will introduce the measurement uncertainty in complex terrain.In this paper,a new design of a wind measurement campaign involving seven lidars was carried out,which contained the three-lidar-based Virtual Tower(VT)using a time-space synchronization technique and four single-lidars with different elevation angles.This study investigates the performance of VT and VAD measurements under various conditions and evaluates the sensitivity of wind measurement uncertainty of VAD to the horizontal spatial-and probe volume-average effects associated with elevation angles of the laser beam.The inter-comparison results between VT and four VADs show consistent trends with small relative errors under neutral atmospheric conditions with weak wind velocity.Under convective or high Turbulence Intensity(TI)conditions,the relative errors between VT and VAD become larger and more fluctuant.Moreover,it is found that the measurement uncertainty of VAD increases at a given elevation angle with the increasing measurement heights,which is caused by the horizontal homogeneity associated with the conical scanning area.Additionally,the simulated and measured results of four VADs indicate that a larger elevation angle corresponds to a lower measurement uncertainty for a given height.展开更多
Changes in the activities of the Boreal Summer Intraseasonal Oscillation(BSISO)at the end of 21st century under the SSP5-8.5 scenario are assessed by adopting 17 CMIP6 models and the weak-temperature-gradient assumpti...Changes in the activities of the Boreal Summer Intraseasonal Oscillation(BSISO)at the end of 21st century under the SSP5-8.5 scenario are assessed by adopting 17 CMIP6 models and the weak-temperature-gradient assumption.Results show that the intraseasonal variations become more structured.The BSISO-related precipitation anomaly shows a larger zonal scale and propagates further northward.However,there is no broad agreement among models on the changes in the eastward and northward propagation speeds and the frequency of individual phases.In the western North Pacific(WNP),the BSISO precipitation variance is significantly increased,at 4.62%K^(−1),due to the significantly increased efficiency of vertical moisture transport per unit of BSISO apparent heating.The vertical velocity variance is significantly decreased,at−3.51%K^(−1),in the middle troposphere,due to the significantly increased mean-state static stability.Changes in the lower-level zonal wind variance are relatively complex,with a significant increase stretching from the northwestern to southeastern WNP,but the opposite in other regions.This is probably due to the combined impacts of the northeastward shift of the BSISO signals and the reduced BSISO vertical velocity variance under global warming.Changes in strong and normal BSISO events in the WNP are also compared.They show same-signed changes in precipitation and large-scale circulation anomalies but opposite changes in the vertical velocity anomalies.This is probably because the precipitation anomaly of strong(normal)events changes at a rate much larger(smaller)than that of the meanstate static stability,causing enhanced(reduced)vertical motion.展开更多
Graph Neural Networks(GNNs)play a significant role in tasks related to homophilic graphs.Traditional GNNs,based on the assumption of homophily,employ low-pass filters for neighboring nodes to achieve information aggre...Graph Neural Networks(GNNs)play a significant role in tasks related to homophilic graphs.Traditional GNNs,based on the assumption of homophily,employ low-pass filters for neighboring nodes to achieve information aggregation and embedding.However,in heterophilic graphs,nodes from different categories often establish connections,while nodes of the same category are located further apart in the graph topology.This characteristic poses challenges to traditional GNNs,leading to issues of“distant node modeling deficiency”and“failure of the homophily assumption”.In response,this paper introduces the Spatial-Frequency domain Adaptive Heterophilic Graph Neural Networks(SFA-HGNN),which integrates adaptive embedding mechanisms for both spatial and frequency domains to address the aforementioned issues.Specifically,for the first problem,we propose the“Distant Spatial Embedding Module”,aiming to select and aggregate distant nodes through high-order randomwalk transition probabilities to enhance modeling capabilities.For the second issue,we design the“Proximal Frequency Domain Embedding Module”,constructing adaptive filters to separate high and low-frequency signals of nodes,and introduce frequency-domain guided attention mechanisms to fuse the relevant information,thereby reducing the noise introduced by the failure of the homophily assumption.We deploy the SFA-HGNN on six publicly available heterophilic networks,achieving state-of-the-art results in four of them.Furthermore,we elaborate on the hyperparameter selection mechanism and validate the performance of each module through experimentation,demonstrating a positive correlation between“node structural similarity”,“node attribute vector similarity”,and“node homophily”in heterophilic networks.展开更多
Among the near-miss incidents related to the operation of training ship of the JMETS(Japan Agency of Maritime Education and Training for Seafarers),three characteristic cases were analyzed,extracting their circumstanc...Among the near-miss incidents related to the operation of training ship of the JMETS(Japan Agency of Maritime Education and Training for Seafarers),three characteristic cases were analyzed,extracting their circumstances and near-miss factors.Based on the results of these analyses,measures to prevent vessel collisions were studied,from which we proposed collision prevention training.The training entails(1)lookout training,(2)navigation planning training,(3)resource management training,and(4)false assumption prevention training.In future research,we aim to verify the effectiveness of the proposed training,improve the training’s effectiveness,and contribute to the development of effective anti-collision support devices.展开更多
More and more researchers realized that what happened in classrooms was deeply influenced by the social and culturalcontexts outside and various articles and researches have been written or done to address this proble...More and more researchers realized that what happened in classrooms was deeply influenced by the social and culturalcontexts outside and various articles and researches have been written or done to address this problem.The essay evaluates a teach-ing material from the perspectives of culture,society and politics by suggesting a few adaptations to the teaching material to make itmore culturally appropriate for Chinese learners.展开更多
基金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.
文摘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.
文摘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.
文摘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.
文摘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.
基金supported by the National Natural Science Foundation of China (Grant Nos.U2341244,12172179,and 11772160)the Postgraduate Research&Practice Innovation Program of Jiangsu Province.
文摘A simplified calculation of the specimen’s stress-strain curve is generally conducted using the two-wave method by the split Hopkinson pressure bar(SHPB),which aligns the onset of the transmitted and reflected waves.However,this approach neglects the travel time of elastic waves within the specimen.Considering the travel time of elastic waves,this study quantitatively investigates the error characteristics and patterns of stress,strain,and strain rate in the specimen under different conditions using the theoretical two-wave method,and compares the results with those obtained using the onset-aligned twowave method.The study reveals that the stress-time curves derived from the theoretical two-wave method are lower than the actual stress curves,whereas those obtained from the onset-aligned two-wave method are consistently higher than the actual stress curves,with the stress deviation approximating a constant value when the dimensionless time exceeds 2.0.The starting point of the stress-strain curves obtained by the theoretical two-wave method is not zero but a point on the strain axis,whereas the onset-aligned two-wave method always starts at zero.However,the slopes of the stress-strain curves obtained by both methods differ from the actual Young’s modulus of the material,and functional relationships between the slopes and the actual Young’s modulus are provided.This research offers theoretical guidance for the refined design of SHPB experiments and the accurate processing of data.
文摘In this paper, we introduce a notion of the family of closed world assumptions and compare several well-known closed world approaches in the family to the extent to which an incomplete database is com- pleted.
基金supported by the National Natural Science Foundation of China (Grant No. 12302056)the Postdoctoral Fellowship Program of CPSF:GZC20233445。
文摘The precise characterization of hypersonic glide vehicle(HGV) maneuver laws in complex flight scenarios still faces challenges. Non-stationary changes in flight state due to abrupt changes in maneuver modes place high demands on the accuracy of modeling methods. To address this issue, a novel maneuver laws modeling and analysis method based on higher order multi-resolution dynamic mode decomposition(HMDMD) is proposed in this work. A joint time-space-frequency decomposition of the vehicle's state sequence in the complex flight scenario is achieved with the higher order Koopman assumption and standard multi-resolution dynamic mode decomposition, and an approximate dynamic model is established. The maneuver laws can be reconstructed and analyzed with extracted multi-scale spatiotemporal modes with clear physical meaning. Based on the dynamic model of HGV, two flight scenarios are established with constant angle of attack and complex maneuver laws, respectively. Simulation results demonstrate that the maneuver laws obtained using the HMDMD method are highly consistent with those derived from the real dynamic model, the modeling accuracy is better than other common modeling methods, and the method has strong interpretability.
基金This work was supported by the National Natural Science Foundation of China under Grant Nos.61672289,61972094,61802195,and 61902191the Natural Science Foundation of Jiangsu Province under Grant No.BK20190696the Purple Mountain Laboratories。
文摘A tightly secure cryptographic scheme refers to a construction with a tight security reduction to a hardness assumption,where the reduction loss is a small constant.A scheme with tight security is preferred in practice since it could be implemented using a smaller parameter to improve efficiency.Recently,Bader et al.(EUROCRYPT 2016)have proposed a comprehensive study on the impossible tight security reductions for certain(e.g.,key-unique)public-key cryptographic schemes in the multi-user with adaptive corruptions(MU-C)setting built upon non-interactive assumptions.The assumptions of one-more version,such as one-more computational Diffie-Hellman(n-CDH),are variants of the standard assumptions and have found various applications.However,whether it is possible to have tightly secure key-unique schemes from the one-more assumptions or the impossible tight reduction results also hold for these assumptions remains unknown.In this paper,we give affirmative answers to the above question,i.e.,we can have efficient key-unique public-key cryptographic schemes with tight security built upon the one-more assumptions.Specifically,we propose a digital signature scheme and an encryption scheme,both of which are key-unique and have tight MU-C security under the one-more computational Diffie-Hellman(n-CDH)assumption.Our results also reflect from another aspect that there indeed exists a gap between the standard assumptions and their one-more version counterparts.
基金supported by the National Key Laboratory for Complex Systems Simulation Foundation(6142006190301)。
文摘At present,although knowledge graphs have been widely used in various fields such as recommendation systems,question and answer systems,and intelligent search,there are always quality problems such as knowledge omissions and errors.Quality assessment and control,as an important means to ensure the quality of knowledge,can make the applications based on knowledge graphs more complete and more accurate by reasonably assessing the knowledge graphs and fixing and improving the quality problems at the same time.Therefore,as an indispensable part of the knowledge graph construction process,the results of quality assessment and control determine the usefulness of the knowledge graph.Among them,the assessment and enhancement of completeness,as an important part of the assessment and control phase,determine whether the knowledge graph can fully reflect objective phenomena and reveal potential connections among entities.In this paper,we review specific techniques of completeness assessment and classify completeness assessment techniques in terms of closed world assumptions,open world assumptions,and partial completeness assumptions.The purpose of this paper is to further promote the development of knowledge graph quality control and to lay the foundation for subsequent research on the completeness assessment of knowledge graphs by reviewing and classifying completeness assessment techniques.
文摘In contrast to the solutions of applied mathematics to Zeno’s paradoxes, I focus on the concept of motion and show that, by distinguishing two different forms of motion, Zeno’s apparent paradoxes are not paradoxical at all. Zeno’s paradoxes indirectly prove that distances are not composed of extensionless points and, in general, that a higher dimension cannot be completely composed of lower ones. Conversely, lower dimensions can be understood as special cases of higher dimensions. To illustrate this approach, I consider Cantor’s only apparent proof that the real numbers are uncountable. However, his widely accepted indirect proof has the disadvantage that it depends on whether there is another way to make the real numbers countable. Cantor rightly assumes that there can be no smallest number between 0 and 1, and therefore no beginning of counting. For this reason he arbitrarily lists the real numbers in order to show with his diagonal method that this list can never be complete. The situation is different if we start with the largest number between 0 and 1 (0.999…) and use the method of an inverted triangle, which can be understood as a special fractal form. Here we can construct a vertical and a horizontal stratification with which it is actually possible to construct all real numbers between 0 and 1 without exception. Each column is infinite, and each number in that column is the starting point of a new triangle, while each row is finite. Even in a simple sine curve, we experience finiteness with respect to the y-axis and infinity with respect to the x-axis. The first parts of this article show that Zeno’s assumptions contradict the concept of motion as such, so it is not surprising that this misconstruction leads to contradictions. In the last part, I discuss Cantor’s diagonal method and explain the method of an inverted triangle that is internally structured like a fractal by repeating this inverted triangle at each column. The consequence is that we encounter two very different methods of counting. Vertically it is continuous, horizontally it is discrete. While Frege, Tarski, Cantor, Gödel and the Vienna Circle tried to derive the higher dimension from the lower, a procedure that always leads to new contradictions and antinomies (Tarski, Russell), I take the opposite approach here, in which I derive the lower dimension from the higher. This perspective seems to fail because Tarski, Russell, Wittgenstein, and especially the Vienna Circle have shown that the completeness of the absolute itself is logically contradictory. For this reason, we agree with Hegel in assuming that we can never fully comprehend the Absolute, but only its particular manifestations—otherwise we would be putting ourselves in the place of the Absolute, or even God. Nevertheless, we can understand the Absolute in its particular expressions, as I will show with the modest example of the triangle proof of the combined horizontal and vertical countability of the real numbers, which I developed in rejection of Cantor’s diagonal proof. .
基金supported by the National Key Research and Development Program of China[grant number 2021YFC3001902,2022YFB3901705]the National Natural Science Foundation of China[grant number 42106182,U2106210]the Natural Science Foundation of Shandong Province[grant number ZR2021QD052].
文摘The accurate three-dimensional wind field obtained from a Doppler lidar not only helps to comprehend the refined structure of complex airflow but also provides important and valuable solutions for many fields.However,the underlying homogeneity assumption of the typical wind retrieval methods,such as Doppler Beam Swinging(DBS)and Velocity Azimuth Display(VAD)based on a single-lidar,will introduce the measurement uncertainty in complex terrain.In this paper,a new design of a wind measurement campaign involving seven lidars was carried out,which contained the three-lidar-based Virtual Tower(VT)using a time-space synchronization technique and four single-lidars with different elevation angles.This study investigates the performance of VT and VAD measurements under various conditions and evaluates the sensitivity of wind measurement uncertainty of VAD to the horizontal spatial-and probe volume-average effects associated with elevation angles of the laser beam.The inter-comparison results between VT and four VADs show consistent trends with small relative errors under neutral atmospheric conditions with weak wind velocity.Under convective or high Turbulence Intensity(TI)conditions,the relative errors between VT and VAD become larger and more fluctuant.Moreover,it is found that the measurement uncertainty of VAD increases at a given elevation angle with the increasing measurement heights,which is caused by the horizontal homogeneity associated with the conical scanning area.Additionally,the simulated and measured results of four VADs indicate that a larger elevation angle corresponds to a lower measurement uncertainty for a given height.
基金financially supported by the National Natural Science Foundation of China(Grant Nos.42088101 and 41875099)。
文摘Changes in the activities of the Boreal Summer Intraseasonal Oscillation(BSISO)at the end of 21st century under the SSP5-8.5 scenario are assessed by adopting 17 CMIP6 models and the weak-temperature-gradient assumption.Results show that the intraseasonal variations become more structured.The BSISO-related precipitation anomaly shows a larger zonal scale and propagates further northward.However,there is no broad agreement among models on the changes in the eastward and northward propagation speeds and the frequency of individual phases.In the western North Pacific(WNP),the BSISO precipitation variance is significantly increased,at 4.62%K^(−1),due to the significantly increased efficiency of vertical moisture transport per unit of BSISO apparent heating.The vertical velocity variance is significantly decreased,at−3.51%K^(−1),in the middle troposphere,due to the significantly increased mean-state static stability.Changes in the lower-level zonal wind variance are relatively complex,with a significant increase stretching from the northwestern to southeastern WNP,but the opposite in other regions.This is probably due to the combined impacts of the northeastward shift of the BSISO signals and the reduced BSISO vertical velocity variance under global warming.Changes in strong and normal BSISO events in the WNP are also compared.They show same-signed changes in precipitation and large-scale circulation anomalies but opposite changes in the vertical velocity anomalies.This is probably because the precipitation anomaly of strong(normal)events changes at a rate much larger(smaller)than that of the meanstate static stability,causing enhanced(reduced)vertical motion.
基金supported by the Fundamental Research Funds for the Central Universities(Grant No.2022JKF02039).
文摘Graph Neural Networks(GNNs)play a significant role in tasks related to homophilic graphs.Traditional GNNs,based on the assumption of homophily,employ low-pass filters for neighboring nodes to achieve information aggregation and embedding.However,in heterophilic graphs,nodes from different categories often establish connections,while nodes of the same category are located further apart in the graph topology.This characteristic poses challenges to traditional GNNs,leading to issues of“distant node modeling deficiency”and“failure of the homophily assumption”.In response,this paper introduces the Spatial-Frequency domain Adaptive Heterophilic Graph Neural Networks(SFA-HGNN),which integrates adaptive embedding mechanisms for both spatial and frequency domains to address the aforementioned issues.Specifically,for the first problem,we propose the“Distant Spatial Embedding Module”,aiming to select and aggregate distant nodes through high-order randomwalk transition probabilities to enhance modeling capabilities.For the second issue,we design the“Proximal Frequency Domain Embedding Module”,constructing adaptive filters to separate high and low-frequency signals of nodes,and introduce frequency-domain guided attention mechanisms to fuse the relevant information,thereby reducing the noise introduced by the failure of the homophily assumption.We deploy the SFA-HGNN on six publicly available heterophilic networks,achieving state-of-the-art results in four of them.Furthermore,we elaborate on the hyperparameter selection mechanism and validate the performance of each module through experimentation,demonstrating a positive correlation between“node structural similarity”,“node attribute vector similarity”,and“node homophily”in heterophilic networks.
文摘Among the near-miss incidents related to the operation of training ship of the JMETS(Japan Agency of Maritime Education and Training for Seafarers),three characteristic cases were analyzed,extracting their circumstances and near-miss factors.Based on the results of these analyses,measures to prevent vessel collisions were studied,from which we proposed collision prevention training.The training entails(1)lookout training,(2)navigation planning training,(3)resource management training,and(4)false assumption prevention training.In future research,we aim to verify the effectiveness of the proposed training,improve the training’s effectiveness,and contribute to the development of effective anti-collision support devices.
文摘More and more researchers realized that what happened in classrooms was deeply influenced by the social and culturalcontexts outside and various articles and researches have been written or done to address this problem.The essay evaluates a teach-ing material from the perspectives of culture,society and politics by suggesting a few adaptations to the teaching material to make itmore culturally appropriate for Chinese learners.
