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

Abstract To study the temporal and spatial variation characteristics of hydrodynamic forces in Rule Lake, a two-dimensional mathematical model shallow water lake was established based on MIKE 21, flow field Lake under action topography, wind inflow were simulated analyzed. The results show that heterogeneity hydrodynamics area is obvious, velocity presents gradient change characteristic high we...

Review of Mike Wayne's Marxism Goes to the Movies (London: Routledge, 2020).

Accurate estimation of input parameters is essential to ensure the accuracy and reliability of hydrologic and water quality modelling. Calibration is an approach to obtain accurate input parameters for comparing observed and simulated results. However, the calibration approach is limited as it is only applicable to catchments where monitoring data is available. Therefore, methodology to estimat...

1 Formalizing mathematics: pure and applied I've always been interested in using theorem provers both for " practical " applications in formally verifying computer systems, and for the " pure " formalization of traditional mathematical proofs. I particularly like situations where there is an interplay between the two. For example, in my PhD thesis [5], written under Mike Gordon's supervision, I...