Bilattices for deductions in multi-valued logic

In this exploratory paper we propose a framework for the deduction apparatus of multi-valued logics based on the idea that a deduction apparatus has to be a tool to manage information on truth values and not directly truth values of the formulas. This is obtained by embedding the algebraic structure V defined by the set of truth values into a bilattice B. The intended interpretation is that the elements of B are pieces of information on the elements of V. The resulting formalisms are particularized in the framework of fuzzy logic programming. Since we see fuzzy control as a chapter of multi-valued logic programming, this suggests a new and powerful approach to fuzzy control based on positive and negative conditions.     

Parrondo’s paradox and complementary Parrondo processes

Parrondo’s Paradox has gained a fair amount of attention due to it being counter-intuitive. Given two stochastic processes, both of which are losing in nature, it is possible to have an overall net increase in capital by periodically or randomly alternating between the two processes. In this paper, we analyze the paradox with a different approach, in which we start with one process and seek to derive its complementary process. We will also state the conditions required for this to occur. Possible applications of our results include the development of future models based on the paradox.     

A novel approach for protein identification from complex cell proteome using modified peptide mass fingerprinting algorithm

A unique peptide based search algorithm for identification of protein mixture using PMF is proposed. The proposed search algorithm utilizes binary search and heapsort programs to generate frequency chart depicting the unique peptides corresponding to all proteins in a proteome. The use of binary search program significantly reduces the time for frequency chart preparation to ～2 s for a proteome comprising ～23 000 proteins. The algorithm was applied to a three‐protein mixture identification, host cell protein (HCP) analysis, and a simulation‐generated data set. It was found that the algorithm could identify at least one unique peptide of a protein even in the presence of fourfold higher concentration of another protein. In addition, two HCPs that are known to be difficult to remove were missed by MS/MS approach and were exclusively identified using the presented algorithm. Thus, the proposed algorithm when used along with standard proteomic approaches present avenues for enhanced protein identification efficiency, particularly for applications such as HCP analysis in biopharmaceutical research, where identification of low‐abundance proteins are generally not achieved due to dynamic range limitations between the target product and HCPs.     

"广义芝诺悖论"的再探讨

在第25卷第5期的《大学物理》上,一篇文章对"广义芝诺悖论"进行了探讨,但他们分析的并不是"悖论"中的匀速率的理想运动,而且还存在推导错误.本文通过对"广义芝诺悖论"物理情境的分析,抽象建立起VPV模型,并由此得出:从运动学角度考虑,"广义芝诺悖论"正过程的初态和末态是"多对一"的关系,"广义芝诺悖论"并不为悖论.     

An Intermediate-Energy Experimental Test of Bell's Inequalty with Recoil Polarimeters

To date there has been only one test for local reality which used fermions. Lamehi-Rachti and Mittig measured correlated protons with a recoil polarimeter at Saclay. We discuss this experiment and survey the published criticism. We then propose an experiment involving a 500 MeV electron beam on a ³He target. The two protons in the ³He nucleus originally have their spins anti-aligned. The spins of the ejected protons can be measured with a recoil polarimeter and the correlation function obtained, which will be a good test of Local Reality and Bell's inequality.     

On the problem of axisymmetrically loaded shells of revolution with small elastic strains and arbitrarily large axial deflections

For the problem of axisymmetrically loaded shells of revolution with small elastic strains and arbitrarily large axial deflections, this paper suggests a group of state variable: radial displacement u, axial displacement w, angular, deflection of tangent in the meridian X, radial stress resultant H and meridional bending moment M_s, and derives a System of First-order Nonlinear Differential Equations under global coordinate system with these variables. The Principle of Minimum Potential Energy for the problem is obtained by means of weighted residual method, and its Generalized Variational Principle by means of identified Lagrange multiplier method.This paper also presents a Method of Variable-characteristic Nondimensionization with a scale of load parameter, which may efficientlky raise the probability of success for nonlinearity calculation. The obtained Nondimensional System of Differential Equations and Nondimensional Principle of Minimum Potential Energy could be taken as the theoretical basis for the numerical computation of axisymmetrical shells with arbitrarily large deflections.     

双生子佯谬的投影诠释

在表示洛伦兹变换的复平面上,考察各边平行于坐标轴的直角三角形,以其中各边比例关系为“投影关系”,用于简明地诠释双生子佯谬的实质,并得出某种程度的一般性结论     

Relative nonsymmetry effects of the super (generalized) nonlinear velocity, time of a particle and its kinetic formulae for followed body

IntroductionItiswell-knownthatanearallawalwaysdevelopsfromthelowertothehigher,andthatdescribingaquantitativescienceofthingessenceisalsofromthelinearitytothenonlinearity.In1995,theauthorexpandedthelinearmomentUmploftheNeWtonianmechanicstothenonlinearmomentumbyusingtheLaurentseries,andinwhichitisthesupernonlinearmomentUmincludingallnonlineartCrmsllj.Themomentumisthevectorterminthecombinatorialvector.u.bert2].Theauthorcallsthevelocityinthesupernonlinearmomentumasthesupernonlinearvelocity(somes…     

On the Ingredients of the Twin Paradox

If M is a 4-dimensional connected, orientable flat spacetime manifold endowed with a time-arrow, and if the existence of a finite speed limit to energy/information transfers over M can be assessed, then the “twin paradox” necessarily follows (and indeed, the full special relativity theory). Two other implicit ingredients of the paradox are also identified.     

Two-Dimensional Riemann Problems for the Compressible Euler System

Riemann problems for the compressible Euler system in two space dimensions are complicated and difficult, but a viable alternative remains missing. The author lists merits of one-dimensional Riemann problems and compares them with those for the current two-dimensional Riemann problems, to illustrate their worthiness. Two-dimensional Riemann problems are approached via the methodology promoted by Andy Majda in the spirits of modern applied mathematics; that is, simplified model is built via asymptotic analysis, numerical simulation and theoretical analysis. A simplified model called the pressure gradient system is derived from the full Euler system via an asymptotic process. State-of-the-art numerical methods in numerical simulations are used to discern smallscale structures of the solutions, e.g., semi-hyperbolic patches. Analytical methods are used to establish the validity of the structure revealed in the numerical simulation. The entire process, used in many of Majda＇s programs, is shown here for the two-dimensional Riemann problems for the compressible Euler systems of conservation laws