MXenes possess unique features that are useful for broader industrial development. However, although many different compositions of have been discovered, little research has conducted on the optimal synthesis strategy producing best yield. Therefore, substantial work is performed synthesis’ structure and property relationship direct methanol fuel cell (DMFC) applications since successfully hybr...

An anatase film electrode on FTO glass has been produced by a mix of commercial nanostructured with water in dispersion using rod followed calcination at 400 °C for one hour the ramp 20 per minute. The structural morphology resulting surface analysed scanning electron microscopy (SEM) and its photoelectrochemical behaviour dark, laboratory environment under UVA light examined different electroc...

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

پیوند اعضا از ارکان مهم سیستم‌‌های سلامت است و به درمان بسیاری بیماری‌‌های صعب‌العلاج کمک شایانی کرده است. روزانه 7 تا 10 نفر بیماران نیازمند در ایران علت نرسیدن به‌موقع عضو پیوندی دنیا می‌­روند. با توجه بحرانی­‌بودن زنجیره برای سلامتی انسان، مدیریت برنامه‌ریزی این اهمیت فراوانی برخوردار انتقال بیمار یک بیمارستان محل تأثیر ثانیه‌‌ها بر کیفیت مورد­انتقال موفقیت پیوند، بسیار حائز پژوهش، مدلی ریاض...

Timed automata (TA) are widely used to model real-time systems, and UPPAAL is one of the most popular model-checker for this framework which has been successfully applied over numerous industrial case studies. Diagonal constraints are a natural extension of TA, that does not increase expressive power, but gives conciseness. Unfortunately the classical forward algorithm for reachability analysis...

Partial orders based veriications methods are now well developed. In this framework, several suitable logics have already been deened. We focus on this paper on the logic TrPTL, as deened by Thi-agarajan, for which models are the well known (innnite) Mazurkiewicz traces. We study the case where the alphabet is not connected. Our main theoretical result is that any TrPTL formula can be decompose...

A simple and rapid method for determination of mexiletine in pharmaceutical preparations was developed and validated using linear sweep voltammetry (LSV). The proposed method was based on electrochemical oxidation of mexiletine at platinum electrode in acetonitrile solution containing 0.1 M LiCIO4. The well-defined an oxidation peak was observed at +1.11 V. The calibration curve was linear for ...

BACKGROUND Congenital coronary anomalies are uncommon with an incidence ranging from 0.17 % in autopsy cases to 1.2 % in angiographically evaluated cases. The recent development of ECG-gated multi-detector row computed tomography (MDCT) coronary angiography allows accurate and noninvasive depiction of coronary artery anomalies. METHODS This retrospective study included 2572 patients who under...