We are looking for methods combining between Partial Order Reduction Technique with Symbolic approaches using BDDs for reducing state space ?

03 August 2018 1 5K Report

We are looking for methods combining between Partial Order Reduction Technique with Symbolic approaches using BDDs for reducing state space. Could you give us in comments a brief description of such methods you know ?

Mihai Lica Pura

Maybe you could have a look at Sigma DDs:

https://archive-ouverte.unige.ch/unige:12331

Badges
Science topic

Similar topics
Engineering
Modeling

More Oussama Hayane's questions See All

Help request in CST microwave?

im working now on TPV solar cells and metamaterials and i realy need our help in CST microwave i have a tpv cell simulation and i want to extract particullarly the absorbtion of only the active...

02 March 2021 2,246 2 View

The most suitable method to calculate the stress intensity factor in the presence of contact between the crack lips?

I'm trying to study cracked structures under a compressive load taking into account contact between the crack lips. I would like to know if the method of extrapolation by displacement remains...

21 February 2021 8,694 4 View

How can i get the data for the FTSE/JSE Responsible investment top 30 index (J110)?

Hi All , Please can you recommend a free database (i already use yahoo finance but it's not avaible) ,or if someone has already worked on this index for the period of 2015 it would be great to...

22 December 2020 247 3 View

How to find the dimensions of a patch antenna of a horn shape?

So i was asked to make a horn-shaped patch antenna, but i'm having hard time to find its dimensions. Is there a relation between a real horn antenna dimensions and a patched one?

07 December 2020 1,748 3 View

How to implement the Maximum Tensile Stress Criterion for crack propagation ?

Hello everyone, I'm working on crack propagation using a meshless method in linear elastic fracture mechanics and I want to use the Maximum Tensile Stress Criterion. I need some references or...

29 September 2020 2,362 3 View

How to calculate the sum and the subtraction of many random variables that follow exponential distributions ?

How to calculate the sum and the subtraction of many random variables that follow exponential distributions and have different parameters ? (The value of Lambda is different for all or some...

03 September 2020 3,721 10 View

Question regarding displacement of phases in Match! software?

Hello First of all i am an amateur when it comes to XRD and phase analysis so please bare with me on this . That being said , i am having an issue with Match! software whereas the suggested phases...

09 March 2020 4,240 6 View

About a MOSFET device ?

Is the thermal study of the MOSFET device important to improve the efficiency of the device or is there another opinion?

06 January 2020 8,718 4 View

How to model the terminations of a coaxial cable in MoM simulation? and How can i get the its Transfer Impedance ?

I want to simulate a coaxial cable in FEKO software. However, the results do not agree with the transmission line solution that uses the transfer impedance (Schelkunoff model). I m thinking that...

05 December 2019 4,357 8 View

Rotate mesh in ANSYS?

Hello , I am trying to make a 2D airfoil simulation using ansys fluent to calculate Aerodynamic coefficients for multiple angles of Attack . the domain i build has two parts exterior and a cyrcle...

19 November 2019 6,217 6 View

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

What is the most Operating System (OS) which can be INSTALL on Tiny hard devices like Raspberry Pi (RPi) hardware ?

I'm targeting to deploy a mesh network and manually configure MANET routing protocols. I'm preparing scenarios, architectures, and hard devices needed to do that. Are there some step-by-step...

03 March 2021 1,931 5 View

Can we classify HV and LV lines based on line length?

I have dataset which shows the length of power lines. I need to classify the lines based on the line length. Is there a rule to classify the High voltage (HV) and low voltage (LV) lines based on...

03 March 2021 4,116 4 View

Enhanced Yellow Fluorescent Protein (Aequorea victoria) DNA sequence?

I am on the lookout for the Enhanced Yellow Fluorescent Protein (Aequorea victoria) DNA sequence. Does anyone know where I can find it? Thank you in advance

03 March 2021 3,568 1 View

What kind of fluid could I use for a pitfall trap that also does not invalidate molecular testing?

Hi, I want to start testing pitfall trap to obtain ants samples, but I need to conduct molecular analysis on those insects. So, what kind of fluid can I use? Ethanol expires too early and I need...

03 March 2021 5,978 5 View

What's the best way to measure growth rates in House sparrow chicks from day 2 to day 10?

What's the best way to measure growth rates in House sparrow chicks from day 2 to day 10? Since, the growth curve from day 2 to 10 won't be like the "Logistic curve" it might not follow logistic...

03 March 2021 1,401 3 View

After a reference from Int J Body Compos Res, can any body help?

Hi, I am after the reference below, my library says it cannot obtain a copy either locally or internationally, any help appreciated! Chris Wang ZM, Heshka S, Wielopolski L, Pi-Sunyer FX, Pierson...

03 March 2021 6,193 1 View

Irradiation data for JAPAN?

Hi, Could you help me to get the latest (2019, 2020) solar resource data for a particular site in JAPAN? PV GIS and NSRDB data are not in reach to JAPAN, I'm looking for some other database for...

03 March 2021 961 3 View

Do we need to write protocol for a second study of a systematic review that has been registered and published?

I have conducted and published a systematic review and meta-analysis research with the topic related to public health and health pomotion (protocol was registed in PROSPERO). Now we want to...

03 March 2021 8,920 3 View

How to increase a model accuracy ?

dear community, my model is based feature extraction from non stationary signals using discrete Wavelet Transform and then using statistical features then machine learning classifiers in order to...

03 March 2021 6,994 5 View