public void Show(FSMNet <StructAtom <string>, StructAtom <string> > target)
{
if (target == null)
{
throw new ArgumentNullException("target");
}
TargetNet = target;
SyncInitialState();
this.Show();
}
private void tsbtnLoadNet_Click(object sender, EventArgs e)
{
var net = NetXmlWorker.LoadNetFromFile();
if (net != null)
{
LogicComponent = net;
SyncLComponent();
nc.Reset();
}
}
public void Show(FSMNet <StructAtom <string>, StructAtom <string> > logicComponent)
{
if (logicComponent == null)
{
throw new ArgumentNullException("logicComponent");
}
LogicComponent = logicComponent;
SyncLComponent();
this.Show();
nc.Invalidate();
}
public static FSMNet <StructAtom <string>, StructAtom <string> > LoadNetFromFile()
{
FSMNet <StructAtom <string>, StructAtom <string> > result = null;
try
{
OpenFileDialog ofd = new OpenFileDialog();
ofd.Filter = "xml-файл (*.xml)|*.xml";
ofd.Multiselect = false;
ofd.RestoreDirectory = true;
if (ofd.ShowDialog() == DialogResult.OK)
{
var fi = new FileInfo(ofd.FileName);
if (fi.Extension == ".xml")
{
XmlDocument doc = new XmlDocument();
doc.Load(fi.FullName);
if (doc.ChildNodes.Count > 0)
{
var rootNode = doc.ChildNodes[0];
NetXmlWorker w = new NetXmlWorker();
if (rootNode.Name == w.NodeName)
{
w.ParseFromNode(rootNode);
result = w.value;
}
else
{
MessageBox.Show("Файл содержит некоррекные данные", "Загрузка сети",
MessageBoxButtons.OK, MessageBoxIcon.Error);
}
}
else
{
MessageBox.Show("Файл пуст", "Загрузка сети",
MessageBoxButtons.OK, MessageBoxIcon.Error);
}
}
else
{
MessageBox.Show("Файл должен иметь расширение .xml", "Загрузка сети",
MessageBoxButtons.OK, MessageBoxIcon.Error);
}
}
}
catch (Exception exc)
{
result = null;
}
return(result);
}
//public FiniteStateMachine<StructAtom<string>, StructAtom<string>> fsm = new FiniteStateMachine<StructAtom<string>, StructAtom<string>>("fsm");
//private void InitTestFSM()
//{
// var z1 = new StructAtom<string>("z1");
// var z2 = new StructAtom<string>("z2");
// var z3 = new StructAtom<string>("z3");
// var z4 = new StructAtom<string>("z4");
// var w1 = new StructAtom<string>("w1");
// var w2 = new StructAtom<string>("w2");
// var w3 = new StructAtom<string>("w3");
// var a1 = new FSMState<StructAtom<string>, StructAtom<string>>(fsm, StateCores.a1.ToString());
// var a2 = new FSMState<StructAtom<string>, StructAtom<string>>(fsm, StateCores.a2.ToString());
// var a3 = new FSMState<StructAtom<string>, StructAtom<string>>(fsm, StateCores.a3.ToString());
// var a4 = new FSMState<StructAtom<string>, StructAtom<string>>(fsm, StateCores.a4.ToString());
// var a5 = new FSMState<StructAtom<string>, StructAtom<string>>(fsm, StateCores.a5.ToString());
// var a6 = new FSMState<StructAtom<string>, StructAtom<string>>(fsm, StateCores.a6.ToString());
// fsm.AddState(a1);
// fsm.AddState(a2);
// fsm.AddState(a3);
// fsm.AddState(a4);
// fsm.AddState(a5);
// fsm.AddState(a6);
// //
// fsm.AddOutgoing(a1, z1, a1, w2, 0.5);
// fsm.AddOutgoing(a1, z1, a2, w1, 0.5);
// fsm.AddOutgoing(a1, z2, a6, w2);
// fsm.AddOutgoing(a1, z3, a6, w1);
// fsm.AddOutgoing(a1, z4, a2, w3);
// //
// fsm.AddOutgoing(a2, z1, a5, w2, 0.3);
// fsm.AddOutgoing(a2, z1, a1, w2, 0.2);
// fsm.AddOutgoing(a2, z1, a2, w2, 0.3);
// fsm.AddOutgoing(a2, z2, a1, w1, 0.2);
// fsm.AddOutgoing(a2, z2, a2, w2, 0.2);
// fsm.AddOutgoing(a2, z2, a3, w3, 0.2);
// fsm.AddOutgoing(a2, z2, a4, w3, 0.2);
// fsm.AddOutgoing(a2, z3, a1, w1);
// fsm.AddOutgoing(a2, z4, a5, w3, 0.7);
// fsm.AddOutgoing(a2, z4, a6, w2, 0.3);
// //
// fsm.AddOutgoing(a3, z1, a1, w1, 0.6);
// fsm.AddOutgoing(a3, z1, a2, w1, 0.2);
// fsm.AddOutgoing(a3, z2, a5, w3, 0.8);
// fsm.AddOutgoing(a3, z2, a2, w3, 0.1);
// fsm.AddOutgoing(a3, z3, a5, w1, 0.9);
// fsm.AddOutgoing(a3, z3, a6, w1, 0.1);
// fsm.AddOutgoing(a3, z4, a1, w1, 0.5);
// fsm.AddOutgoing(a3, z4, a2, w2, 0.5);
// //
// fsm.AddOutgoing(a4, z1, a6, w1);
// fsm.AddOutgoing(a4, z2, a2, w2, 0.8);
// fsm.AddOutgoing(a4, z3, a2, w2, 0.6);
// //fsm.AddOutgoing(a4, z3, a2, w2, 0.4);
// fsm.AddOutgoing(a4, z4, a6, w3);
// //
// fsm.AddOutgoing(a5, z1, a1, w3);
// fsm.AddOutgoing(a5, z2, a1, w1, 0.3);
// fsm.AddOutgoing(a5, z2, a2, w2, 0.7);
// fsm.AddOutgoing(a5, z3, a2, w3, 0.8);
// fsm.AddOutgoing(a5, z3, a3, w3, 0.2);
// fsm.AddOutgoing(a5, z4, a4, w1, 0.9);
// //
// fsm.AddOutgoing(a6, z1, a2, w2, 0.6);
// fsm.AddOutgoing(a6, z1, a1, w2, 0.1);
// fsm.AddOutgoing(a6, z1, a3, w3, 0.1);
// fsm.AddOutgoing(a6, z1, a4, w3, 0.1);
// fsm.AddOutgoing(a6, z1, a5, w1, 0.1);
// fsm.AddOutgoing(a6, z2, a6, w2);
// fsm.AddOutgoing(a6, z3, a5, w3, 0.7);
// fsm.AddOutgoing(a6, z3, a6, w3, 0.3);
// fsm.AddOutgoing(a6, z4, a3, w1);
// //
// fsm.InitialState = a1;
//}
//public FSMNet<StructAtom<string>, StructAtom<string>> GetNet()
//{
// var z1 = new StructAtom<string>("z1");
// var z2 = new StructAtom<string>("z2");
// var z3 = new StructAtom<string>("z3");
// var z4 = new StructAtom<string>("z4");
// var w1 = new StructAtom<string>("w1");
// var w2 = new StructAtom<string>("w2");
// var w3 = new StructAtom<string>("w3");
// //FiniteStateMachine<StructAtom<string>, StructAtom<string>> fsm =
// // new FiniteStateMachine<StructAtom<string>, StructAtom<string>>();
// var a1 = new FSMState<StructAtom<string>, StructAtom<string>>(fsm, StateCores.a1.ToString());
// var a2 = new FSMState<StructAtom<string>, StructAtom<string>>(fsm, StateCores.a2.ToString());
// var a3 = new FSMState<StructAtom<string>, StructAtom<string>>(fsm, StateCores.a3.ToString());
// var a4 = new FSMState<StructAtom<string>, StructAtom<string>>(fsm, StateCores.a4.ToString());
// var a5 = new FSMState<StructAtom<string>, StructAtom<string>>(fsm, StateCores.a5.ToString());
// var a6 = new FSMState<StructAtom<string>, StructAtom<string>>(fsm, StateCores.a6.ToString());
// fsm.AddState(a1);
// fsm.AddState(a2);
// fsm.AddState(a3);
// fsm.AddState(a4);
// fsm.AddState(a5);
// fsm.AddState(a6);
// fsm.AddOutgoing(a1, z1, a1, w2, 0.5);
// fsm.AddOutgoing(a1, z1, a2, w1, 0.5);
// fsm.AddOutgoing(a1, z2, a6, w2);
// fsm.AddOutgoing(a1, z3, a6, w1);
// fsm.AddOutgoing(a1, z4, a2, w3);
// fsm.AddOutgoing(a2, z1, a5, w2);
// fsm.AddOutgoing(a2, z2, a1, w1);
// fsm.AddOutgoing(a2, z3, a1, w1);
// fsm.AddOutgoing(a2, z4, a5, w3);
// fsm.AddOutgoing(a3, z1, a1, w1);
// fsm.AddOutgoing(a3, z2, a5, w3);
// fsm.AddOutgoing(a3, z3, a5, w1);
// fsm.AddOutgoing(a3, z4, a1, w1);
// fsm.AddOutgoing(a4, z1, a6, w1);
// fsm.AddOutgoing(a4, z2, a2, w2);
// fsm.AddOutgoing(a4, z3, a2, w2);
// fsm.AddOutgoing(a4, z4, a6, w3);
// fsm.AddOutgoing(a5, z1, a1, w3);
// fsm.AddOutgoing(a5, z2, a1, w1);
// fsm.AddOutgoing(a5, z3, a2, w3);
// fsm.AddOutgoing(a5, z4, a4, w1);
// fsm.AddOutgoing(a6, z1, a2, w2);
// fsm.AddOutgoing(a6, z2, a6, w2);
// fsm.AddOutgoing(a6, z3, a5, w3);
// fsm.AddOutgoing(a6, z4, a3, w1);
// fsm.InitialState = a1;
// List<Partition<FSMState<StructAtom<string>, StructAtom<string>>>> pis =
// new List<Partition<FSMState<StructAtom<string>, StructAtom<string>>>>();
// var pi1 = new Partition<FSMState<StructAtom<string>, StructAtom<string>>>();
// pi1.Add(new[]
// {
// a1,
// a2,
// a3,
// a4
// });
// pi1.Add(new[]
// {
// a5,
// a6
// });
// var pi2 = new Partition<FSMState<StructAtom<string>, StructAtom<string>>>();
// pi2.Add(new[]
// {
// a1,
// a2,
// a5,
// a6
// });
// pi2.Add(new[]
// {
// a3,
// a4
// });
// var pi3 = new Partition<FSMState<StructAtom<string>, StructAtom<string>>>();
// pi3.Add(new[]
// {
// a1,
// a3,
// a5
// });
// pi3.Add(new[]
// {
// a2,
// a4,
// a6
// });
// DecompositionAlgorithm<StructAtom<string>, StructAtom<string>> alg =
// new DecompositionAlgorithm<StructAtom<string>, StructAtom<string>>(fsm, new[] { pi1, pi2, pi3 });
// return alg.Solve();
//}
//private enum StateCores
//{
// a1 = 0,
// a2,
// a3,
// a4,
// a5,
// a6,
//}
//private void Init()
//{
// Enum x1 = X.x1; Enum x2 = X.x2; Enum x3 = X.x3;
// //TODO: Добавить средства для добавления отношений типа ksi: Z -> X
// FiniteStateMachine<StructAtom<Enum>, StructAtom<Enum>> S1 = new FiniteStateMachine<StructAtom<Enum>, StructAtom<Enum>>("a");
// FSMState<StructAtom<Enum>, StructAtom<Enum>> b1 = new FSMState<StructAtom<Enum>, StructAtom<Enum>>(S1, B.b1);
// FSMState<StructAtom<Enum>, StructAtom<Enum>> b2 = new FSMState<StructAtom<Enum>, StructAtom<Enum>>(S1, B.b2);
// FSMState<StructAtom<Enum>, StructAtom<Enum>> b3 = new FSMState<StructAtom<Enum>, StructAtom<Enum>>(S1, B.b3);
// S1.AddOutgoing(b1, new StructAtom<Enum>(x1), b1, (StructAtom<Enum>)b1.StateCore);
// S1.AddOutgoing(b1, new StructAtom<Enum>(x2), b3);
// S1.AddOutgoing(b1, new StructAtom<Enum>(x3), b3);
// S1.AddOutgoing(b2, new StructAtom<Enum>(x1), b1);
// S1.AddOutgoing(b2, new StructAtom<Enum>(x2), b2);
// S1.AddOutgoing(b2, new StructAtom<Enum>(x3), b2);
// S1.AddOutgoing(b3, new StructAtom<Enum>(x1), b3);
// S1.AddOutgoing(b3, new StructAtom<Enum>(x2), b3);
// S1.AddOutgoing(b3, new StructAtom<Enum>(x3), b1);
//}
//enum B
//{
// b1,
// b2,
// b3
//}
//enum X
//{
// x1,
// x2,
// x3
//}
private void btnDecompose_Click(object sender, EventArgs e)
{
if (fsmEditControl.fsm != null)
{
if (fsmEditControl.fsm.CheckInitialization())
{
var frm = new frmOrtPartitionSetEdit();
if (frm.Show(fsmEditControl.fsm) == System.Windows.Forms.DialogResult.OK)
{
FSMNet <StructAtom <string>, StructAtom <string> > net = null;
try
{
var alg =
new DecompositionAlgorithm <StructAtom <string>, StructAtom <string> >(fsmEditControl.fsm,
frm.Partitions);
net = alg.Solve();
}
catch (Exception exc)
{
net = null;
MessageBox.Show("Ошибка при декомпозиции автомата: " + exc.Message, this.Text,
MessageBoxButtons.OK, MessageBoxIcon.Error);
}
if (net != null)
{
var frmResult = new frmDecomposeResult();
frmResult.Show(net);
}
}
}
else
{
MessageBox.Show("Текущий автомат не до конца инициализирован", this.Text, MessageBoxButtons.OK, MessageBoxIcon.Warning);
}
}
else
{
MessageBox.Show("Не выбран автомат для декомпозиции", this.Text, MessageBoxButtons.OK, MessageBoxIcon.Warning);
}
}
public static bool SaveNetToFile(FSMNet <StructAtom <string>, StructAtom <string> > net)
{
if (net == null)
{
throw new ArgumentNullException("net");
}
bool result = false;
try
{
var sfd = new SaveFileDialog();
sfd.Filter = "xml-файл (*.xml)|*.xml";
if (sfd.ShowDialog() == DialogResult.OK)
{
var fi = new FileInfo(sfd.FileName);
if (fi.Extension == ".xml")
{
XmlDocument doc = new XmlDocument();
NetXmlWorker w = new NetXmlWorker(net);
doc.AppendChild(w.CreateXmlNode(doc));
doc.Save(fi.FullName);
result = true;
}
else
{
MessageBox.Show("Файл должен иметь расширение .xml", "Сохранение сети",
MessageBoxButtons.OK, MessageBoxIcon.Error);
}
}
}
catch (Exception exc)
{
result = false;
}
return(result);
}
public FSMNet <TInput, TOutput> Solve()
{
if (FSM == null)
{
throw new NullReferenceException();
}
FSMNet <TInput, TOutput> result = null;
try
{
RefreshWorkSets();
result = new FSMNet <TInput, TOutput>(FSM);
result.DecomposeAlg = this;
foreach (var pi in PIs)
{
result.AddToEnd(new FSMNet <TInput, TOutput> .NetComponent(new ComponentFSM <TInput, TOutput>(this, pi.Value, FSM.InitialState, pi.Key))
{
});
}
}
catch (Exception exc)
{
EPSs.Clear();
TAUs.Clear();
Ns.Clear();
TTs.Clear();
throw exc;
}
if (result != null)
{
result.FSM.CalcIsProbabilityMachine();
}
return(result);
}
public void ParseFromNode(XmlNode node)
{
if (node == null)
{
throw new ArgumentNullException("node");
}
try
{
for (int i = 0; i < node.ChildNodes.Count; ++i)
{
var childNode = node.ChildNodes[i];
if (childNode.Name.ToLower() == "fsm")
{
FSMXmlWorker w = new FSMXmlWorker();
w.ParseFromNode(childNode);
var fsm = w.Value as FiniteStateMachine <StructAtom <string>, StructAtom <string> >;
if (fsm != null)
{
value = new FSMNet <StructAtom <string>, StructAtom <string> >(fsm);
}
break;
}
}
if (value != null)
{
for (int i = 0; i < node.ChildNodes.Count; ++i)
{
var childNode = node.ChildNodes[i];
if (childNode.Name.ToLower() == "ortpartitionsset")
{
for (int j = 0; j < childNode.ChildNodes.Count; ++j)
{
var childChildNode = childNode.ChildNodes[j];
StatePartitionXmlWorker w = new StatePartitionXmlWorker();
w.FSM = value.FSM;
if (childChildNode.Name == w.NodeName)
{
w.ParseFromNode(childChildNode);
var partition = w.Value as Partition <FSMState <StructAtom <string>, StructAtom <string> > >;
if (partition != null)
{
if (value.DecomposeAlg == null)
{
value.DecomposeAlg = new DecompositionAlgorithm <StructAtom <string>, StructAtom <string> >(value.FSM);
}
value.DecomposeAlg.AddPI(partition);
}
}
}
break;
}
}
if (value.DecomposeAlg != null)
{
value = value.DecomposeAlg.Solve();
}
}
}
catch (Exception exc)
{
value = null;
throw exc;
}
}
public NetXmlWorker(FSMNet <StructAtom <string>, StructAtom <string> > net)
{
value = net;
}
