انجمن کامپیوتر ایران

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

در اين مقاله طرح جديدي براي انتقال ترافيک چندرسانه اي بيدرنگ، بطور خاص ويدئو، ارائه شده اس ت. اين طرح خصوصاً براي شبكه هاي موردي كه داراي چندين گام (بيش از دو گام ) بين فرستنده و گيرنده هستند، مفيد اس ت. در اين طرح از كاشه(ها ي) ويدئويي بهره گرفته شده است كه در نقاط مناسبي از مسير انتقال قرار گرفته و كار تقويت انتقال را برعهده م يگيرند. اين کاشه ها (جانشي نهاي ويدئويي) سعي در کاهش تاخير انتها به انتها با پاسخ مناسب به پيام هاي ARQ را دارند. اين طرح، يك طرح اصلاحي (و نه انقلاب ي) است كه در صورت عدم وجود اين كاش هها به حالت سنتي عمل خواهد كر د. در هر صورت، اگر امكان استفاده از اين كاش ه ها در شبكه ب ه گونه اي فراهم شود (مانند افزودن برخي گره هاي مناسب به شبكه) مي تواند باعث افزايش كيفيت ويدئويي دريافتي (هم از نظر معيار SNR و هم از نظر تداوم) گردد.

با رشد اينترنت در مناطق مختلف جهان و افزايش سريع تعداد مسيريا ب ها، ميزبان ها و كاربران، شناسايي مكان جغرافيايي گره ها ي موجود در آن به سادگي ممكن نيست . با توجه ب ه نياز مديران شبكه براي دستيابي به چنين اطلاعاتي، تا به حال مطالعات مختلفي در اين زمينه انجام شده اس ت . در اين مقاله ضمن بررس ي روش هاي تخمين فاصله در اينترنت ، روش جديدي براي تشخيص مختصات جغرافيايي گره ها (اعم از مسيرياب ها، ميزبان ها و كاربران نهاي ي ) ارائه مي شود. روش پيشنهادي بر پايه ي مجموعه اي از روش هاي خودكار جم ع آوري داده از شبكه و نيز اطلاعات ثبت شده در ساي ت هاي اينترنتي كار مي كند و در عين حال با بهر ه گيري از ساختار شبكه، به تخمين مختصات گر ه هايي مي پردازد كه اطلاعات جغرافيايي خاصي از آن ه ا در دسترس نيست . نتايج تجربي بدست آمده از اين روش به طور ميانگين در حدود 81 درصد با مقادير ارائه شده توسط ثب تنام كننده هاي اينترنتي مشابهت داشته است. روش پيشنهادي در حل بسياري از مسائل مطرح در ح و زه ي شبكه و اينترنت كاربرد دارد كه از جمله ي آنها مي توان به استفاده انتخاب نزديك ترين » از آن در ساخت خزشگر برا ي موتور جستجوي توزيع شد ه ، ساخت موتور جستجوي محلي و نيز حل مسئله ي سرور به مشتري براي خدمات رساني بهتر و سريعتر « اشاره كرد.

افراز سخت افزار/نرم افزار یکی از مسائل کلیدي در طراحی همکارانه ي سیستمهاي سخت افزاري/نرم افزاري می باشد که با پیچیدگی روز افزون این سیستمها نیاز به کارهاي بیشتر در این زمینه احساس م ی گردد. مهمترین چالشهاي پیش رو که در روشهاي افراز متداول وجود دارد، یکی چگونگی کنکاش فضاي جستجو، در بین تعداد پیکربند ي هاي موجود و ممکن سخت افزار ي/نرم افزاري می باشد که با افزایش اندازه سیستم، این مسأله نمود بیشتري پیدا م ی کند و مسأله اساسی دیگر پیدا کردن مصالح ههاي مورد نیاز بین سیستمی با زمان اجراي پایین و سیستمی سریع اما گرا نقیمت می باشد و در نهایت زمانبندي در سیستم که بر روي زمان اجراي کل کاربرد و مساحت سخ تافزاري اشغال شده و همچنی ن زمان اجراي الگوریتم افراز تأثیر می گذارد. در این مقاله، تمامی این و آنلینگ شبی ه سازي شده** مورد ارزیابی قرار می گیرند . نتایج § جنبه ها با استفاده از الگوریت م هاي بهبو د یافته جستجوي ممنو ع نشان م ی دهد که الگوریتم جستجوي ممنوع در مقیاسهاي بزرگتر داراي کارایی بالاتري می باشد. جوابهاي بدست آمده توسط این دو الگوریتم با الگوریتم بهینه اي که تمام فضاي جستجو را مورد کنکاش قرار می دهد، مقایسه می گردد.

