The positive floating potential of high-temperature particles in plasma

It has been predicted that the floating potential of particles in plasma may become positive when the particle surface temperature is high enough, but, to our knowledge, no positive floating potential has been obtained yet. In the present paper the floating potential theory of high-temperature particles in plasma is developed to cover the positive potential range for the first time, and a general approximate analytical formula for the positive floating potential with a thin plasma sheath and subsonic plasma flow is derived from the new model recently proposed by the authors. The results show that when the floating potential is positive, the net flux of charge incident on the particle approaches a constant similar to the 'electron saturation' phenomena in the case of the electric probes.

Fracture behavior of axisymmetrical bars under high triaxial stress and large strain cyclic loading

Axisymmetric notched bars with notch roots of large and small radii were tested under large strain cyclic loading. The main attention is focused on the fracture behaviour of steels having cycles to failure within the range 1-100. Our study shows that a gradual transition from a static ductile nature to one of fatigue cleavage can be observed and characterized by the Coffin-Manson formula in a generalized form. Both the triaxial tensile stress within the central region of specimens and static damage caused by the first increasing load have effects on the final failure event. A generalized cyclic strain range parameter DELTAepsilon is proposed as a measure of the numerous factors affecting behaviour. Fractographs are presented to illustrate the behaviour reported in the paper.

On the invariant representation of spin tensors with applications

The invariant representation of the spin tensor defined as the rotation rate of a principal triad for a symmetric and non-degenerate tensor is derived on the basis of the general solution of a linear tensorial equation. The result can be naturally specified to study the. spin of the stretch tensors and to investigate the relations between various rotation rate tensors encountered frequently in modern continuum mechanics. A remarkable formula which relates the generalized stress conjugate to the generalized strain in Hill's sense. to Cauchy stress, is obtained in invariant form through the work conjugate principle. Particularly, a detailed discussion on the time rate of logarithmic strain and its conjugate stress is made as the principal axes of strain arc not fixed during deformation.

Some theorems in asymptotic analysis

Basing ourselves on the analysis of magnitude of order, we strictly prove fundamental lemmas for asymptotic integral, including the cases of infinite region. Then a general formula for asymptotic expansion of integrals is given. Finally, we derive a sufficient condition for an ordinary differential equation to possess a solution of the Frobenius series type at finite irregular singularities or branching points.

Study on cracked spherical shells

The local-global anatysis method is systematically extended to the fracture analysis of spherical shells. On the basis of the shallow shell theory, which takes into account transverse shear deformations, governing equations for cracked spherical shells expressed in displacement and stress functions f, F and φ are proposed, and then a general solution including Modes, Ⅰ, Ⅱ, Ⅲ for stress-strain fields at crack tip in a spherical shell is obtained, which plays the same role as Williams's expansion in plane elasticity. The numerical results for finite-size spherical shells under different boundary conditions have been obtained. Furthermore, the bulging factors are analyzed with regard to shearing stiffness and an approximate formula is given.

Microscopic theory of chemical-reaction rate

In this paper we deduce the formulae for rate-constant of microreaction with high resolving power of energy from the time-dependent Schrdinger equation for the general case when there is a depression on the reaetional potential surface (when the depression is zero in depth, the case is reduced to that of Eyring). Based on the assumption that Bolzmann distribution is appropriate to the description of reactants, the formula for the constant of macrorate in a form similar to Eyring's is deduced and the expression for the coefficient of transmission is given. When there is no depression on the reactional potential surface and the coefficient of transmission does not seriously depend upon temperature, it is reduced to Eyring's. Thus Eyring's is a special case of the present work.

Temperature transformation in relativistic thermodynamics

