xsy-csharp-devssharp Mailing List for XSY#: C# Implementation of System Theory
Status: Planning
Brought to you by:
mhhwang2002
Menu
▾
▴
xsy-csharp-devssharp — C# implmenetation of DEVS Theory
You can subscribe to this list here.
| 2007 |
Jan
|
Feb
|
Mar
|
Apr
|
May
(5) |
Jun
|
Jul
(2) |
Aug
(1) |
Sep
|
Oct
|
Nov
|
Dec
|
|---|
|
From: Moon H. <moo...@gm...> - 2007-08-06 05:17:52
|
Hi All, The verifiable class, IT, has been changed as RT. If you update DEVSsharp, all files and folders related to IT have been changed to RT. By the way, RT means Real-Time DEVS which was introduced by Dr. Hong and Dr. Kim in 1997 at Discrete Event Dynamic System journal. mh |
|
From: Moon H. <moo...@gm...> - 2007-07-31 17:30:31
|
Hi developers,
I am thinking of changing the return value of
FD::tau_i() from int to double.
so Wei's previous code of
public override double tau_i()
{
return 0.5 * m_t_toasting;
}
has no error.
I think there is no advantage to define the return type as "int".
Let me know your opinions.
mOOn
|
|
From: Moon H. <moo...@gm...> - 2007-07-30 19:10:59
|
Hi Chungman and Wei,
I implemented the reachability graph generation algorithms
for RT-DEVS which was invented by Dr. Tag Gon Kim.
RT-DEVS has its time advance function as an interval so
the internal schedule can be randomly selected from the interval.
I think Wei's diagnoser for a partially observe behavior needs
this RT-DEVS reachability graph.
In addition, I add "save" menu in verification engines so you
can find save functionality for saving reachability graphs.
The file name will be "RT.txt" in the folder, bin\{debug, release}.
mOOn
|
|
From: Moon H. <moo...@gm...> - 2007-05-09 20:42:34
|
ModelBase/Generator.cs in DEVS# v1.2.1 has a bug. It has been fixed so DEVS# v1.2.2 has no longer this bug. But the document can be used for all DEVS#v1.2.x so far. mOOn |
|
From: Moon H. <moo...@gm...> - 2007-05-09 05:29:34
|
I upload the first document in the zip of DEVS# v.1.2.1. I think the basic functionality for modeling and simulation was written in that document. I hope who want to learn C# as well as Modeling and Simulation, DEVS# 1.2.1 and its documents are good material. I hope I can finish the document of Modeling and Verification using DEVS# as soon as possible. mOOn |
|
From: Moon H. <moo...@gm...> - 2007-05-07 18:35:33
|
Dear developers and researchers, I would like to hello to everybody who subscribed, and will subscribe this mailing list. I expect this mailing list will provide a free zone to discuss how to develop a modeling, simulation, and verification environment in C# based on Discrete Event System Specification (DEVS). |
|
From: Moon H. <moo...@gm...> - 2007-05-06 17:11:29
|
Dear developers and researchers, I would like to hello to everybody who subscribed, and will subscribe this mailing list. I expect this mailing list will provide a free zone to discuss how to develop a modeling, simulation and verification environment in C# based on Discrete Event System Specification (DEVS). Best regards, Moon Ho Hwang |
|
From: Moon H. <moo...@gm...> - 2007-05-04 20:56:44
|
Dear developers and researchers, I would like to say ``Hello'' to everybody who subscribes, and will subscribe this mailing list. I expect this mailing list will provide a free zone to discuss the system theory based on Discrete Event System Specification (DEVS) that was originally invented by Prof. Zeigler in 1970s. DEVS formalism has been popular most in simulation community. But I hope this formalism becomes popular in the verification community too. That is one of reasons why I develop DEVS# thorugh the sourceforge.net. Please enjoy DEVS# ! Best regards, Moon Ho Hwang |
