به منظور اطمینان از صحت اجرای برنامه، رفتار برنامه مورد بررسی قرار می گیرد. با در اختیار داشتن کد اصلی برنامه می توان منطق برنامه را استخراج کرد و رفتار برنامه را شناخت. در این مقاله، دیدگاه ما نسبت به برنامه ها به صورت جعبه سیاه است، بنابراین از منطق اجرایی برنامه، اطلاعی در دست نیست. با این حال سعی شده است منطق اجرایی برنامه از روی اجراهای متعدد و موفق برنامه و ثبت فراخوانی های سیستمی تولید ش...

چکیدهمقدمه: کوتاهی قد یکی از مشکلات شایع کودکان است. نوع شایعی از کوتاهی قد، کوتاهی قد سرشتی می باشد که تشخیص زودهنگام و درمان به موقع آن در بیشتر موارد ارزشمند است. مواد و روش ها: در این پژوهش به ارزیابی قد نهایی در کودکانی پرداخته شد که طی سال های 1381 تا 1387 با کوتاهی قد سرشتی به درمانگاه غدد کودکان بیمارستان لقمان مراجعه کرده بودند و قد نهایی بیماران پس از رسیدن به سن بلوغ بررسی شد. انحراف...

در این پایان نامه ثابت می شود که جبر فوریه یک گروه موضعا فشرده میانگین پذیر است اگر و تنها اگر آن گروه دارای یک زیر گروه آبلی با شاخص متناهی باشد. همچنین جبر فوریه اشتلیس آن میانگین پذیر است اگر و تنها اگر آن گروه دارای یک زیر گروه آبلی فشرده با شاخص متناهی باشد. در مورد میانگین پذیری ضعیف بیان می کنیم که جبر فوریه یک گروه موضعا فشرده زمانی میانگین پذیر ضعیف است که مولفه عضو همانی آن گروه آبلی ...

در این پایان نامه، میانگین پذیری و میانگین پذیری ضعیف جبرهای گروهی وزن دار را مورد مطالعه قرار می دهیم. همچنین ارتباط بین تابع وزن اندازه پذیر ? و میانگین پذیری جبر گروهی وزن دار l^1 (g,?) را بررسی خواهیم کرد. نشان می دهیم که اگر ? یک تابع وزن پیوسته روی g باشد، دراینصورت جبر گروهی وزن دار l^1 (g,?) میانگین پذیر ضعیف است هر گاه sup?{?(g)?(g^(-1) )}<? اما عکس این مطلب درست نمی باشد. همچنین ثابت ...

بحث اساسی دراین پایان نامه به میانگین پذیری و میانگین پذیری ضعیف ‏‎m(g)‎‏ ، برای گروه موضعا فشرده دلخواه ‏‎g‎‏ اختصاص یافته است.

زمینه و هدف: ایمنی کارآ نه تنها نیازمند برقراری ساختار سازمانی مناسب و انتشار قوانین و دستورالعمل های اجرایی است، بلکه نیازمند تعهد واقعی و عزم راسخ مدیران عالی نیز هست. نشانه های اولیه تعهد سازمانی در خصوص سیاست های ایمنی سازمان، در فرهنگ ایمنی تجلی پیدا می کند. فرهنگ ایمنی عاملی است که به موجب آن تمامی کارکنان، متعهد می شوند تا سهم به سزایی در ایمنی خود و همکاران شان داشته باشند. هدف این تحقی...

هدف: مقایسه نتایج Anchored hang-back technique (AHBT) و hang-back technique Conventional (CHBT) در رسس دو طرفه عضلات راست خارجی بیماران مبتلا به اگزوتروپی (XT). روش پژوهش: در یک مطالعه کارآزمایی بالینی تصادفی، 60 بیمار مبتلا به XT، به تعداد مساوی مورد عمل جراحی CHBT (گروه 1) یا AHBT (گروه 2) قرار گرفتند. متغیرهای مورد بررسی شامل مقدار انحراف قبل و بعد از عمل، سن، جنس، مقدار رسس و عوارض عمل ...

انسان طی حرکت و جا به جایی، محیط اطرافش را ارزیابی کرده و مسیری را به وسیلة تصویر موجود در سیستم عصبی مرکزی از فضای حرکت که به صورت متوالی به روز می شود، انتخاب می کند. هدف از این تحقیق ارزیابی نقش اطلاعات حس عمقی عضلات تنه به عنوان چار چوب مرجع در تعیین جهت یابی بود. به این منظور 11 مرد جوان سالم راست دست (میانگین سنی 78/0? 78/23 سال، میانگین قد 7/5 ?7/169 سانتیمتر، میانگین وزن 8/6? 8/62، میا...

مقدمه: نیازسنجی آموزشی بواسطه آزمودن مهارت و دانش کارکنان سازمان به بررسی تفاوت بین آنچه که هست و آنچه که باید باشد می پردازد و نیازهای شغلی را اولویت بندی می کند. در واقع نیازسنجی آموزشی گامی اساسی در تدوین و توسعه برنامه های آموزشی ارتقادهنده مهارت ها و دانش نیروی انسانی قلمداد می شود. لذا پژوهش حاضر با هدف شناسایی نیازهای آموزشی کارکنان بخش مدارک پزشکی بیمارستان های آموزشی شهر اصفهان انجام گ...