muu minimisation

This commit is contained in:
2026-03-06 00:05:30 +03:00
parent dcb9c0800f
commit 98d089351b
23 changed files with 597 additions and 243 deletions

View File

@ -0,0 +1,14 @@
digraph G {
nodesep=1
rankdir="LR"
SNO,SKO[shape=none]
IDLE,P1,P2,P3[shape=circle]
IDLE[fontsize=10]
SNO->IDLE
IDLE->P1
P1->P2
P2->P2[label="F1 = 0\nFC = 0"]
P2->P3[label="F1 = 1\nFC = 0"]
P2->SKO[label="FC = 1"]
P3->P2
}

View File

@ -0,0 +1,11 @@
digraph G {
nodesep=1
rankdir="LR"
SNO,SKO[shape=none]
IDLE,P1,P2[shape=circle]
IDLE[fontsize=10]
SNO->IDLE
IDLE->P1
P1->P2
P2->SKO
}

View File

@ -1,55 +1,55 @@
<mxfile host="app.diagrams.net" agent="Mozilla/5.0 (X11; Linux x86_64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/145.0.0.0 Safari/537.36" version="29.6.0">
<mxfile host="app.diagrams.net" agent="Mozilla/5.0 (X11; Linux x86_64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/145.0.0.0 Safari/537.36" version="29.6.1">
<diagram name="Страница-1" id="tGI2RhcteHogIR13PlTW">
<mxGraphModel dx="632" dy="401" grid="1" gridSize="10" guides="1" tooltips="1" connect="1" arrows="1" fold="1" page="1" pageScale="1" pageWidth="827" pageHeight="1169" math="0" shadow="0">
<mxGraphModel dx="595" dy="403" grid="1" gridSize="10" guides="1" tooltips="1" connect="1" arrows="1" fold="1" page="1" pageScale="1" pageWidth="827" pageHeight="1169" math="0" shadow="0">
<root>
<mxCell id="0" />
<mxCell id="1" parent="0" />
<mxCell id="CZu1pv-cfMW7WAS1LHH5-1" parent="1" style="rounded=0;whiteSpace=wrap;html=1;direction=south;" value="CT" vertex="1">
<mxGeometry height="58" width="50" x="210" y="250" as="geometry" />
<mxCell id="CZu1pv-cfMW7WAS1LHH5-1" parent="1" style="rounded=0;whiteSpace=wrap;html=1;direction=south;" value="SPO" vertex="1">
<mxGeometry height="40" width="40" x="240" y="360" as="geometry" />
</mxCell>
<mxCell id="CZu1pv-cfMW7WAS1LHH5-2" parent="1" style="shape=trapezoid;perimeter=trapezoidPerimeter;whiteSpace=wrap;html=1;fixedSize=1;direction=south;" value="CS1" vertex="1">
<mxGeometry height="90" width="50" x="330" y="234" as="geometry" />
<mxGeometry height="79" width="40" x="320" y="240.25" as="geometry" />
</mxCell>
<mxCell id="CZu1pv-cfMW7WAS1LHH5-3" parent="1" style="rounded=0;whiteSpace=wrap;html=1;direction=south;" value="DS" vertex="1">
<mxGeometry height="70" width="50" x="410" y="244" as="geometry" />
<mxGeometry height="80.5" width="40" x="400" y="238.75" as="geometry" />
</mxCell>
<mxCell id="CZu1pv-cfMW7WAS1LHH5-4" parent="1" style="shape=trapezoid;perimeter=trapezoidPerimeter;whiteSpace=wrap;html=1;fixedSize=1;direction=south;" value="CS2" vertex="1">
<mxGeometry height="90" width="50" x="510" y="234" as="geometry" />
<mxGeometry height="80.5" width="40" x="500" y="238.75" as="geometry" />
</mxCell>
<mxCell id="CZu1pv-cfMW7WAS1LHH5-5" parent="1" style="rounded=0;whiteSpace=wrap;html=1;direction=south;" value="SPO" vertex="1">
<mxGeometry height="70" width="50" x="330" y="353" as="geometry" />
<mxCell id="CZu1pv-cfMW7WAS1LHH5-5" parent="1" style="rounded=0;whiteSpace=wrap;html=1;direction=south;" value="CT" vertex="1">
<mxGeometry height="40" width="40" x="240" y="259.75" as="geometry" />
</mxCell>
<mxCell id="CZu1pv-cfMW7WAS1LHH5-6" edge="1" parent="1" style="endArrow=none;html=1;rounded=0;" value="">
<mxGeometry height="50" relative="1" width="50" as="geometry">
<mxPoint x="560" y="260" as="sourcePoint" />
<mxPoint x="610" y="260" as="targetPoint" />
<mxPoint x="540" y="270" as="sourcePoint" />
<mxPoint x="590" y="270" as="targetPoint" />
</mxGeometry>
</mxCell>
<mxCell id="CZu1pv-cfMW7WAS1LHH5-7" connectable="0" parent="CZu1pv-cfMW7WAS1LHH5-6" style="edgeLabel;html=1;align=center;verticalAlign=middle;resizable=0;points=[];" value="9&lt;div&gt;/&lt;/div&gt;&lt;div&gt;Y&lt;/div&gt;" vertex="1">
<mxGeometry relative="1" x="0.635" y="-1" as="geometry">
<mxPoint as="offset" />
<mxPoint x="9" y="-1" as="offset" />
</mxGeometry>
</mxCell>
<mxCell id="CZu1pv-cfMW7WAS1LHH5-8" edge="1" parent="1" style="endArrow=none;html=1;rounded=0;" value="">
<mxGeometry height="50" relative="1" width="50" as="geometry">
<mxPoint x="610" y="280" as="sourcePoint" />
<mxPoint x="560" y="280" as="targetPoint" />
<mxPoint x="560" y="280" as="sourcePoint" />
<mxPoint x="540" y="280" as="targetPoint" />
</mxGeometry>
</mxCell>
<mxCell id="CZu1pv-cfMW7WAS1LHH5-9" connectable="0" parent="CZu1pv-cfMW7WAS1LHH5-8" style="edgeLabel;html=1;align=center;verticalAlign=middle;resizable=0;points=[];" value="Yct" vertex="1">
<mxGeometry relative="1" x="-0.3455" y="1" as="geometry">
<mxPoint x="25" y="-2" as="offset" />
<mxPoint x="16" y="-2" as="offset" />
</mxGeometry>
</mxCell>
<mxCell id="CZu1pv-cfMW7WAS1LHH5-10" edge="1" parent="1" style="endArrow=none;html=1;rounded=0;" value="">
<mxGeometry height="50" relative="1" width="50" as="geometry">
<mxPoint x="610" y="290" as="sourcePoint" />
<mxPoint x="560" y="290" as="targetPoint" />
<mxPoint x="560" y="290" as="sourcePoint" />
<mxPoint x="540" y="290" as="targetPoint" />
</mxGeometry>
</mxCell>
<mxCell id="CZu1pv-cfMW7WAS1LHH5-11" connectable="0" parent="CZu1pv-cfMW7WAS1LHH5-10" style="edgeLabel;html=1;align=center;verticalAlign=middle;resizable=0;points=[];" value="SKO" vertex="1">
<mxGeometry relative="1" x="-0.3455" y="1" as="geometry">
<mxPoint x="27" y="3" as="offset" />
<mxPoint x="16" y="3" as="offset" />
</mxGeometry>
</mxCell>
<mxCell id="CZu1pv-cfMW7WAS1LHH5-12" edge="1" parent="1" source="CZu1pv-cfMW7WAS1LHH5-4" style="endArrow=none;html=1;rounded=0;exitX=0.5;exitY=1;exitDx=0;exitDy=0;entryX=0.5;entryY=0;entryDx=0;entryDy=0;" target="CZu1pv-cfMW7WAS1LHH5-3" value="">
@ -63,17 +63,6 @@
<mxPoint as="offset" />
</mxGeometry>
</mxCell>
<mxCell id="CZu1pv-cfMW7WAS1LHH5-14" edge="1" parent="1" style="endArrow=none;html=1;rounded=0;entryX=0.174;entryY=1.039;entryDx=0;entryDy=0;entryPerimeter=0;" target="CZu1pv-cfMW7WAS1LHH5-2" value="">
<mxGeometry height="50" relative="1" width="50" as="geometry">
<Array as="points">
<mxPoint x="480" y="220" />
<mxPoint x="310" y="220" />
<mxPoint x="310" y="250" />
</Array>
<mxPoint x="480" y="280" as="sourcePoint" />
<mxPoint x="300" y="250" as="targetPoint" />
</mxGeometry>
</mxCell>
<mxCell id="CZu1pv-cfMW7WAS1LHH5-15" edge="1" parent="1" source="CZu1pv-cfMW7WAS1LHH5-2" style="endArrow=none;html=1;rounded=0;exitX=0.5;exitY=0;exitDx=0;exitDy=0;entryX=0.5;entryY=1;entryDx=0;entryDy=0;" target="CZu1pv-cfMW7WAS1LHH5-3" value="">
<mxGeometry height="50" relative="1" width="50" as="geometry">
<mxPoint x="360" y="370" as="sourcePoint" />
@ -85,105 +74,146 @@
<mxPoint as="offset" />
</mxGeometry>
</mxCell>
<mxCell id="CZu1pv-cfMW7WAS1LHH5-17" edge="1" parent="1" style="endArrow=none;html=1;rounded=0;exitX=0.5;exitY=0;exitDx=0;exitDy=0;entryX=0.5;entryY=1;entryDx=0;entryDy=0;" value="">
<mxGeometry height="50" relative="1" width="50" as="geometry">
<mxPoint x="260" y="269" as="sourcePoint" />
<mxPoint x="330" y="269" as="targetPoint" />
</mxGeometry>
</mxCell>
<mxCell id="CZu1pv-cfMW7WAS1LHH5-18" connectable="0" parent="CZu1pv-cfMW7WAS1LHH5-17" style="edgeLabel;html=1;align=center;verticalAlign=middle;resizable=0;points=[];" value="FC" vertex="1">
<mxGeometry relative="1" x="-0.0753" y="1" as="geometry">
<mxPoint x="8" y="-8" as="offset" />
</mxGeometry>
</mxCell>
<mxCell id="CZu1pv-cfMW7WAS1LHH5-19" edge="1" parent="1" style="endArrow=none;html=1;rounded=0;" value="">
<mxGeometry height="50" relative="1" width="50" as="geometry">
<mxPoint x="300" y="290" as="sourcePoint" />
<mxPoint x="330" y="290" as="targetPoint" />
</mxGeometry>
</mxCell>
<mxCell id="CZu1pv-cfMW7WAS1LHH5-21" connectable="0" parent="CZu1pv-cfMW7WAS1LHH5-19" style="edgeLabel;html=1;align=center;verticalAlign=middle;resizable=0;points=[];" value="F1" vertex="1">
<mxGeometry relative="1" x="-0.297" y="1" as="geometry">
<mxPoint x="-20" as="offset" />
</mxGeometry>
</mxCell>
<mxCell id="CZu1pv-cfMW7WAS1LHH5-20" edge="1" parent="1" style="endArrow=none;html=1;rounded=0;" value="">
<mxGeometry height="50" relative="1" width="50" as="geometry">
<mxPoint x="300" y="310" as="sourcePoint" />
<mxPoint x="330" y="310" as="targetPoint" />
</mxGeometry>
</mxCell>
<mxCell id="CZu1pv-cfMW7WAS1LHH5-22" connectable="0" parent="CZu1pv-cfMW7WAS1LHH5-20" style="edgeLabel;html=1;align=center;verticalAlign=middle;resizable=0;points=[];" value="COP" vertex="1">
<mxGeometry relative="1" x="-0.6202" y="2" as="geometry">
<mxPoint x="-20" as="offset" />
</mxGeometry>
</mxCell>
<mxCell id="CZu1pv-cfMW7WAS1LHH5-23" edge="1" parent="1" source="CZu1pv-cfMW7WAS1LHH5-1" style="endArrow=none;html=1;rounded=0;entryX=0.25;entryY=1;entryDx=0;entryDy=0;exitX=0.75;exitY=1;exitDx=0;exitDy=0;" target="CZu1pv-cfMW7WAS1LHH5-5" value="">
<mxCell id="SpC5h0mcKWscJH-QIF1T-6" edge="1" parent="1" style="endArrow=none;html=1;rounded=0;" value="">
<mxGeometry height="50" relative="1" width="50" as="geometry">
<Array as="points">
<mxPoint x="190" y="294" />
<mxPoint x="190" y="370" />
<mxPoint x="310" y="250" />
<mxPoint x="310" y="220" />
<mxPoint x="460" y="220" />
</Array>
<mxPoint x="270" y="297" as="sourcePoint" />
<mxPoint x="190" y="297" as="targetPoint" />
<mxPoint x="320" y="250" as="sourcePoint" />
<mxPoint x="460" y="280" as="targetPoint" />
</mxGeometry>
</mxCell>
<mxCell id="CZu1pv-cfMW7WAS1LHH5-26" connectable="0" parent="CZu1pv-cfMW7WAS1LHH5-23" style="edgeLabel;html=1;align=center;verticalAlign=middle;resizable=0;points=[];" value="SNO" vertex="1">
<mxGeometry relative="1" x="0.859" as="geometry">
<mxPoint y="-10" as="offset" />
</mxGeometry>
</mxCell>
<mxCell id="CZu1pv-cfMW7WAS1LHH5-24" edge="1" parent="1" style="endArrow=none;html=1;rounded=0;" value="">
<mxGeometry height="50" relative="1" width="50" as="geometry">
<mxPoint x="190" y="294" as="sourcePoint" />
<mxPoint x="170" y="294" as="targetPoint" />
</mxGeometry>
</mxCell>
<mxCell id="CZu1pv-cfMW7WAS1LHH5-25" connectable="0" parent="CZu1pv-cfMW7WAS1LHH5-24" style="edgeLabel;html=1;align=center;verticalAlign=middle;resizable=0;points=[];" value="SNO" vertex="1">
<mxGeometry relative="1" x="0.5798" y="-1" as="geometry">
<mxPoint x="-20" as="offset" />
</mxGeometry>
</mxCell>
<mxCell id="CZu1pv-cfMW7WAS1LHH5-27" edge="1" parent="1" source="CZu1pv-cfMW7WAS1LHH5-5" style="endArrow=none;html=1;rounded=0;exitX=0.827;exitY=1.003;exitDx=0;exitDy=0;exitPerimeter=0;" value="">
<mxCell id="SpC5h0mcKWscJH-QIF1T-8" edge="1" parent="1" source="CZu1pv-cfMW7WAS1LHH5-1" style="endArrow=none;html=1;rounded=0;exitX=0.5;exitY=0;exitDx=0;exitDy=0;" value="">
<mxGeometry height="50" relative="1" width="50" as="geometry">
<Array as="points">
<mxPoint x="310" y="410" />
<mxPoint x="310" y="440" />
<mxPoint x="580" y="440" />
<mxPoint x="380" y="380" />
<mxPoint x="380" y="310" />
</Array>
<mxPoint x="320" y="410" as="sourcePoint" />
<mxPoint x="580" y="290" as="targetPoint" />
<mxPoint x="380" y="340" as="sourcePoint" />
<mxPoint x="400" y="310" as="targetPoint" />
</mxGeometry>
</mxCell>
<mxCell id="CZu1pv-cfMW7WAS1LHH5-28" connectable="0" parent="CZu1pv-cfMW7WAS1LHH5-27" style="edgeLabel;html=1;align=center;verticalAlign=middle;resizable=0;points=[];" value="SKO" vertex="1">
<mxGeometry relative="1" x="0.2967" as="geometry">
<mxPoint x="-250" y="-39" as="offset" />
<mxCell id="SpC5h0mcKWscJH-QIF1T-9" connectable="0" parent="SpC5h0mcKWscJH-QIF1T-8" style="edgeLabel;html=1;align=center;verticalAlign=middle;resizable=0;points=[];" value="EN" vertex="1">
<mxGeometry relative="1" x="-0.2303" as="geometry">
<mxPoint x="-52" y="-10" as="offset" />
</mxGeometry>
</mxCell>
<mxCell id="CZu1pv-cfMW7WAS1LHH5-29" edge="1" parent="1" source="CZu1pv-cfMW7WAS1LHH5-5" style="endArrow=none;html=1;rounded=0;exitX=0.5;exitY=0;exitDx=0;exitDy=0;" value="">
<mxCell id="SpC5h0mcKWscJH-QIF1T-11" edge="1" parent="1" source="CZu1pv-cfMW7WAS1LHH5-5" style="endArrow=none;html=1;rounded=0;exitX=0.5;exitY=0;exitDx=0;exitDy=0;" value="">
<mxGeometry height="50" relative="1" width="50" as="geometry">
<mxPoint x="390" y="300" as="sourcePoint" />
<mxPoint x="320" y="280" as="targetPoint" />
</mxGeometry>
</mxCell>
<mxCell id="SpC5h0mcKWscJH-QIF1T-12" connectable="0" parent="SpC5h0mcKWscJH-QIF1T-11" style="edgeLabel;html=1;align=center;verticalAlign=middle;resizable=0;points=[];" value="FC" vertex="1">
<mxGeometry relative="1" x="-0.7314" as="geometry">
<mxPoint x="5" y="-10" as="offset" />
</mxGeometry>
</mxCell>
<mxCell id="SpC5h0mcKWscJH-QIF1T-13" edge="1" parent="1" source="CZu1pv-cfMW7WAS1LHH5-5" style="endArrow=none;html=1;rounded=0;exitX=0.75;exitY=1;exitDx=0;exitDy=0;entryX=0.25;entryY=1;entryDx=0;entryDy=0;" target="CZu1pv-cfMW7WAS1LHH5-1" value="">
<mxGeometry height="50" relative="1" width="50" as="geometry">
<Array as="points">
<mxPoint x="400" y="388" />
<mxPoint x="400" y="303" />
<mxPoint x="220" y="290" />
<mxPoint x="220" y="370" />
</Array>
<mxPoint x="390" y="388" as="sourcePoint" />
<mxPoint x="410" y="303" as="targetPoint" />
<mxPoint x="390" y="370" as="sourcePoint" />
<mxPoint x="440" y="320" as="targetPoint" />
</mxGeometry>
</mxCell>
<mxCell id="CZu1pv-cfMW7WAS1LHH5-30" edge="1" parent="1" source="CZu1pv-cfMW7WAS1LHH5-1" style="endArrow=none;html=1;rounded=0;exitX=0.25;exitY=1;exitDx=0;exitDy=0;" value="">
<mxCell id="SpC5h0mcKWscJH-QIF1T-14" edge="1" parent="1" style="endArrow=none;html=1;rounded=0;" value="">
<mxGeometry height="50" relative="1" width="50" as="geometry">
<Array as="points">
<mxPoint x="180" y="264" />
<mxPoint x="180" y="460" />
<mxPoint x="590" y="460" />
<mxPoint x="370" y="300" />
<mxPoint x="370" y="330" />
</Array>
<mxPoint x="180" y="270" as="sourcePoint" />
<mxPoint x="590" y="280" as="targetPoint" />
<mxPoint x="400" y="300" as="sourcePoint" />
<mxPoint x="190" y="330" as="targetPoint" />
</mxGeometry>
</mxCell>
<mxCell id="CZu1pv-cfMW7WAS1LHH5-34" connectable="0" parent="CZu1pv-cfMW7WAS1LHH5-30" style="edgeLabel;html=1;align=center;verticalAlign=middle;resizable=0;points=[];" value="Yct" vertex="1">
<mxGeometry relative="1" x="-0.9747" y="2" as="geometry">
<mxPoint x="-2" y="-10" as="offset" />
<mxCell id="SpC5h0mcKWscJH-QIF1T-15" connectable="0" parent="SpC5h0mcKWscJH-QIF1T-14" style="edgeLabel;html=1;align=center;verticalAlign=middle;resizable=0;points=[];" value="SNO" vertex="1">
<mxGeometry relative="1" x="-0.0381" y="1" as="geometry">
<mxPoint x="-115" y="-11" as="offset" />
</mxGeometry>
</mxCell>
<mxCell id="SpC5h0mcKWscJH-QIF1T-16" parent="1" style="ellipse;whiteSpace=wrap;html=1;aspect=fixed;fillColor=#000000;" value="" vertex="1">
<mxGeometry height="6" width="6" x="217" y="327" as="geometry" />
</mxCell>
<mxCell id="SpC5h0mcKWscJH-QIF1T-20" edge="1" parent="1" source="CZu1pv-cfMW7WAS1LHH5-5" style="endArrow=none;html=1;rounded=0;exitX=0.25;exitY=1;exitDx=0;exitDy=0;" value="">
<mxGeometry height="50" relative="1" width="50" as="geometry">
<mxPoint x="320" y="360" as="sourcePoint" />
<mxPoint x="190" y="270" as="targetPoint" />
</mxGeometry>
</mxCell>
<mxCell id="SpC5h0mcKWscJH-QIF1T-21" connectable="0" parent="SpC5h0mcKWscJH-QIF1T-20" style="edgeLabel;html=1;align=center;verticalAlign=middle;resizable=0;points=[];" value="Yct" vertex="1">
<mxGeometry relative="1" x="0.6348" y="1" as="geometry">
<mxPoint x="1" y="-11" as="offset" />
</mxGeometry>
</mxCell>
<mxCell id="SpC5h0mcKWscJH-QIF1T-23" edge="1" parent="1" source="CZu1pv-cfMW7WAS1LHH5-1" style="endArrow=none;html=1;rounded=0;exitX=0.75;exitY=1;exitDx=0;exitDy=0;" value="">
<mxGeometry height="50" relative="1" width="50" as="geometry">
<mxPoint x="370" y="350" as="sourcePoint" />
<mxPoint x="190" y="390" as="targetPoint" />
</mxGeometry>
</mxCell>
<mxCell id="SpC5h0mcKWscJH-QIF1T-24" connectable="0" parent="SpC5h0mcKWscJH-QIF1T-23" style="edgeLabel;html=1;align=center;verticalAlign=middle;resizable=0;points=[];" value="SKO" vertex="1">
<mxGeometry relative="1" x="0.5238" y="-2" as="geometry">
<mxPoint x="-2" y="-8" as="offset" />
</mxGeometry>
</mxCell>
<mxCell id="SpC5h0mcKWscJH-QIF1T-25" edge="1" parent="1" style="endArrow=none;html=1;rounded=0;" value="">
<mxGeometry height="50" relative="1" width="50" as="geometry">
<mxPoint x="500" y="300" as="sourcePoint" />
<mxPoint x="480" y="300" as="targetPoint" />
</mxGeometry>
</mxCell>
<mxCell id="SpC5h0mcKWscJH-QIF1T-26" connectable="0" parent="SpC5h0mcKWscJH-QIF1T-25" style="edgeLabel;html=1;align=center;verticalAlign=middle;resizable=0;points=[];" value="F1" vertex="1">
<mxGeometry relative="1" x="0.3333" y="1" as="geometry">
<mxPoint x="-17" y="-2" as="offset" />
</mxGeometry>
</mxCell>
<mxCell id="SpC5h0mcKWscJH-QIF1T-29" edge="1" parent="1" style="endArrow=none;html=1;rounded=0;" value="">
<mxGeometry height="50" relative="1" width="50" as="geometry">
<mxPoint x="320" y="300" as="sourcePoint" />
<mxPoint x="300" y="300" as="targetPoint" />
</mxGeometry>
</mxCell>
<mxCell id="SpC5h0mcKWscJH-QIF1T-30" connectable="0" parent="SpC5h0mcKWscJH-QIF1T-29" style="edgeLabel;html=1;align=center;verticalAlign=middle;resizable=0;points=[];" value="F1" vertex="1">
<mxGeometry relative="1" x="0.3333" y="1" as="geometry">
<mxPoint x="-17" y="-2" as="offset" />
</mxGeometry>
</mxCell>
<mxCell id="SpC5h0mcKWscJH-QIF1T-33" edge="1" parent="1" style="endArrow=none;html=1;rounded=0;" value="">
<mxGeometry height="50" relative="1" width="50" as="geometry">
<Array as="points">
<mxPoint x="300" y="210" />
<mxPoint x="470" y="210" />
<mxPoint x="470" y="250" />
</Array>
<mxPoint x="300" y="280" as="sourcePoint" />
<mxPoint x="500" y="250" as="targetPoint" />
</mxGeometry>
</mxCell>
<mxCell id="SpC5h0mcKWscJH-QIF1T-34" edge="1" parent="1" style="endArrow=none;html=1;rounded=0;" value="">
<mxGeometry height="50" relative="1" width="50" as="geometry">
<mxPoint x="500" y="310" as="sourcePoint" />
<mxPoint x="480" y="310" as="targetPoint" />
</mxGeometry>
</mxCell>
<mxCell id="SpC5h0mcKWscJH-QIF1T-35" connectable="0" parent="SpC5h0mcKWscJH-QIF1T-34" style="edgeLabel;html=1;align=center;verticalAlign=middle;resizable=0;points=[];" value="COP" vertex="1">
<mxGeometry relative="1" x="0.3333" y="1" as="geometry">
<mxPoint x="-21" y="-2" as="offset" />
</mxGeometry>
</mxCell>
<mxCell id="SpC5h0mcKWscJH-QIF1T-36" edge="1" parent="1" style="endArrow=none;html=1;rounded=0;" value="">
<mxGeometry height="50" relative="1" width="50" as="geometry">
<mxPoint x="320" y="310" as="sourcePoint" />
<mxPoint x="300" y="310" as="targetPoint" />
</mxGeometry>
</mxCell>
<mxCell id="SpC5h0mcKWscJH-QIF1T-37" connectable="0" parent="SpC5h0mcKWscJH-QIF1T-36" style="edgeLabel;html=1;align=center;verticalAlign=middle;resizable=0;points=[];" value="COP" vertex="1">
<mxGeometry relative="1" x="0.3333" y="1" as="geometry">
<mxPoint x="-21" y="-2" as="offset" />
</mxGeometry>
</mxCell>
</root>

