关于Square{all}和Square{most}的知识推理

首先证明了包含广义量词most和必然模态词□的□M□A□I-3广义模态三段论的有效性,并探讨“包含Square{all}和Square{most}中量词和模态词的直言命题形成的”广义模态三段论的可化归性等知识推理。这些三段论之间之所以具有可化归性,是因为:仅仅包含Square{all}中的量词的同一素材直言命题,其真假具有对当关系,而且仅仅包含Square{most}中的量词的同一素材直言命题也是如此,必然模态词与可能模态词可以相互定义。这些结果是基于演绎推理,因此它们在逻辑上是一致的。

Least Squares One-Class Support Tensor Machine

One-class classification problem has become a popular problem in many fields, with a wide range of applications in anomaly detection, fault diagnosis, and face recognition. We investigate the one-class classification problem for second-order tensor data. Traditional vector-based one-class classification methods such as one-class support vector machine (OCSVM) and least squares one-class support vector machine (LSOCSVM) have limitations when tensor is used as input data, so we propose a new tensor one-class classification method, LSOCSTM, which directly uses tensor as input data. On one hand, using tensor as input data not only enables to classify tensor data, but also for vector data, classifying it after high dimensionalizing it into tensor still improves the classification accuracy and overcomes the over-fitting problem. On the other hand, different from one-class support tensor machine (OCSTM), we use squared loss instead of the original loss function so that we solve a series of linear equations instead of quadratic programming problems. Therefore, we use the distance to the hyperplane as a metric for classification, and the proposed method is more accurate and faster compared to existing methods. The experimental results show the high efficiency of the proposed method compared with several state-of-the-art methods.

Numerical simulation of inlet placement on sewage characteristics in the rounded square aquaculture tank with single inlet

To improve the self-cleaning ability of aquaculture tank and the efficiency of circulating water,physical and numerical experiments were conducted on the influence of inlet structure on sewage discharge in a rounded square aquaculture tank with a single inlet.Based on the physical model of the tank,analysis of how inlet structure adjustment affects sewage discharge efficiency and flow field characteristics was conducted to provide suitable flow field conditions for sinkable solid particle discharge.In addition,an internal flow field simulation was conducted using the RNG k-εturbulence model in hydraulic drive mode.Then a solid-fluid multiphase model was created to investigate how the inlet structure affects sewage collection in the rounded square aquaculture tank with single inlet and outlet.The finding revealed that the impact of inlet structure is considerably affecting sewage collection.The conditions of C/B=0.07-0.11(the ratio of horizontal distance between the center of the inlet pipe and the tank wall(C)to length of the tank(B))andα=25°(αis the angle between the direction of the jet and the tangential direction of the arc angle)resulted in optimal sewage collection,which is similar to the flow field experiment in the rounded square aquaculture tank with single inlet and outlet.An excellent correlation was revealed between sewage collection and fluid circulation stability in the aquaculture tank.The present study provided a reference for design and optimization of circulating aquaculture tanks in aquaculture industry.

Numerical modelling for predicting corrosion initiation life of reinforced concrete square piles under reverse-seepage pressure

Square piles of reinforced concrete(RC)in marine environments are susceptible to chloride-inducedcorrosion.A novel reverse-seepage technique(RST)is applied to square piles to block the intrusion of chlorides.Thisresearch introduces a computational model designed to predict the lifespan of corrosion initiation in reinforced concretesquare piles when applied reverse-seepage pressure.The model considers the impacts of chloride binding and the tripletime-dependence property among the permeability,the corrected surface chloride concentration,and the diffusioncoefficient.The proposed numerical model is solved using the alternating direction implicit(ADI)approach,and itsaccuracy and reliability are evaluated by contrasting the computational outcomes with the analytical solution andexperimental results.Furthermore,the primary factors contributing to the corrosion of reinforced concrete square pilesare analyzed.The results indicate that applying RST can decrease the chloride penetration depth and prolong the lifespanof corrosion initiation in square piles.The water-cement ratio and reverse seepage pressure are the most influentialfactors.A water pressure of 0.4 MPa can double the life of concrete,and the durable life of concrete with a water-cementratio of 0.3 can reach 100 years.

THE WEIGHTED KATO SQUARE ROOT PROBLEMOF ELLIPTIC OPERATORS HAVING A BMOANTI-SYMMETRICPART

