微分代数多项式系统的可解集

本文对一般微分代数方程给出了几类可解集的概念，并讨论了多项式微分代数方程的可解集，得到子多项式系统具有唯一解。特别是有多于一个的解的条件，并得到了低次多项式在一定意义下的充分必要条件。     

Reply to Nathan: How to reconstruct the causal argument

Nicholas Nathan tries to resist the current version of the causal argument for sense-data in two ways. First he suggests that, on what he considers to be the correct re-construction of the argument, it equivocates on the sense of proximate cause. Second he defends a form of disjunctivism, by claiming that there might be an extra mechanism involved in producing veridical hallucination, that is not present in perception. I argue that Nathan’s reconstruction of the argument is not the appropriate one, and that, properly interpreted, the argument does not equivocate on proximate cause. Furthermore, I claim that his postulation of a modified mechanism for hallucinations is implausibly ad hoc.     

On the bounded version of Hilbert's tenth problem

 The paper establishes lower bounds on the provability of 𝒟=NP and the MRDP theorem in weak fragments of arithmetic. The theory I ⁵ E ₁ is shown to be unable to prove 𝒟=NP. This non-provability result is used to show that I ⁵ E ₁ cannot prove the MRDP theorem. On the other hand it is shown that I ¹ E ₁ proves 𝒟 contains all predicates of the form (∀i≤|b|)P(i,x)^Q(i,x) where ^ is =, <, or ≤, and I ⁰ E ₁ proves 𝒟 contains all predicates of the form (∀i≤b)P(i,x)=Q(i,x). Here P and Q are polynomials. A conjecture is made that 𝒟 contains NLOGTIME. However, it is shown that this conjecture would not be sufficient to imply 𝒟=N P. Weak reductions to equality are then considered as a way of showing 𝒟=NP. It is shown that the bit-wise less than predicate, ≤₂, and equality are both co-NLOGTIME complete under FDLOGTIME reductions. This is used to show that if the FDLOGTIME functions are definable in 𝒟 then 𝒟=N P. Received: 13 July 2001 / Revised version: 9 April 2002 / Published online: 19 December 2002 Key words or phrases: Bounded Arithmetic – Bounded Diophantine Complexity     

Well-dispersed gold nanowire suspension for assembly application

A method for fabricating well-dispersed nanowire suspension has been demonstrated in the paper. Thin gold nanowires were prepared by template synthesis, and then functionalized with sulphonate group-terminated thiols before suspended in different solvents. The degree of aggregation of the obtained suspension was evaluated with transmission electron microscopy (TEM) and UV-vis spectroscopy. It was found that the degree of aggregation was predominated by the solvents, and the best degree of dispersion was obtained when isopropyl alcohol (IPA) was used as the solvent. The gold nanowires from the suspension can be selectively assembled onto chemically patterned substrates. This well-dispersed nanowire suspension is potentially useful for fabricating novel nanodevices.     

Automorphisms with only infinite orbits on non-algebraic elements

 This paper generalizes results of F. K?rner from [4] where she established the existence of maximal automorphisms (i.e. automorphisms moving all non-algebraic elements). An ω-maximal automorphism is an automorphism whose powers are maximal automorphisms. We prove that any structure has an elementary extension with an ω-maximal automorphism. We also show the existence of ω-maximal automorphisms in all countable arithmetically saturated structures. Further we describe the pairs of tuples (ˉa,ˉb) for which there is an ω-maximal automorphism mapping ˉa to ˉb. Received: 12 December 2001 / Published online: 10 October 2002 Supported by the ``Fonds pour la Formation à la Recherche dans l'Industrie et dans l'Agriculture' Mathematics Subject Classification (2000): Primary: 03C50; Secondary: 03C57 Key words or phrases: Automorphism – Recursively saturated structure     

OSCILLATION RESULTS FOR A SECOND ORDER NEUTRAL DELAY DIFFERENTIAL EQUATIONS

Some new oscillation criteria are established for a second order neutral delay differential equations. These results improve oscillation results of Y.V. Rogo-vchenko for the retarded delay differential equations. The relevance of our theorems is illustrated with two carefully selected examples.     

二次阳极氧化方法制备有序多孔氧化铝膜

通过二次阳极氧化方法制备多孔氧化铝膜与一次阳极氧化方法制备多孔氧化铝膜孔排布规律性的对比 ,结果发现 ,二次阳极氧化方法制取的多孔氧化铝膜孔排布规律性明显好于一次阳极氧化法制取的多孔膜 .在几个微米范围内 ,孔呈理想的六角排布 .去除一次阳极氧化膜后 ,二次阳极氧化得以在更良好的表面进行 ,制取的氧化铝膜孔规律性和有序度更高 .有序区域的尺寸与晶粒内的亚晶大小有一定关系     

On a compromise social choice correspondence

This paper analyzes the compromise social choice correspondence derived from the τ-value of digraph games. Monotonicity of this correspondence is shown. A connection between several properties of social choice correspondences based on game theoretical solutions and game theoretical properties of the underlying solutions is given. Applications to several game theoretic solutions are provided.     

A laser Doppler anemometry technique for Reynolds stresses measurement

A technique is described for the measurement of all components of mean velocity and Reynolds stresses, in a complex turbulent flow where achieving coincidence data acquisition is difficult. The method is based on data recorded using four orientations of the laser probe. It is shown that the measurement errors are not the same for all the components of the Reynolds tensor, but they are sufficiently small to give a good accuracy. An application to a turbomachinery flow is given to illustrate the method.