SPIN Exercises: Problem in checking states with limited memory?

Hello everyone, I am using latest version of SPIN v6.4.7. I am working on the exercises on the webpage of SPIN: http://spinroot.com/spin/Man/1_Exercises.html In exercise 1(i), when I run the...

31 December 2017 8,547 0 View

SPIN Installation Problem "spin: error, the version of spin that generated this pan.c assumed a different wordsize (4 iso 8)"?

Hello everyone, I am using cygwin64 terminal on Windows 10 to run SPIN model checker (http://spinroot.com/spin/whatispin.html) The following two commands work fine: spin -a peterson.pml...

11 December 2017 7,051 1 View

error in running a model in Abaqus

Excessive rotation of nodes in node set ErrNodeExcessRotation-Step1

17 August 2021 0 0 View

error in modelling model in Abaqus

Excessive rotation of nodes in node set ErrNodeExcessRotation-Step1

17 August 2021 0 0 View

MGL tools

20 June 2021 0 0 View

i have some problem with chtMultiRegionSimpleFoam

--> FOAM FATAL ERROR: Maximum number of iterations exceeded From function Foam::scalar Foam::species::thermo::T(Foam::scalar, Foam::scalar, Foam::scalar, Foam::scalar (Foam::species::thermo::*)(Foam::scalar, Foam::scalar) const, Foam::scalar (Foam::species::thermo::*)(Foam::scalar, Foam::scalar) const, Foam::scalar (Foam::species::thermo::*)(Foam::scalar) const) const [with Thermo = Foam::hConstThermo >; Type = Foam::sensibleEnthalpy; Foam::scalar = double; Foam::species::thermo = Foam::species::thermo >, Foam::sensibleEnthalpy>] in file /home/ubuntu/OpenFOAM/OpenFOAM-4.1/src/thermophysicalModels/specie/lnInclude/thermoI.H at line 66. FOAM aborting #0 Foam::error::printStack(Foam::Ostream&) at ??:? #1 Foam::error::abort() at ??:? #2 Foam::heRhoThermo >, Foam::sensibleEnthalpy> > > >::calculate() at ??:? #3 Foam::heRhoThermo >, Foam::sensibleEnthalpy> > > >::correct() at ??:? #4 ? at ??:? #5 __libc_start_main in "/lib/x86_64-linux-gnu/libc.so.6" #6 ? at ??:?

24 March 2021 0 0 View

Resistor definition in Piezoelectric bimorph with ANSYS workbench

Hello, good day! I am trying to simulate similar bimorph piezoelectric harvester with below commands. However, the output power doesn't change with resistor value. Please help to find the reason. ET,10,CIRCU94,0 !SET UP RESISTOR R,1,100000 !RESISTANCE VALUE TYPE,10 !SET ELEMENT TYPE E,1,2 !CREATE RESISTOR BETWEEN NODES 1 AND 2 Thanks in advance Regards,

02 March 2021 0 0 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

How to repeat an operation on an atom selection for multiple times in PyMol?

Hi, I am trying to construct a multi-layer fibril structure from a single layer in PyMol by translating the layer along the fibril axis. For now, I am able to use the Translate command in PyMol...

02 March 2021 4,569 4 View

How to calculate average trend in maximum annual NDVI from MODIS?

I am wanting to calculate the average trend in maximum annual NDVI in Iceland from 2010-2020 using MODIS MYD13Q1 V6. How would I do this? I have currently inserted the NDVI bands from the MODIS...

02 March 2021 752 2 View

Research on Supply Chain Management in Indian context?

Hi, I am planning to apply for the PhD degree in the Supply Chain Mgt. with specific area of "Cold Storage warehouses" during Pandemics and wars. Where lock downs and shut downs are frequent....

02 March 2021 285 2 View

Can you share me how teacher education is managed in your respective national educational system?

I feel that the practice in teacher education in my country is below the expected performance level due to very poor management system. Hope I will learn something from your experiences.

02 March 2021 1,516 4 View