بهبود بهرهوريِ فرآيندهاي تجاري همواره مورد توجه است. انجام تغييرات در محيطهاي واقعي كسب و كار، پر هزينه و مخاطره آميز است. با شبي هسازيِ فرآيند تجار ي از ديدِ بهره وري، استخراج مقاد ير كاراي يِ مناب عِ سازما ن، اعم از واحدها، كارمندان و ابزارها ممكن ميشود. با ساخت مدل از كسب و كار، و با تغيير پارامترهاي كاراييِ منابع و نحوهي محاورههاي آنها در نمون هي فرآيند، م يتوان ميزان بهرهوري را بررسي نموده و تصميم مناسب در مورد انجام تغييرات را اتخاذ نمود. در اين مقاله چارچوبي براي مد لسازي تجاري جهت ارزيابي كارايي ارائه شده است. به اين منظور، پروفايل مدلسازي تجاري رشنال براي نگهداري مقادير كارايي توسعه داده شده و نحوه مد لسازي كسب و كار از ديدگاه ساختاري و رفتاري توصيف شده است. اين چارچوب، امكا ن شبي هسازي كسب و كار و استخراج مقادير كارايي و در نتيجه مقايسه وضعيت هاي مختلف را فراهم م ي- كند.

بينايي ماشين يکي از بسترهاي پژوهشي وسيع و رو به شکوفاي عرص ه ي علوم کامپيوتر است که از بررسي دقيق يک عکس واحد تا پردازش جرياني از تصاوير ويدئويي را در بر م يگيرد. بينايي بلادرنگ از مسائل چالش برانگيزي است که براي روبا ت هايي که خواستار تعامل با محيط اطراف خود هستند اهميت ويژ ه اي پيدا کرد هاست. اين مقاله به بررسي مراحل پردازش تصاوير ويدئويي دريافت شده از دوربين يک روبات متحرک به منظ ور تشخيص نوع و مکان اشياي موجود در محيط اطراف آن م يپرداز د. کيفيت پايين عک س ها، قدرت محاسباتي پايين روبات و بلادرنگ بودن تصميمات، سه نکت ه اي هستند که علي رغم وجود پژوه ش ه اي گوناگون انجام شده در زم ين هي پردازش تص وير، نياز به رو ش هاي خاصِ بينايي سريع و ک مهزينه را پررنگ م يکن د. در اين مقاله الگوريتم هاي مورد نياز هر مرحله، از هنگام دريافت عکس تا استخراج داده هاي مطلوب روبات از محيط، به تفکيک بررسي شد هاند.بينايي ماشين يکي از بسترهاي پژوهشي وسيع و رو به شکوفاي عرص ه ي علوم کامپيوتر است که از بررسي دقيق يک عکس واحد تا پردازش جرياني از تصاوير ويدئويي را در بر م يگيرد. بينايي بلادرنگ از مسائل چالش برانگيزي است که براي روبا ت هايي که خواستار تعامل با محيط اطراف خود هستند اهميت ويژ ه اي پيدا کرد هاست. اين مقاله به بررسي مراحل پردازش تصاوير ويدئويي دريافت شده از دوربين يک روبات متحرک به منظ ور تشخيص نوع و مکان اشياي موجود در محيط اطراف آن م يپرداز د. کيفيت پايين عک س ها، قدرت محاسباتي پايين روبات و بلادرنگ بودن تصميمات، سه نکت ه اي هستند که علي رغم وجود پژوه ش ه اي گوناگون انجام شده در زم ين هي پردازش تص وير، نياز به رو ش هاي خاصِ بينايي سريع و ک مهزينه را پررنگ م يکن د. در اين مقاله الگوريتم هاي مورد نياز هر مرحله، از هنگام دريافت عکس تا استخراج داده هاي مطلوب روبات از محيط، به تفکيک بررسي شد هاند. الگوريتم هاي ارائه شده همگي بر روي تيمي از روبات هاي چهارپاي Aibo به منظور انجام مسابقه ي فوتبال پياده سازي شد ه اند و نتايج حاصل ارائه شده است.

