هدف: این پژوهش با هدف آزمون مدل روابط بین سبک‌های مقابله و خودکارآمدی حرفه‌ای استرس ادراک شده ناشی از حرفه‌های سلامت در گروهی پرستاران انجام شد. روش: همبستگی، 151 نفر شاغل بخش‌های اونکولوژی دانشگاه علوم پزشکی تهران به پرسشنامه باورهای شغلی برای (پیسانتی، لامباردو، لوسیدی، لازاری برتینی، 2008)، نسخة کوتاه سیاهه موقعیت‌های استرس‌زا (کوهن، جانگ استین، 2006) (ولفگانگ، 1988) پاسخ دادند. مفروض روش آم...

Just as colour image quantization can be viewed as simplification of a three dimensional colour in a two dimensional image, model simplification can be viewed as quantization of three dimensional normal vectors on a two dimensional surface. Thus many of the approaches used in quantization can be applied to the problem of model simplification. We present a model simplification algorithm that is ...

هدف: هدف این پژوهش مقایسه اثربخشی امیددرمانی و معنویت درمانی بر کیفیت زندگی، قند خون فشار زنان میانسال مبتلا به دیابت نوع دو بود. روش: حاضر نیمه آزمایشی با طرح پیش آزمون- پس پیگیری گروه گواه جامعه آماری شامل تمام 2 مراجعه کننده مرکز تحقیقات دیابت، متابولیسم غدد شهر تهران در سال 1399 بودند که ‏45 نفر شیوه نمونه‌گیری دسترس انتخاب صورت تصادفی آزمایش یک (هر 15 نفر) قرار گرفتند. ابزار پرسشنامه کوتاه...

Sledgehammer for Isabelle/HOL integrates automatic theorem provers to discharge interactive proof obligations. This paper considers a tighter integration of the superposition prover SPASS to increase Sledgehammer’s success rate. The main enhancements are native support for hard sorts (simple types) in SPASS, simplification that honors the orientation of Isabelle simp rules, and a pair of clause...

This paper presents a finite-element analysis of honeycomb and re-entrant honeycomb structures made of a two-phase composite material which is optimized with respect to selected parameters. It is shown that some distributions of each phase in the composite material result in the counter-intuitive mechanical behaviour of the structures. In particular, negative values of effective Poisson's ratio...

We investigate topology optimization based on the SIMP method on CUDA enabled video cards in three dimensions. Using finite elements, linear elasticity is solved by a matrix-free conjugate gradient method entirely on the GPU. Due to the unique requirements of the SIMD stream processors, special attention is given to procedural generation of matrix vector products entirely on the graphics card. ...