-
حرية الوصول المقاله
1 - A Basic Proof Method for the Verification, Validation and Evaluation of Expert Systems
Armin Ghasem Azar Zohreh Mohammad AlizadehIn the present paper, a basic proof method is provided for representing the verification, Validation and evaluation of expert systems. The result provides an overview of the basic method for formal proof such as: partition larger systems into small systems prove correct أکثرIn the present paper, a basic proof method is provided for representing the verification, Validation and evaluation of expert systems. The result provides an overview of the basic method for formal proof such as: partition larger systems into small systems prove correctness on small systems by non-recursive means, prove that the correctness of all subsystems implies the correctness of the entire system. تفاصيل المقالة -
حرية الوصول المقاله
2 - Concept Detection in Images Using SVD Features and Multi-Granularity Partitioning and Classification
Kamran Farajzadeh Esmail Zarezadeh Jafar MansouriNew visual and static features, namely, right singular feature vector, left singular feature vector and singular value feature vector are proposed for the semantic concept detection in images. These features are derived by applying singular value decomposition (SVD) " أکثرNew visual and static features, namely, right singular feature vector, left singular feature vector and singular value feature vector are proposed for the semantic concept detection in images. These features are derived by applying singular value decomposition (SVD) "directly" to the "raw" images. In SVD features edge, color and texture information is integrated simultaneously and is sorted based on their importance for the concept detection. Feature extraction is performed in a multi-granularity partitioning manner. In contrast to the existing systems, classification is carried out for each grid partition of each granularity separately. This separates the effect of classifications on partitions with and without the target concept on each other. Since SVD features have high dimensionality, classification is carried out with K-nearest neighbor (K-NN) algorithm that utilizes a new and "stable" distance function, namely, multiplicative distance. Experimental results on PASCAL VOC and TRECVID datasets show the effectiveness of the proposed SVD features and multi-granularity partitioning and classification method تفاصيل المقالة -
حرية الوصول المقاله
3 - Using Static Information of Programs to Partition the Input Domain in Search-based Test Data Generation
Atieh Monemi Bidgoli Hassan haghighiThe quality of test data has an important effect on the fault-revealing ability of software testing. Search-based test data generation reformulates testing goals as fitness functions, thus, test data generation can be automated by meta-heuristic algorithms. Meta-heurist أکثرThe quality of test data has an important effect on the fault-revealing ability of software testing. Search-based test data generation reformulates testing goals as fitness functions, thus, test data generation can be automated by meta-heuristic algorithms. Meta-heuristic algorithms search the domain of input variables in order to find input data that cover the targets. The domain of input variables is very large, even for simple programs, while this size has a major influence on the efficiency and effectiveness of all search-based methods. Despite the large volume of works on search-based test data generation, the literature contains few approaches that concern the impact of search space reduction. In order to partition the input domain, this study defines a relationship between the structure of the program and the input domain. Based on this relationship, we propose a method for partitioning the input domain. Then, to search in the partitioned search space, we select ant colony optimization as one of the important and prosperous meta-heuristic algorithms. To evaluate the performance of the proposed approach in comparison with the previous work, we selected a number of different benchmark programs. The experimental results show that our approach has 14.40% better average coverage versus the competitive approach تفاصيل المقالة -
حرية الوصول المقاله
4 - A Novel Approach for Establishing Connectivity in Partitioned Mobile Sensor Networks using Beamforming Techniques
Abbas Mirzaei Shahram ZandianNetwork connectivity is one of the major design issues in the context of mobile sensor networks. Due to diverse communication patterns, some nodes lying in high-traffic zones may consume more energy and eventually die out resulting in network partitioning. This phenomen أکثرNetwork connectivity is one of the major design issues in the context of mobile sensor networks. Due to diverse communication patterns, some nodes lying in high-traffic zones may consume more energy and eventually die out resulting in network partitioning. This phenomenon may deprive a large number of alive nodes of sending their important time critical data to the sink. The application of data caching in mobile sensor networks is exponentially increasing as a high-speed data storage layer. This paper presents a deep learning-based beamforming approach to find the optimal transmission strategies for cache-enabled backhaul networks. In the proposed scheme, the sensor nodes in isolated partitions work together to form a directional beam which significantly increases their overall communication range to reach out a distant relay node connected to the main part of the network. The proposed methodology of cooperative beamforming-based partition connectivity works efficiently if an isolated cluster gets partitioned with a favorably large number of nodes. We also present a new cross-layer method for link cost that makes a balance between the energy used by the relay. By directly adding the accessible auxiliary nodes to the set of routing links, the algorithm chooses paths which provide maximum dynamic beamforming usage for the intermediate nodes. The proposed approach is then evaluated through simulation results. The simulation results show that the proposed mechanism achieves up to 30% energy consumption reduction through beamforming as partition healing in addition to guarantee user throughput. تفاصيل المقالة -
حرية الوصول المقاله
5 - پيادهسازي فشردهسازي تلفاتي تصوير توسط موجک (2،2)CDF در CPLD
عباسعلی لطفی نیستانک محمد محقق حضرتی محمد محقق حضرتی نرگس احميدیدر اين مقاله پس از مقايسه روشهاي فشردهسازي تصوير از قبيل روش BTC، روش اهرام گاوسي، روش SVD، روش تبديل موجک و يا بطور خاص (2،2)CDF به پيادهسازي سختافزاري فشردهسازي تصوير به روش موجک (2،2) CDF پرداخته شده است. طراحي ارائهشده نشاندهنده اين است که سازماندهي مناسب داد أکثردر اين مقاله پس از مقايسه روشهاي فشردهسازي تصوير از قبيل روش BTC، روش اهرام گاوسي، روش SVD، روش تبديل موجک و يا بطور خاص (2،2)CDF به پيادهسازي سختافزاري فشردهسازي تصوير به روش موجک (2،2) CDF پرداخته شده است. طراحي ارائهشده نشاندهنده اين است که سازماندهي مناسب دادهها (روش تقسیمبندي) و استفاده از خط لوله و پردازش موازي در بهينهسازي سختافزاري مدار تاثير زيادي دارد. در حقيقت هدف اصلي، ايجاد کارايي و سرعت بيشتر در CPLD ساخت شرکت Xilinx به نام 9572XC ميباشد. جزئيات طراحي کد گذار و همچنين نتايج بدست آمده نيز در پايان ارائه شدهاند. نتايج مقايسه روشهاي مختلف فشردهسازي تصوير ميتواند براي يک کاربر الگوي مناسبي جهت استفاده از روش بهينه را با توجه به نوع مسئله ارائه دهد. براي شبيهسازي از نرمافزار MATLAB و همچنين از ++ C استفاده شده است. تفاصيل المقالة -
حرية الوصول المقاله
6 - پیادهسازی خودکار مدارهای کوانتومی روی QFPGA با هدف همانندسازی
مصطفی حیدرزاده محمد داناییفردر این مقاله ابتدا به تعریف یک معماری بهینه برای FPGA با استفاده از روشهای دقیق پرداخته شده و برای نیل به این هدف، جایابی و مسیریابی بهینه با استفاده از برنامهریزی خطی به طور دقیق تعریف شده است. پس از بازتعریف معماری داخل سلولهای منطقی، مدارهای کوانتومی توسط یک الگور أکثردر این مقاله ابتدا به تعریف یک معماری بهینه برای FPGA با استفاده از روشهای دقیق پرداخته شده و برای نیل به این هدف، جایابی و مسیریابی بهینه با استفاده از برنامهریزی خطی به طور دقیق تعریف شده است. پس از بازتعریف معماری داخل سلولهای منطقی، مدارهای کوانتومی توسط یک الگوریتم مکاشفهای با هدف استفاده حداکثری از منابع داخل سلولهای منطقی و کاهش تأخیر مسیرهایی که کیوبیتها در مدار طی میکنند، افراز میشوند. نتایج به دست آمده پس از تعریف معماری FPGA نشان میدهد که تأخیر مسیرهای بحرانی در برخي مدارهاي كوانتومي به کمتر از نصف کاهش مییابد و تعداد کانالهای مصرفشده برای مسیریابی در معماری جدید تا حد قابل توجهی کاهش یافته است. همچنین نتایج نشان میدهد افزایش تعداد ورودیهای سلولهای منطقی از 12 کیوبیت به 4 کیوبیت، میتواند تعداد کانالهای مصرفی و تأخیر مدارها را تا حد زیادی کاهش دهد. تفاصيل المقالة -
حرية الوصول المقاله
7 - زمانبندي بيدرنگ چندپردازندهاي شبهافرازي در سيستمهاي مديريت جريان داده
مهدی عالمی مصطفی حقجودر سيستمهاي مديريت جريان داده، دادههاي جرياني وارد سيستم ميشوند و پرس و جوهاي ذخيرهشده بر روي اين دادهها اجرا ميشوند. با توجه به بار کاري بالا نياز به ظرفيت پردازشي بالا است و استفاده از چندپردازنده بايد در نظر گرفته شود. همچنين در سيستمهاي بيدرنگ پرس و جوها تحت أکثردر سيستمهاي مديريت جريان داده، دادههاي جرياني وارد سيستم ميشوند و پرس و جوهاي ذخيرهشده بر روي اين دادهها اجرا ميشوند. با توجه به بار کاري بالا نياز به ظرفيت پردازشي بالا است و استفاده از چندپردازنده بايد در نظر گرفته شود. همچنين در سيستمهاي بيدرنگ پرس و جوها تحت مهلت مشخصي بايد کار خود را به اتمام برساند. از رويکردهای موجود در زمانبندی چندپردازندهای بیدرنگ رويکرد افرازي است که هر پرس و جو با توجه به بهرهوري که نسبت زمان اجرا به دوره است به پردازندهها انتساب داده ميشود و فقط در آن اجرا ميشود. براي نزديکشدن به جواب بهينه در اينجا پرس و جوهايي که در يک پردازنده جا نميگيرند بر اساس بهرهوري شکسته ميشوند و در بين پردازندهها پخش ميشوند. اين سيستم با دادههاي واقعي شبکه تست شده است. مقايسهها نشان ميدهد که رويکرد مورد نظر توانسته است نسبت به رويکرد افرازي ساده ميزان از دست رفتن مهلتها را کاهش دهد و ميزان بهرهوري سيستم را بالا ببرد. تفاصيل المقالة -
حرية الوصول المقاله
8 - توزیع مؤثر اسناد برای ایجاد توازن بار بین سرورها با استفاده از شمارش رخداد کلمات در سابقه پرسوجوها
سیده ریحانه تراب جهرمی سجاد ظریف زادههدف اصلی موتورهای جستجو، یافتن مرتبطترین نتایج نسبت به پرسوجوی کاربر در سریعترین زمان ممکن است. صفحات خزششده توسط موتور جستجو بین سرورهای متعددی توزیع میشوند تا در هنگام جستجو بتوان از قدرت بازیابی و پردازش موازی آنها برای تولید سریعتر پاسخ استفاده نمود. با توجه ب أکثرهدف اصلی موتورهای جستجو، یافتن مرتبطترین نتایج نسبت به پرسوجوی کاربر در سریعترین زمان ممکن است. صفحات خزششده توسط موتور جستجو بین سرورهای متعددی توزیع میشوند تا در هنگام جستجو بتوان از قدرت بازیابی و پردازش موازی آنها برای تولید سریعتر پاسخ استفاده نمود. با توجه به تعداد بسیار زیاد صفحات وب، موتورهای جستجو سیاستهای مختلفی را برای توزیع مناسب اسناد بین سرورها انتخاب میکنند. در این مقاله، روش جدیدی برای توزیع اسناد پیشنهاد میشود که هدف آن ایجاد توازن بار کاری بین سرورها برای کاهش زمان پاسخگویی موتور جستجو میباشد. ایده اصلی، استفاده از پرسوجوهای قبلی کاربران است بدین ترتیب که به هر کلمه از کلمات موجود در سابقه پرسوجو بر حسب تعداد رخداد روزانه آن، وزنی نسبت داده میشود. سپس هر سند با توجه به مجموع وزن کلمات داخل آن، وزندهی میشود که این وزن ارتباط مستقیمی با احتمال انتخاب آن سند به عنوان پاسخ یک پرسوجو دارد. در نهایت، اسناد به نحوی بین سرورها توزیع میشوند که وزن اسناد داخل هر یک از سرورها برابر باشد. نتایج ارزیابی با استفاده از داده واقعی نشان میدهند که روش پیشنهادی قادر است توازن بار سرورها را مخصوصاً در زمان اوج ورود پرسوجوها بیش از 20% نسبت به روشهای گذشته بهبود بخشد. تفاصيل المقالة -
حرية الوصول المقاله
9 - معیاری جدید برای بخشبندی سیستمهای پردازش گراف مبتنی بر بلوک
مسعود ساغریچیان مرتضی علیپور لنگوریبه واسطه قدرت و سادگی، سیستمهای پردازش گراف مبتنی بر بلوک در سالهای اخیر مورد توجه ویژهای قرار گرفتهاند. اغلب این سیستمها از روشهای بخشبندی عمومی و همهمنظوره جهت تولید پارتیشنهای مورد نیاز خود استفاده میکنند. همین امر منجر شده که کارایی این سیستمها محدود شود. أکثربه واسطه قدرت و سادگی، سیستمهای پردازش گراف مبتنی بر بلوک در سالهای اخیر مورد توجه ویژهای قرار گرفتهاند. اغلب این سیستمها از روشهای بخشبندی عمومی و همهمنظوره جهت تولید پارتیشنهای مورد نیاز خود استفاده میکنند. همین امر منجر شده که کارایی این سیستمها محدود شود. برای رفع این مشکل الگوریتمهای خاصمنظورهای برای بخشبندی این دسته از سیستمها ارائه شده است، اما مشکل این دسته از روشها آن است که همچنان معیارهای سنتی نظیر تعداد یال برشی و تعادل بار به عنوان تابع هدف این روشها مد نظر قرار گرفته است. این در حالی است که قدرت سیستمهای پردازش گراف مبتنی بر بلوک به واسطه ویژگیهای منحصر به فردی است که در طراحی این دسته از سیستمها مد نظر قرار گرفته است. به همین جهت در این مقاله، ویژگیهای ذاتی و اساسی این دسته از سیستمها مورد توجه قرار گرفته و با توجه به این خواص، دو معیار جدید به عنوان معیار تابع هدف بخشبندی، معرفی شده است. بر اساس تحقیقات انجامگرفته، روش پیشنهادی اولین الگوریتم بخشبندی است که قطر گراف سطح بالا و اندازه گرههای گراف سطح بالای حاصل از بخشبندی را به عنوان تابع هدف در نظر گرفته میگیرد. ارزیابی روش پیشنهادی بر روی مجموعه دادههای واقعی نشان داد که روش پیشنهادی به طور مؤثری قادر به کاهش قطر گراف سطح بالای حاصل از بخشبندی نسبت به سایر الگوریتمهای بخشبندی متداول میباشد. به علاوه، یال برشی حاصل از روش پیشنهادی بسیار نزدیک به یکی از معروفترین روشهای بخشبندی متمرکز، متیس میباشد. از آنجا که قطر گراف سطح بالا رابطه مستقیمی با تعداد سوپراستپهای مورد نیاز در سیستمهای پردازش گراف بلوکی دارد، روش پیشنهادی با کاهش آن قادر به افزایش کارایی این دسته از روشها خواهد شد. تفاصيل المقالة -
حرية الوصول المقاله
10 - یک روش دوسطحی مبتنی بر برنامهسازی پویا جهت افراز و بهینهسازی هزینه ارتباطات در مدارات کوانتومی توزیعی
زهره داورزنی مریم زمردی مقدم محبوبه هوشمندامروزه محاسبات کوانتومی نقشی بسزا در افزایش سرعت الگوریتمها دارند. بهدلیل محدودیت در تکنولوژیهای ساخت کامپیوترهای کوانتومی، طراحی یک کامپیوتر کوانتومی در مقیاس بزرگ با چالشهای زیادی مواجه است. یک راه حل جهت غلبه بر این چالشها، طراحی سیستمهای کوانتومی توزیعشده است أکثرامروزه محاسبات کوانتومی نقشی بسزا در افزایش سرعت الگوریتمها دارند. بهدلیل محدودیت در تکنولوژیهای ساخت کامپیوترهای کوانتومی، طراحی یک کامپیوتر کوانتومی در مقیاس بزرگ با چالشهای زیادی مواجه است. یک راه حل جهت غلبه بر این چالشها، طراحی سیستمهای کوانتومی توزیعشده است. در این سیستمها، کامپیوترهای کوانتومی از طریق پروتکل دورنوردی جهت انتقال اطلاعات کوانتومی با یکدیگر در ارتباط هستند. از آنجاییکه دورنوردی کوانتومی نیاز به منابع کوانتومی دارد، کاهش تعداد این پروتکل، ضروری میباشد. هدف از این مقاله، ارائه یک سیستم کوانتومی توزیعشده با درنظرگرفتن دو هدف توزیع متوازن کیوبیتها و کمینهنمودن تعداد پروتکل دورنوردی در دو سطح است. در سطح اول با ارائه یک الگوریتم برنامهسازی پویا، سعی در افراز متعادل کیوبیتها و کاهش تعداد ارتباطات بین زیرسیستمها شده است. با توجه به افراز بهدستآمده از سطح اول، در سطح دوم و در مرحله اجرای دروازههای سراسری، زمانی که یکی از کیوبیتهای این دروازه از مبدأ به مقصد مورد نظر دورنورد میگردد، ممکن است این کیوبیت بتواند توسط تعدادی دروازه سراسری با رعایت محدودیتهای تقدم مورد استفاده قرار گرفته و در نتیجه، موجب کاهش تعداد دورنوردیها گردد. نتایج بهدستآمده، نشاندهنده کارایی بهتر الگوریتم پیشنهادی بوده است. تفاصيل المقالة -
حرية الوصول المقاله
11 - تعیین دمای تشکیل، فوگاسیته اکسیژن و نسبت Ce4+/Ce3+ با استفاده از شیمی زیرکن دردایک¬های پگماتیتی ملاير- بروجرد- شازند، پهنه سنندج-سیرجان
مجید قاسمی سیانیپلوتون های گرانیتوئیدی در پهنه سنندج-سیرجان میزبان دایک های پگماتیتی متعددی هستند. این پژوهش بر روی مطالعه شیمی کانی زیرکن در دایک های پگماتیتی گستره ملایر، بروجرد و شازند به منظور ارزیابی دمای تبلور زیرکن، فوگاسیته اکسیژن و نسبت Ce4+/Ce3+ و همچنین تعیین ضریب توزیع عناص أکثرپلوتون های گرانیتوئیدی در پهنه سنندج-سیرجان میزبان دایک های پگماتیتی متعددی هستند. این پژوهش بر روی مطالعه شیمی کانی زیرکن در دایک های پگماتیتی گستره ملایر، بروجرد و شازند به منظور ارزیابی دمای تبلور زیرکن، فوگاسیته اکسیژن و نسبت Ce4+/Ce3+ و همچنین تعیین ضریب توزیع عناصر نادر خاکی، عناصر اورانیوم، توریوم، تالیم، نیوبیم و ایتریم متمرکز شده است. نمودارهای متمایزکننده گرانیتوئیدها از جمله Th در برابر Y و Yb/Sm در برابر Y و Nb، نشان داد، زیرکن های مورد مطالعه در گستره سنگ های سینیت پگماتیت قرار دارند. ضریب توزیع زیرکن/ سنگ کل نشان داد، بلورهای زیرکن غنی شدگی نسبت HREE به LREE دارند. شیمی زیرکن نشان داد، دایک های پگماتیتی ملایر و شازند دارای مقادیر Hf کمتر و تغییرات کمتر در REE نسبت به زیرکن های دایک پگماتیت بروجرد هستند که نشاندهنده نقش فرایندهای هیدروترمالی بعدی در تشکیل زیرکن های بروجرد است. دمای تبلور، فوگاسیته اکسیژن و نسبت های Ce4+/Ce3+ از دایک پگماتیتی ملایر به شازند و در نهایت بروجرد کاهش یافته است. شرایط احیایی ماگماتیسم، مقدار Th/U کمتر از یک و مقدار Y/Ho بالای 20 نشان می دهد، بنابراین این پگماتیت ها از لحاظ کانی سازی عقیم هستند. تفاصيل المقالة