This paper reviews conflicting results on relativistic transformation formula for tem-perature obtained by different authors in the last half century, discusses the proper expres-sion for elementary work done under reversible processes, and presents a correct derivationof the transformation formula, rather similar in spirit to that of Einstein. It is pointed outthat the point of view adopted by Eddington, Ott, Mφller and Landsberg are erroneous,and that by correctly carrying out detailed analysis for Mφller's working model, which wasoriginally proposed to disprove Planck-Einstein result, we have arrived instead at a result incomplete agreement with that of Planck-Einstein. Thercupon this long standing controversyover the temperature transformation dilemma for relativistic thermodynamics is clarified.

Optimal Correction for Guessing in Multiple-Choice Tests

Building on Item Response Theory we introduce students’ optimal behavior in multiple-choice tests. Our simulations indicate that the optimal penalty is relatively high, because although correction for guessing discriminates against risk-averse subjects, this effect is small compared with the measurement error that the penalty prevents. This result obtains when knowledge is binary or partial, under different normalizations of the score, when risk aversion is related to knowledge and when there is a pass-fail break point. We also find that the mean degree of difficulty should be close to the mean level of knowledge and that the variance of difficulty should be high.

La fiscalidad de las cooperativas. Un modelo que fortalece los fondos propios

[ES] Las cooperativas son un modelo de empresa que tiene unas características particulares, entre las que destacan la distribución y el ejercicio del poder, la manera particular de distribución de resultados, la existencia de unos fondos obligatorios, la autoregulación del régimen de trabajo, el procedimiento de atribución de fondos económicos en el momento de la baja de un socio, y la participación de los asalariados en los resultados económicos positivos.

Observaciones sobre la fórmula "in hono. Argael." en un epígrafe de Cacabelos, León (CIL II 5672)

Ejemplar dedicado a: Serta Palaeohispanica in honorem Javier de Hoz

Sustentabilidad de la Pesquería Artesanal del Río Bermejo.

Este trabajo es el resultado de la tesis de Maestría en Recursos Naturales y Medio Ambiente (Orientación Recursos Faunísticos), realizada por el autor en la Facultad de Ciencias Naturales de la Universidad Nacional de Salta y bajo la dirección del Dr. Sergio Gustavo Mosa. La pesca artesanal con fines comerciales es practicada en el sector salteño del Río Bermejo desde hace décadas, por pobladores de localidades ribereñas como Orán, Embarcación y Rivadavia Banda Sur, los cuales pescan hasta el límite Salta – Chaco, dependiendo de la época del año. Esta pesquería se desarrolló por más de 50 años fuera del marco de las normas legales vigentes en la provincia (Ley 5513), siendo una actividad marginal perseguida por la justicia, y mal vista por la opinión pública en general. Entre Julio de 2001 y Julio de 2003, la Cooperativa de Pescadores Artesanales “La Unión” fue habilitada como empresa pesquera comercial de tipo artesanal por la Secretaria de Medio Ambiente y Desarrollo Sustentable de Salta. El monitoreo de esta actividad fue efectuado por la Cátedra de Piscicultura y Pesquerías (IRNED) de la Facultad de Ciencias Naturales de la Universidad Nacional de Salta. Las reglamentaciones y regulaciones legales de esta actividad se tomaron originariamente bajo el principio de precaución ante la falta de conocimiento científico. A la luz de la nueva información colectada, algunas de ellas resultan contrarias al principio prioritario de la gestión pesquera, el cual propone: Obtener la mejor utilización posible del recurso en provecho de la comunidad, recordando que mejor utilización implica mayor captura, mejor precio, más ganancias y más empleo. La presente Tesis de Maestría demuestra la sustentabilidad de la pesquería artesanal en el Bermejo, tanto desde a) el punto de vista biológico, analizando las capturas en función de las normas y reglamentaciones legales vigentes y de la biología y hábitos reproductivos de cada especie, como desde b) el punto de vista económico, teniendo en cuenta la relación costo-beneficio y las posibles alternativas para optimizar la misma. Asimismo, formula una serie de recomendaciones destinadas a mejorar la gestión pesquera. Para las 4 especies más importantes de la pesquería: sábalo Prochilodus lineatus, surubí Pseudoplatystoma coruscans, dorado Salminus brasiliensis y bagre blanco Pimelodus albicans, a) los cupos asignados para la captura anual por especie no son alcanzados; b) las tallas mínimas de captura observadas superan las tallas mínimas de captura autorizadas; c) las tallas medias de captura se encuentran muy por encima de las tallas medias de madurez sexual; d) la captura exclusiva de ejemplares maduros para todas las especies prueba que el grueso del stock pesquero ha podido superar por lo menos un evento reproductivo antes de ser capturado; e) el actual período de veda resulta demasiado amplio por lo que uno de dos meses, de mediados de noviembre a mediados de enero resultaría biológicamente adecuado. En cuanto a la sustentabilidad económica de la actividad, cada unidad económica de pesca debe realizar entre 45 y 50 excursiones de pesca anuales para obtener rendimientos económicos equivalentes a un ingreso mensual de aproximadamente $ 1000. (PDF tiene 92 paginas.)