Lack of global clock for synchronization in asynchronous circuits decreases the controllability of these circuits and thus makes asynchronous circuits hard to test. Delay Insensitive (DI) circuits exclusively use C-elements and inverters, provided that only single output gates are used. In this paper we present a new method to conceptually change this class of asynchronous circuits. The main idea is to change C-elements into other elements which can be modeled by synchronous tools. Then we use HOPE, a synchronous sequential circuits fault simulator, and apply it to DI class of asynchronous circuits. The stuck-at model is used for fault simulation. Our observations show that we can achieve considerable fault coverage, mainly 92.5%, in DI circuits by this method. To the best of our knowledge, this is the first effort in using synchronous tool to achieve fault simulation for asynchronous circuit class.

In recent years, optimization problems are considered as complex problems which require accurate and fast search methods. Traditional search methods such as iterative search and evolutionary algorithms are not efficient since they are not complete and their convergence rate is slow. A lot of efforts have been carried out to improve the performance of genetic algorithms as a special class of evolutionary algorithms. The most considerable ones are related to using the idea of cellular automata due to its nature of local operation. However, a genetic cellular automaton considers the relationship between chromosomes, but sometimes is not efficient enough due to the early convergence problem. Also, the tradeoff between fast convergence and optimum exploration is unavoidable. In this paper, we propose a new genetic-based search method using cellular automata. In this method, in contrast to the traditional genetic cellular automata, the transition rule of cellular automata is utilized to promote the individuals before genetic operations have been accomplished globally. The experimental results have shown better convergence rate and also exploration accuracy compared to the traditional search methods.

The design of a pattern classifier includes an attempt to select, among a set of possible features, a minimum subset of weakly correlated features that better discriminate the pattern classes. This is usually a difficult task in practice, normally requiring the application of heuristic knowledge about the specific problem domain. The selection and quality of the features representing each pattern have a considerable bearing on the success of subsequent pattern classification. Feature extraction is the process of deriving new features from the original features in order to reduce the cost of feature measurement, increase classifier efficiency, and allow higher classification accuracy. Many current feature extraction techniques involve linear transformations of the original pattern vectors to new vectors of lower dimensionality. While this is useful for data visualization and increasing classification efficiency, it does not necessarily reduce the number of features that must be measured since each new feature may be a linear combination of all of the features in the original pattern vector. In this paper a new approach is presented to feature extraction in which feature selection, feature extraction, and classifier training are performed simultaneously using a genetic algorithm. The genetic algorithm optimizes a vector of feature weights, which are used to scale the individual features in the original pattern vectors in either a linear or a nonlinear fashion.

This research addresses a new iterative geometrical noise cancellation method for closed-form camera pose estimation based on collinearity theory. We first explain how to estimate camera position and it’s orientation by employing extra nonsingular point of the edge line of the landmark’s corner through a closed-form geometrical pose estimation algorithm. Then, we propose a new iterative noise cancellation algorithm to reduce the estimation error of camera transaction matrix, which has the most portion in camera pose estimation errors. To validate our proposed method, we test it as a computer simulation. The results show that this method is efficient, accurate and robustness. But the drawback is that the camera rotation matrix, which used in noise cancellation algorithm, may not always be inverseable.

