نتایج جستجو برای: static approximation
تعداد نتایج: 301849 فیلتر نتایج به سال:
We extend the 0-approximation of sensing actions and incomplete information in (Son and Baral 2001) to action theories with static causal laws and prove its soundness with respect to the possible world semantics. We also show that the conditional planning problem with respect to this approximation is NP-complete. We then present an answer set programming based conditional planner, called ASCP, ...
We define a notion of quasistatic evolution for the elliptic approximation of the Mumford-Shah functional proposed by Ambrosio and Tortorelli. Then we prove that this regular evolution converges to a quasi static growth of brittle fractures in linearly elastic bodies.
Message Passing Interface (MPI) is the de facto standard for programming large scale parallel programs. Static understanding of MPI programs informs optimizations including process placement and communication/computation overlap, and debugging. In this paper, we present a fully context and flow sensitive, interprocedural, best-e↵ort analysis framework to statically analyze MPI programs. We inst...
In this paper we introduce local approximation spaces for component-based static condensation (sc) procedures that are optimal in the sense of Kolmogorov. To facilitate simulations for large structures such as aircrafts or ships it is crucial to decrease the number of degrees of freedom on the interfaces, or “ports”, in order to reduce the size of the statically condensed system. To derive opti...
The partition function by means of the static path approximation (SPA) plus the random-phase approximation (RPA) treatment can be written as a contour integral form without solving the RPA equations for a separable interaction. This method is an efficient way to evaluate numerically the partition function for realistic calculations. As an illustration, we adopt the pairing model at finite tempe...
A new theoretical analysis of the current-charge and charge-charge propagators is presented for the Hubbard model, using the static approximation for the Composite Operator Method. This approximation manifestly preserves a sum rule which governs the single-site dynamics. We compare our results with those obtained by numerical analysis.
در این پایان نامه که مرجع اصلی آن garcia, a.g., perez-villalon, g. 2008. approximation from shift-invariant spaces by generalized sampling formulas, appl. comput. harmon. anal. 24: 58-69. است، یک برنامه ی تقریب به وسیله ی فرمول های نمونه گیری، پیشنهاد شده است.
The post-Newtonian approximation of the general relativistic Liouville’s equation is presented. Two integrals of motion, generalizations of the classical energy and angular momentum, are obtained. Polytropic models are constructed as an application.
In computer graphics, methods for mesh simplification are common. However, most of them focus on static meshes, only few works have been proposed for simplifying deforming surfaces. In this paper, we propose a new method for the multiresolution representation of time-varying meshes based on deformation area and feature preservation. Our method uses the famous QEM (quadric error metric) as our b...
This study is motivated by the need to understand the elastodynamic response of belts in frictional contact with pulleys. To this end, a simplified model for belt~pulley contact is used to investigate the dynamic response of a belt subject to a train of harmonic tension waves. Through a nondimensionalization, a single dimensionless parameter f~ is identified which governs the dynamic response. ...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید