گنتزن قواعد سیستم منطقی را به دو دستة «قواعد عمل‌گری» و «قواعد ساختاری» تقسیم می‌کند. مقصود وی از قواعد عمل‌گری، قواعد معرفی و حذف یک ثابت منطقی است. قواعد ساختاری بیان‌کنندة ویژگی‌های مبنایی یک استدلال است به‌‌ گونه‌ای که هر تغییری در آن‌ها سبب تغییر کل سیستم می‌شود. وی در آثار خود به این نکته اشاره داشته است که معنای ثوابت منطقی صرفاً از طریق قواعد عمل‌گری قابل حصول است این نکته زیربنای رویکرد...

هر نظام معرفتی ناظر بر حقوق، دارای قواعد اصلی و پایه است که نقش اساسی در ترسیم ساختار نظام حقوقی، راه‌حل‌های مسائل نوپدید آن، تفسیر قواعد حقوقی و ترسیم نهادهای جدید متناسب با نیازها ایفا می‌کنند. این قواعد خارج از نظام حقوقی و با رویکرد فرانگر و انتقادی شناسایی می‌شود و توسعه می‌یابد تا در سطوح بعدی، به قواعد مستنبط از آن به‌صورت حقوق موضوعه و مدون یا به ‌عنوان مصدر صدور رأی در نظام حقوقی غیرمد...

حقوق جزا مدعی ایجاد و حفظ توازن میان حقوق فردی و امنیت عمومی است ولی بی گمان باید گفت که چنین توازنی بدون مداخله تفسیرهای قضایی قانون ایجاد یا حفظ نخواهد شد. نقش آشکار تفسیرهای قضایی در قبض و بسط مفهوم قانون و کاستن و افزودن قلمرو امنیت و آزادی‘ ضرورت ضابطه مندی این گونه تفسیرها را گوشزد می کند؛ گر چه دادرسان جزایی بنا به پاره ای ملاحظات عینی گاه دقیق ترین محدودیتها و روشن ترین مرزها را نادیده ...

برای دسته بندی متن از تکنیک های استخراج اطلاعات، پردازش زبان طبیعی و یادگیری ماشین به طور وسیع استفاده می شود. به طور کلی هدف یک دسته بند متون، دسته بندی اسناد در قالب تعداد معینی از دسته های از پیش تعیین شده می باشد. هر سند می تواند در یک، چند و یا هیچ دسته ای قرار بگیرد. در مورد هر سند به این سوال پاسخ داده خواهد شد که این سند در کدام یک از دسته ها قرار می گیرد. این موضوع می تواند در قالب یک ...

پژوهش حاضر به روش مقایسه ای (تطبیقی)، به بررسی وضعیت توصیف منابع اینترنتی در آر.دی.ای. و مقایسه آن با قواعد فهرست نویسی انگلوامریکن پرداخته است. هدف اصلی پژوهش این است که ضمن بررسی وضعیت توصیف منابع اینترنتی در انگلوامریکن، رویکرد آر.دی.ای. را نسبت به توصیف این منابع نشان دهد. جامعه پژوهش، ناحیه های توصیف فصل 1، فصل 9 و فصل 12 آخرین ویرایش قواعد فهرست-نویسی انگلوامریکن (ویراست سال 2002، روزآم...

یکی از عوامل مهم و تأثیر گذار در شار حرارتی خاک و شدت تبخیر و تعرق، تابش خالص (rn) خورشیدی می-باشد. تابش خالص تفاوت بین تابش ورودی و خروجی در طول موج های بلند و کوتاه می باشد. اندازه گیری تابش خالص به علت مشکلات کالیبراسیون و هزینه آن دشوار است. تابش خالص اغلب از معادلات نیمه تجربی مبتنی بر مشاهدات تابش موج کوتاه خورشیدی، فشار بخار و دمای هوا پیش بینی می شود. در این تحقیق سعی شد تابش خالص روزان...

این مقاله با رویکردی تحلیلی- تطبیقی درپی واکاوی روش شناسی پژوهش های تجربی مالی و حسابداری دانشگاهی ایران و ارائه پیشنهادهایی برای بهبود وضعیت موجود می باشد. به این منظور، محورهای چالشی ده گانه ای که به نظر می رسد ریشه در برداشت های نادرست روش شناسی دارد مورد تجزیه و تحلیل قرار گرفته است. نتیجه گیریهای مبتنی بر تحلیل منطقی- تطبیقی نشان می دهد؛ روش شناسی پژوهش های تجربی مالی و حسابداری دچار نوعی ...

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

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

مزونd_s از طریق برهمکنش ضعیف به مزونk^* واپاشیده می شود. بنابراین با بررسی واپاشی این مزون می توان عناصر ماتریس ckm را به طور دقیق محاسبه کرد. به علاوه عوامل ساخت این گذار در مطالعه قطبش نامتقارن و خطاهایtو cpمورد استفاده قرار می گیرد.در روش قانون جمع کرومودینامیک کوانتومیqcd موسوم به(svz) که پرکاربردترین ابزار مورد استفاده در پدیده شناسی هادرون است به جای یک رفتار وابسته به مدل با جملاتی از کو...