Many real world problems have iterative behaviors, so planners should be able to tackle such problems and generate iterative plans. Iterative actions have been considered by a few of planners, and most of the efforts have been based on linear planning. In this paper, we show how SAT-Plan, which is one of the fastest existing planners, can be extended to generate recursive plans. Generated recursive plans are similar to those that are generated by humans for iterative problems. The main idea in this work is based on the mathematical induction, and has been implemented. Results obtained from testing the extended SAT-Plan on several examples from the blocks-world domain, confirms the success of the proposed idea.

In our paper, a new approach for critical success factors of Business to Business (B2B) electronic commerce is presented. Important aspects of this approach can be classified into three main groups; environmental, internal and inter-organizational factors. The first group pertains to the factors that change the conditions equally for all companies in the business space and are out of influence of firms. Internal factors comprise individual features of companies, such as business strategies, culture, resources and etc. The Inter-organizational dimension is included the factors that are related to organization ability to set up Inter-organizational relationships electronically. Experimental results showed promising in evaluating the quality of business enterprises.

واضح سازی یکی از عملیات مهم در پردازش تصویر می باشدو یکی از روشهای واضح سازی، روشی است مبتنی بر مدل پخش گاز که در آن، فرآیند تار شدن تصویر به صورت فرآیند پخش گاز مدل می شود.در این روش معمولا مقدار پارامترa براي کلیه پیکسلهای تصویر اعم از لبه و یا غیر لبه یکسان در نظر گرفته می شود و به همین دلیل تمام قسمتهای تصویر بطور یکسان واضح سازی می شود. اگر بتوان مقادیر a را به صورت محلی براي هر پیکسل تعیین نمود،بتوان مقادیر کارایی روش بالاتر خواهد بود؛ به صورتیکه در نقاطی با تغییرات بالای فرکانس (لبه ها) از مقادیر بالا و در سایر نقاط از مقادیر پایین براي پارامتر a استفاده شود. در این مقاله روشی براي واضح سازی پیشنهاد می گردد که از ترکیب روش واضح سازی مبتنی بر پخش گاز و اتوماتای سلولی فازی حاصل شده است. در این روش ترکیبی، اتوماتای سلولی فازی، از طریق یکسری قوانین فازی، عهده دار تعیین مقادیر مناسب پارامتر a برای پیکسلهای تصویر می باشد. روش پیشنهادی متکی بر عملیات محلی در همسایگی هر پیکسل می باشد که این امر پیاده سازی آن را ساده تر می سازد. نتایج حاصل از پیاده سازی روش پیشنهادی، نشان دهنده کارایی بالای آن در مقایسه با سایر روشهای واضح سازی است.

از مهمترین مسائل مطرح در تولید سیستم های موبایل، حسگرهای بی سیم و سایر پردازنده های نهفته، میزان مصرف انرژی در تراشهی پردازنده و در حافظه ی نهان آن است این درحالی است که بسیاری از تلاشهایی که تاکنون برای غلبه بر اتلاف توان در این حافظه انجام شدهاند، منجر به کاهشکارایی آن گردیده اند. در این مقاله، با به کار بردن یکی از روشهای کاهش نشتی توان در حافظه ی نهان، در کناراعمال تغییر اندک در کاربری ساختارLSQ ، هم میزان مصرف انرژی پویا و ایستا در حافظه ی نهان کم شده است و هم کاهش کارایی ناشی از روش اول، توسط روش دوم جبران گردیده برای است. نتایج حاصل از آزمایشات روی شبیه ساز HotLeakage حافظه ی نهان داده، نشان دهنده کاهش ۴,۵ % زمان اجرا در کنار کاهش ۷۲,۵ % درصدی نشتی انرژی در این حافظه بوده اند.

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

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

در اين مقاله دو سلول جديد جمع كننده تك بيتي با هدف كاهش توان مصرفي و بالا بردن كارآيي، ارائه شده است . مبناي كار ، استفاده از تابع راي اكثريت و شباهت خروج يهاي C