Basic equations for ferroelectrics

A set of new formula of energy functions for ferroelectrics was proposed, and then the new basic equations were derived in this paper. The finite element formulation based on the new basic equations was improved to avoid the equivalent nodal load produced by remnant polarization. With regard to the fundamentals of mathematics and physics, the new energy functions and basic equations are reasonable for the material element of ferroelectrics in finite element analysis.

DNS and LES of turbulent channel flow with hydrophobic surface

Hydrophobic surface benefits for drag reduction. Min and Kim[1] do the first Direct Numerical Simulation on drag reduction in turbulent channel flow. And Fukagata and Kasagi[2] make some theoretical analysis based on Dean[3]'s formula and some observations in the DNS results. Using their theory, they conclude that drag reduction is possible in large Reynolds number. Both Direct Numerical Simulation (DNS) and Large Eddy Simulation (LES) are performed in our research. How the LES behaving in the turbulent channel flow with hydrophobic surface is examined. Original Smagorinsky model and its Dynamical model are used in LES. The slip velocities predicted by LES using Dynamical model are in good agreement with DNS as shown in the Figure. Although the percentage of drag reduction predicted by LES shows some discrepancies, it is in the error limit for industrial flow. First order and second order moments of LES are also examined and compared with DNS's results. The first-order moments is calculated well by LES. But there are some discrepancies of second-order moments between LES and DNS. [GRAPHICS]

Invariant-free deduction systems for temporal logic

