ada/lr_miad_nn
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Compare commits

base: ada/lr_miad_nn:feature/formulas
Branches Tags
ada/lr_miad_nn:main ada/lr_miad_nn:feature/formulas
..
compare: ada/lr_miad_nn:7cce8921ab2bcf7e91b671d0b1716f7e82a78789
Branches Tags
ada/lr_miad_nn:main ada/lr_miad_nn:feature/formulas
1 Commits
feature/formulas .. 7cce8921ab
Author SHA1 Message Date
Dmitry 7cce8921ab Update Gemfile.lock to remove unused dependencies and add webrick; add footer to index.erb with copyright information 2026-05-17 16:25:57 +03:00
6 changed files with 26 additions and 270 deletions
Expand all files Collapse all files
.gitea/workflows/deploy.yml
-21
View File
@@ -1,21 +0,0 @@
name: Build and Push
on:
push:
branches: [main]
jobs:
build:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v3
- name: Login to registry
run: |
echo "${{ secrets.REGISTRY_PASSWORD }}" | \
docker login git.ada-dev.ru -u ${{ secrets.REGISTRY_USER }} --password-stdin
- name: Build and push
run: |
docker build -t git.ada-dev.ru/ada/${{ gitea.repository }}:latest .
docker push git.ada-dev.ru/ada/${{ gitea.repository }}:latest
app.rb
+1 -40
View File
@@ -4,7 +4,6 @@ require_relative 'loader'
require_relative 'functions' require_relative 'functions'
require_relative 'hopfield' require_relative 'hopfield'
require_relative 'hamming' require_relative 'hamming'
require_relative 'trace'
EPS = 0.01 EPS = 0.01
@@ -51,7 +50,7 @@ post '/recall_steps' do
MAX_MAXNET_ITER.times do MAX_MAXNET_ITER.times do
nxt = maxnet_step(outputs, eps) nxt = maxnet_step(outputs, eps)
hamming_steps << nxt.map { |v| v.round(2) } hamming_steps << nxt.map { |v| v.round(2) }
break if nxt.count { |v| v > 1e-9 } <= 1 break if nxt.count { |v| v > 0 } <= 1
outputs = nxt outputs = nxt
end end
@@ -65,44 +64,6 @@ post '/recall_steps' do
}.to_json }.to_json
end end
post '/recall_trace' do
content_type :json
noisy = JSON.parse(request.body.read)['vector'].map(&:to_f)
hopfield_steps = [noisy.map(&:to_i)]
hopfield_nets = []
current = noisy.dup
MAX_HOPFIELD_ITER.times do
net = trace_hopfield_step(WEIGHTS, current)
nxt = net.map { |v| v >= 0 ? 1 : -1 }
changed = current.each_with_index.count { |v, i| v.to_i != nxt[i] }
hopfield_nets << { net: net.map { |v| v.round(3) }, changed: changed }
hopfield_steps << nxt
break if vectors_equal?(current, nxt)
current = nxt
end
eps_val = 0.9 / PATTERN_VECTORS.length
outputs = hamming_layer(PATTERN_VECTORS, noisy)
hamming_steps = [outputs.map { |v| v.round(2) }]
MAX_MAXNET_ITER.times do
nxt = maxnet_step(outputs, eps_val)
hamming_steps << nxt.map { |v| v.round(2) }
break if nxt.count { |v| v > 1e-9 } <= 1
outputs = nxt
end
winner_idx = outputs.each_with_index.max_by { |v, _| v }[1]
{
hopfield_steps: hopfield_steps,
hopfield_nets: hopfield_nets,
hamming_steps: hamming_steps,
pattern_names: PATTERN_NAMES,
hamming_winner: PATTERN_NAMES[winner_idx],
hamming_trace: hamming_trace(PATTERN_VECTORS, noisy)
}.to_json
end
post '/recall' do post '/recall' do
content_type :json content_type :json
noisy = JSON.parse(request.body.read)['vector'].map(&:to_f) noisy = JSON.parse(request.body.read)['vector'].map(&:to_f)
hamming.rb
+2 -2
View File
@@ -13,7 +13,7 @@ def maxnet_step(outputs, eps)
end end
end end
MAX_MAXNET_ITER = 100 MAX_MAXNET_ITER = 500
def recall_hamming(pattern_vectors, input_vec) def recall_hamming(pattern_vectors, input_vec)
eps = 0.9 / pattern_vectors.length eps = 0.9 / pattern_vectors.length
@@ -21,7 +21,7 @@ def recall_hamming(pattern_vectors, input_vec)
outputs = hamming_layer(pattern_vectors, input_vec) outputs = hamming_layer(pattern_vectors, input_vec)
MAX_MAXNET_ITER.times do MAX_MAXNET_ITER.times do
next_out = maxnet_step(outputs, eps) next_out = maxnet_step(outputs, eps)
return next_out.each_with_index.max_by { |v, _| v }[1] if next_out.count { |v| v > 1e-9 } <= 1 return next_out.each_with_index.max_by { |v, _| v }[1] if next_out.count { |v| v > 0 } <= 1
outputs = next_out outputs = next_out
end end
loader.rb
-2
View File
@@ -1,6 +1,4 @@
require 'roo' require 'roo'
require 'zip'
Zip.warn_invalid_date = false
def load_patterns(file) def load_patterns(file)
xlsx = Roo::Spreadsheet.open(file) xlsx = Roo::Spreadsheet.open(file)
trace.rb
-18
View File
@@ -1,18 +0,0 @@
def trace_hopfield_step(weights, vector)
n = vector.length
Array.new(n) { |i| n.times.sum { |j| weights[i][j] * vector[j] } }
end
def hamming_trace(pattern_vectors, input_vec)
n = input_vec.length
k = pattern_vectors.length
dots = pattern_vectors.map { |pv| pv.zip(input_vec).sum { |a, b| a * b } }
initial = dots.map { |dot| (dot.to_f + n) / 2.0 }
{
eps: (0.9 / k).round(6),
k: k,
n: n,
dot_products: dots,
initial_outputs: initial.map { |v| v.round(2) }
}
end
views/index.erb
+23 -187
View File
@@ -3,8 +3,6 @@
<head> <head>
<meta charset="UTF-8"> <meta charset="UTF-8">
<title>Сети Хопфилда и Хэмминга</title> <title>Сети Хопфилда и Хэмминга</title>
<link rel="stylesheet" href="https://cdn.jsdelivr.net/npm/katex@0.16.11/dist/katex.min.css">
<script defer src="https://cdn.jsdelivr.net/npm/katex@0.16.11/dist/katex.min.js"></script>
<style> <style>
* { box-sizing: border-box; margin: 0; padding: 0; } * { box-sizing: border-box; margin: 0; padding: 0; }
@@ -186,60 +184,6 @@
#results-section { display: none; } #results-section { display: none; }
#trace-panels {
display: flex;
gap: 1rem;
margin-top: 1.5rem;
flex-wrap: wrap;
}
.trace-panel {
flex: 1;
min-width: 220px;
background: #1e1e3a;
border: 1px solid #3a3a5a;
border-radius: 6px;
padding: 0.75rem 1rem;
font-size: 0.88rem;
color: #b0c4e8;
line-height: 1.8;
max-height: 420px;
overflow-y: auto;
}
.trace-panel-title {
font-family: monospace;
font-size: 0.75rem;
color: #8ab4f8;
text-transform: uppercase;
letter-spacing: 0.08em;
margin-bottom: 0.5rem;
border-bottom: 1px solid #3a3a5a;
padding-bottom: 0.3rem;
}
.trace-line {
font-family: monospace;
font-size: 0.82rem;
color: #888;
padding-left: 0.5rem;
}
.trace-header {
font-family: monospace;
font-size: 0.8rem;
color: #8ab4f8;
text-transform: uppercase;
letter-spacing: 0.05em;
margin-top: 0.5rem;
}
.trace-formula {
padding: 0.2rem 0;
}
.katex { color: #e8d8ff; }
#loading { #loading {
display: none; display: none;
align-items: center; align-items: center;
@@ -297,9 +241,6 @@
<span id="delay-label">300 мс</span> <span id="delay-label">300 мс</span>
</span> </span>
</label> </label>
<label class="step-toggle">
<input type="checkbox" id="formula-mode"> Показывать формулы вычислений
</label>
<div class="recall-area"> <div class="recall-area">
<div class="pattern-box"> <div class="pattern-box">
@@ -311,17 +252,6 @@
</div> </div>
</div> </div>
<div id="trace-panels" style="display:none">
<div class="trace-panel">
<div class="trace-panel-title">Хопфилд</div>
<div id="trace-hopfield"></div>
</div>
<div class="trace-panel">
<div class="trace-panel-title">Хэмминг</div>
<div id="trace-hamming"></div>
</div>
</div>
<div id="results-section"> <div id="results-section">
<div class="net-results"> <div class="net-results">
<div class="net-block"> <div class="net-block">
@@ -360,68 +290,15 @@
}); });
}); });
let currentRunId = 0; const stepModeCheckbox = document.getElementById('step-mode');
const speedControl = document.getElementById('speed-control');
const stepModeCheckbox = document.getElementById('step-mode'); const stepDelaySlider = document.getElementById('step-delay');
const formulaModeCheckbox = document.getElementById('formula-mode'); const delayLabel = document.getElementById('delay-label');
const speedControl = document.getElementById('speed-control');
const stepDelaySlider = document.getElementById('step-delay');
const delayLabel = document.getElementById('delay-label');
stepModeCheckbox.addEventListener('change', () => { stepModeCheckbox.addEventListener('change', () => {
speedControl.classList.toggle('visible', stepModeCheckbox.checked); speedControl.classList.toggle('visible', stepModeCheckbox.checked);
}); });
function traceEl(panelId, className, content, isLatex = false) {
const panel = document.getElementById(panelId);
const el = document.createElement('div');
el.className = className;
if (isLatex) {
el.innerHTML = katex.renderToString(content, { throwOnError: false, displayMode: false });
} else {
el.textContent = content;
}
panel.appendChild(el);
panel.scrollTop = panel.scrollHeight;
}
const hfLine = (text) => traceEl('trace-hopfield', 'trace-line', text);
const hfFormula = (tex) => traceEl('trace-hopfield', 'trace-formula', tex, true);
const hmLine = (text) => traceEl('trace-hamming', 'trace-line', text);
const hmFormula = (tex) => traceEl('trace-hamming', 'trace-formula', tex, true);
function clearTrace() {
document.getElementById('trace-hopfield').innerHTML = '';
document.getElementById('trace-hamming').innerHTML = '';
document.getElementById('trace-panels').style.display = 'none';
}
function buildTrace(data) {
document.getElementById('trace-panels').style.display = 'flex';
const names = data.pattern_names;
const t = data.hamming_trace;
hfFormula(String.raw`s_j(p{+}1) = \sum_{i=0}^{n-1} w_{ij}\,y_i(p)`);
hfFormula(String.raw`y_j(p{+}1) = f\!\left[s_j(p{+}1)\right], \quad f(s)=\begin{cases}1&s\geq0\\-1&s<0\end{cases}`);
data.hopfield_nets.forEach((nd, i) => {
const mark = nd.changed === 0 ? ' ← сошлось' : '';
hfLine(`p=${i + 1}: изменено ${nd.changed}/64${mark}`);
});
hmFormula(String.raw`w_{ik} = \tfrac{x_i^k}{2}, \quad T_k = \tfrac{n}{2}`);
hmFormula(String.raw`y_j^{(1)} = \sum_{i=0}^{n-1} w_{ij}\,x_i + T_j`);
const layer = names.map((n, i) => `${n}\\!=\\!${t.initial_outputs[i]}`).join(',\\;');
hmFormula(String.raw`y_j^{(2)}(0) = y_j^{(1)}:\;` + layer);
hmFormula(String.raw`0 < \varepsilon < \tfrac{1}{m},\quad \varepsilon = \tfrac{0.9}{${t.k}} = ${t.eps}`);
hmFormula(String.raw`s_j^{(2)}(p{+}1) = y_j^{(2)}(p) - \varepsilon\!\sum_{k \neq j} y_k^{(2)}(p)`);
hmFormula(String.raw`y_j^{(2)}(p{+}1) = f\!\left[s_j^{(2)}(p{+}1)\right]`);
data.hamming_steps.slice(1).forEach((step, i) => {
const vals = names.map((n, j) => `${n}\\!=\\!${step[j]}`).join(',\\;');
hmFormula(`p=${i + 1}:\\; y^{(2)} = [\\;` + vals + `\\;]`);
});
hmFormula(String.raw`\Rightarrow \text{победитель: } \mathbf{` + data.hamming_winner + `}`);
}
stepDelaySlider.addEventListener('input', () => { stepDelaySlider.addEventListener('input', () => {
delayLabel.textContent = stepDelaySlider.value + ' мс'; delayLabel.textContent = stepDelaySlider.value + ' мс';
}); });
@@ -431,17 +308,12 @@
.map(c => parseFloat(c.dataset.val)); .map(c => parseFloat(c.dataset.val));
} }
function hideResults() {
document.getElementById('results-section').style.display = 'none';
clearTrace();
}
function clearGrid() { function clearGrid() {
document.querySelectorAll('#input-grid .cell').forEach(c => { document.querySelectorAll('#input-grid .cell').forEach(c => {
c.dataset.val = '-1'; c.dataset.val = '-1';
c.className = 'cell interactive off'; c.className = 'cell interactive off';
}); });
hideResults(); document.getElementById('results-section').style.display = 'none';
} }
function randomNoise() { function randomNoise() {
@@ -450,7 +322,7 @@
c.dataset.val = v; c.dataset.val = v;
c.className = 'cell interactive ' + (v === '1' ? 'on' : 'off'); c.className = 'cell interactive ' + (v === '1' ? 'on' : 'off');
}); });
hideResults(); document.getElementById('results-section').style.display = 'none';
} }
function vectorsEqual(a, b) { function vectorsEqual(a, b) {
@@ -485,24 +357,17 @@
}); });
} }
async function showSteps(data, runId) { async function showSteps(data) {
const delay = parseInt(stepDelaySlider.value); const delay = parseInt(stepDelaySlider.value);
const cells = [...document.querySelectorAll('#output-grid .cell')]; const cells = [...document.querySelectorAll('#output-grid .cell')];
const names = data.pattern_names; const names = data.pattern_names;
const showTrace = formulaModeCheckbox.checked && data.hopfield_nets;
document.getElementById('results-section').style.display = 'block'; document.getElementById('results-section').style.display = 'block';
document.getElementById('hamming-answer').textContent = '—'; document.getElementById('hamming-answer').textContent = '—';
document.getElementById('hamming-label').textContent = ''; document.getElementById('hamming-label').textContent = '';
document.getElementById('hopfield-label').textContent = ''; document.getElementById('hopfield-label').textContent = '';
if (showTrace) { // Инициализируем бары
clearTrace();
document.getElementById('trace-panels').style.display = 'flex';
hfFormula(String.raw`s_j(p{+}1) = \sum_{i=0}^{n-1} w_{ij}\,y_i(p)`);
hfFormula(String.raw`y_j(p{+}1) = f\!\left[s_j(p{+}1)\right], \quad f(s)=\begin{cases}1&s\geq0\\-1&s<0\end{cases}`);
}
renderBars(names, data.hamming_steps[0]); renderBars(names, data.hamming_steps[0]);
const hfSteps = data.hopfield_steps; const hfSteps = data.hopfield_steps;
@@ -514,36 +379,16 @@
renderGrid(cells, hfSteps[i]); renderGrid(cells, hfSteps[i]);
document.getElementById('hopfield-step').textContent = document.getElementById('hopfield-step').textContent =
i === 0 ? 'Шаг 0 — входной вектор' : `Шаг ${i} из ${hfSteps.length - 1}`; i === 0 ? 'Шаг 0 — входной вектор' : `Шаг ${i} из ${hfSteps.length - 1}`;
if (showTrace && i > 0 && data.hopfield_nets[i - 1]) {
const nd = data.hopfield_nets[i - 1];
const mark = nd.changed === 0 ? ' ← сошлось' : '';
hfLine(`p=${i}: изменено ${nd.changed}/64${mark}`);
}
} }
if (i < hmSteps.length) { if (i < hmSteps.length) {
renderBars(names, hmSteps[i]); renderBars(names, hmSteps[i]);
document.getElementById('hamming-step').textContent = document.getElementById('hamming-step').textContent =
i === 0 ? 'Шаг 0 — слой Хэмминга' : `Итерация MAXNET ${i} из ${hmSteps.length - 1}`; i === 0 ? 'Шаг 0 — слой Хэмминга' : `Итерация MAXNET ${i} из ${hmSteps.length - 1}`;
if (showTrace) {
const t = data.hamming_trace;
if (i === 0) {
hmFormula(String.raw`w_{ik} = \tfrac{x_i^k}{2}, \quad T_k = \tfrac{n}{2}`);
hmFormula(String.raw`y_j^{(1)} = \sum_{i=0}^{n-1} w_{ij}\,x_i + T_j`);
const layer = names.map((n, j) => `${n}\\!=\\!${t.initial_outputs[j]}`).join(',\\;');
hmFormula(String.raw`y_j^{(2)}(0) = y_j^{(1)}:\;` + layer);
hmFormula(String.raw`0 < \varepsilon < \tfrac{1}{m},\quad \varepsilon = \tfrac{0.9}{${t.k}} = ${t.eps}`);
hmFormula(String.raw`s_j^{(2)}(p{+}1) = y_j^{(2)}(p) - \varepsilon\!\sum_{k \neq j} y_k^{(2)}(p)`);
hmFormula(String.raw`y_j^{(2)}(p{+}1) = f\!\left[s_j^{(2)}(p{+}1)\right]`);
} else {
const vals = names.map((n, j) => `${n}\\!=\\!${hmSteps[i][j]}`).join(',\\;');
hmFormula(`p=${i}:\\; y^{(2)} = [\\;` + vals + `\\;]`);
}
}
} }
await sleep(delay); await sleep(delay);
if (runId !== currentRunId) return;
} }
// Итог Хопфилд
const hfFinal = hfSteps[hfSteps.length - 1]; const hfFinal = hfSteps[hfSteps.length - 1];
document.getElementById('hopfield-step').textContent = document.getElementById('hopfield-step').textContent =
`Завершено за ${hfSteps.length - 1} шаг(ов)`; `Завершено за ${hfSteps.length - 1} шаг(ов)`;
@@ -552,13 +397,13 @@
hfLabel.textContent = hfMatch ? `Совпадает с эталоном: ${hfMatch}` : 'Не совпадает ни с одним эталоном'; hfLabel.textContent = hfMatch ? `Совпадает с эталоном: ${hfMatch}` : 'Не совпадает ни с одним эталоном';
hfLabel.className = 'status-label ' + (hfMatch ? 'yes' : 'no'); hfLabel.className = 'status-label ' + (hfMatch ? 'yes' : 'no');
// Итог Хэмминг
document.getElementById('hamming-step').textContent = document.getElementById('hamming-step').textContent =
`Завершено за ${hmSteps.length - 1} итерац(ий)`; `Завершено за ${hmSteps.length - 1} итерац(ий)`;
document.getElementById('hamming-answer').textContent = data.hamming_winner; document.getElementById('hamming-answer').textContent = data.hamming_winner;
const hmLabel = document.getElementById('hamming-label'); const hmLabel = document.getElementById('hamming-label');
hmLabel.textContent = `Ближайший эталон: ${data.hamming_winner}`; hmLabel.textContent = `Ближайший эталон: ${data.hamming_winner}`;
hmLabel.className = 'status-label yes'; hmLabel.className = 'status-label yes';
if (showTrace) hmFormula(String.raw`\Rightarrow \text{победитель (}\,y_j^{(2)}\text{ max):}\;\mathbf{` + data.hamming_winner + `}`);
} }
function showResult(data) { function showResult(data) {
@@ -573,32 +418,24 @@
hfLabel.textContent = hfMatch ? `Совпадает с эталоном: ${hfMatch}` : 'Не совпадает ни с одним эталоном'; hfLabel.textContent = hfMatch ? `Совпадает с эталоном: ${hfMatch}` : 'Не совпадает ни с одним эталоном';
hfLabel.className = 'status-label ' + (hfMatch ? 'yes' : 'no'); hfLabel.className = 'status-label ' + (hfMatch ? 'yes' : 'no');
document.getElementById('hamming-answer').textContent = data.hamming_winner || data.hamming; document.getElementById('hamming-answer').textContent = data.hamming;
const hmLabel = document.getElementById('hamming-label'); const hmLabel = document.getElementById('hamming-label');
hmLabel.textContent = `Ближайший эталон: ${data.hamming_winner || data.hamming}`; hmLabel.textContent = `Ближайший эталон: ${data.hamming}`;
hmLabel.className = 'status-label yes'; hmLabel.className = 'status-label yes';
// Скрываем бары в обычном режиме
document.getElementById('maxnet-bars').innerHTML = ''; document.getElementById('maxnet-bars').innerHTML = '';
document.getElementById('results-section').style.display = 'block';
if (data.hopfield_nets && data.hopfield_nets.length) { document.getElementById('results-section').style.display = 'block';
clearTrace();
buildTrace(data);
}
} }
async function recall() { async function recall() {
const runId = ++currentRunId; const vector = getInputVector();
const vector = getInputVector(); const stepMode = stepModeCheckbox.checked;
const stepMode = stepModeCheckbox.checked; const endpoint = stepMode ? '/recall_steps' : '/recall';
const formulaMode = formulaModeCheckbox.checked;
const endpoint = formulaMode ? '/recall_trace'
: stepMode ? '/recall_steps'
: '/recall';
document.getElementById('loading').style.display = 'flex'; document.getElementById('loading').style.display = 'flex';
document.getElementById('results-section').style.display = 'none'; document.getElementById('results-section').style.display = 'none';
clearTrace();
try { try {
const resp = await fetch(endpoint, { const resp = await fetch(endpoint, {
@@ -606,12 +443,11 @@
headers: { 'Content-Type': 'application/json' }, headers: { 'Content-Type': 'application/json' },
body: JSON.stringify({ vector }) body: JSON.stringify({ vector })
}); });
if (runId !== currentRunId) return;
const data = await resp.json(); const data = await resp.json();
document.getElementById('loading').style.display = 'none'; document.getElementById('loading').style.display = 'none';
if (stepMode) { if (stepMode) {
await showSteps(data, runId); await showSteps(data);
} else { } else {
showResult(data); showResult(data);
} }
@@ -623,6 +459,6 @@
</script> </script>
</body> </body>
<footer style="margin-top:3rem; font-size:0.75rem; color:#666; text-align:center;"> <footer style="margin-top: 3rem; font-size: 0.8rem; color: #555; text-align: center;">
&copy; Created by Antipenko D.A. for MIAD - 2026 &copy; Визуализация работы сетей Хопфилда и Хэмминга by Антипенко Д.А. - 2026. Ruby/Sinatra
</html> </html>