131 resultados para First-order logic
em Chinese Academy of Sciences Institutional Repositories Grid Portal
Resumo:
Based on the Collins integral formula, the analytic expressions of propagation of the coherent and the incoherent off-axis Hermite-cosh-Gaussian (HChG) beam combinations with rectangular symmetry passing through a paraxial first-order optical system are derived, and corresponding numerical examples are given and analysed. The resulting beam quality is discussed in terms of power in the bucket (PIB). The study suggests that the resulting beam cannot keep the initial intensity shape during the propagation and the beam quality for coherent mode is not always better than that for incoherent mode. Reviewing the numerical simulations of Gaussian, Hermite-Gaussian (HG) and cosh Gaussian (ChG) beam combinations indicates that the Hermite polynomial exerts a chief influence on the irradiance profile of composite beam and far field power concentration.
Resumo:
A systematic investigation of structure and intrinsic magnetic properties of the compounds Sm3Fe29-xTx (T = V and Cr) and their nitrides has been performed. Nitrogenation resulted in remarkable improvements in the saturation magnetization and anisotropy fields at 4.2 K and room temperature. First order magnetization processes are observed at around 5.7 T for Sm3Fe26.7V2.3 and around 2.8 T for Sm3Fe24.0Cr5.0 and Sm3Fe24.0Cr5.0N4, respectively. The spin reorientation of the easy magnetization direction of Sm3Fe26.7V2.3 is observed at around 230 K. As a preliminary result, the maximum remanence B-r of 0.94 T, the coercivity mu(0)H(C) of 0.75 T, and the maximum energy product (BH) of 108.5 kJ/m(3) for the nitride magnet Sm3Fe26.7V2.3N4 are achieved by ball-milling at 293 K.
Resumo:
Often it is assumed that absorbance decays in photochromic materials with the time dependence of the photochemical kinetics, i.e. exponentially for first order kinetics. Although this may hold in the limiting case of vanishing absorbance, deviations are to be expected for realistic samples, because the local photochemical kinetics slows down with increasing initial absorption and penetration depth of the radiation. We discuss the theory of the kinetics of initially homogeneous photochromic samples and derive analytical solutions. In extension of Tomlinson's theory we find an analytical solution that holds with good approximation even for samples that exhibit a small residual absorption in the saturation limit. The theoretical time dependence of the absorbance originating from photochemical first order kinetics of dye-doped systems is compared with experimental data published by Lafond et al. for fulgides doped in different polymer matrices. (c) 2007 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim.
Resumo:
The novel poly(aryl ether ketone)s were synthesized by nucleophilic substitution reactions of 4,4'-difluorobenzophenone with 4,4'-biphenyldiol and chlorohydroquinone. As expected, the copolymers have lower melting transitions than the biphenyldiol-based homopoly(aryl ether ketone) because of the copolymerization effect of the crystal-disrupting monomer chlorohydroquinone. Copolymers containing 50 and 70% biphenyldiol show two first-order transitions which are associated with the crystal-to-liquid crystal transition and the liquid crystal-to-isotropic transition.
Resumo:
A new type of macro-micro-macro triple electrode has been fabricated, the steady-state currents of solution redox species have been observed at an ultramicroband electrode by linear potential scan voltammetry, and generation/collection experiments have al
Resumo:
Finding countermodels is an effective way of disproving false conjectures. In first-order predicate logic, model finding is an undecidable problem. But if a finite model exists, it can be found by exhaustive search. The finite model generation problem in the first-order logic can also be translated to the satisfiability problem in the propositional logic. But a direct translation may not be very efficient. This paper discusses how to take the symmetries into account so as to make the resulting problem easier. A static method for adding constraints is presented, which can be thought of as an approximation of the least number heuristic (LNH). Also described is a dynamic method, which asks a model searcher like SEM to generate a set of partial models, and then gives each partial model to a propositional prover. The two methods are analyzed, and compared with each other.
Resumo:
研究了一阶逻辑推理工具对语义网的推理支持.语义网的关键推理问题可以化为公式的可满足性判定问题.一阶逻辑的自动定理证明器可以证明不可满足性,而有限模型查找器为可满足的公式在有限域内构造模型.提出在语义网的推理中,同时使用定理证明器和有限模型查找器.实验结果表明,这样可以解决描述逻辑工具的不足,并可以弥补定理证明器对可满足的公式推理的不完备性.
Resumo:
以一阶谓词逻辑为基础,讨论约束满足问题.着重研究一阶逻辑公式可满足性的局部搜索法,并与命题逻辑中的可满足性过程加以比较.以皇后问题和哈密顿回路问题为例,说明基于一阶逻辑的方法能处理较大的问题实例.
Resumo:
The mode characteristics for two coupled microdisks are investigated by the finite-difference time-domain technique. In the two coupled micodisks, mode coupling between the same order whispering-gallery modes (WGMs) results in coupled WGMs with split mode wavelengths. The numerical results show that the split mode wavelengths of the coupled first- and second-order WGMs can have a crossing point in some cases, which can induce anticrossing mode coupling between them and greatly reduce the mode Q factor of the coupled first-order WGMs. The time variation of mode field pattern shows the transformation between the coupled first- and second-order WGMs. (C) 2007 Optical Society of America