977 resultados para Cook-Levin SAT SAT-solver


Relevância:

20.00% 20.00%

Publicador:

Resumo:

A direct discretization approach and an operator-splitting scheme are applied for the numerical simulation of a population balance system which models the synthesis of urea with a uni-variate population. The problem is formulated in axisymmetric form and the setup is chosen such that a steady state is reached. Both solvers are assessed with respect to the accuracy of the results, where experimental data are used for comparison, and the efficiency of the simulations. Depending on the goal of simulations, to track the evolution of the process accurately or to reach the steady state fast, recommendations for the choice of the solver are given. (C) 2015 Elsevier Ltd. All rights reserved.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

The current study presents an algorithm to retrieve surface Soil Moisture (SM) from multi-temporal Synthetic Aperture Radar (SAR) data. The developed algorithm is based on the Cumulative Density Function (CDF) transformation of multi-temporal RADARSAT-2 backscatter coefficient (BC) to obtain relative SM values, and then converts relative SM values into absolute SM values using soil information. The algorithm is tested in a semi-arid tropical region in South India using 30 satellite images of RADARSAT-2, SMOS L2 SM products, and 1262 SM field measurements in 50 plots spanning over 4 years. The validation with the field data showed the ability of the developed algorithm to retrieve SM with RMSE ranging from 0.02 to 0.06 m(3)/m(3) for the majority of plots. Comparison with the SMOS SM showed a good temporal behaviour with RMSE of approximately 0.05 m(3)/m(3) and a correlation coefficient of approximately 0.9. The developed model is compared and found to be better than the change detection and delta index model. The approach does not require calibration of any parameter to obtain relative SM and hence can easily be extended to any region having time series of SAR data available.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Optimal control of traffic lights at junctions or traffic signal control (TSC) is essential for reducing the average delay experienced by the road users amidst the rapid increase in the usage of vehicles. In this paper, we formulate the TSC problem as a discounted cost Markov decision process (MDP) and apply multi-agent reinforcement learning (MARL) algorithms to obtain dynamic TSC policies. We model each traffic signal junction as an independent agent. An agent decides the signal duration of its phases in a round-robin (RR) manner using multi-agent Q-learning with either is an element of-greedy or UCB 3] based exploration strategies. It updates its Q-factors based on the cost feedback signal received from its neighbouring agents. This feedback signal can be easily constructed and is shown to be effective in minimizing the average delay of the vehicles in the network. We show through simulations over VISSIM that our algorithms perform significantly better than both the standard fixed signal timing (FST) algorithm and the saturation balancing (SAT) algorithm 15] over two real road networks.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

In this paper, an implicit scheme is presented for a meshless compressible Euler solver based on the Least Square Kinetic Upwind Method (LSKUM). The Jameson and Yoon's split flux Jacobians formulation is very popular in finite volume methodology, which leads to a scalar diagonal dominant matrix for an efficient implicit procedure (Jameson & Yoon, 1987). However, this approach leads to a block diagonal matrix when applied to the LSKUM meshless method. The above split flux Jacobian formulation, along with a matrix-free approach, has been adopted to obtain a diagonally dominant, robust and cheap implicit time integration scheme. The efficacy of the scheme is demonstrated by computing 2D flow past a NACA 0012 airfoil under subsonic, transonic and supersonic flow conditions. The results obtained are compared with available experiments and other reliable computational fluid dynamics (CFD) results. The present implicit formulation shows good convergence acceleration over the RK4 explicit procedure. Further, the accuracy and robustness of the scheme in 3D is demonstrated by computing the flow past an ONERA M6 wing and a clipped delta wing with aileron deflection. The computed results show good agreement with wind tunnel experiments and other CFD computations.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

What is the scope and responsibilities of design? This work partially answers this by employing a normative approach to design of a biomass cook stove. This study debates on the sufficiency of existing design methodologies in the light of a capability approach. A case study of a biomass cook stove Astra Ole has elaborated the theoretical constructs of capability approach, which, in turn, has structured insights from field to evaluate the product. Capability approach based methodology is also prescriptively used to design the mould for rapid dissemination of the Astra Ole.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

