Role of electron-phonon interaction in lattice dynamics and superconductivity of oxide spinel LiTi2O4

The lattice dynamics of an oxide spinel LiTi₂O₄ is studied by taking account of the electron-phonon (EP) interaction derived on the basis of the realistic tight-binding bands fitted to the first-principles bands. Due to the characteristic dependences of the EP interaction on wavevectors and vibrational modes, a remarkable frequency renormalization of the O vibrational modes, which hybridize with the Ti vibrational modes, is obtained over a wide region of the Brillouin zone. The overall features of the calculated phonon density of states are in agreement with those observed by the inelastic neutron scattering measurements. By using the EP interaction and the renormalized phonon frequencies we have calculated the EP spectral function ² F(). The superconducting transition temperature, gap function, and tunneling spectra are calculated by solving the Éliashberg equation. The results agree well with the observations.     

Information Retrieval and Filtering of Multimedia Mineral Data

Most of the written materials are consisted of Multimedia (MM) information because beside text usually contain image information. The present information retrieval and filtering systems use only text parts of the documents or in best case images represented by keywords or image captions. Why do not use both, text and image features of the documents and in the retrieval or filtering process utilize more completely the document information content? Can such approach increase the effectiveness of retrieval and filtering processes? There is a very little difference between retrieval and filtering at an abstract level. In this paper, we will discuss some possible similarities and differences between them on the application level taking into account the experiments in retrieval and filtering of multimedia mineral information.     

Semantic integration of audio content providers through the Audio Commons Ontology

A broad variety of audio content is available online through an increasing number of repositories and platforms. Resources such as music tracks, recorded sounds or instrument samples may be accessed by users for tasks ranging from customised music listening and exploration, to music making and sound design using existing sounds and samples. However, each online repository offers its own API and represents information through its own data model, making it difficult for applications to exploit the plurality of online audio and music content on the web. A crucial step toward integrating audio repositories in a flexible manner is a shared basis for modelling the data therein. This paper describes and extends the Audio Commons Ontology, a common data model designed to integrate existing repositories in the audio media domain. The ontology is designed with the involvement of users through surveys and requirements analyses, and evaluated in-use, by demonstrating how it supports the integration of four relevant repositories with heterogeneous APIs and data models. While this work proves the concept in the audio domain, our proposed methodology may transfer across a broad range of media integration tasks.     

Modal Pure Type Systems

We present a framework for intensional reasoning in typed -calculus. In this family of calculi, called Modal Pure Type Systems (MPTSs), a propositions-as-types-interpretation can be given for normal modal logics. MPTSs are an extension of the Pure Type Systems (PTSs) of Barendregt (1992). We show that they retain the desirable meta-theoretical properties of PTSs, and briefly discuss applications in the area of knowledge representation.     

Production of perovskite-like La1−xCaxMnO3+δ ferromagnetic thin films by electrochemical reduction

Ferromagnetic and perovskite-like thin films (<1m) of La1–xCaxMnO3+ have been routinely prepared by heat treatment of an amorphous La–Ca–Mn precursor. The precursor was electrodeposited cathodically in the absence of oxygen and water onto polished silver substrates from a nonaqueous solution of the components' nitrates. Analysis by X-ray diffraction and SQUID magnetometry shows these materials exhibit the appropriate structural and magnetic phases indicative of colossal magnetoresistance.     

Isochoric p-ρ-T Measurements on 1,1-Difluoroethane (R152a) from 158 to 400 K and 1,1,1-Trifluoroethane (R143a) from 166 to 400 K at Pressures to 35 MPa

The p--T relationships have been measured for 1,1-difluoroethane (R152a) and 1,1,1-trifluoroethane (R143a) by an isochoric method with gravimetric determinations of the amount of substance. Temperatures ranged from 158 to 400 K for R152a and from 166 to 400 K for R143a, while pressures were up to 35 MPa. Measurements were conducted on compressed liquid samples. Determinations of saturated liquid densities were made by extrapolating each isochore to the vapor pressure, and determining the temperature and density at the intersection. Published p--T data are in good agreement with this study. For the p--T apparatus, the uncertainty of the temperature is ±0.03 K, and for pressure it is ±0.01% at p>3 MPa and ±0.05% at p&#60;3 MPa. The principal source of uncertainty is the cell volume (28.5 cm³), which has a standard uncertainty of ±0.003 cm³. When all components of experimental uncertainty are considered, the expanded relative uncertainty (with a coverage factor k=2 and thus a two-standard deviation estimate) of the density measurements is estimated to be ±0.05%.     

αB-spline: a linear singular blending B-spline

A linear singular blending (LSB) technique can enhance the shape—control capability of the B-spline. This capability is derived from the blending parameters defined at the B-spline control vertices and blends LSB line segments or bilinear surface patches with the B-spline curve or surface. Varying the blending parameters between zero and unity applies tension for reshaping. The reshaped curve or surface retains the same smoothness properties as the original B-spline; it possesses the same strict parametric continuities. This is different from the -spline, which introduces additional control to the B-spline by imposing geometrical continuities to the joints of curve segments or surface patches. For applications in which strict parametric continuities cannot be compromised, LSB provides an intuitive way to introduce tension to the B-spline.     

Reasoning about action and change

Reasoning about change is a central issue in research on human and robot planning. We study an approach to reasoning about action and change in a dynamic logic setting and provide a solution to problems which are related to the Frame problem. Unlike most work on the frame problem the logic described in this paper is monotonic. It (implicitly) allows for the occurrence of actions of multiple agents by introducing non-stationary notions of waiting and test. The need to state a large number of frame axioms is alleviated by introducing a concept of chronological preservation to dynamic logic. As a side effect, this concept permits the encoding of temporal properties in a natural way. We compare the relative merits of our approach and non-monotonic approaches as regards different aspects of the frame problem. Technically, we show that the resulting extended systems of propositional dynamic logic preserve (weak) completeness, finite model property and decidability.     

高职院校网络安全防护技术课程的内容开发探索

通过对网络管理类岗位人才需要规格的分析,从而正确定位网络安全防护技术课程的在课程体系中的位置.按照"安全防护策略化、教学模式任务化"的设计理念开发课程,依据网络安全工程师的工作过程和学生的认知规律序化教学内容.开发过程体现了将安全防护技术策略化,科学设计<网络安全防护技术>课程内容的特色.