View File

@ -1,6 +1,6 @@
<mxfile host="app.diagrams.net" agent="Mozilla/5.0 (X11; Linux x86_64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/145.0.0.0 Safari/537.36" version="29.6.0">
<mxfile host="app.diagrams.net" agent="Mozilla/5.0 (X11; Linux x86_64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/145.0.0.0 Safari/537.36" version="29.6.1">
<diagram name="Страница-1" id="9ognQSmDpJbtVMKNycsE">
<mxGraphModel dx="1042" dy="662" grid="1" gridSize="10" guides="1" tooltips="1" connect="1" arrows="1" fold="1" page="1" pageScale="1" pageWidth="827" pageHeight="1169" math="0" shadow="0">
<mxGraphModel dx="868" dy="588" grid="1" gridSize="10" guides="1" tooltips="1" connect="1" arrows="1" fold="1" page="1" pageScale="1" pageWidth="827" pageHeight="1169" math="0" shadow="0">
<root>
<mxCell id="0" />
<mxCell id="1" parent="0" />
@ -46,16 +46,16 @@
<mxCell id="ysyXVAykctyQAFMkmna2-11" parent="ZzNZffBc4wFaFUXvokr7-19" style="rounded=0;whiteSpace=wrap;html=1;fillColor=none;strokeWidth=4;strokeColor=#009900;dashed=1;dashPattern=8 8;" value="" vertex="1">
<mxGeometry height="92" width="290" x="-20" y="-12" as="geometry" />
</mxCell>
<mxCell id="ysyXVAykctyQAFMkmna2-12" parent="ZzNZffBc4wFaFUXvokr7-19" style="text;html=1;whiteSpace=wrap;strokeColor=none;fillColor=none;align=center;verticalAlign=middle;rounded=0;fontSize=17;" value="&lt;font style=&quot;font-size: 18px; color: rgb(0, 153, 0);&quot;&gt;P0&lt;/font&gt;" vertex="1">
<mxCell id="ysyXVAykctyQAFMkmna2-12" parent="ZzNZffBc4wFaFUXvokr7-19" style="text;html=1;whiteSpace=wrap;strokeColor=none;fillColor=none;align=center;verticalAlign=middle;rounded=0;fontSize=17;" value="&lt;font style=&quot;font-size: 18px; color: rgb(0, 153, 0);&quot;&gt;P1&lt;/font&gt;" vertex="1">
<mxGeometry height="30" width="60" x="210" y="-12" as="geometry" />
</mxCell>
<mxCell id="ZzNZffBc4wFaFUXvokr7-20" connectable="0" parent="1" style="group" value="" vertex="1">
<mxGeometry height="70" width="130" x="135" y="445" as="geometry" />
<mxGeometry height="95" width="445" x="135" y="445" as="geometry" />
</mxCell>
<mxCell id="ZzNZffBc4wFaFUXvokr7-14" parent="ZzNZffBc4wFaFUXvokr7-20" style="rounded=1;whiteSpace=wrap;html=1;absoluteArcSize=1;arcSize=14;strokeWidth=2;" value="&lt;div&gt;&lt;br&gt;&lt;/div&gt;&lt;div&gt;Y7&lt;/div&gt;&lt;div&gt;Y5&lt;/div&gt;&lt;div&gt;&lt;br&gt;&lt;/div&gt;&lt;div&gt;Y2&lt;/div&gt;&lt;div&gt;&lt;br&gt;&lt;/div&gt;" vertex="1">
<mxCell id="ZzNZffBc4wFaFUXvokr7-14" parent="ZzNZffBc4wFaFUXvokr7-20" style="rounded=1;whiteSpace=wrap;html=1;absoluteArcSize=1;arcSize=14;strokeWidth=2;" value="&lt;div&gt;&lt;span style=&quot;background-color: transparent; color: light-dark(rgb(0, 0, 0), rgb(255, 255, 255));&quot;&gt;Y7&lt;/span&gt;&lt;/div&gt;&lt;div&gt;Y5&lt;/div&gt;&lt;div&gt;Y3&lt;/div&gt;&lt;div&gt;SKO&lt;/div&gt;" vertex="1">
<mxGeometry height="70" width="30" x="100" as="geometry" />
</mxCell>
<mxCell id="ZzNZffBc4wFaFUXvokr7-15" parent="ZzNZffBc4wFaFUXvokr7-20" style="rounded=1;whiteSpace=wrap;html=1;absoluteArcSize=1;arcSize=14;strokeWidth=2;" value="RR.SLI = CS1&lt;div&gt;RR &amp;gt;&amp;gt; 1&lt;/div&gt;&lt;div&gt;RB.SLI = RR0&lt;/div&gt;&lt;div&gt;RB &amp;gt;&amp;gt; 1&lt;/div&gt;" vertex="1">
<mxCell id="ZzNZffBc4wFaFUXvokr7-15" parent="ZzNZffBc4wFaFUXvokr7-20" style="rounded=1;whiteSpace=wrap;html=1;absoluteArcSize=1;arcSize=14;strokeWidth=2;" value="RR.SLI = CS1&lt;div&gt;RR &amp;gt;&amp;gt; 1&lt;/div&gt;&lt;div&gt;RB &amp;gt;&amp;gt; 1&lt;/div&gt;&lt;div&gt;RB.SLI = RR0&lt;/div&gt;" vertex="1">
<mxGeometry height="70" width="100" as="geometry" />
</mxCell>
<mxCell id="ZzNZffBc4wFaFUXvokr7-22" connectable="0" parent="1" style="group" value="" vertex="1">
@ -169,13 +169,13 @@
<mxCell id="ysyXVAykctyQAFMkmna2-2" connectable="0" parent="1" style="group;rounded=0;" value="" vertex="1">
<mxGeometry height="100" width="120" x="443" y="446" as="geometry" />
</mxCell>
<mxCell id="ysyXVAykctyQAFMkmna2-3" parent="ysyXVAykctyQAFMkmna2-2" style="rounded=1;whiteSpace=wrap;html=1;absoluteArcSize=1;arcSize=14;strokeWidth=2;" value="Y5&lt;div&gt;&lt;div&gt;Y2&lt;/div&gt;&lt;div&gt;F1&lt;/div&gt;&lt;/div&gt;&lt;div&gt;FC&lt;/div&gt;&lt;div&gt;Yct&lt;/div&gt;" vertex="1">
<mxCell id="ysyXVAykctyQAFMkmna2-3" parent="ysyXVAykctyQAFMkmna2-2" style="rounded=1;whiteSpace=wrap;html=1;absoluteArcSize=1;arcSize=14;strokeWidth=2;" value="Y5&lt;div&gt;&lt;div&gt;Y3&lt;/div&gt;&lt;div&gt;F1&lt;/div&gt;&lt;/div&gt;&lt;div&gt;FC&lt;/div&gt;&lt;div&gt;Yct&lt;/div&gt;" vertex="1">
<mxGeometry height="87.5" width="30" x="90" as="geometry" />
</mxCell>
<mxCell id="ysyXVAykctyQAFMkmna2-4" parent="ysyXVAykctyQAFMkmna2-2" style="rounded=1;whiteSpace=wrap;html=1;absoluteArcSize=1;arcSize=14;strokeWidth=2;" value="&lt;div&gt;RR &amp;gt;&amp;gt; 1&lt;div&gt;&lt;div&gt;RB &amp;gt;&amp;gt; 1&lt;/div&gt;&lt;div&gt;RB.SLI = RR0&lt;/div&gt;&lt;/div&gt;&lt;div&gt;&lt;br&gt;&lt;/div&gt;&lt;div&gt;CT++&lt;/div&gt;&lt;/div&gt;" vertex="1">
<mxGeometry height="87.5" width="90" as="geometry" />
</mxCell>
<mxCell id="ZzNZffBc4wFaFUXvokr7-12" parent="1" style="rounded=1;whiteSpace=wrap;html=1;absoluteArcSize=1;arcSize=14;strokeWidth=2;" value="Y5&lt;div&gt;&lt;div&gt;Y2&lt;/div&gt;&lt;div&gt;F1&lt;/div&gt;&lt;/div&gt;&lt;div&gt;FC&lt;/div&gt;&lt;div&gt;Yct&lt;/div&gt;" vertex="1">
<mxCell id="ZzNZffBc4wFaFUXvokr7-12" parent="1" style="rounded=1;whiteSpace=wrap;html=1;absoluteArcSize=1;arcSize=14;strokeWidth=2;" value="Y5&lt;div&gt;&lt;div&gt;Y3&lt;/div&gt;&lt;div&gt;F1&lt;/div&gt;&lt;/div&gt;&lt;div&gt;FC&lt;/div&gt;&lt;div&gt;Yct&lt;/div&gt;" vertex="1">
<mxGeometry height="87.5" width="30" x="382" y="570" as="geometry" />
</mxCell>
<mxCell id="ZzNZffBc4wFaFUXvokr7-13" parent="1" style="rounded=1;whiteSpace=wrap;html=1;absoluteArcSize=1;arcSize=14;strokeWidth=2;" value="RR &amp;gt;&amp;gt; 1&lt;div&gt;&lt;div&gt;&lt;div&gt;RB &amp;gt;&amp;gt; 1&lt;/div&gt;&lt;/div&gt;&lt;div&gt;RB.SLI = RR0&lt;/div&gt;&lt;/div&gt;&lt;div&gt;&lt;br&gt;&lt;/div&gt;&lt;div&gt;CT++&lt;/div&gt;" vertex="1">
@ -197,14 +197,11 @@
<mxGeometry height="30" width="60" x="480" y="90" as="geometry" />
</mxCell>
<mxCell id="ysyXVAykctyQAFMkmna2-13" parent="1" style="rounded=0;whiteSpace=wrap;html=1;fillColor=none;strokeWidth=4;strokeColor=#009900;dashed=1;dashPattern=8 8;" value="" vertex="1">
<mxGeometry height="110" width="300" x="280" y="560" as="geometry" />
<mxGeometry height="110" width="300" x="282" y="550" as="geometry" />
</mxCell>
<mxCell id="ysyXVAykctyQAFMkmna2-14" parent="1" style="text;html=1;whiteSpace=wrap;strokeColor=none;fillColor=none;align=center;verticalAlign=middle;rounded=0;fontSize=17;" value="&lt;font style=&quot;font-size: 18px; color: rgb(0, 153, 0);&quot;&gt;P0&lt;/font&gt;" vertex="1">
<mxCell id="ysyXVAykctyQAFMkmna2-14" parent="1" style="text;html=1;whiteSpace=wrap;strokeColor=none;fillColor=none;align=center;verticalAlign=middle;rounded=0;fontSize=17;" value="&lt;font style=&quot;font-size: 18px; color: rgb(0, 153, 0);&quot;&gt;P3&lt;/font&gt;" vertex="1">
<mxGeometry height="30" width="60" x="520" y="560" as="geometry" />
</mxCell>
<mxCell id="ysyXVAykctyQAFMkmna2-15" parent="1" style="rounded=0;whiteSpace=wrap;html=1;fillColor=none;strokeWidth=4;strokeColor=#990099;dashed=1;dashPattern=8 8;fontColor=#990099;" value="" vertex="1">
<mxGeometry height="210" width="460" x="120" y="330" as="geometry" />
</mxCell>
<mxCell id="ysyXVAykctyQAFMkmna2-16" parent="1" style="text;html=1;whiteSpace=wrap;strokeColor=none;fillColor=none;align=center;verticalAlign=middle;rounded=0;fontSize=17;fontColor=#990099;" value="&lt;font style=&quot;font-size: 18px;&quot;&gt;P2&lt;/font&gt;" vertex="1">
<mxGeometry height="30" width="60" x="522" y="330" as="geometry" />
</mxCell>
@ -220,6 +217,14 @@
<mxPoint x="510" y="680" as="targetPoint" />
</mxGeometry>
</mxCell>
<mxCell id="xF0Idb41uYT7hJ3ZxlXU-1" connectable="0" parent="1" style="edgeLabel;html=1;align=center;verticalAlign=middle;resizable=0;points=[];" value="0" vertex="1">
<mxGeometry x="680" y="430" as="geometry">
<mxPoint x="-281" y="2" as="offset" />
</mxGeometry>
</mxCell>
<mxCell id="ysyXVAykctyQAFMkmna2-15" parent="1" style="rounded=0;whiteSpace=wrap;html=1;fillColor=none;strokeWidth=4;strokeColor=#990099;dashed=1;dashPattern=8 8;fontColor=#990099;" value="" vertex="1">
<mxGeometry height="210" width="460" x="122" y="330" as="geometry" />
</mxCell>
</root>
</mxGraphModel>
</diagram>

