Several parts of the STEP Writing Test, Level 1, were administered to 14 different groups of from 19 to 52 high school students. In the testing situations, scores were computed using the following scoring functions: (...
详细信息
作者:
McBeth, RodLondon
E15 3EN 10 John Street Stratford United Kingdom
The article discusses the second normal form for system EP of exponential functions. It explains the two specialized theorems on the starting properties of the standard assignment and additional information about Ω. ...
详细信息
The article discusses the second normal form for system EP of exponential functions. It explains the two specialized theorems on the starting properties of the standard assignment and additional information about Ω. It tackles on Bachmann fundamental sequence starting property which is important in establishing the increasing property of the generalization.
A Boolean function is called read-once if it can be expressed by a formula over {∧, ∨, -} where no variable appears more than once. The problem of identifying an unknown read-once function f depending on a known set...
详细信息
We consider the class of regular realizability problems. Any of such problems is specified by some language (filter) and consists in verifying that the intersection of a given regular language and the filter is nonemp...
详细信息
We consider the class of regular realizability problems. Any of such problems is specified by some language (filter) and consists in verifying that the intersection of a given regular language and the filter is nonempty. The main question is diversity of the computational complexity of such problems. We show that any regular realizability problem with an infinite filter is hard for a class of problems decidable in logarithmic space with respect to logarithmic reductions. We give examples of NP-complete and PSPACE-complete regular realizability problems.
The one-loop correction to the effective potential in the massless Wess-Zumino supersymmetric model is computed using operator regularization. The renormalization group is used to determine the scale dependence of the...
详细信息
The one-loop correction to the effective potential in the massless Wess-Zumino supersymmetric model is computed using operator regularization. The renormalization group is used to determine the scale dependence of the parameters characterizing the model (the coupling and background field strength) and to sum leading logarithm contributions to the effective potential to all orders of perturbation theory, using the method of characteristics.
The article discusses the article "San Jacinto Monument Case History," by Jean-Louis Briaud, Jennifer Nicks, Keunyoung Rhee and Gregory Stieben. It comments on the elastic approach of applied by the research...
详细信息
The article discusses the article "San Jacinto Monument Case History," by Jean-Louis Briaud, Jennifer Nicks, Keunyoung Rhee and Gregory Stieben. It comments on the elastic approach of applied by the researchers. It mentions that the researchers did not consider the compression and stress of soil. In addition, the values and indices are scattered and produce less than what is expected. The authors explain the preconsolidation margin on ground surface. They also change the scale from linear time scale to linear and logarithmic scales in settling the records.
The problem of the limiting resistance of soil to the transverse displacement of a shallow pipeline, which is directed at an arbitrary angle to the horizon, is discussed. The problem is solved by the variational metho...
详细信息
The problem of the limiting resistance of soil to the transverse displacement of a shallow pipeline, which is directed at an arbitrary angle to the horizon, is discussed. The problem is solved by the variational method on the basis of which slip lines in the form of logarithmic spirals, which limit the body of soil uplift onto the surface. Recommendations for practical accounting of the indicated limiting resistance in the form of a two-term formula, tables, and diagrams for calculation of its coefficients are given for the case of a horizontal loading. This solution can, however, be used to determine the bearing capacity of plate anchors used in port construction. The problem of the limiting resistance of a soil to the transverse displacement of a pipe (anchor, pile) in the case of deep embedment, when there is no uplift onto the surface, but “cut through,” is examined separately.
Here, the authors present a novel, simple, and effective way of improving additive white Gaussian noise resistance and reducing the signal-to-noise ratio (SNR) required for modulation recognition. Working on the theor...
详细信息
Here, the authors present a novel, simple, and effective way of improving additive white Gaussian noise resistance and reducing the signal-to-noise ratio (SNR) required for modulation recognition. Working on the theoretical basis that the ratio of two logarithmic functions with the same variable is a constant, the authors selected QPSK, 16QAM, and 64QAM for investigation. For each of these, the authors constructed distribution curves of higher-order cumulants, using SNR as the variable, and examined how they might work as logarithmic curves. First, their logarithmic similarities were measured. Then their former features were divided by logarithmic functions to construct new features whose distribution curves were more parallel to the threshold line. Finally, an algorithm for classifying the selected modulation formats was designed whose computational complexity was then compared with that of adaptive-threshold classification algorithm, and the recognition rate was assessed statistically. For the purposes of validation, the algorithm was tested experimentally using actual signals. The experiment confirmed that the new logarithmic features with fixed thresholds were able to maintain an efficient recognition rate of 80% when SNR was reduced from 11 to 6dB, and suffered less computational complexity than traditional cumulants with adaptive thresholds which were achieved by support vector machine.
The fragmentary nature of the stratigraphic record is particularly evident with respect to fluvial deposits, which are characterized by a hierarchy of depositional units deposited over a wide range of time scales and ...
详细信息
The fragmentary nature of the stratigraphic record is particularly evident with respect to fluvial deposits, which are characterized by a hierarchy of depositional units deposited over a wide range of time scales and sedimentation rates. We quantified stratigraphic completeness in meander-belt deposits through deducing the total area of bar sedimentation versus what is ultimately preserved in the depositional record, using area as a surrogate metric for sediment volume. Data sets were evaluated for a numerical model, the modern Mississippi River valley, and the Cretaceous McMurray Formation. In each data set, the evolutionary history of a series of meander-belt elements was discerned. Migrated area between successive reconstructed paleochannel positions was measured, representing: total area of net bar migration (MA), the area of bar preserved (PA), and percent of bar preserved (PA/MA), at the accretion package, bar, and meander-belt scale. Results of our analysis show that the average preservation percent ranges from 27.3% to 67.8% for an accretion package, 35.0% to 85.1% for a bar, and 38.2% to 67.6% for a meander belt. The processes that lead to a decrease in preservation include intra-meander-bend erosion (due to downstream translation or bar rotation), and increasing meander-bend sinuosity and eventual cutoff (neck and chute), as well as inter-meander-bend erosion due to avulsion and subsequent migration of the meandering channel. The results of this study document a decrease in preservation over time that follows a natural logarithmic function of decay;we have termed this the "survivability" curve. The results presented here document a systematic, monotonic decrease in preservation over time, which is consistent regardless of the spatial or temporal scale and agrees with probabilities of preservation at long time scales proposed by previous workers. A comparison between data sets allows for an estimation of the time span represented by meander-belt deposits in
The paper studies construction of formal exponential-logarithmic solutions for a system of ordinary linear differential equations the coefficients of which are algorithmically defined formal power series. The construc...
详细信息
The paper studies construction of formal exponential-logarithmic solutions for a system of ordinary linear differential equations the coefficients of which are algorithmically defined formal power series. The construction of all such solutions is generally algorithmically undecidable problem. We propose an algorithm and its implementation in Maple that make it possible to construct a basis of the space of solutions of the full-rank system if the dimension of this space is known.
暂无评论