فهرست مطالب

The Modares Journal of Electrical Engineering - Volume:10 Issue: 1, 2010

The Modares Journal of Electrical Engineering
Volume:10 Issue: 1, 2010

  • تاریخ انتشار: 1389/04/01
  • تعداد عناوین: 7
|
  • سینا شامخی، محمدحسین میران بیگی، محمد جواد ابوالحسنی صفحات 1-11
    در این تحقیق عملکرد گوش انسان در تولید سیگنال های اتوآکوستیک امیشن، با استفاده از مدل الکتروآکوستیکی جدیدی شبیه سازی شده است. محاسبات مدل در فضای حالت انجام و معادلات پیچیده دیفرانسیل مدل به کمک روش های انتگرال عددی در محیط متلب حل شده و نتایج شبیه سازی با داده های کلینیکی، مقایسه شده است. برای بررسی صحت مدل، منحنی زمان نهفتگی و طیف فرکانسی داده ها و خطای محاسباتی ناشی از حل عددی، مورد مطالعه قرار گرفته است. نتایج حاصل، گویای آن است که سیگنال های شبیه سازی شده، مشابه سیگنالهای حقیقی است.
    کلیدواژگان: اتوآکوستیک امیشن، مدل سازی، شبیه سازی، زمان نهفتگی، حلزون گوش، سلولهای مویی، غشای تکتوریال
  • سید مرتضی بابامیر، سعید جلیلی صفحات 13-38
    از آنجا که رویکردهای درستی یابی ایستا1 و آزمون نرم افزار، برای اطمینان یافتن از درستی عملکرد نرم افزار ها کافی نیست، رویکرد دیگری به نام درستی یابی در زمان اجرا2 - که در آن درستی نرم افزار در برابر قیود3 در زمان اجرای واقعی نرم افزار انجام می شود - مورد استقبال قرار گرفته است. اما مشکلی که این رویکرد با آن روبه رو است، درستی یابی فعالیت های زمان اجرای نرم افزار در برابر توصیف های انتزاعی4 و سطح بالای قیود است زیرا ماهیت فعالیت های زمان اجرا و توصیف های انتزاعی با یکدیگر متفاوت است. در این مقاله با تکیه بر نرم افزار های واکنشی5، رویکردی به نام SRG6 ارائه می شود که در طی سه مرحله، از روی توصیف های انتزاعی مساله و قیود، به تولید خودکار قوانین حقیقی - که برحسب کمیت های فعالیت های زمان اجرا بیان می شود –می پردازد تا درستی یابی رفتار اجرایی نرم افزار را ممکن سازد. در این رویکرد: (1) یک مدل بصری واکنشی از توصیف مساله ارائه شده و سپس، ضوابط رفتار حین اجرای نرم افزار برحسب منطق بی درنگ7 تولید می شود، (2) قیودی که باید در زمان اجرا به وسیله نرم افزار رعایت شوند برحسب منطق بی درنگ توصیف می شود و (3) قوانین درستی یابی از قیود (مورد 2) برحسب ضوابط رفتار نرم افزار (مورد 1) تولید می شود. در پایان رویکرد SRG را برای مساله “پروتکل ارتباطات پیامی” به کار می بریم.
    کلیدواژگان: درستی یابی زمان اجرا، تولید قوانین درستی یابی، نرم افزار واکنشی
  • میثم امیراحمدی، اصغر اکبری فرود صفحات 39-56
    در بازار های رقابت عمده فروشی، هر شرکت توزیع به عنوان یکی از بازیگران بازار، به دنبال حداکثر کردن سود، با به کارگیری تمامی امکانات خود است. بنابراین تعیین راهکار بهینه تامین انرژی هر شرکت توزیع برای نیل به این هدف، امری ضروری است؛ اما مشکل اصلی در تعیین این راهکار، پیش بینی رفتار دیگر رقیبان و شرکت های تولیدی حاضر در بازار بوده و اطلاعات ناقص مربوط به آنها باید به شکل عدم قطعیت در مساله ملحوظ شود. دراین مقاله، نوعی مدل تامین انرژی برای شرکت های توزیع با در نظر گرفتن تولیدهای پراکنده و بارهای قابل قطع متعلق به این شرکت و با ملحوظ کردن عدم قطعیت ها در بازار برق روز- پیش پیشنهاد شده است. در روش ارائه شده، ابتدا مدل تامین انرژی به صورت نوعی مساله بهینه سازی چندهدفه دوسطحی که با استفاده از روش متمم غیرخطی و L-P متریک قابل حل است، پیشنهاد شده و سپس نامعینی های موجود در اطلاعات، با استفاده از روش مونت کارلو، به مدل اعمال می شود. یک سیستم 8 شینه برای تایید اعتبار الگوریتم و مدل پیشنهادی، مورد استفاده قرار گرفته است.
    کلیدواژگان: عدم قطعیت ها، شرکت توزیع، تولیدهای پراکنده، بارهای قابل قطع، روش متمم غیرخطی، روش مونت کارلو
  • مهرداد جعفربلند، علیرضا صدوقی صفحات 57-81
    در این مقاله طرحواره جدیدی برای سیستم محرک ارائه می شود که باعث افزایش توان و بهبود بازدهی شناورهای زیرسطحی می شود. با استفاده از این روش بدون آنکه حجم و وزن سیستم محرک افزایش یابد توان و بازده آن افزایش می یابد. این طرح در سرعت گشت زنی شناور نسبت به روش استفاده از موتور دو آرمیچره -که یکی از روش های متداول در زیردریایی ها است- بازدهی را به میزان قابل توجهی افزایش می دهد و نسبت به سایر آرایشهای متداولی که تاکنون گزارش شده برتری دارد. به دلیل اختلاف مشخصات دو موتور، این طرحواره به سیستم کنترل پیچیده ای نیاز دارد. در این مقاله ابتدا نوعی کنترل کننده پیچیده پیشنهاد شده و کنترل پذیری و پایداری آن اثبات می شود. سپس با تفکیک دینامیک های کند و تند، سیستم کنترل به دو سیستم کنترل ساده تبدیل می شود. به این ترتیب سیستم چند ورودی چند خروجی غیرخطی همراه با اغتشاش به دو زیر سیستم تک وروردی تک خروجی تفکیک شده و طراحی کنترل کننده ساده تر شده و می توان از کنترل کننده های کلاسیک نیز استفاده کرد. نتایج حاصل از شبیه سازی دو طرح مختلف کنترل کننده کلاسیک و کنترل کننده فازی ارائه شده است. آزمونهای انجام شده بر روی نمونه آزمایشگاهی و صنعتی، نتایج مقاله را تایید می کند.
    کلیدواژگان: بازدهی سیستم رانش، تزویج، تفکیک دینامیک های کند و تند، زیردریایی، کنترل سرعت، کنترل فازی
  • پوریا امین علی، امیر البدوی، پیت نائودی صفحات 83-95
    امروز تبادل اطلاعات از طریق اینترنت و به کارگیری فناوری های نوین در فرایندهای کسب و کار، ضمن ایفای نقش مهمی در افزایش بهره وری سازمانها، جایگاه ویژه ای را در بیشترصنایع به خود اختصاص داده است. از این رو شناخت و بررسی عوامل مؤثر بر پذیرش و به کارگیری موثر فناوری های جدید، به عنوان گام نخست در بهره گیری کارآمد از ابزارهای مبتنی بر وب، همواره مورد توجه کشورها و صاحبان صنایع بوده و از دید علمی نیز در سالهای اخیر محور بسیاری از مطالعات گسترده در حوزه ارزیابی آمادگی الکترونیکی بوده است. از سوی دیگر در بازار رقابتی کنونی جهان، صنعت خو درو سازی جزو صنایع پیشتاز در استفاده از فناوری های نوین و بهره گیری مناسب از ابزار تجارت الکترونیک برای افزایش بهره وری در فرآیند های مختلف فروش و خدمات پس از فروش همواره مورد توجه ویژه قرار داشته است.
    تحقیق حاضر با توجه به نیاز کنونی کشور در استفاده مؤثر از ابزارهای تجارت الکترونیک، به ارزیابی آمادگی الکترونیکی در صنعت خودروسازی ایران به ویژه در بخش فرو ش و خدمات پس از فروش شرکت ایران خودرو می پردازد. در این مقاله از مدل VERDICT برای اولین بار در صنعت خودروسازی استفاده شده و توسط آن آمادگی الکترونیکی نمایندگی های فروش و خدمات پس از فروش شرکت ایران خودرو در سطح کشور با توزیع و جمع آوری پرسشنامه های بازنگری شده مدل، ارزیابی شده است.
    همچنین با مقایسه تتایج به دست آمده با نتایج تحقیقی که در انگلستان انجام شده، روابط عوامل مؤثر بین گروه های اصلی و تاثیر گذار بر روند نهایی ارزیابی آمادگی الکترونیکی شناسایی و در قالب مدلی به توصیف آنها پرداخته شده است. ضمن آنکه چهارچوبی برای معرفی و ارزیابی زیر گروهای مؤثر بر ارزیابی آمادگی الکترونیکی در سطح سازمان معرفی شده است.
    کلیدواژگان: تجارت الکترونیک، روابط کسب و کار، زیر ساختها، ارزیابی آمادگی الکترونیکی، مدل، VERDICT
  • سید سعید محتوی پور، محسن پارسا مقدم *، محمودرضا حقی فام صفحات 97-107

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

    کلیدواژگان: تشخیص جزیره ای شدن، تولید پراکنده، فیلتر شکافدار تطبیقی
  • علی تیموری، علیرضا بهراد، حسن قاسمیان * صفحات 109-126

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

    کلیدواژگان: آشکارسازی و ردیابی چهره، تخمین محل سر، یادگیری AdaBoost، ویژگی های چهره، تطبیق ویژگی، مش های شکل پذیر