View File

@ -1,6 +1,6 @@
<mxfile host="app.diagrams.net" agent="Mozilla/5.0 (X11; Linux x86_64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/145.0.0.0 Safari/537.36" version="29.6.0">
<mxfile host="app.diagrams.net" agent="Mozilla/5.0 (X11; Linux x86_64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/145.0.0.0 Safari/537.36" version="29.6.1">
<diagram name="Страница-1" id="eliyyOJoX__2iovGvcSQ">
<mxGraphModel dx="1042" dy="662" grid="1" gridSize="10" guides="1" tooltips="1" connect="1" arrows="1" fold="1" page="1" pageScale="1" pageWidth="827" pageHeight="1169" math="0" shadow="0">
<mxGraphModel dx="947" dy="642" grid="1" gridSize="10" guides="1" tooltips="1" connect="1" arrows="1" fold="1" page="1" pageScale="1" pageWidth="827" pageHeight="1169" math="0" shadow="0">
<root>
<mxCell id="0" />
<mxCell id="1" parent="0" />
@ -10,8 +10,8 @@
<mxCell id="Fl2Ycn9fAyJuy_VV4NVQ-2" parent="1" style="strokeWidth=2;html=1;shape=mxgraph.flowchart.start_1;whiteSpace=wrap;" value="конец" vertex="1">
<mxGeometry height="40" width="80" x="360.5" y="480" as="geometry" />
</mxCell>
<mxCell id="Fl2Ycn9fAyJuy_VV4NVQ-3" parent="1" style="rounded=1;whiteSpace=wrap;html=1;absoluteArcSize=1;arcSize=14;strokeWidth=2;" value="Y9, Y2&lt;div&gt;Y8&lt;/div&gt;" vertex="1">
<mxGeometry height="50" width="50" x="401" y="330" as="geometry" />
<mxCell id="Fl2Ycn9fAyJuy_VV4NVQ-3" parent="1" style="rounded=1;whiteSpace=wrap;html=1;absoluteArcSize=1;arcSize=14;strokeWidth=2;" value="Y9, Y2&lt;div&gt;Y8,SKO&lt;/div&gt;" vertex="1">
<mxGeometry height="50" width="51" x="400" y="330" as="geometry" />
</mxCell>
<mxCell id="Fl2Ycn9fAyJuy_VV4NVQ-4" parent="1" style="rounded=1;whiteSpace=wrap;html=1;absoluteArcSize=1;arcSize=14;strokeWidth=2;" value="RB = CS4&lt;div&gt;TCF = CS3&lt;/div&gt;" vertex="1">
<mxGeometry height="50" width="80" x="321" y="330" as="geometry" />
@ -79,22 +79,16 @@
<mxCell id="zsFzXV9HA6nGJtDTgV6P-7" parent="1" style="text;html=1;whiteSpace=wrap;strokeColor=none;fillColor=none;align=center;verticalAlign=middle;rounded=0;" value="F" vertex="1">
<mxGeometry height="30" width="60" x="261" y="485" as="geometry" />
</mxCell>
<mxCell id="HlUilCScWvAPAjIw05E1-51" parent="1" style="rounded=0;whiteSpace=wrap;html=1;fillColor=none;strokeWidth=4;strokeColor=#990099;dashed=1;dashPattern=8 8;fontColor=#990099;" value="" vertex="1">
<mxGeometry height="210" width="460" x="1160" y="360" as="geometry" />
</mxCell>
<mxCell id="HlUilCScWvAPAjIw05E1-52" parent="1" style="text;html=1;whiteSpace=wrap;strokeColor=none;fillColor=none;align=center;verticalAlign=middle;rounded=0;fontSize=17;fontColor=#990099;" value="&lt;font style=&quot;font-size: 18px;&quot;&gt;P2&lt;/font&gt;" vertex="1">
<mxGeometry height="30" width="60" x="1380" y="455" as="geometry" />
</mxCell>
<mxCell id="HlUilCScWvAPAjIw05E1-53" parent="1" style="rounded=0;whiteSpace=wrap;html=1;fillColor=none;strokeWidth=3;strokeColor=#009900;dashed=1;dashPattern=8 8;" value="" vertex="1">
<mxGeometry height="82" width="170" x="311" y="234" as="geometry" />
</mxCell>
<mxCell id="HlUilCScWvAPAjIw05E1-56" parent="1" style="rounded=0;whiteSpace=wrap;html=1;fillColor=none;strokeWidth=3;strokeColor=#990099;dashed=1;dashPattern=8 8;" value="" vertex="1">
<mxGeometry height="82" width="170" x="311" y="320" as="geometry" />
<mxGeometry height="82" width="170" x="310" y="321" as="geometry" />
</mxCell>
<mxCell id="HlUilCScWvAPAjIw05E1-57" parent="1" style="text;html=1;whiteSpace=wrap;strokeColor=none;fillColor=none;align=center;verticalAlign=middle;rounded=0;" value="P0" vertex="1">
<mxCell id="HlUilCScWvAPAjIw05E1-57" parent="1" style="text;html=1;whiteSpace=wrap;strokeColor=none;fillColor=none;align=center;verticalAlign=middle;rounded=0;" value="P1" vertex="1">
<mxGeometry height="30" width="60" x="481" y="260" as="geometry" />
</mxCell>
<mxCell id="HlUilCScWvAPAjIw05E1-58" parent="1" style="text;html=1;whiteSpace=wrap;strokeColor=none;fillColor=none;align=center;verticalAlign=middle;rounded=0;" value="P1" vertex="1">
<mxCell id="HlUilCScWvAPAjIw05E1-58" parent="1" style="text;html=1;whiteSpace=wrap;strokeColor=none;fillColor=none;align=center;verticalAlign=middle;rounded=0;" value="P2" vertex="1">
<mxGeometry height="30" width="60" x="480" y="340" as="geometry" />
</mxCell>
</root>

