How to Verify & Validated the simulation data(Cooja Simulation)?

More Vinoth Kumar's questions See All

Which is the most efficient etching solution for nickel based alloys?

Which solution reveals the microstructure and features of nickel-based alloys?

02 March 2021 2,221 3 View

Which is the most convenient manufacturing software for Additive Manufacturing?

Which tools can be used to generate machine codes for additive manufacturing?

02 March 2021 7,220 2 View

Which is the best place in the world for the plant biotechnology research?

I am searching for a good place for the Post Doc,

02 March 2021 4,053 3 View

Which SAR dataset to use for generating coherency matrix and performing target decomposition (Description) ?

Working on chandrayaan-2 DFSAR data, there are three datasets available: 1) Slant range image data product: The slant range complex image file. Each pixel is represented by two 4-byte floating...

02 March 2021 8,481 3 View

How does one access the Cranet survey data on HRM practices?

Hello, The Cranet website does not provide any lead to the data obtained from their multinational survey on HRM practices. Any help on accessing the data would be most appreciated. Thank...

01 March 2021 9,536 3 View

Genome-wide gene identification protocol ?

Is there any book chapter/book, webpage or research article available to understand genome-wide gene identification?

28 February 2021 8,095 1 View

Can the problems of overfitting be solved without cross validation?

For an overfit data set the cross validation error will be much bigger than the training error. Is it true or false?

23 February 2021 3,616 2 View

In frequency domain alpha band(8-16hz), beta band(16-32hz), gamma band(32-64hz), sub-band(64-128hz) are same as LL,LH,HL,HH in wavelet decomposition?

I am working on single trial motor imagery data i.e. EEG data. I am following a paper which has a dataset from BCI challenge IV (dataset 2b). After removing noise and extracting all the data from...

23 February 2021 5,503 1 View

Research Gate Does it help researches to publicize their scientific work ?

In my opinion, the RG site is useful in solving scientific problems and shows the researcher's ability. Besides, the separation of the H-index from the self-citations and the overall index is an...

22 February 2021 3,894 6 View

How to Study a proton NMR of Graphene prepared by Electrochemical Exfoliation technique?

I performed a Proton NMR of graphene powder prepared by electrochemical exfoliation technique. It shows some peaks. But I can't understand it.

21 February 2021 8,947 3 View

fatal error

When I tried to energy minimization my system, I got fatal error as below. Fatal error: Atomtype opls_116 not found Although I've already added this line: ; include water #include "oplsaa.ff/spc.itp" to [molecultype] directive in my topology.

16 June 2021 0 0 View

fatal error

16 June 2021 0 0 View

fatal error

16 June 2021 0 0 View

fatal error

16 June 2021 0 0 View

What is your perception on using visual analysis or quantitative approaches to evaluate data from single-case research designs (n of 1 trials)?

Results of single-case research designs (i.e., n-of-1 trials) are often evaluated by visually inspecting the time-series graph and computing quantitative indices. A question our research team is...

03 March 2021 687 1 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

What techniques can I use to determine the miscibility of polymer blends?

The term miscibility refers to the single-phase state in thermodynamics. I do not mean the compatibility of different components. To determine the miscibility I know several techniques such as...

03 March 2021 4,107 4 View

Arena simulation - how do i model the following model in ARENA (see description) (new to ARENA)?

Hello, I'm fairly new to ARENA and I have the following problem: I have two queues in which, in each queue, a different order type arrives (both having an arrival rate of exponential 10). Order...

02 March 2021 2,431 3 View

Why are the velocities so high in my Boussinesq approximation Fluent simulation?

Hello, I have a mechanism where air rises due to convective flows. In this simulation, nothing is driving the air except this. I understand that the Boussinesq approximation only works for small...

02 March 2021 4,910 3 View

Abhishek Verma

You can use online accessible IoT testbed like "

IoT-LAB: a very large scale open testbed"

Dalton Cézane Gomes Valadares

If you want a formal verification, since you already have the simulation model, you can take a look at "model checking" in order to validate some properties of your simulation model.

Some references:

- https://www.embedded.com/an-introduction-to-model-checking/

- https://people.mpi-sws.org/~rupak/Papers/SoftwareModelChecking.pdf Chapter Introduction to Model Checking