فیلترها/جستجو در نتایج    

فیلترها

سال

بانک‌ها




گروه تخصصی











متن کامل


اطلاعات دوره: 
  • سال: 

    1391
  • دوره: 

    10
  • شماره: 

    2
  • صفحات: 

    69-85
تعامل: 
  • استنادات: 

    0
  • بازدید: 

    1489
  • دانلود: 

    588
چکیده: 

در این مقاله مکانیزمی برای تبدیل ساختاری دوطرفه نمودار کلاس UML و توصیفات Object-Z پیشنهاد می گردد. در مکانیزم پیشنهادی برای تبدیل المان های مدل سازی نمودار کلاس و توصیفات Object-Z به یکدیگر، قواعد ساخت یافته ای تعریف شده است. تبدیل نمودار کلاس به عنوان یکی از پرکاربردترین نمودارهای زبان بصری UML و توصیف زبان صوری Object-Z به یکدیگر، بستر مناسبی را برای بهره مندی توامان از مزایای منحصر به فرد روش های مدل سازی صوری و بصری فراهم می نماید. به منظور امکان سنجی مکانیزم پیشنهادی، یک مطالعه موردی بر روی سیستم آسانسور چندکابینه ارائه می گردد. نتایج مطالعه مذکور حاکی از امکان پذیر بودن مکانیزم پیشنهادی است.

شاخص‌های تعامل:   مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resources

بازدید 1489

مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resourcesدانلود 588 مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resourcesاستناد 0 مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resourcesمرجع 0
اطلاعات دوره: 
  • سال: 

    1387
  • دوره: 

    14
تعامل: 
  • بازدید: 

    253
  • دانلود: 

    135
چکیده: 

در این مقاله یک روش شیی گرا برای باس WISHBONE ارایه گردیده است. بر اساس روش ارایه شده مدلسازی ساختارهای مختلف باس WISHBONE به صورت شئ گرا پیاده سازی گردیده است. در این روش کاربر می تواند ویژگی های باس مورد نظر خود را تعیین و طراحی را انجام دهد. توانایی های ویژه این روش در برطرف کردن ناهماهنگی های موجود بین رابط هایWISHBONE  از قبیل ناهماهنگی هایی که در اثر تفاوت سایز سیگنال های آرایه ای، تفاوت سازمان داده، یکسان نبودنgranularity و یا یکسان نبودن شیوه آدرس دهی ایجاد می شوند می باشد. مقایسه این روش و دو روش به کار رفته در PERLilog و Altium Designer نشان میدهد که این روش مدلسازی علاوه بر سادگی و سهولت کاربرد قابلیت های بیشتر و حوزه پوشش وسیع تری را فراهم میکند. برای پیاده سازی این روش WB_PERLilog به وسیله نویسندگان این مقاله تهیه شد. این ابزار از توسعه یک ابزار طراحی متن باز و بازسازی ساختار کلاس WISHBONE در آن، به نام PERLilog به دست آمده است. ابزار طراحی شده به کاربر امکان می دهد که کد لازم برای ایجاد اتصالات WISHBONE برای برقراری ارتباط بین IP Core های از پیش نوشته شده به زبان Verilog که دارای رابط WISHBONE هستند را به صورت خودکار و به صورت شی گرا تولید کند.

شاخص‌های تعامل:   مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resources

بازدید 253

مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resourcesدانلود 135
اطلاعات دوره: 
  • سال: 

    1392
  • دوره: 

    4
  • شماره: 

    4 (16)
  • صفحات: 

    137-150
تعامل: 
  • استنادات: 

    1
  • بازدید: 

    3547
  • دانلود: 

    553
چکیده: 

با نگاهی به مقوله مفعول های پنج گانه در زبان عربی می بینیم که دو نوعِ این مفعول ها یعنی مفعول به و مفعول فیه (ظرف زمان و مکان) در زبان فارسی معادل هایی به همین نام دارند. ولی سه نوع دیگر مفعول ، به عنوان یک نقش نحوی در زبان فارسی شناخته شده نیست. درباره اینکه این نقش ها در زبان فارسی وجود دارد یا نه، تحقیقات چندانی صورت نگرفته است، نظر به اینکه زبان عربی و فارسی از یک خانواده نیستند تا در حوزه تطبیق بگنجند، بررسی این مباحث ، در این دو زبان در حوزه «زبان شناسی مقابله ای» صورت می گیرد. با توجه به قرابت بسیار زیاد بین دو زبان که با نگاهی به دستور های سنتی نوشته شده فارسی در مقوله های صرفی، نحوی و نام گذاری اصطلاحات دستوری به آسانی قابل دریافت است، این مقاله می کوشد به بحث در مفعول های مطلق، له و معه که برابر نهادهای آن ها در فارسی انجام نشده است، بپردازد و برای این نقش ها معادلی در زبان فارسی بیابد و مساله تفاوت میان نقش های مذکور در نحو فارسی و عربی را مورد بررسی قرار دهد. سپس با ارائه شواهدی از متون نظم و نثر فارسی، و بازنمایی تفاوت های آنها در دو زبان، برای معادل های فارسی نام ها و اصطلاحاتی درخور وضع کند. شایان ذکر است این نام گذاری متاثر از زبان عربی است.

شاخص‌های تعامل:   مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resources

بازدید 3547

مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resourcesدانلود 553 مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resourcesاستناد 1 مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resourcesمرجع 0
مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resources
نویسندگان: 

خاتمی محمود

اطلاعات دوره: 
  • سال: 

    1385
  • دوره: 

    -
  • شماره: 

    50 (ویژه نامه فلسفه)
  • صفحات: 

    1-12
تعامل: 
  • استنادات: 

    0
  • بازدید: 

    1132
  • دانلود: 

    0
چکیده: 

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

شاخص‌های تعامل:   مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resources

بازدید 1132

مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resourcesدانلود 0 مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resourcesاستناد 0 مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resourcesمرجع 0
نویسندگان: 

امینی عیسی

اطلاعات دوره: 
  • سال: 

    1386
  • دوره: 

    -
  • شماره: 

    1
  • صفحات: 

    0-0
تعامل: 
  • استنادات: 

    1
  • بازدید: 

    8415
  • دانلود: 

    2701
چکیده: 

مطابق بند 3 ماده 190 قانون مدنی، یکی از شرایط اساسی صحت معامله، معلوم و معین بودن مورد معامله است. در حقوق اسلامی نیز با قاعده ای مواجه می شویم که تخلف از شرایط مزبور را، موجب غرری شدن معامله و بطلان آن دانسته است. این مقاله در سه فصل تنظیم گردیده است.در فصل اول، مفهوم و آثار «معین بودن مورد معامله» تحت بررسی قرار می گیرد. خواهیم دید تردید در مرحله ایجاب، مانع انعقاد بیع نخواهد بود. ضمنا تردید در اشیای مثلی وقیمی، شروط مردد و ضمانت اجرای معین نبودن مورد معامله مورد بررسی قرار خواهد گرفت.در فصل دوم، که تحت عنوان «معلوم بودن مورد معامله» می باشد، مفهوم، مبانی و قلمرو معلوم بودن مورد تجزیه و تحلیل قرار می گیرد. خواهیم دید که، «اشتباه در ماهیت یا مقدار یا اوصاف مورد معامله» با «معلوم نبودن» آن تفاوت دارد. ضمنا مبنای لزوم تعیین مورد معامله مورد بررسی قرار گرفته و نظم عمومی و بنای عقلا به عنوان مبانی آن معرفی می گیرد. بالاخره در این فصل، به ملاک تشخیص عقودی پرداخته خواهد شد که در آنها، علم تفصیلی شرط است.

شاخص‌های تعامل:   مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resources

بازدید 8415

مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resourcesدانلود 2701 مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resourcesاستناد 1 مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resourcesمرجع 1
نویسندگان: 

نشریه: 

STRESS

اطلاعات دوره: 
  • سال: 

    2021
  • دوره: 

    24
  • شماره: 

    -
  • صفحات: 

    181-188
تعامل: 
  • استنادات: 

    1
  • بازدید: 

    48
  • دانلود: 

    0
کلیدواژه: 
چکیده: 

شاخص‌های تعامل:   مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resources

بازدید 48

مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resourcesدانلود 0 مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resourcesاستناد 1 مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resourcesمرجع 0
مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resources
نویسندگان: 

COMANICIU D. | RAMESH V. | MEER P.

اطلاعات دوره: 
  • سال: 

    2003
  • دوره: 

    25
  • شماره: 

    5
  • صفحات: 

    564-577
تعامل: 
  • استنادات: 

    1
  • بازدید: 

    138
  • دانلود: 

    0
کلیدواژه: 
چکیده: 

شاخص‌های تعامل:   مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resources

بازدید 138

مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resourcesدانلود 0 مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resourcesاستناد 1 مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resourcesمرجع 0
نویسندگان: 

YILMAZ A. | JAVED O. | SHAH M.

نشریه: 

ACM COMPUTING SURVEYS

اطلاعات دوره: 
  • سال: 

    2006
  • دوره: 

    38
  • شماره: 

    4
  • صفحات: 

    13-57
تعامل: 
  • استنادات: 

    1
  • بازدید: 

    183
  • دانلود: 

    0
کلیدواژه: 
چکیده: 

شاخص‌های تعامل:   مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resources

بازدید 183

مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resourcesدانلود 0 مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resourcesاستناد 1 مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resourcesمرجع 0
اطلاعات دوره: 
  • سال: 

    1402
  • دوره: 

    15
  • شماره: 

    2
  • صفحات: 

    29-53
تعامل: 
  • استنادات: 

    0
  • بازدید: 

    45
  • دانلود: 

    0
چکیده: 

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

شاخص‌های تعامل:   مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resources

بازدید 45

مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resourcesدانلود 0 مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resourcesاستناد 0 مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resourcesمرجع 0
نشریه: 

اندیشه دینی

اطلاعات دوره: 
  • سال: 

    1384
  • دوره: 

    7
  • شماره: 

    17
  • صفحات: 

    19-40
تعامل: 
  • استنادات: 

    0
  • بازدید: 

    1299
  • دانلود: 

    336
چکیده: 

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

شاخص‌های تعامل:   مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resources

بازدید 1299

مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resourcesدانلود 336 مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resourcesاستناد 0 مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resourcesمرجع 0
litScript
telegram sharing button
whatsapp sharing button
linkedin sharing button
twitter sharing button
email sharing button
email sharing button
email sharing button
sharethis sharing button