Binary file not shown.

After

Width:  |  Height:  |  Size: 61 KiB

Binary file not shown.

After

Width:  |  Height:  |  Size: 60 KiB

Binary file not shown.

After

Width:  |  Height:  |  Size: 65 KiB

Binary file not shown.

After

Width:  |  Height:  |  Size: 60 KiB

Binary file not shown.

After

Width:  |  Height:  |  Size: 64 KiB

Binary file not shown.

After

Width:  |  Height:  |  Size: 63 KiB

Binary file not shown.

After

Width:  |  Height:  |  Size: 65 KiB

Binary file not shown.

After

Width:  |  Height:  |  Size: 64 KiB

View File

@ -0,0 +1,97 @@
<?xml version="1.0" encoding="UTF-8" standalone="no"?><!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN" "http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd"><!-- Generated by graphviz version 2.40.1 (20161225.0304)
--><!-- Title: G Pages: 1 --><svg xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink" width="324pt" height="188pt" viewBox="0.00 0.00 324.00 188.00">
<g id="graph0" class="graph" transform="scale(1 1) rotate(0) translate(4 184)">
<title>G</title>
<polygon fill="#ffffff" stroke="transparent" points="-4,4 -4,-184 320,-184 320,4 -4,4"/>
<!-- Y2 -->
<g id="node1" class="node">
<title>Y2</title>
<ellipse fill="none" stroke="#000000" cx="99" cy="-90" rx="27" ry="18"/>
<text text-anchor="middle" x="99" y="-85.8" font-family="Times,serif" font-size="14.00" fill="#000000">Y2</text>
</g>
<!-- Y1 -->
<g id="node2" class="node">
<title>Y1</title>
<ellipse fill="none" stroke="#000000" cx="27" cy="-18" rx="27" ry="18"/>
<text text-anchor="middle" x="27" y="-13.8" font-family="Times,serif" font-size="14.00" fill="#000000">Y1</text>
</g>
<!-- Y2&#45;&gt;Y1 -->
<g id="edge1" class="edge">
<title>Y2-&gt;Y1</title>
<path fill="none" stroke="#000000" d="M83.7307,-74.7307C73.803,-64.803 60.6847,-51.6847 49.5637,-40.5637"/>
<polygon fill="#000000" stroke="#000000" points="51.7933,-37.8436 42.2473,-33.2473 46.8436,-42.7933 51.7933,-37.8436"/>
</g>
<!-- Y6 -->
<g id="node3" class="node">
<title>Y6</title>
<ellipse fill="none" stroke="#000000" cx="99" cy="-18" rx="27" ry="18"/>
<text text-anchor="middle" x="99" y="-13.8" font-family="Times,serif" font-size="14.00" fill="#000000">Y6</text>
</g>
<!-- Y2&#45;&gt;Y6 -->
<g id="edge2" class="edge">
<title>Y2-&gt;Y6</title>
<path fill="none" stroke="#000000" d="M99,-71.8314C99,-64.131 99,-54.9743 99,-46.4166"/>
<polygon fill="#000000" stroke="#000000" points="102.5001,-46.4132 99,-36.4133 95.5001,-46.4133 102.5001,-46.4132"/>
</g>
<!-- Y8 -->
<g id="node4" class="node">
<title>Y8</title>
<ellipse fill="none" stroke="#000000" cx="171" cy="-18" rx="27" ry="18"/>
<text text-anchor="middle" x="171" y="-13.8" font-family="Times,serif" font-size="14.00" fill="#000000">Y8</text>
</g>
<!-- Y2&#45;&gt;Y8 -->
<g id="edge3" class="edge">
<title>Y2-&gt;Y8</title>
<path fill="none" stroke="#000000" d="M114.2693,-74.7307C124.197,-64.803 137.3153,-51.6847 148.4363,-40.5637"/>
<polygon fill="#000000" stroke="#000000" points="151.1564,-42.7933 155.7527,-33.2473 146.2067,-37.8436 151.1564,-42.7933"/>
</g>
<!-- Y3 -->
<g id="node5" class="node">
<title>Y3</title>
<ellipse fill="none" stroke="#000000" cx="289" cy="-162" rx="27" ry="18"/>
<text text-anchor="middle" x="289" y="-157.8" font-family="Times,serif" font-size="14.00" fill="#000000">Y3</text>
</g>
<!-- Y5 -->
<g id="node6" class="node">
<title>Y5</title>
<ellipse fill="none" stroke="#000000" cx="289" cy="-90" rx="27" ry="18"/>
<text text-anchor="middle" x="289" y="-85.8" font-family="Times,serif" font-size="14.00" fill="#000000">Y5</text>
</g>
<!-- Y3&#45;&gt;Y5 -->
<g id="edge4" class="edge">
<title>Y3-&gt;Y5</title>
<path fill="none" stroke="#000000" d="M289,-143.8314C289,-136.131 289,-126.9743 289,-118.4166"/>
<polygon fill="#000000" stroke="#000000" points="292.5001,-118.4132 289,-108.4133 285.5001,-118.4133 292.5001,-118.4132"/>
</g>
<!-- Y9 -->
<g id="node7" class="node">
<title>Y9</title>
<ellipse fill="none" stroke="#000000" cx="217" cy="-90" rx="27" ry="18"/>
<text text-anchor="middle" x="217" y="-85.8" font-family="Times,serif" font-size="14.00" fill="#000000">Y9</text>
</g>
<!-- Y9&#45;&gt;Y8 -->
<g id="edge5" class="edge">
<title>Y9-&gt;Y8</title>
<path fill="none" stroke="#000000" d="M206.3311,-73.3008C200.6414,-64.3952 193.5223,-53.2524 187.1684,-43.307"/>
<polygon fill="#000000" stroke="#000000" points="189.9445,-41.1513 181.6111,-34.6087 184.0456,-44.92 189.9445,-41.1513"/>
</g>
<!-- SKO -->
<g id="node8" class="node">
<title>SKO</title>
<ellipse fill="none" stroke="#000000" cx="188" cy="-162" rx="30.1958" ry="18"/>
<text text-anchor="middle" x="188" y="-157.8" font-family="Times,serif" font-size="14.00" fill="#000000">SKO</text>
</g>
<!-- SKO&#45;&gt;Y8 -->
<g id="edge6" class="edge">
<title>SKO-&gt;Y8</title>
<path fill="none" stroke="#000000" d="M185.5845,-144.0103C184.196,-133.5137 182.446,-120.0137 181,-108 178.5264,-87.448 175.9518,-64.2281 174.0346,-46.5218"/>
<polygon fill="#000000" stroke="#000000" points="177.4827,-45.8508 172.9326,-36.2828 170.5229,-46.6 177.4827,-45.8508"/>
</g>
<!-- SKO&#45;&gt;Y9 -->
<g id="edge7" class="edge">
<title>SKO-&gt;Y9</title>
<path fill="none" stroke="#000000" d="M195.1685,-144.2022C198.4697,-136.0064 202.4588,-126.1024 206.1191,-117.0145"/>
<polygon fill="#000000" stroke="#000000" points="209.4243,-118.1766 209.9139,-107.593 202.9312,-115.5612 209.4243,-118.1766"/>
</g>
</g>
</svg>