Let n≥2 and let L be a second-order elliptic operator of divergence form with coefficients consisting of both an elliptic symmetric part and a BMO anti-symmetric part in ℝ^(n).In this article,we consider the weighted Kato square root problem for L.More precisely,we prove that the square root L^(1/2)satisfies the weighted L^(p)estimates||L^(1/2)(f)||L_(ω)^p(R^(n))≤C||■f||L_(ω)^p(R^(n);R^(n))for any p∈(1,∞)andω∈Ap(ℝ^(n))(the class of Muckenhoupt weights),and that||■f||L_(ω)^p(R^(n);R^(n))≤C||L^(1/2)(f)||L_(ω)^p(R^(n))for any p∈(1,2+ε)andω∈Ap(ℝ^(n))∩RH_(2+ε/p),(R^(n))(the class of reverse Hölder weights),whereε∈(0,∞)is a constant depending only on n and the operator L,and where(2+ε/p)'denotes the Hölder conjugate exponent of 2+ε/p.Moreover,for any given q∈(2,∞),we give a sufficient condition to obtain that||■f||L_(ω)^p(R^(n);R^(n))≤C||L^(1/2)(f)||L_(ω)^p(R^(n))for any p∈(1,q)andω∈A_(p)(R^(n))∩pRH_(q/p),(R^(n)).As an application,we prove that when the coefficient matrix A that appears in L satisfies the small BMO condition,the Riesz transform∇L^(−1/2)is bounded on L_(ω)^(p)(ℝ^(n))for any given p∈(1,∞)andω∈Ap(ℝ^(n)).Furthermore,applications to the weighted L^(2)-regularity problem with the Dirichlet or the Neumann boundary condition are also given.

Algorithms and statistical analysis for linear structured weighted total least squares problem

Weighted total least squares(WTLS)have been regarded as the standard tool for the errors-in-variables(EIV)model in which all the elements in the observation vector and the coefficient matrix are contaminated with random errors.However,in many geodetic applications,some elements are error-free and some random observations appear repeatedly in different positions in the augmented coefficient matrix.It is called the linear structured EIV(LSEIV)model.Two kinds of methods are proposed for the LSEIV model from functional and stochastic modifications.On the one hand,the functional part of the LSEIV model is modified into the errors-in-observations(EIO)model.On the other hand,the stochastic model is modified by applying the Moore-Penrose inverse of the cofactor matrix.The algorithms are derived through the Lagrange multipliers method and linear approximation.The estimation principles and iterative formula of the parameters are proven to be consistent.The first-order approximate variance-covariance matrix(VCM)of the parameters is also derived.A numerical example is given to compare the performances of our proposed three algorithms with the STLS approach.Afterwards,the least squares(LS),total least squares(TLS)and linear structured weighted total least squares(LSWTLS)solutions are compared and the accuracy evaluation formula is proven to be feasible and effective.Finally,the LSWTLS is applied to the field of deformation analysis,which yields a better result than the traditional LS and TLS estimations.

Numerical Simulation of Oil-Water Two-Phase Flow in Low Permeability Tight Reservoirs Based on Weighted Least Squares Meshless Method

In response to the complex characteristics of actual low-permeability tight reservoirs,this study develops a meshless-based numerical simulation method for oil-water two-phase flow in these reservoirs,considering complex boundary shapes.Utilizing radial basis function point interpolation,the method approximates shape functions for unknown functions within the nodal influence domain.The shape functions constructed by the aforementioned meshless interpolation method haveδ-function properties,which facilitate the handling of essential aspects like the controlled bottom-hole flow pressure in horizontal wells.Moreover,the meshless method offers greater flexibility and freedom compared to grid cell discretization,making it simpler to discretize complex geometries.A variational principle for the flow control equation group is introduced using a weighted least squares meshless method,and the pressure distribution is solved implicitly.Example results demonstrate that the computational outcomes of the meshless point cloud model,which has a relatively small degree of freedom,are in close agreement with those of the Discrete Fracture Model(DFM)employing refined grid partitioning,with pressure calculation accuracy exceeding 98.2%.Compared to high-resolution grid-based computational methods,the meshless method can achieve a better balance between computational efficiency and accuracy.Additionally,the impact of fracture half-length on the productivity of horizontal wells is discussed.The results indicate that increasing the fracture half-length is an effective strategy for enhancing production from the perspective of cumulative oil production.

Binding Energy, Root-Mean Square Radius and Magnetic Dipole Moment of the Nucleus 6Li