|
  • Sina - Shamekhi_Mohammad Hossin Miranbeigi_Mohammad Javad - Abolhassani Pages 1-11
    In this study, generation of the transient evoked ooacoustic emissions in human ear has been simulated using a new electroacoustic model. The method of state variables was adopted to calculate the auditory model, and numerical integration methods have been used to solve differential equations in Matlab. Simulation results have been compared with the real data. In this study, latency curves, frequency spectrum of the simulated TEOAE and calculation errors were used to validate of the model. The results of this research show that simulated outputs are similar to clinical data.
  • Seyed Morteza - Babamir_Sayed - Jalili Pages 13-38
    Static verification and software testing are not able to verify software single-handedly. Therefore, another approach called run-time verification dealing with verifying software behavior against constraints at run-time received attention. However, the run-time verification faces the problem of verification of run-time activities against the constraints are specified in high-level and abstractly because their natures are different from each other. Focused on reactive software, in three steps this paper presents an approach called SRG to generate run-time verification rules in terms of run-time activities from abstract specification and constraints of problem. The approach: (1) presents a visual and reactive model of problem specification and then generates ground rules of run-time behavior of software in real-time logic, (2) specifies in real-time logic the constraints should be met by software at run-time, and (3) generates verification rules from the constraints and the ground rules. Last of all, the SRG approach is applied to message communication protocol.
  • Meysam - Amirahmadi_Asgar - Akbari Foroud Pages 39-56
    In restructured power systems and in a wholesale power market, a distribution company as a market player intends to maximize its profit by utilizing its options. Hence determining an optimal energy acquisition strategy for a distribution company is vital, for attaining to this goal. However an important challenge for determining these strategies is forecasting other competitors and Generation companie's strategies and competitor's incomplete information must be considered as uncertainties in the problem. In this paper, an energy acquisition model for a distribution company with considering distributed generations, interruptible loads and information's uncertainties in a day-ahead electricity market has been presented. In the proposed method, distribution company energy acquisition strategy has been modeled as a two-level multi-objective optimization problem and has been solved by using nonlinear complementarities and L-P metric methods and then, the uncertainties in the competitor's information, has been applied to the model by using Monte Carlo method. An 8-bus system is employed to illustrate the proposed model and algorithm.
  • Mehrdad - Jafarboland_Alireza - Sadughi Pages 57-81
    A new approach for propulsion system layout that increases power and enhances the efficiency of submarine propulsion system is proposed.using our method,the efficiency and power of the system enhances without increasing volume and weight. This layout improves the performance compared to the usual layout, which employs double-armature motors in cruise speed where efficiency is more critical. This layout needs a complicated control system due to the difference of the motors. In this paper, first we suggest a type of complex controller and prove its controllability and stability. Then the control system is reduced to a simple system using the idea of low and fast dynamics separation. The non-linear MIMO system is split into two SISO systems, which simplifies the system so that the classical controllers would be applicable. Simulation results for both the classic and fuzzy controllers are also presented. A small model system which is built based on this approach, justifies the results.
  • Pourya - Aminali_Amir - Albadvi_Pet - Naude Pages 83-95
    Over the recent years, rapid development of Information Technology (IT) and Electronic Commerce (e-Commerce) has dramatically affected world trade and the way business is conducted. Also the benefits of using e-commerce and other internet-based technologies have been well recognized through extensive surveys pointing the dominant role of IT in different industries. However, implementation of any new technology such as e-commerce in business relationships and applying ICT tools require vital infrastructures and urges major changes within companies to adopt the new technology. Therefore, to ensure a productive and beneficial implementation of internet-based technologies, in the first step, one needs to investigate infrastructures and measure electronic readiness (e-readiness) of organizations in this regard. To address such a need, this paper describes a procedure to assess e-readiness of SMEs in technology-affected environments by applying VERDICT as an e-readiness assessment model. This study as an initial application of VERDICT within automotive industry, investigates e-readiness level of downstream within the biggest vehicle manufacturer of Iran i.e., Iran Khodro Industrial Group, and has also some contributions in the applied model based on empirical findings which were achieved through an extensive survey by distributing revised questionnaires of VERDICT and following a quantitative approach. Furthermore, an efficient route of benchmarking provides scientific comparison between e-readiness level of the case studied in this paper and that of other companies selected from another market in UK. Ultimately, the achievements of this research would result in some implications for both theoretical and managerial peopel where an outline would be provided for organizations across different industries to facilitate electronic commerce applications efficiently by investigating and improving their essential infrastructures through assessing their overall level of electronic readiness.
  • Syed Saeed - Mohtavipour, Mohsen - Parsa Moghadam, Mahmood Reza - Haghifam Pages 97-107

    A critical protection requirement for grid connected distributed generators (DG) is anti-islanding protection. In this paper, a new islanding detection method for any possible network loading is proposed based on utilizing and combining various system parameter indices. In order to secure the detection of islanding, eight intentional disturbances are imposed to the system under study in which two sets of them simulate the islanding condition. The proposed technique uses the adaptive notch filters for extracting the frequency of oscillation of generator’s output waveform as one of the output parameter indices. An advantage of this technique is that it does not necessitates varying the islanding detection boundaries under various system loading conditions.

  • Ali - Taimori, Alireza - Behrad, Hassan - Ghassemian Pages 109-126

    In this paper, we propose a novel method for fully automatic detection and tracking of human heads and faces in video sequences. The proposed algorithm consists of two modules: a face detection module and a face tracking module. The Detection module, detects the face region and approximates it with an ellipse at the first frame using a modified version of AdaBoost cascaded classifier. The detection module is capable of considering the 2-D head pose rotation. The tracking module utiliyes a combination of deformable mesh energy minimization and feature matching approaches. In order to track a face, features are extracted in the face region to tessellate the human face with triangular unstructured meshes. For tracking a mesh, it is necessary to define mesh energies including internal and external energies. We have used new energy definitions for both the internal and the external energies which can accurately track rigid and non-rigid motions of a face and facial features at subsequent frames. We tested the proposed method with different video samples like cluttered backgrounds, partial illumination variations, put on glasses, and 2-D and/or 3-D rotating and translating heads. The experimental results showed that the algorithm is rotation insensitive and has high accuracy, stability and also has convergence for face detection and tracking