After

Width:  |  Height:  |  Size: 4.7 KiB

File diff suppressed because one or more lines are too long

Before

Width:  |  Height:  |  Size: 87 KiB

After

Width:  |  Height:  |  Size: 94 KiB

View File

@ -1,76 +1,88 @@
<?xml version="1.0" encoding="UTF-8" standalone="no"?><!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN" "http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd"><!-- Generated by graphviz version 2.40.1 (20161225.0304)
--><!-- Title: G Pages: 1 --><svg xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink" width="283pt" height="315pt" viewBox="0.00 0.00 283.25 315.00">
<g id="graph0" class="graph" transform="scale(1 1) rotate(0) translate(4 310.9997)">
--><!-- Title: G Pages: 1 --><svg xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink" width="434pt" height="215pt" viewBox="0.00 0.00 433.57 215.23">
<g id="graph0" class="graph" transform="scale(1 1) rotate(0) translate(4 211.2333)">
<title>G</title>
<polygon fill="#ffffff" stroke="transparent" points="-4,4 -4,-310.9997 279.2471,-310.9997 279.2471,4 -4,4"/>
<polygon fill="#ffffff" stroke="transparent" points="-4,4 -4,-211.2333 429.5698,-211.2333 429.5698,4 -4,4"/>
<!-- SNO -->
<g id="node1" class="node">
<title>SNO</title>
<text text-anchor="middle" x="143" y="-284.7997" font-family="Times,serif" font-size="14.00" fill="#000000">SNO</text>
<text text-anchor="middle" x="27" y="-74.0333" font-family="Times,serif" font-size="14.00" fill="#000000">SNO</text>
</g>
<!-- P0 -->
<!-- IDLE -->
<g id="node3" class="node">
<title>P0</title>
<ellipse fill="none" stroke="#000000" cx="143" cy="-212.7664" rx="21.4691" ry="21.4691"/>
<text text-anchor="middle" x="143" y="-208.5664" font-family="Times,serif" font-size="14.00" fill="#000000">P0</text>
<title>IDLE</title>
<ellipse fill="none" stroke="#000000" cx="114.3115" cy="-78.2333" rx="23.1244" ry="23.1244"/>
<text text-anchor="middle" x="114.3115" y="-75.2333" font-family="Times,serif" font-size="10.00" fill="#000000">IDLE</text>
</g>
<!-- SNO&#45;&gt;P0 -->
<!-- SNO&#45;&gt;IDLE -->
<g id="edge1" class="edge">
<title>SNO-&gt;P0</title>
<path fill="none" stroke="#000000" d="M143,-270.9334C143,-263.0218 143,-253.4991 143,-244.4706"/>
<polygon fill="#000000" stroke="#000000" points="146.5001,-244.2251 143,-234.2251 139.5001,-244.2251 146.5001,-244.2251"/>
<title>SNO-&gt;IDLE</title>
<path fill="none" stroke="#000000" d="M54.1473,-78.2333C62.4752,-78.2333 71.743,-78.2333 80.4607,-78.2333"/>
<polygon fill="#000000" stroke="#000000" points="80.7215,-81.7334 90.7215,-78.2333 80.7214,-74.7334 80.7215,-81.7334"/>
</g>
<!-- SKO -->
<g id="node2" class="node">
<title>SKO</title>
<text text-anchor="middle" x="27" y="-17.0333" font-family="Times,serif" font-size="14.00" fill="#000000">SKO</text>
<text text-anchor="middle" x="398.5698" y="-185.0333" font-family="Times,serif" font-size="14.00" fill="#000000">SKO</text>
</g>
<!-- P1 -->
<g id="node4" class="node">
<title>P1</title>
<ellipse fill="none" stroke="#000000" cx="143" cy="-133.2998" rx="21.4691" ry="21.4691"/>
<text text-anchor="middle" x="143" y="-129.0998" font-family="Times,serif" font-size="14.00" fill="#000000">P1</text>
<ellipse fill="none" stroke="#000000" cx="195.8562" cy="-78.2333" rx="21.4691" ry="21.4691"/>
<text text-anchor="middle" x="195.8562" y="-74.0333" font-family="Times,serif" font-size="14.00" fill="#000000">P1</text>
</g>
<!-- P0&#45;&gt;P1 -->
<!-- IDLE&#45;&gt;P1 -->
<g id="edge2" class="edge">
<title>P0-&gt;P1</title>
<path fill="none" stroke="#000000" d="M143,-191.4708C143,-183.2758 143,-173.7364 143,-164.7818"/>
<polygon fill="#000000" stroke="#000000" points="146.5001,-164.6542 143,-154.6542 139.5001,-164.6542 146.5001,-164.6542"/>
</g>
<!-- P1&#45;&gt;SKO -->
<g id="edge5" class="edge">
<title>P1-&gt;SKO</title>
<path fill="none" stroke="#000000" d="M122.8794,-126.4573C106.539,-120.1012 83.7064,-109.3117 67.9862,-94.0666 54.8281,-81.3061 44.6756,-63.4037 37.7665,-48.5414"/>
<polygon fill="#000000" stroke="#000000" points="40.9295,-47.0393 33.6956,-39.2984 34.5233,-49.8608 40.9295,-47.0393"/>
<text text-anchor="middle" x="86.5069" y="-73.0666" font-family="Times,serif" font-size="14.00" fill="#000000">FC = 1</text>
</g>
<!-- P1&#45;&gt;P1 -->
<g id="edge4" class="edge">
<title>P1-&gt;P1</title>
<path fill="none" stroke="#000000" d="M164.0715,-137.779C195.9862,-142.4374 236.2333,-140.9444 236.2333,-133.2998 236.2333,-126.4317 203.7463,-124.529 174.0025,-127.5916"/>
<polygon fill="#000000" stroke="#000000" points="173.566,-124.1188 164.0715,-128.8206 174.4257,-131.0659 173.566,-124.1188"/>
<text text-anchor="middle" x="255.7402" y="-137.4998" font-family="Times,serif" font-size="14.00" fill="#000000">F1 = 0</text>
<text text-anchor="middle" x="255.7402" y="-120.6998" font-family="Times,serif" font-size="14.00" fill="#000000">FC = 0</text>
<title>IDLE-&gt;P1</title>
<path fill="none" stroke="#000000" d="M137.8976,-78.2333C146.124,-78.2333 155.493,-78.2333 164.2641,-78.2333"/>
<polygon fill="#000000" stroke="#000000" points="164.5495,-81.7334 174.5494,-78.2333 164.5494,-74.7334 164.5495,-81.7334"/>
</g>
<!-- P2 -->
<g id="node5" class="node">
<title>P2</title>
<ellipse fill="none" stroke="#000000" cx="185" cy="-21.2333" rx="21.4691" ry="21.4691"/>
<text text-anchor="middle" x="185" y="-17.0333" font-family="Times,serif" font-size="14.00" fill="#000000">P2</text>
<ellipse fill="none" stroke="#000000" cx="275.3227" cy="-78.2333" rx="21.4691" ry="21.4691"/>
<text text-anchor="middle" x="275.3227" y="-74.0333" font-family="Times,serif" font-size="14.00" fill="#000000">P2</text>
</g>
<!-- P1&#45;&gt;P2 -->
<g id="edge3" class="edge">
<title>P1-&gt;P2</title>
<path fill="none" stroke="#000000" d="M133.3577,-114.3725C126.9908,-99.0691 121.281,-77.3668 129.9862,-60.4666 135.6782,-49.4161 146.0833,-40.7919 156.3247,-34.4787"/>
<polygon fill="#000000" stroke="#000000" points="158.1507,-37.4675 165.1601,-29.5227 154.7262,-31.3624 158.1507,-37.4675"/>
<text text-anchor="middle" x="148.5069" y="-81.4666" font-family="Times,serif" font-size="14.00" fill="#000000">F1 = 1</text>
<text text-anchor="middle" x="148.5069" y="-64.6666" font-family="Times,serif" font-size="14.00" fill="#000000">FC = 0</text>
<path fill="none" stroke="#000000" d="M217.1518,-78.2333C225.3467,-78.2333 234.8862,-78.2333 243.8408,-78.2333"/>
<polygon fill="#000000" stroke="#000000" points="243.9684,-81.7334 253.9684,-78.2333 243.9684,-74.7334 243.9684,-81.7334"/>
</g>
<!-- P2&#45;&gt;P1 -->
<!-- P2&#45;&gt;SKO -->
<g id="edge6" class="edge">
<title>P2-&gt;P1</title>
<path fill="none" stroke="#000000" d="M188.4684,-42.2239C190.0127,-57.2838 190.1301,-77.7181 183,-94.0666 179.6643,-101.7149 174.0728,-108.6428 168.1119,-114.4742"/>
<polygon fill="#000000" stroke="#000000" points="165.6472,-111.9823 160.5057,-121.246 170.3019,-117.2105 165.6472,-111.9823"/>
<title>P2-&gt;SKO</title>
<path fill="none" stroke="#000000" d="M291.1828,-92.5173C311.2462,-110.587 346.1366,-142.0103 370.6915,-164.1252"/>
<polygon fill="#000000" stroke="#000000" points="368.4959,-166.858 378.2688,-170.9496 373.1804,-161.6566 368.4959,-166.858"/>
<text text-anchor="middle" x="334.0629" y="-150.4333" font-family="Times,serif" font-size="14.00" fill="#000000">FC = 1</text>
</g>
<!-- P2&#45;&gt;P2 -->
<g id="edge4" class="edge">
<title>P2-&gt;P2</title>
<path fill="none" stroke="#000000" d="M270.8435,-99.3048C266.1851,-131.2195 267.6782,-171.4666 275.3227,-171.4666 282.1909,-171.4666 284.0936,-138.9795 281.031,-109.2358"/>
<polygon fill="#000000" stroke="#000000" points="284.5037,-108.7992 279.802,-99.3048 277.5567,-109.659 284.5037,-108.7992"/>
<text text-anchor="middle" x="275.3227" y="-192.4666" font-family="Times,serif" font-size="14.00" fill="#000000">F1 = 0</text>
<text text-anchor="middle" x="275.3227" y="-175.6666" font-family="Times,serif" font-size="14.00" fill="#000000">FC = 0</text>
</g>
<!-- P3 -->
<g id="node6" class="node">
<title>P3</title>
<ellipse fill="none" stroke="#000000" cx="398.5698" cy="-21.2333" rx="21.4691" ry="21.4691"/>
<text text-anchor="middle" x="398.5698" y="-17.0333" font-family="Times,serif" font-size="14.00" fill="#000000">P3</text>
</g>
<!-- P2&#45;&gt;P3 -->
<g id="edge5" class="edge">
<title>P2-&gt;P3</title>
<path fill="none" stroke="#000000" d="M294.8516,-69.2015C315.0446,-59.8625 346.789,-45.1812 369.8431,-34.519"/>
<polygon fill="#000000" stroke="#000000" points="371.5252,-37.5973 379.1323,-30.2228 368.5868,-31.2438 371.5252,-37.5973"/>
<text text-anchor="middle" x="334.0629" y="-81.2333" font-family="Times,serif" font-size="14.00" fill="#000000">F1 = 1</text>
<text text-anchor="middle" x="334.0629" y="-64.4333" font-family="Times,serif" font-size="14.00" fill="#000000">FC = 0</text>
</g>
<!-- P3&#45;&gt;P2 -->
<g id="edge7" class="edge">
<title>P3-&gt;P2</title>
<path fill="none" stroke="#000000" d="M377.5788,-17.4573C359.74,-15.3201 334.005,-14.8452 314.556,-25.2333 304.1188,-30.808 295.7141,-40.5208 289.402,-50.1215"/>
<polygon fill="#000000" stroke="#000000" points="286.3467,-48.4108 284.1953,-58.7849 292.3465,-52.0167 286.3467,-48.4108"/>
</g>
</g>
</svg>

