فهرست مقالات زنده بودن

• دسترسی آزاد مقاله
  • صفحه چکیده
  • متن کامل
  
  1 - تعميم مفهوم صحت ساختاري فرآیندهای کسب و کار از شبکه‌هاي پتري کلاسيک به مدل‌هاي فرآيندي BPMN
  یحیی پورسلطانی محمدحسن شیرعلی شهرضا سید علیرضا هاشمی گلپایگانی
  استاندارد BPMN2.0 يک زبان مدل‌سازي به منظور طراحي فرآيندهاي کسب و کار مي‌باشد که به علت گويايي بالا، براي طيف وسيعي از کاربران قابل درک و استفاده مي‌باشد؛ با اين حال، به علت ماهيت غير صوري آن ممکن است مدل‌هايي حاوي خطاهايي ساختاري هم‌چون بن‌بست (عدم امکان اجرای فرآیند) چکیده کامل

  استاندارد BPMN2.0 يک زبان مدل‌سازي به منظور طراحي فرآيندهاي کسب و کار مي‌باشد که به علت گويايي بالا، براي طيف وسيعي از کاربران قابل درک و استفاده مي‌باشد؛ با اين حال، به علت ماهيت غير صوري آن ممکن است مدل‌هايي حاوي خطاهايي ساختاري هم‌چون بن‌بست (عدم امکان اجرای فرآیند) و بن‌بست حلقوي (تکرار نامتناهی کارها) با استفاده از آن‌ها توليد شود. تاکنون تحقيقات زيادي پيرامون صحت‌سنجي اين مدل‌هاي فرآيندي صورت گرفته‌ است و راهکارهاي مختلفي به منظور کشف برخی از این خطاهای ساختاری ارائه شده‌است؛ سوالی که در خصوص این روش‌ها ممکن است مطرح شود این است که آیا می‌توان با استفاده از هرکدام از آن‌ها صحت ساختاری یک مدل فرآیندی BPMN را به صورت قطعی تضمین کرد؟ برای پاسخگویی به این سوال نيازمند يک تعريف جامع از يک مدل فرآيندي BPMN2.0 صحيح هستيم تا بر مبنای آن بتوانیم جامعیت روش‌های صحت‌سنجی را مورد ارزیابی قرار داده و بدین وسیله، مطمئن شویم که روش ارائه شده می‌تواند تمامی خطاهای ساختاری مدل فرآیندی را کشف نماید. در اين پژوهش، بر پايه‌ي یک تعریف عام از مدل‌های فرآیندی و مفهوم صحت (بر اساس مدل‌هاي فرآيندي ايجاد شده با استفاده از شبکه‎هاي پتري) و تعميم ویژگی‌های آن، يعني زنده بودن و کران‌دار بودن به مدل‌هاي فرآيندي BPMN2.0، يک تعريف جامع براي یک مدل‌ فرآيندي BPMN2.0 صحیح ارائه شده‌است و بر اساس آن، جامعیت روش‌های پیشنهادی برخی از مهم‌ترین پژوهش‌های صورت گرفته مورد ارزیابی قرار داده شده‌است؛ اين تعريف مي‌تواند به عنوان يک معيار براي سنجش کارايي روش‌هاي صحت‌سنجي اين مدل‌هاي فرآيندي به کار گرفته‌شود. پرونده مقاله