In this work, we have applied the translation invariant shell model with number of quanta of excitations N=2,4,6,8and 10 to define the ground-state eigenenergies and their corresponding normalized eigenstates, the root mean-square radius, and the magnetic dipole moment of the nucleus 6Li. We have computed the necessary two-particle orbital fractional parentage coefficients for nuclei with mass number A=6and number of quanta of excitations N=10, which are not available in the literature. In addition, we have used our previous findings on the nucleon-nucleon interaction with Gaussian radial dependencies, which fits the deuteron characteristics as well as the triton binding energy, root-mean square radius and magnetic dipole moment. The numerical results obtained in this work are in excellent agreement with the corresponding experimental data and the previously published theoretical results in the literature.

Comparative Study of Probabilistic and Least-Squares Methods for Developing Predictive Models

This article explores the comparison between the probability method and the least squares method in the design of linear predictive models. It points out that these two approaches have distinct theoretical foundations and can lead to varied or similar results in terms of precision and performance under certain assumptions. The article underlines the importance of comparing these two approaches to choose the one best suited to the context, available data and modeling objectives.

Enhanced kernel minimum squared error algorithm and its application in face recognition

To improve the classification performance of the kernel minimum squared error（ KMSE）, an enhanced KMSE algorithm（ EKMSE） is proposed. It redefines the regular objective function by introducing a novel class label definition, and the relative class label matrix can be adaptively adjusted to the kernel matrix.Compared with the common methods, the newobjective function can enlarge the distance between different classes, which therefore yields better recognition rates. In addition, an iteration parameter searching technique is adopted to improve the computational efficiency. The extensive experiments on FERET and GT face databases illustrate the feasibility and efficiency of the proposed EKMSE. It outperforms the original MSE, KMSE,some KMSE improvement methods, and even the sparse representation-based techniques in face recognition, such as collaborate representation classification（ CRC）.

对5轮Square的中间相遇攻击

Square分组密码算法是美国数据加密标准AES算法的前身,它的分组长度、主密钥长度和轮密钥长度都是128比特。文中给出了一个4轮的Square区分器。通过这个区分器找到Square第三轮的密文可以在某些条件下用比较少的参数来表示,减少攻击的运算量。运用这个区分器成功地实现了对5轮Square的中间相遇攻击。这个攻击比其他的攻击的准备阶段和空间复杂度在花费上都少,攻击的先前准备阶段的时间复杂度为234,空间复杂度为272,攻击的时间复杂度为272。

3D密码的Square攻击

3D密码是CANS2008提出的新的分组密码算法,与以往的分组密码算法不同,该密码采用3维结构。该文根据3D密码的结构特性,得到了3D密码的5.25轮和6.25轮新的Square区分器,重新评估了其抗Square攻击的强度。攻击结果表明:新区分器对6轮3D密码攻击的数据复杂度和时间复杂度比已有的结果好,并且还可应用到7轮,8轮和9轮的3D密码攻击中。

Quantity of plant leaf area on three major public squares in Kunming City, China

Regressive formulae to calculate the quantity of plant leaf area for 13 species of ornamental plants were set up based on investigation data of 30 species on 3 major public squares (Dongfeng square, Shengli square and Guandu square) in Kun-ming City, China, which were applied to calculate quantities of plant leaf area of these 13 species. The quantities of plant leaf area for the other 17 ornamental plant species on these squares were directly measured, and the total quantity of plant leaf area of each studied square was obtained individually. The results showed that the quantity of plant leaf area on Shengli square with ornamental plants structure composed of arbor tree species, shrub tree species and turf grass was highest among the three squares. It is believed that the design model of multi-storied vertical structure and proper tending of plant community could not only increase the quantity of plant leaf area, but also play an important role in generating ecological and landscaping benefits. Some corresponding suggestions were put forward on the basis of comprehensive analyses on the plant leaf area quantity of the three representative squares in Kunming urban area.

Zodiac算法新的Square攻击

该文重新评估了Zodiac算法抗Square攻击的能力。Zodiac算法存在8轮Square区分器,该文首先根据算法的结构特性,给出了Zodiac的4个等价结构,而后利用等价结构得到了两个新的9轮Square区分器。利用新的区分器,对不同轮数的Zodiac算法实施了Square攻击,对12轮,13轮,14轮,15轮和16轮Zodiac的攻击复杂度分别为237.3,262.9,296.1,2137.1和2189.5次加密运算,选择明文数分别为210.3,211,211.6,212.1和212.6。结果表明:完整16轮192bit密钥的Zodiac算法是不抗Square攻击的。

CLEFIA密码的Square攻击