Before

Width:  |  Height:  |  Size: 4.4 KiB

After

Width:  |  Height:  |  Size: 5.0 KiB

View File

@ -1,47 +1,59 @@
<?xml version="1.0" encoding="UTF-8" standalone="no"?><!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN" "http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd"><!-- Generated by graphviz version 2.40.1 (20161225.0304)
--><!-- Title: G Pages: 1 --><svg xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink" width="62pt" height="273pt" viewBox="0.00 0.00 62.00 272.93">
<g id="graph0" class="graph" transform="scale(1 1) rotate(0) translate(4 268.9331)">
--><!-- Title: G Pages: 1 --><svg xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink" width="392pt" height="55pt" viewBox="0.00 0.00 391.56 54.62">
<g id="graph0" class="graph" transform="scale(1 1) rotate(0) translate(4 50.6229)">
<title>G</title>
<polygon fill="#ffffff" stroke="transparent" points="-4,4 -4,-268.9331 58,-268.9331 58,4 -4,4"/>
<polygon fill="#ffffff" stroke="transparent" points="-4,4 -4,-50.6229 387.556,-50.6229 387.556,4 -4,4"/>
<!-- SNO -->
<g id="node1" class="node">
<title>SNO</title>
<text text-anchor="middle" x="27" y="-242.7331" font-family="Times,serif" font-size="14.00" fill="#000000">SNO</text>
<text text-anchor="middle" x="27" y="-19.1115" font-family="Times,serif" font-size="14.00" fill="#000000">SNO</text>
</g>
<!-- P0 -->
<!-- IDLE -->
<g id="node3" class="node">
<title>P0</title>
<ellipse fill="none" stroke="#000000" cx="27" cy="-171.6998" rx="21.4691" ry="21.4691"/>
<text text-anchor="middle" x="27" y="-167.4998" font-family="Times,serif" font-size="14.00" fill="#000000">P0</text>
<title>IDLE</title>
<ellipse fill="none" stroke="#000000" cx="113.3115" cy="-23.3115" rx="23.1244" ry="23.1244"/>
<text text-anchor="middle" x="113.3115" y="-20.3115" font-family="Times,serif" font-size="10.00" fill="#000000">IDLE</text>
</g>
<!-- SNO&#45;&gt;P0 -->
<!-- SNO&#45;&gt;IDLE -->
<g id="edge1" class="edge">
<title>SNO-&gt;P0</title>
<path fill="none" stroke="#000000" d="M27,-228.7212C27,-221.0539 27,-211.9054 27,-203.205"/>
<polygon fill="#000000" stroke="#000000" points="30.5001,-202.9444 27,-192.9445 23.5001,-202.9445 30.5001,-202.9444"/>
<title>SNO-&gt;IDLE</title>
<path fill="none" stroke="#000000" d="M54.3095,-23.3115C62.3659,-23.3115 71.2779,-23.3115 79.6825,-23.3115"/>
<polygon fill="#000000" stroke="#000000" points="79.9544,-26.8116 89.9543,-23.3115 79.9543,-19.8116 79.9544,-26.8116"/>
</g>
<!-- SKO -->
<g id="node2" class="node">
<title>SKO</title>
<text text-anchor="middle" x="27" y="-13.8" font-family="Times,serif" font-size="14.00" fill="#000000">SKO</text>
<text text-anchor="middle" x="356.556" y="-19.1115" font-family="Times,serif" font-size="14.00" fill="#000000">SKO</text>
</g>
<!-- P1 -->
<g id="node4" class="node">
<title>P1</title>
<ellipse fill="none" stroke="#000000" cx="27" cy="-93.2333" rx="21.4691" ry="21.4691"/>
<text text-anchor="middle" x="27" y="-89.0333" font-family="Times,serif" font-size="14.00" fill="#000000">P1</text>
<ellipse fill="none" stroke="#000000" cx="193.8562" cy="-23.3115" rx="21.4691" ry="21.4691"/>
<text text-anchor="middle" x="193.8562" y="-19.1115" font-family="Times,serif" font-size="14.00" fill="#000000">P1</text>
</g>
<!-- P0&#45;&gt;P1 -->
<!-- IDLE&#45;&gt;P1 -->
<g id="edge2" class="edge">
<title>P0-&gt;P1</title>
<path fill="none" stroke="#000000" d="M27,-150.2585C27,-142.3872 27,-133.3037 27,-124.7329"/>
<polygon fill="#000000" stroke="#000000" points="30.5001,-124.6486 27,-114.6487 23.5001,-124.6487 30.5001,-124.6486"/>
<title>IDLE-&gt;P1</title>
<path fill="none" stroke="#000000" d="M137.0419,-23.3115C144.9378,-23.3115 153.8605,-23.3115 162.2554,-23.3115"/>
<polygon fill="#000000" stroke="#000000" points="162.4898,-26.8116 172.4897,-23.3115 162.4897,-19.8116 162.4898,-26.8116"/>
</g>
<!-- P1&#45;&gt;SKO -->
<!-- P2 -->
<g id="node5" class="node">
<title>P2</title>
<ellipse fill="none" stroke="#000000" cx="272.3227" cy="-23.3115" rx="21.4691" ry="21.4691"/>
<text text-anchor="middle" x="272.3227" y="-19.1115" font-family="Times,serif" font-size="14.00" fill="#000000">P2</text>
</g>
<!-- P1&#45;&gt;P2 -->
<g id="edge3" class="edge">
<title>P1-&gt;SKO</title>
<path fill="none" stroke="#000000" d="M27,-71.8757C27,-63.934 27,-54.795 27,-46.3262"/>
<polygon fill="#000000" stroke="#000000" points="30.5001,-46.098 27,-36.098 23.5001,-46.0981 30.5001,-46.098"/>
<title>P1-&gt;P2</title>
<path fill="none" stroke="#000000" d="M215.2975,-23.3115C223.1688,-23.3115 232.2524,-23.3115 240.8231,-23.3115"/>
<polygon fill="#000000" stroke="#000000" points="240.9074,-26.8116 250.9073,-23.3115 240.9073,-19.8116 240.9074,-26.8116"/>
</g>
<!-- P2&#45;&gt;SKO -->
<g id="edge4" class="edge">
<title>P2-&gt;SKO</title>
<path fill="none" stroke="#000000" d="M293.5784,-23.3115C301.355,-23.3115 310.4011,-23.3115 319.1701,-23.3115"/>
<polygon fill="#000000" stroke="#000000" points="319.2443,-26.8116 329.2443,-23.3115 319.2442,-19.8116 319.2443,-26.8116"/>
</g>
</g>
</svg>

