Limitations of the Clausius‐Mossotti function used in dielectrophoresis and electrical impedance studies of biomacromolecules

Dielectrophoresis (DEP) studies have progressed from the microscopic scale of cells and bacteria, through the mesoscale of virions to the molecular scale of DNA and proteins. The Clausius‐Mossotti function, based on macroscopic electrostatics, is invariably employed in the analyses of all these studies. The limitations of this practice are explored, with the conclusion that it should be abandoned for the DEP study of proteins and modified for native DNA. For macromolecular samples in general, a DEP theory that incorporates molecular‐scale interactions and the influence of permanent dipoles is more appropriate. Experimental ways to test these conclusions are proposed.     

Banach空间中优化问题的最优性条件

首先在Contingent切锥意义下界定了Banach空间中非空集合的伪切锥和伪凸性的概念，并讨论了相应的性质，然后针对可微优化问题，在广义凸性假设下，建立了最优性条件。     

Generating cryptographically strong Boolean functions using partial information

Periodica Mathematica Hungarica - In our paper we study the usage of partially defined Boolean functions (PDBFs) for generating cryptographically strong Boolean functions. A PDBF can be considered...     

The Best Lower Bound for the Permanent of a Correlation Matrix of Rank Two

If 1≤k≤n, then Cor(n,k) denotes the set of all n×n real correlation matrices of rank not exceeding k. Grone and Pierce have shown that if A∈Cor (n, n-1), then per(A)≥n/(n-1). We show that if A∈Cor(n,2), then , and that this inequality is the best possible.     

Interpreting Observables in a Quantum World from the Categorial Standpoint

We develop a relativistic perspective on structures of quantum observables, in terms of localization systems of Boolean coordinatizing charts. This perspective implies that the quantum world is comprehended via Boolean reference frames for measurement of observables, pasted together along their overlaps. The scheme is formalized categorically, as an instance of the adjunction concept. The latter is used as a framework for the specification of a categorical equivalence signifying an invariance in the translational code of communication between Boolean localizing contexts and quantum systems. Aspects of the scheme semantics are discussed in relation to logic. The interpretation of coordinatizing localization systems, as structure sheaves, provides the basis for the development of an algebraic differential geometric machinery suited to the quantum regime.     

Conceptions of function translation: obstacles, intuitions, and rerouting

A horizontal translation of a function is the focus of this study. We examine the explanations provided by secondary school students and secondary school teachers to a translation of a function, focusing on the example of the parabola y=(x−3)² and its relationship to y=x². The participants’ explanations focused on attending to patterns, locating the zero of the function, and the point-wise calculation of function values. The results confirm that the horizontal shift of the parabola is, at least initially, inconsistent with expectations and counterintuitive to most participants. We articulate possible sources of this perceived inconsistency and describe a pedagogical approach aimed at resolving it.     

PuN基态分子势能函数与热力学函数的理论计算

在Pu的相对论有效原子实势近似和N原子 6 - 311G 全电子基函数下 ,用密度泛函B3LYP方法计算得到PuN分子基态X6Σ+ 的结构与势能函数、力常数与光谱数据 .同时计算得到PuN(g)分子在 2 98K时的标准生成热力学函数ΔfH0 、ΔS0 和ΔfG0 ,分别为 - 4 87.2 39kJ/mol、95 .345J/molK和 - 5 15 .6 6 6 1kJ/mol.     

关于可达矩阵的求法探讨

在《离散数学》、《图论》课程中 ,用矩阵表示图时 ,涉及到一类重要的矩阵——可达矩阵 ,它是判别图中任意两点是否有通路的重要手段 ,也是求强分图的重要方法 ,但是可达矩阵的求法比较复杂 .本文针对这一问题 ,对可达矩阵的求法进行了改进 ,提出了一种简单可行的算法 .     

Numerical solution of differential equations using Sinc method based on the interpolation of the highest derivatives

In general, we will use the numerical differentiation when dealing with the differential equations. Thus the differential equations can be transformed into algebraic equations and then we can get the numerical solutions. But as we all have known, the numerical differentiation process is very sensitive to even a small level of errors. In contrast it is expected that on average the numerical integration process is much less sensitive to errors. In this paper, based on the Sinc method we provide a new method using Sinc method incorporated with the double exponential transformation based on the interpolation of the highest derivatives (SIHD) for the differential equations. The error in the approximation of the solution is shown to converge at an exponential rate. The numerical results show that compared with the exiting results, our method is of high accuracy, of good convergence with little computational efforts. It is easy to treat nonhomogeneous mixed boundary condition for our method, which is unlike the traditional Sinc method.     

Ultra <Emphasis Type="Italic">LI</Emphasis>-ideals in lattice implication algebras and <Emphasis Type="Italic">MTL</Emphasis>-algebras

A mistake concerning the ultra LI-ideal of a lattice implication algebra is pointed out, and some new sufficient and necessary conditions for an LI-ideal to be an ultra LI-ideal are given. Moreover, the notion of an LI-ideal is extended to MTL-algebras, the notions of a (prime, ultra, obstinate, Boolean) LI-ideal and an ILI-ideal of an MTL-algebra are introduced, some important examples are given, and the following notions are proved to be equivalent in MTL-algebra: (1) prime proper LI-ideal and Boolean LI-ideal, (2) prime proper LI-ideal and ILI-ideal, (3) proper obstinate LI-ideal, (4) ultra LI-ideal. This work was supported by the Zhejiang Provincial Natural Science Foundation of China (Grant No. Y605389) and K. C. Wong Magna Fund in Ningbo University.