In this thesis we propose a new approach to deduction methods for temporal logic. Our proposal is based on an inductive definition of eventualities that is different from the usual one. On the basis of this non-customary inductive definition for eventualities, we first provide dual systems of tableaux and sequents for Propositional Linear-time Temporal Logic (PLTL). Then, we adapt the deductive approach introduced by means of these dual tableau and sequent systems to the resolution framework and we present a clausal temporal resolution method for PLTL. Finally, we make use of this new clausal temporal resolution method for establishing logical foundations for declarative temporal logic programming languages. The key element in the deduction systems for temporal logic is to deal with eventualities and hidden invariants that may prevent the fulfillment of eventualities. Different ways of addressing this issue can be found in the works on deduction systems for temporal logic. Traditional tableau systems for temporal logic generate an auxiliary graph in a first pass.Then, in a second pass, unsatisfiable nodes are pruned. In particular, the second pass must check whether the eventualities are fulfilled. The one-pass tableau calculus introduced by S. Schwendimann requires an additional handling of information in order to detect cyclic branches that contain unfulfilled eventualities. Regarding traditional sequent calculi for temporal logic, the issue of eventualities and hidden invariants is tackled by making use of a kind of inference rules (mainly, invariant-based rules or infinitary rules) that complicates their automation. A remarkable consequence of using either a two-pass approach based on auxiliary graphs or aone-pass approach that requires an additional handling of information in the tableau framework, and either invariant-based rules or infinitary rules in the sequent framework, is that temporal logic fails to carry out the classical correspondence between tableaux and sequents. In this thesis, we first provide a one-pass tableau method TTM that instead of a graph obtains a cyclic tree to decide whether a set of PLTL-formulas is satisfiable. In TTM tableaux are classical-like. For unsatisfiable sets of formulas, TTM produces tableaux whose leaves contain a formula and its negation. In the case of satisfiable sets of formulas, TTM builds tableaux where each fully expanded open branch characterizes a collection of models for the set of formulas in the root. The tableau method TTM is complete and yields a decision procedure for PLTL. This tableau method is directly associated to a one-sided sequent calculus called TTC. Since TTM is free from all the structural rules that hinder the mechanization of deduction, e.g. weakening and contraction, then the resulting sequent calculus TTC is also free from this kind of structural rules. In particular, TTC is free of any kind of cut, including invariant-based cut. From the deduction system TTC, we obtain a two-sided sequent calculus GTC that preserves all these good freeness properties and is finitary, sound and complete for PLTL. Therefore, we show that the classical correspondence between tableaux and sequent calculi can be extended to temporal logic. The most fruitful approach in the literature on resolution methods for temporal logic, which was started with the seminal paper of M. Fisher, deals with PLTL and requires to generate invariants for performing resolution on eventualities. In this thesis, we present a new approach to resolution for PLTL. The main novelty of our approach is that we do not generate invariants for performing resolution on eventualities. Our method is based on the dual methods of tableaux and sequents for PLTL mentioned above. Our resolution method involves translation into a clausal normal form that is a direct extension of classical CNF. We first show that any PLTL-formula can be transformed into this clausal normal form. Then, we present our temporal resolution method, called TRS-resolution, that extends classical propositional resolution. Finally, we prove that TRS-resolution is sound and complete. In fact, it finishes for any input formula deciding its satisfiability, hence it gives rise to a new decision procedure for PLTL. In the field of temporal logic programming, the declarative proposals that provide a completeness result do not allow eventualities, whereas the proposals that follow the imperative future approach either restrict the use of eventualities or deal with them by calculating an upper bound based on the small model property for PLTL. In the latter, when the length of a derivation reaches the upper bound, the derivation is given up and backtracking is used to try another possible derivation. In this thesis we present a declarative propositional temporal logic programming language, called TeDiLog, that is a combination of the temporal and disjunctive paradigms in Logic Programming. We establish the logical foundations of our proposal by formally defining operational and logical semantics for TeDiLog and by proving their equivalence. Since TeDiLog is, syntactically, a sublanguage of PLTL, the logical semantics of TeDiLog is supported by PLTL logical consequence. The operational semantics of TeDiLog is based on TRS-resolution. TeDiLog allows both eventualities and always-formulas to occur in clause heads and also in clause bodies. To the best of our knowledge, TeDiLog is the first declarative temporal logic programming language that achieves this high degree of expressiveness. Since the tableau method presented in this thesis is able to detect that the fulfillment of an eventuality is prevented by a hidden invariant without checking for it by means of an extra process, since our finitary sequent calculi do not include invariant-based rules and since our resolution method dispenses with invariant generation, we say that our deduction methods are invariant-free.

Mikroblogintza tekniken erabilera programazioan sortzen diren zalantzak ebazteko

Gaur egun Twitter moduko mikroblogintza aplikazioak zalantzak argitzeko gero eta gehiago erabiltzen dira. Erabiltzaileak laguntza eskaera adierazi eta sare sozialaren bidez bere kontaktuei helarazi egiten zaie. Erabiltzaileak galdera eta erantzunen kudeaketa sare sozial nahaste baten barruan egin beharko du. Proiektuaren helburu nagusia mikroblogintza plataformetako kanala programazio lengoaien IDEen barruan bateratzea da, modu honetan laguntza eskatzeko prozesua IDEetan bertan kudeatzeko.