How to convert a textual format into Maude model?

Hakima Mellah @Hakima-Mellah-3

27 March 2019 0 9K Report

Hi,

I have a textual descirption of a home care system, and i want to model and verify it in Maude system?

can anybody help me by proposing the principal steps to follow?

Thank you

More Hakima Mellah's questions See All

How to compare two groups with only two measurements?

Hiiiii everyone! I have an enquiry on statistical analysis. I was looking for many forum and it's still cannot solve my problem. I want to compare means of two groups of data but only with two...

03 March 2021 8,796 3 View

Hello fellow researcher .. What is the meaning of your name?

I would like to create a small guide containing the meanings of the names .. Thanks to everyone who cooperates with me in achieving it.

03 March 2021 5,266 4 View

Is There Any Feasible Method To Test Fluorescent Compounds Other Than Fluorescence Spectrometers ??

Is There Any Feasible Method To Test The Efficiency Of Fluorescent Compounds Other Than UV Spectrometers ? Suggestions Would Be Appreciated !

02 March 2021 5,785 3 View

Is it possible to do piezoelectric coupling in ANSYS-APDL or COMSOL between tapered substrate and rectangular piezoelectric patch?

How to do Piezoelectric coupling in ANSYS-APDL or COMSOL between tapered substrate and rectangular piezoelectric patch? Piezoelectric coupling between the rectangular substrate and rectangular...

02 March 2021 9,833 3 View

Does anyone know HRM channel in a 2 plex QIAGEN Rotor- Gene Q qPCR can be used as a separate channel?

I am going to have 3 different probes in my qPCR work that I am going to do. But I realized that the machine we have in the lab is a Rotor-Gene Q 2plex HRM Platform, saying it has green, yellow,...

01 March 2021 8,544 1 View

Adherance of Polyaniline coating over stainless steel?

Is the electropolymerisation of polyaniline coating over stainless steel (SS) via Cyclic voltammetry technique is really adherant? Else how to improve the adhesion of the coating, whether any...

01 March 2021 8,220 2 View

How can you bring two structures together to create an adhesive bond in LAMMPS?

I have created an Ice 1h crystalline structure and an Aluminium substrate structure and equilibrated both at 250K. Now I need to bring them together in a way that an adhesive bond is created....

01 March 2021 3,325 2 View

No title

Does anyone have the experience of using Taq Man probes in the QIAGEN Rotar- Gene qPCR machine?

01 March 2021 5,311 1 View

Why is the sum of the elements in a row in a Q matrix equal to zero?

When explaining substitution models, the substitutions are expressed as Q matrix. Why is the sum of the elements in a row zero?

28 February 2021 3,864 3 View

How to model the battery pack in PSIM or PSCAD?

Hello, I have simulated a single battery cell using Thevenin equivalent circuit. For a battery pack, I have a large number of cells connected in series and parallel connections. Is there any way...

28 February 2021 2,116 1 View

Does the circuit modeling for planar monopole antennas using Foster canonical forms give good approximation?

Hi researchers, I am searching for some accurate way to do the circuit modeling of planar CPW-fed monopole antennas. I have gone through the literature where mostly circuit modeling is done using...

28 February 2021 7,016 1 View

Is anyone working on a project focused on immigrants/newcomers working in the hospitality industry and how they have been impacted by COVID?

The on-going Covid-19 pandemic has had devastating economic effects on many industries. However, few have suffered to the same extent as full-service restaurants. Numerous studies have shown that...

24 February 2021 9,496 4 View

Why cannot world and community leaders be gentle? Where did ethics of care go?

The whole world is in a mess and paused. We all are tired of seeing hypermasculinized and destructive leaderships all around us. This world has seen enough of the aggressive patriarchal social...

23 February 2021 292 7 View

What is the most prevalent drug related problem in the developed countries?

Detecting the drug related problems is an important step in the pharmaceutical care plan

21 February 2021 5,421 3 View

Where can I find raw quantitative datasets on ecosystem services?

I'm an Undergraduate student on the search for a research topic which has to involve any ecosystem service(s) and a response to environmental change. I'm looking for raw quantitative data sets (I...

19 February 2021 5,911 2 View

Can medicinal plants really play an inherent rule in the COVID-19 tackle?

Numerous scientific reports cited plant extracts with potential antiviral activity and even anti-COVID-19? Why these findings are neglected? I remember very well the warning released by the WHO to...

17 February 2021 2,141 9 View

Can I simply dilute 25% NH3 solution to 10% solution by pouring water in tank and circulating with pump?

Is there any heat of dilution which I need to take care by putting some circulation cooler? Will there be any significant ammonia emission in the process?

09 February 2021 5,943 2 View

When is the right time to stop training a classification algorithm?

In this example giving 400 samples looks like there is an accuracy of 91.5% while training beyond that point, accuracy is getting decreased. Are 400 samples enough to keep for this example? If...

27 January 2021 5,657 3 View

What contributions could be done in the medical emergency field based on voice recognition and NLP?

Hello, My research work focuses on the use of NLP and voice recognition for the medical emergency assistance. So I would appreciate it if you suggest me some contributions that could be done in...

27 January 2021 2,899 3 View

What are the IT and Artificial intelligence contributions to assisting medical emergency cases?

Hello, I am seeking recommendations from the Research Gate community regarding studies about the IT and Artificial intelligence solutions to assisting medical emergency cases. What are the...

23 January 2021 2,667 21 View