• دسترسی آزاد مقاله
  • صفحه چکیده
  • متن کامل
  
  2 - تطبیق چهره و تشخیص زنده بودن مبتنی بر بازشناسی گفتار برای احراز هویت غیرحضوری
  احمد دولت خواه بهنام درستکار یاقوتی راهب هاشم پور
  با گسترش فناوری بسیاری از خدمات نهادها و سازمان‌ها به صورت الکترونیکی و هوشمند، در بستر اینترنت ارائه می‌گردد. پلیس نیز به عنوان یک نهاد ارائه‌دهنده خدمات به مردم و سایر نهاد‌ها، به دنبال هوشمندسازی خدمات خود می‌باشد. در همین راستا نیز سامانه‌های الکترونیکی و هوشمند مخت چکیده کامل

  با گسترش فناوری بسیاری از خدمات نهادها و سازمان‌ها به صورت الکترونیکی و هوشمند، در بستر اینترنت ارائه می‌گردد. پلیس نیز به عنوان یک نهاد ارائه‌دهنده خدمات به مردم و سایر نهاد‌ها، به دنبال هوشمندسازی خدمات خود می‌باشد. در همین راستا نیز سامانه‌های الکترونیکی و هوشمند مختلفی را ارائه کرده است. به دلیل عدم احراز هویت کاربران در این سامانه‌ها، بسیاری از خدماتی که می‌توانند به صورت غیرحضوری ارائه گردد، نیاز به مراجعه به دفاتر پلیس+۱۰ را دارند. محدودیت بودجه و تجهیزات برای پاسخگویی حضوری، محدودیت نیروهای پلیس و تمرکز آن‌ها بر روی موضوعات مهم، محدودیت تعداد دفاتر خدماتی در شهرستان‌ها و عدم دسترسی روستاها به این دفاتر، رشد روزافزون خدمات برخط و افزایش تقاضای مردم برای آن، به ویژه در شرایطی مانند بحران بیماری کرونا، سبب شده است تا نیاز به احراز هویت غیرحضوری بسیار مورد توجه قرار بگیرد. در این پژوهش، احراز هویت غیرحضوری و ضرورت استفاده از آن، روش‌های تشخیص زنده بودن و بازشناسی چهره که دو فناوری مهم در این حوزه است، مرور شده است. در ادامه یک روش کارآمد از مدل‌های یادگیری عمیق بازشناسی چهره برای تطبیق چهره و یک روش تشخیص زنده بودن تعاملی به وسیله‌ی بازشناسی گفتار فارسی ارائه شده است و در نهایت نتایج آزمایش این مدل‌ها بر روی داده‌های مربوط در این حوزه آورده شده است. پرونده مقاله
• دسترسی آزاد مقاله
  • صفحه چکیده
  • متن کامل
  
  3 - تعميم مفهوم صحت ساختاري فرآیندهای کسب و کار از شبکه‌هاي پتري کلاسيک به مدل‌هاي فرآيندي BPMN
  یحیی پورسلطانی محمدحسن شیرعلی شهرضا سید علیرضا هاشمی گلپایگانی
  استاندارد BPMN2.0 يک زبان مدل‌سازي به منظور طراحي فرآيندهاي کسب و کار مي‌باشد که به علت گويايي بالا، براي طيف وسيعي از کاربران قابل درک و استفاده مي‌باشد؛ با اين حال، به علت ماهيت غير صوري آن ممکن است مدل‌هايي حاوي خطاهايي ساختاري هم‌چون بن‌بست (عدم امکان اجرای فرآیند) چکیده کامل

  استاندارد BPMN2.0 يک زبان مدل‌سازي به منظور طراحي فرآيندهاي کسب و کار مي‌باشد که به علت گويايي بالا، براي طيف وسيعي از کاربران قابل درک و استفاده مي‌باشد؛ با اين حال، به علت ماهيت غير صوري آن ممکن است مدل‌هايي حاوي خطاهايي ساختاري هم‌چون بن‌بست (عدم امکان اجرای فرآیند) و بن‌بست حلقوي (تکرار نامتناهی کارها) با استفاده از آن‌ها توليد شود. تاکنون تحقيقات زيادي پيرامون صحت‌سنجي اين مدل‌هاي فرآيندي صورت گرفته‌ است و راهکارهاي مختلفي به منظور کشف برخی از این خطاهای ساختاری ارائه شده‌است؛ سوالی که در خصوص این روش‌ها ممکن است مطرح شود این است که آیا می‌توان با استفاده از هرکدام از آن‌ها صحت ساختاری یک مدل فرآیندی BPMN را به صورت قطعی تضمین کرد؟ برای پاسخگویی به این سوال نيازمند يک تعريف جامع از يک مدل فرآيندي BPMN2.0 صحيح هستيم تا بر مبنای آن بتوانیم جامعیت روش‌های صحت‌سنجی را مورد ارزیابی قرار داده و بدین وسیله، مطمئن شویم که روش ارائه شده می‌تواند تمامی خطاهای ساختاری مدل فرآیندی را کشف نماید. در اين پژوهش، بر پايه‌ي یک تعریف عام از مدل‌های فرآیندی و مفهوم صحت (بر اساس مدل‌هاي فرآيندي ايجاد شده با استفاده از شبکه‎هاي پتري) و تعميم ویژگی‌های آن، يعني زنده بودن و کران‌دار بودن به مدل‌هاي فرآيندي BPMN2.0، يک تعريف جامع براي یک مدل‌ فرآيندي BPMN2.0 صحیح ارائه شده‌است و بر اساس آن، جامعیت روش‌های پیشنهادی برخی از مهم‌ترین پژوهش‌های صورت گرفته مورد ارزیابی قرار داده شده‌است؛ اين تعريف مي‌تواند به عنوان يک معيار براي سنجش کارايي روش‌هاي صحت‌سنجي اين مدل‌هاي فرآيندي به کار گرفته‌شود. پرونده مقاله