该文根据CLEFIA密码的结构特性,得到了Square攻击的新的8轮区分器,并指出了设计者提出的错误8轮区分器。利用新的8轮区分器对CLEFIA密码进行了10到12轮的Square攻击,攻击结果如下:攻击10轮CLEFIA-128\192\256的数据复杂度和时间复杂度分别为297和292.7;攻击11轮CLEFIA-192\256的数据复杂度和时间复杂度分别为298和2157.6;攻击12轮CLEFIA-256的数据复杂度和时间复杂度分别为298.6和2222。攻击结果表明:在攻击10轮CLEFIA时,新的Square攻击在数据复杂度和时间复杂度都优于设计者给出的Square攻击。

Stability monitoring and evaluation of the modeled test square for prehistoric earthen sites during excavation period

In order to explore the stability of test square during archaeological excavation for prehistoric earthen sites in Hangzhou, a modeled test square with 2. 3 min depth, inplane dimensions of 5 min width by 5 m in length, and an archaeological column in the middle was excavated by means of a top-down excavation technique. To investigate the stability performance of the modeled test square and the associated effect on the adjacent area, a real-time comprehensive instrumentation program was conducted during the excavation. Field observations included ground settlements, lateral displacement, pore pressure and underground water level. Monitoring data indicates that the ground settlement induced by dewatering and unloading action basically decreases with the increase of the distance away from the pit edge, and the lateral displacements at four sides showa nonlinear variation along the depth. The maximum value is far below the acceptable value regulated by the related standard,which validates the stability of the modeled test square during excavation. Variations of pore pressure and water level suggest that long-term stability should be paid more attention due to the slowconsolidation of soft soil. Meanwhile, it is proved that the step shape of the wall can resist lateral displacement more effectively than the vertical shape of wall. This case study provides insights into the real archaeological excavation in Hangzhou, in particular Liangzhu prehistoric earthen sites.

Experimental research on ultimate bearing capacity of N-joints of grouted square steel tube trusses

Cave-in failure is apt to occur in joints of trusses made of square hollow sections. In order to turn the failure mode into a strength failure mode of joint members, the idea is proposed that the chord of the truss is grouted to increase the cave-in beating capacity of a hollow tube chord. An experiment of eight specimens of N- joints made of grout-filled square steel tubes is performed. Based on the experimental study, the geometrical parameters of specimens are analyzed, and the effects of the confinement index ε, the spacing between the two web members g and the ratio of side length of the vertical web member to that of the chord β on the behavior of specimens are investigated through simulation analysis by simulation analyses, the mechanical properties and the failure an ANSYS program. Based on the test results and modes of this kind of joints are analyzed and the formulae to predict the ultimate bearing capacities corresponding to different failure modes are developed. The ultimate bearing capacity of compressive N-joints is calculated in accordance with the cave-in failure mode of a chord member; the ultimate bearing capacity of tension N-joints is calculated in accordance with the punchingshear failure mode; the ultimate bearing capacity of a chord member is calculated in accordance with the shear failure mode in normal sections.

相关密钥Square攻击AES-192

利用AES-192子密钥间的内在关系,完全确定了在特定相关密钥差分下的前8轮子密钥的所有确切的差分值,结合Asiacrypt’2010中的密钥桥技术可以确定部分初始密钥,从而发现AES-192的密钥编排方案存在一定缺陷。利用该缺陷,给出了一个相关密钥Square攻击7轮和8轮AES-192的新方法。新方法攻击8轮AES-192仅需244.5选择明文,244.5存储,以及2183.5的8轮AES-192加密。结合部分和技术进一步降低了攻击的计算复杂度。

一种新的Square攻击

对美国高级加密标准Rijndael算法的Square攻击是一种利用平衡性实施攻击的方法.研究发现平衡性改变总是伴随着活动性的改变,从而提出一种基于生日悖论、利用活动性进行的新的攻击方法.结合平衡性进行攻击,获得更好的性能:速度提高10倍,所需的选择明文量降低为十分之一.

对特殊类型Feistel密码的Square攻击

对轮函数为SP结构的两类特殊类型Feistel密码抗Square攻击的能力进行了研究。通过改变轮函数中P置换的位置从而给出了此类Feistel密码的等价结构,以SNAKE(2)和CLEFIA为例,给出了基于等价结构Square攻击的具体过程,将6轮SNAKE(2)的Square攻击的时间复杂度由224降为213.4;将6轮CLEFIA的Square攻击的时间复杂度由234.4降为212.4。结果表明,在设计轮函数为SP结构的Feistel密码时,必须充分考虑等价结构对算法抗Square攻击的影响。