People living under $2 income per day, referred as Base of the Pyramid (BoP), face undesired situations like lack of nutrition, health, education etc. Design as a process of changing current undesired situation to a desired situation has failed. A crucial reason behind these failures is lack of normative basis to identify and understand the absent or unsatisfied stakeholder. Currently stakeholder analysis in the design is heuristic. This paper uses a normative framework of Capability Approach (CA) for the stakeholder analysis. A brief discussion on stakeholder theory and analysis is used to identify gaps in the literature. The constructs of the CA are discussed for its suitability to the purpose. Along with methodological details, data generated from the stakeholder interviews, focus groups in a case study of dissemination of improved cook-stoves is used to interlink the theory with the practice. The scope of this work is in identifying and investigating the motives of the stakeholders in the involvement in the product. Though a lot of insights to discern and manage crucial stakeholders is inbuilt in the methodology, this work does not claim explicit coverage of these aspects.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

An optical-phonon-limited velocity model has been employed to investigate high-field transport in a selection of layered 2-D materials for both, low-power logic switches with scaled supply voltages, and high-power, high-frequency transistors. Drain currents, effective electron velocities, and intrinsic cutoff frequencies as a function of carrier density have been predicted, thus providing a benchmark for the optical-phonon-limited high-field performance limits of these materials. The optical-phonon-limited carrier velocities for a selection of multi-layers of transition metal dichalcogenides and black phosphorus are found to be modest compared to their n-channel silicon counterparts, questioning the utility of biasing these devices in the source-injection dominated regime. h-BN, at the other end of the spectrum, is shown to be a very promising material for high-frequency, high-power devices, subject to the experimental realization of high carrier densities, primarily due to its large optical-phonon energy. Experimentally extracted saturation velocities from few-layer MoS2 devices show reasonable qualitative and quantitative agreement with the predicted values. The temperature dependence of the measured v(sat) is discussed and compared with the theoretically predicted dependence over a range of temperatures.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

介绍了一种通过Hopkinson拉伸实验、圆筒爆炸试验和计算机仿真来确定Johnson-Cook材料模型中相关常数的方法。

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Este estudio se realizó de Octubre 2003 a Junio 2004, en las fincas Vista Alegre, Santa Mónica, San Luís, Esquipulas y Los Jirones, ubicadas en los departamentos de Masaya, Carazo y Granada respectivamente, con el objetivo de evaluar alternativas para el manejo de mancha de hierro (Cercospora coffeicola Berk &Cook) en el cultivo del café (Coffea arabica L.). El estudio se desarrolló en parcelas establecidas en cada finca, estas parcelas estaban constituidas por 300 plantas por tratamiento, donde se llevaron a efecto los muestreos. Las variables evaluadas fueron: incidencia de mancha de hierro, número de hojas totales, número de palmillas y al finalizar el estudio se realizó una estimación de cosecha. Los resultados del trabajo en cuanto al Área Bajo la Curva de Progreso de la Enfermedad (ABCPE), fueron los siguientes: en la finca Vista Alegre en tratamiento que obtuvo menor ABCPE fue biofertilizante más pacelyn más fertilización diluida, en Esquipulas el tratamiento gallinaza más biofertilizante más caldo sulfocalcico, en Santa Mónica el tratamiento testigo absoluto, en San Luís el tratamiento biogreen más biofertilizante más té de limonaria y en los Jirones el tratamiento biofertilizante más torta de nim más fertilización diluida. En lo que respecta al número de hojas en la finca Vista Alegre el tratamiento que presentó mayor número de hojas fue cobre más biofertilizante más vidate L, en Esquipulas el tratamiento biofertilizante más torta de nim más fertilización diluida, en la finca Santa Mónica el tratamiento gallinaza más biofertilizante más té de papaya, en San Luís el tratamiento biogreen más bi ofertilizante más té de limonaria y en la finca los Jirones el tratamiento gallinaza más biofertilizante más té de papaya. Los resultados del presente estudio, determinó que los productos que constituyen estos tratamientos a pesar que no todos tienen efectos fungicidas, contribuyen al fortalecimiento de las plantas, volviéndolas más vigorosas y tolerantes al ataque de esta enfermedad.