Before

Width:  |  Height:  |  Size: 2.3 KiB

After

Width:  |  Height:  |  Size: 3.0 KiB

File diff suppressed because one or more lines are too long

Before

Width:  |  Height:  |  Size: 227 KiB

After

Width:  |  Height:  |  Size: 232 KiB

File diff suppressed because one or more lines are too long

Before

Width:  |  Height:  |  Size: 95 KiB

After

Width:  |  Height:  |  Size: 98 KiB

View File

@ -89,6 +89,10 @@ h3 {
align-items: center;
}
.y-end {
align-items: end;
}
.left {
text-align: left;
}
@ -138,7 +142,7 @@ p {
background-color: white;
}
.table-of-contents span + a {
.table-of-contents span+a {
float: right;
padding-left: 0.33em;
background-color: white;
@ -148,7 +152,9 @@ img {
object-fit: contain;
}
table, td, th {
table,
td,
th {
border-collapse: collapse;
border: 1px solid black;
}

View File

@ -451,57 +451,139 @@
<img src="img/bo-set-test.png" alt="Примеры 1,2 микрооперации установка бита">
</section>
<section class="col">
<table data-tag="muu-cs1-table" data-alt="Таблица истинности CS1" data-gen="
COP,D1,D0,F1,FC,,Q1,Q0,наборы;;
0,0,0,x,x,,0,1,0\, 1\, 2\, 3;
0,0,1,0,0,,0,1,4;
0,0,1,1,0,,1,0,6;
0,0,1,x,1,,0,0,5\, 7;
0,1,0,x,x,,0,1,8\, 9\, 10\, 11;;
1,0,0,x,x,,0,1,16\, 17\, 18\, 19;
1,0,1,x,x,,0,0,20\, 21\, 22\, 23;
" class="center"></table>
<div class="tex col">
$Q_1 = \overline{COP} \cdot D_0 \cdot F_1 \cdot \overline{FC}$
$Q_0 = \overline{D_0} + \overline{COP} \cdot \overline{F_1} \cdot \overline{FC}$
<h1>Проектирование местного устройства управления</h1>
<h2>Функциональная схема</h2>
<p>Для реализации местного устройства управления MUU с "жёсткой" логикой разработана функциональная схема,
представленная на рисунке <span data-ref="muu-func"></span>.</p>
<img data-style="width: 70%" src="img/muu-func.drawio.svg" data-tag="muu-func" alt="Функциональная схема МУУ">
<h2>Модифицированные алгоритмы выполнения операций</h2>
<p>Для реализации местного устройства управления алгоритмы выполнения операций должны быть изменены. На рисунках
<span data-ref="muu-mul"></span> и <span data-ref="muu-set"></span> приведены модифицированные схемы алгоритма
микропрограмм выполнения операций УМНОЖЕНИЕ и УСТАНОВКА БИТА.
</p>
<img data-style="width: 40%" data-tag="muu-set" src="img/muu-set.drawio.svg"
alt="Модифицированный алгоритм микропрограммы выполнения операции УСТАНОВКА БИТА">
</section>
<section class="col">
<img data-style="width: 80%" data-tag="muu-mul" src="img/muu-mul.drawio.svg"
alt="Модифицированный алгоритм микропрограммы выполнения операции УМНОЖЕНИЕ">
<h2>Проектирование датчика состояний</h2>
<p>Для реализации датчика состояний необходимо по модифицированным алгоритмам выполнения операций спроектировать
граф состояний автомата датчика состояний, который будет определять логическую реализацию местного устройства
управления.</p>
<p>Автомат начинает свою работу с приходом сигнала SNO. В каждом состоянии
формируются определенные для этого состояния сигналы Yi и Yct для продвижения счетчика тактов CT.</p>
<p>После выполнения всех операций автомат переходит в начальное состояние, генерируя сигнал конца операции SKO, и
остается в этом состоянии до следующего запроса SNO.</p>
</section>
<section class="col">
<h3>Графы переходов автомата</h3>
<p>В момент времени после сигнала SKO и до сигнала SNO граф находится в состоянии IDLE, при котором никакие сигналы
Y не установлены. Графы операций представлены на рисунках <span data-ref="muu-graph-mul"></span> и <span
data-ref="muu-graph-set"></span>.</p>
<div class="row y-end">
<div style="flex: 1">
<img data-tag="muu-graph-mul" src="img/muu-graph-mul.svg" alt="Граф переходов операции УМНОЖЕНИЕ, COP = 0">
</div>
<div style="flex: 1">
<img data-tag="muu-graph-set" src="img/muu-graph-set.svg" alt="Граф переходов операции УСТАНОВКА БИТА, COP = 1">
</div>
</div>
<h3>Таблица переходов DS / истинности CS1</h2>
<p>Состояния будут храниться в 2-х битном регистре с параллельной загрузкой, состояния P1, P2, P3 соответсвуют
своим номерам в
двоичном виде, состояние IDLE = 00 - начальное. Явно возвращаться в него после формирования SKO не нужно, тк
происходит
синхронный сброс датчика состояний по сигналу SNO.</p>
<table data-tag="muu-cs1-table" data-alt="Таблица истинности CS1" data-gen="
Переход,COP,D1,D0,F1,FC,,Q1,Q0,наборы;;
IDLE->P1,0,0,0,x,x,,0,1,0-3;
P1->P2,0,0,1,x,x,,1,0,4-7;
P2->P2,0,1,0,0,0,,1,0,8;
P2->P3,0,1,0,1,0,,1,1,10;
P2->,0,1,0,x,1,,x,x,9\, 11;
P3->P2,0,1,1,x,x,,1,0,12-15;;
IDLE->P1,1,0,0,x,x,,0,1,16-19;
P1->P2,1,0,1,x,x,,1,0,20-23;
P2->,1,1,0,x,x,,x,x,24-27;
" class="center"></table>
<div class="row">
<div class="tex col y-center" style="flex: 1">
$МКНФ: Q_1 = (D_1 + D_0)$
<img src="img/muu-cs1-q1-mcnf.png" alt="Минимизация Q1">
</div>
<div class="tex col y-center" style="flex: 1">
$МКНФ: Q_0 = (\overline{D_0}) \cdot (\overline{D_1} + F_1)$
<img src="img/muu-cs1-q0-mcnf.png" alt="Минимизация Q0">
</div>
</div>
</section>
<section class="col">
<h3>Таблица управляющих сигналов Y / истинности CS2</h3>
<p>В таблице <span data-ref="muu-cs2-table"></span> отражены сигналы Yi и Yct, подающиеся на выход MUU в каждом
состоянии. Часть функций являются подмножествами других функций, поэтому они минимизироватся не будут.</p>
<table data-tag="muu-cs2-table" data-alt="Таблица истинности CS2" data-gen="
$C,4$,,RA,,RB$C,2$,,RR$C,3$,,TS,TCF,,CS4,,;
COP,Q1,Q0,F1,,Y1,,Y2,Y3,,Y4,Y5,Y6,,Y7,Y8,,Y9,FS,наборы;;
0,0,0,x,,1,,1,0,,0,0,1,,x,x,,0,0,0\, 1;
0,0,1,0,,0,,0,1,,0,1,0,,x,1,,x,1,2;
0,0,1,1,,0,,0,0,,1,0,0,,x,x,,x,0,3;
0,1,0,x,,0,,0,1,,0,1,0,,x,1,,x,1,4\, 5;;
1,0,0,x,,1,,1,0,,x,x,x,,x,x,,0,x,8\, 9;
1,0,1,x,,x,,1,0,,x,x,x,,1,x,,1,x,10\, 11;
$C,5$,,RA,,RB$C,2$,,RR$C,3$,,CS1,TCF,,CS4,,;
COP,Q1,Q0,F1,FC,,Y1,,Y2,Y3,,Y4,Y5,Y6,,Y7,Y8,,Y9,Yct,SKO,наборы;;
x,0,0,x,x,,0,,0,0,,0,0,0,,0,0,,0,0,0,0-3\, 16-19;
0,0,1,x,x,,1,,1,x,,x,x,1,,x,x,,0,0,0,4-7;
0,1,0,0,0,,0,,0,1,,0,1,0,,0,x,,x,1,0,8;
0,1,0,1,0,,0,,0,0,,1,x,0,,x,x,,x,0,0,10;
0,1,0,x,1,,x,,0,1,,0,1,0,,1,x,,x,x,1,9\, 11;
0,1,1,x,x,,0,,0,1,,0,1,0,,1,x,,x,1,0,12-15;;
1,0,1,x,x,,1,,1,x,,x,x,x,,x,x,,0,x,0,20-23;
1,1,0,x,x,,x,,1,x,,x,x,x,,x,1,,1,x,1,24-27;
" class="center"></table>
<div class="row">
<div class="tex col" style="flex: 1">
$Y_1 \supset Y_6$
$Y_2 \supset Y_1,Y_6,Y_7$
$Y_3 \supset Y_5,Y_8,FS$
$Y_5 \supset Y_8,FS$
$Y_9 \supset Y_7$
$FS \supset Y_8$
$Y_2 \supset Y_1,Y_6,Y_8$
$Y_3 \supset Y_5$
$Y_9 \supset Y_8$
$SKO \supset Y_8,Y_9$
</div>
<div class="tex col" style="flex: 1">
$Y_1, Y_6, Y_7 := Y_2$
$Y_5, Y_8, FS := Y_3$
<div class="tex col" style="flex: 2">
<img src="img/muu-cs2.svg" alt="Подмножества функций CS2">
</div>
<div class="tex col" style="flex: 1">
$Y_2 = COP + \overline{Q_1} \cdot \overline{Q_0}$
$Y_3 = Q_1 + \overline{COP} \cdot Q_0 \cdot \overline{F_1}$
$Y_4 = F_1 \cdot Q_0$
$Y_9 = Q_0$
<div class="tex col y-end" style="flex: 1">
$Y_1, Y_6, Y_8 := Y_2$
$Y_5 := Y_3$
$Y_9 := SKO$
</div>
</div>
<div class="row">
<div class="tex center" style="flex: 1">
$МДНФ: Y_2 = \overline{Q_1} \cdot Q_0 + COP \cdot Q_1$
<img src="img/muu-cs2-y2-mdnf.png" alt="Минимизация Y2">
</div>
<div class="tex center" style="flex: 1">
$МКНФ: Y_3 = (Q_1) \cdot (Q_0 + \overline{F_1} + FC)$
<img src="img/muu-cs2-y3-mcnf.png" alt="Минимизация Y3">
</div>
</div>
</section>
<section class="col">
<h1>Проектирование местного устройства управления</h1>
<p>Для реализации местного устройства управления MUU с "жёсткой" логикой разработана функциональная схема,
представленная на рисунке <a data-ref="muu-func"></a>.</p>
<img src="img/muu-func.drawio.svg" data-tag="muu-func" alt="Функциональная схема МУУ">
<div class="row">
<div class="tex center" style="flex: 1">
$МДНФ: Y_4 = Q_1 \cdot \overline{Q_0} \cdot F_1 \cdot \overline{FC}$
<img src="img/muu-cs2-y4-mdnf.png" alt="Минимизация Y2">
</div>
<div class="tex center" style="flex: 1">
$МДНФ: Y_7 = Q_0 + Q_1 \cdot FC$
<img src="img/muu-cs2-y7-mdnf.png" alt="Минимизация Y3">
</div>
</div>
<div class="row">
<div class="tex center" style="flex: 1">
$МКНФ: Y_{ct} = (Q_1) \cdot (Q_0 + \overline{F_1})$
<img src="img/muu-cs2-yct-mcnf.png" alt="Минимизация Y2">
</div>
<div class="tex center" style="flex: 1">
$МКНФ: SKO = (Q_1) \cdot (\overline{Q_0}) \cdot (COP + FC)$
<img src="img/muu-cs2-sko-mcnf.png" alt="Минимизация Y3">
</div>
</div>
</section>
<script src="index.js" type="module"></script>
</body>

View File

@ -0,0 +1,45 @@
import * as fs from 'node:fs'
const fns = JSON.parse(fs.readFileSync('subsets.json'))
const subsets = new Array(fns.length)
for (let fn_i = 0; fn_i < fns.length; fn_i++) {
const fn = fns[fn_i].str
subsets[fn_i] = new Set
for (let subfn_i = 0; subfn_i < fns.length; subfn_i++) {
if (fn_i == subfn_i) {
continue
}
const subfn = fns[subfn_i].str
let is_subfn = true
for (let char_i = 0; char_i < fn.length; char_i++) {
const char = fn[char_i]
const subchar = subfn[char_i]
if (char != subchar && subchar != 'x') {
is_subfn = false
break
}
}
if (is_subfn) {
subsets[fn_i].add(subfn_i)
}
}
}
console.log(subsets)
for (let subset_i = 0; subset_i < subsets.length; subset_i++) {
const subset = subsets[subset_i]
if (subset.size == 0) {
continue
}
const fn_name = fns[subset_i].name
console.log(fn_name)
for (const subfn_i of subset) {
const subfn_name = fns[subfn_i].name
console.log(fn_name + '->' + subfn_name)
}
}

View File

@ -0,0 +1,46 @@
[
{
"str": "0100x01x",
"name": "Y1"
},
{
"str": "01000011",
"name": "Y2"
},
{
"str": "0x1011xx",
"name": "Y3"
},
{
"str": "0x0100xx",
"name": "Y4"
},
{
"str": "0x1x11xx",
"name": "Y5"
},
{
"str": "010000xx",
"name": "Y6"
},
{
"str": "0x0x11xx",
"name": "Y7"
},
{
"str": "0xxxxxx1",
"name": "Y8"
},
{
"str": "00xxxx01",
"name": "Y9"
},
{
"str": "0010x1xx",
"name": "Yct"
},
{
"str": "00001001",
"name": "SKO"
}
]