ارزیابی و تامین سلامت بازیهای رایانه ای مبتنی بر معناشناسی رسمی
Evaluation and Healthifying Computer Games, Based on Formal Semantics
نویسندگان:
محمد رضا بشارتی، محمد ایزدی
بازیهای رایانه ای همچون دیگر رسانه ها محمل انتقال پیامهای ضمنی و صریح هستند و قادرند بر سلامت جسم، روح و روان کاربران تاثیرات مثبت و منفی داشته باشند. مجموعه تاثیرات، دلالتها و معانی موجود در یک بازی میتواند بسیار گسترده، چندلایه و پیچیده باشد. برای بررسی و تضمین سلامت بازیهای رایانه ای، لازم است که به نحوی بتوان به محاسبه، ارزیابی و تعیین دلالتهای بازیهای رایانه ای (از منظرهای مختلف) پرداخت. یک رویکرد متدوال برای ارزیابی و بررسی پدیده های پیچیده و چندوجهی، استفاده از معناشناسی رسمی است. روشهای رسمی و دقیق میتواند راهگشای ارزیابی و تامین سلامت بازیهای رایانه ای باشد. در این مقاله یک سازماندهی پیشنهادی برای ارزیابی و تامین سلامت بازیهای رایانه ای مبتنی بر روشهای رسمی و دقیق ارائه شده که در آن دغدغه های ذینفعان مختلف در نظر گرفته شده است. همچنین طرح راه حلی فناورانه مبتنی بر بررسی تمکین سیستم ها به معانی برای مساله ارزیابی سلامت بازی ارائه شده که تکیه ی این راه حل، بر تکنیکهای وارسی مدل و حل منطقی است. چابکی، انعطاف، مقیاس پذیری، تکرارپذیری بررسی ها، شفافیت، تطبیق پذیری، موجود و در دسترس بودن جزئیات ارزیابی ها، ارزیابی لایه های مختلف و دلالتهای ضمنی و صریح سیستم بازی، اجتناب از تکیه بر سلایق یا مهارتهای فردی، تکیه بر مقررات و الزامات، توانایی ناشی از شفافیت برای برنامه ریزی ذینفعان و اشتغالزایی برای متخصصین از جمله ویژگیهای سازماندهی ارائه شده است.
کلمات کلیدی
بازیهای رایانه ای، سلامت بازیهای رایانه ای، معناشناسی رسمی، روش های رسمی و دقیق، ارزیابی و تامین سلامت بازی، وارسی مدل، حل منطقی، سازماندهی.
ارزیابی و تامین سلامت بازی های رایانه ای مبتنی بر معناشناسی رسمی
مقاله پذیرفته شده و ارائه شده در اولین همایش فضای مجازی پاک (فمپ)، سال 1393.
لینک دریافت مقاله:
http://ce.sharif.edu/~besharati/Besharati-Izadi-Famp1393.pdf
Mohammad Reza Besharati, Mohammad Izadi, “Evaluation and Healthifying Computer Games, Based on Formal Semantics ”, Proceedings of First International Symposium on The Healthy Cyberspace, Tehran, 2015.
Some Hypomethylating Agents In Food, Water And Environment Are Against Distribution And Risks Of Covid-19 Pandemic:
Results of a Multidisciplinary Research
Mohammad Reza Besharati
Alireza Talebpour, Associate Professor
Mohammad Izadi, Assistant Professor
Abstract
We conducted a somehow big questionnaire survey from more than 11000 Iranian families (resident in more than 1000 different urban cities and rural points inside IRI) and a somehow big-data Covid-19 and Life-Style data-store (with more than 1M data-Records and more than 1G-Items which could be yielded by acquiring semantic entailment rules) was provided from it. This big-data includes records about Life Style effects (including nutrition, water consumption sources, physical exercise, Smoking, Age, Gender, Health and Disease Factors, and many other items) on the status of Covid-19 Infection in families (i.e., residents of a home).
Our results strongly suggest that the foods and water-sources which are containing hypomethylating agents are lowering the risk of apparent infection of Covid-19.
Keywords:
Covid-19, Nutrition, Risk, Questionnaire Survey, Hypomethylating Agents, Epidemiology, Big-Data
1- Distinction of Poems and Prose in Persian Texts Using Machine Learning Techniques
2- Evaluation and Healthifying Computer Games, Based on Formal Semantics
3- CABUTAR Framework for Intelligent Compliance-Solving Systems
4- DAST Model: Deciding About Semantic Complexity of a Text
5- Semantics Based Compliance Solving
6- Using Reo Formalism for Compliance Checking of Architecture Evolution with Evolutionary Rules
7- A Crisis Situations Decision-Making Systems Software Development Process With Rescue Experiences
8- KARB Solution: Compliance to Quality by Rule Based Benchmarking
9- Some Hypomethylating Agents In Food, Water And Environment Are Against Distribution And Risks Of Covid-19 Pandemic: Results of a Multidisciplinary Research
آدرس صفحه خانگی:
بسم الله الرحمن الرحیم
سلام،
قَوْلاً مِنْ رَبّ رَحِیم