دسته بندي داده هاي ميكروآرايه براي تشخيص نمونه هاي سالم از سرطاني، به علت تعداد بالاي ويژگ يها (ژن ها) و تعداد كم نمونه ها هميشه با چالش مواجه بوده است. در اين تحقيق كاربردنمونه ها هميشه با چالش مواجه بوده است. در اين تحقيق كاربرد PSO در انتخاب ويژگي داده هاي ميكروآرايه ( مربوط به ٦ مجموعه دادة لوكمي، سرطان رودة بزرگ، سرطان سينه، سرطان ريه، سرطان تخمدان و سرطان پروستات) بررسي شده است. دقت دسته بند ِ ي يك دسته بندي كنندة SVM نيز به عنوان تابع برازش PSO درنظر گرفته شده است. در اين ديدگاه از الگوريتم Adatron به عنوان كرنل SVM استفاده شده است. الگوريتم Adatron نه تنها رسيدن به راه حل بهينه را تضمين مي كند بلكه سرعت همگرايي را در هر تكرار آموزش به صورت نمايي افزايش مي دهد. در اين ديدگاه براي بالا بردن كارايي، از يك روش پيش پردازش فازي استفاده شده است و ارزيابي دسته بندي كننده با استفاده از روش K-Fold Cross Validation صورت گرفته است.

در اين مقاله به فرآيند توصيه، به عنوان يك مسئلة تصميم گيري چند معياره نگريسته و استفاده از متد PROMETHEE به عنوان يك روش پركاربرد در ميان روشهاي تصميم گيري چند معياره- براي سيستم هاي توصيه گر مورد بررسي قرار گرفته است. غالب سيستم هاي توصيه گر به توصية يك نوع كالا، آن هم از انواع با تواتر خريد بالا (مانند: موسيقي، فيلم، كتاب و ...) پرداخته اند [ 27 ] اما توصيه اقلام گوناگون و با تواتر (تكرار) خريد پايين از مسائلي است كه امروزه توجه محققين تجارت الكترونيك را بيش از پيش به خود جلب كرده است. اين مقاله با بكارگيري روش PROMETHEE II به توصيه از دسته كالاهاي مختلف با تكرار خريد پايين پرداخته است. عملكرد سيستم طراحي شده با داده هاي واقعي و بر اساس معيارهاي ارزيابي سيستمهاي توصيه گر مورد ارزيابي قرار گرفته و زمان پاسخگويي سيستم نيز با متد مشابه مقايسه شده است. نتايج آزمايشات حكايت از دقت و صحت خروجي هاي سيستم داشته و نيز عملي بودن توصيه از دسته هاي متفاوت ولي مرتبط كالاهاي با تواتر خريد پايين را در زمان پاسخگويي مناسب نشان مي دهد.

در اين مقاله يك ايده براي آشكارسازي چهره هاي طبيعي موجود در تصاوير رنگي با استفاده از تركيب طبقه بندها طرح گرديده است. بدين منظور از تركيب متوالي طبقه بندهاي مدل رنگ پوست و AdaBoost استفاده شده است . در روش پيشنهادي ابتدا با استفاده از تخمين مدل رنگ پوست، نواحي هم رنگ با پوست از پس زمينه قطعه - بندي مي گردند. سپس با استفاده از تحليل اجزاء به هم پيوسته، نواحي كانديدا براي يافتن چهره هاي طبيعي شناسايي ميگردند. در مرحلة بعد براي تخمين چرخش دو بعدي سر، بر روي نواحي كانديدا PCA اعمال شده است . در مرحلة چهارم، مقدار زاوي ة چرخش سر جبران سازي گرديده است . براي آشكارسازي نهايي چهره هاي طبيعي ، تصاوير كانديداي جبرانسازي شده به عنوان ورودي مطلوبِ طبقه بند AdaBoost در نظر گرفته مي شوند. نتايج تجربي نشان مي دهند كه روش ارائه شده قادر به آشكارسازي چهره هاي طبيعي در تصاوير تا 360 درجه چرخش دو بعدي است . نرخ آشكارسازي چهره بر روي مجموعه دادههاي آزمايش شده بيش از 96 درصد گزارش شده است.