979 resultados para temporal disjunctive logic programming
Resumo:
EXTRACT (SEE PDF FOR FULL ABSTRACT): We have analyzed streamflow variations recorded at 15 USGS gauging stations in California during the past 90 years or so. The anomalies (departures from the 1960-1990 mean discharge) of streamflow on annual-to-decadal time scales are strongly correlated with precipitation anomalies in each drainage basin. ... Although causes of the decadal climate (precipitation) variability are not known with certainty, the use of streamflow records may help us understand the relative strengths of moisture sources and shift of the jet stream in atmospheric circulation.
Resumo:
A dynamic programming algorithm for joint data detection and carrier phase estimation of continuous-phase-modulated signal is presented. The intent is to combine the robustness of noncoherent detectors with the superior performance of coherent ones. The algorithm differs from the Viterbi algorithm only in the metric that it maximizes over the possible transmitted data sequences. This metric is influenced both by the correlation with the received signal and the current estimate of the carrier phase. Carrier-phase estimation is based on decision guiding, but there is no external phase-locked loop. Instead, the phase of the best complex correlation with the received signal over the last few signaling intervals is used. The algorithm is slightly more complex than the coherent Viterbi algorithm but does not require narrowband filtering of the recovered carrier, as earlier appproaches did, to achieve the same level of performance.
Resumo:
An engineering design environment should allow users to design complex engineering systems, to manage and coordinate the designs as they proceed, and to develop and modify the software tools used for designs. These requirements call for a programming environment with an integrated set of software tools of different functionalities. The required functionalities are mainly: the provision of design algorithms based on suitable numeric software, appropriate data structures for the application area, a user-friendly interface, and the provision of a design database for the long term management of the designs generated. The provision of such an integrated design environment in a functional programming environment with particular emphasis on the provision of appropriate control-theoretic data structures and data model is described. Object-orientation is used to model entities in the application domain, which are represented by persistent objects in the database. Structural properties, relationships and operations on entities are modelled through objects and functions classified into strict types with inheritance semantics and a recursive structure.
Resumo:
Finding an appropriate turbulence model for a given flow case usually calls for extensive experimentation with both models and numerical solution methods. This work presents the design and implementation of a flexible, programmable software framework for assisting with numerical experiments in computational turbulence. The framework targets Reynolds-averaged Navier-Stokes models, discretized by finite element methods. The novel implementation makes use of Python and the FEniCS package, the combination of which leads to compact and reusable code, where model- and solver-specific code resemble closely the mathematical formulation of equations and algorithms. The presented ideas and programming techniques are also applicable to other fields that involve systems of nonlinear partial differential equations. We demonstrate the framework in two applications and investigate the impact of various linearizations on the convergence properties of nonlinear solvers for a Reynolds-averaged Navier-Stokes model. © 2011 Elsevier Ltd.
Resumo:
Observations were made on six fig wasp species on Ficus racemosa growing in the Xishuangbanna Tropical Botanic Garden, Yunnan Province, China. The oviposition sequence was determined for Apocryptophagus testacea, Apocrypta sp2, Apocryptophagus mayri, Cera
Resumo:
克隆了非洲爪蟾的Sox1基因并研究了它在非洲爪蟾早期发育过程中的时空表达图式,比较了Sox1-3基因在发育的脑和眼中的表达图式.序列比对分析显示Sox1-3蛋白在其HMG框结构域具有高度的保守性.通过RT-PCR方法分析了Sox1基因在爪蟾早期不同发育时段的表达情况,结果显示Sox1基因从未受精卵到尾芽期均有表达,但表达强度有所差异.原位杂交结果显示,在早期卵裂阶段和囊胚期,Sox1基因主要在动物极表达;从神经板期开始,Sox1基因主要在中枢神经系统和眼原基中表达.在蝌蚪期,Sox1与Sox2、Sox3在脑部和眼睛的表达区域有所不同.对于爪蟾Sox1基因时空表达图式的研究将有助于阐明SoxB1基因家族在脊椎动物神经系统发生过程中的作用.
Resumo:
Landing data of 21 fisheries from Karnataka (quarterly landings for the period 1956 to 1978 and annual landings for the period 1979 to 1981) were analysed to study the te111poral behaviour of the landings. The relative distribution and secular trends in each of the fisheries are reported. On an average, mackerel and oil sardine together account for about 70% of the annual landings. The fluctuation in the landings in all the fisheries was very high with the coefficient of variation attaining a minimum value of 61.53%. The inverse relationship between the landings of oil sardine and mackerel was found to be statistically significant. It is suggested that fishing effort be further increased in fisheries that have demonstrated a rising trend (about 73% of the total annual landings) as also in the case of the fisheries whose trends appear stagnant (about 21% of the annual landings). However, there seems to be some evidence of a need for regulating fishing in Hemirhamphus and Belone, Caranx and penaeid prawns. Regulations need to be made authentic with the help of sufficient information on not merely the fishery but on the whole population.
Resumo:
Seasonal patterns of 21 fisheries in Karnataka (after isolation from time-series components) are presented. Depending on the pattern of seasonal fluctuation in landings, 19 fisheries have been grouped into five patterns, A, B, C, D and E. Ribbon fishes and 'other clupeids' did not exhibit any significant seasonal pattern. Pattern A with highest landings in the 4th quarter (October to December), followed by the 1, 2 and 3 quarters, is the most common in 10 species/groups (comprising 78% of the total landings). Harmonic analysis has been carried out using the seasonal indices.