Научные публикации AMAGI/ALTHEA

04 /

Наука: что и для чего

Каждая публикация — не самоцель, а шаг к заслонам: доказательство работоспособности, основа для регуляторики и лицензирования.

Опубликовано

CRISPR-TTP (ALTHEA)

Frontiers in Genetics (Q1), 11.02.2026

Что это

Полная архитектурная спецификация платформы ALTHEA + SOP v2.0: CRISPR-Cas9 редактирование, FUS-доставка, ИИ-координация, 21-дневный GMP-процесс.

Для чего

Доказывает, что биомолекулярный заслон работает; основа для регуляторных одобрений (EMA, FDA, Минздрав) и воспроизводимости в любой клинике.

doi:10.3389/fgene.2026.1727708 ↗

В рецензии

AMAGI Framework — IEEE TCAD

IEEE Trans. on Computer-Aided Design · TCAD-2026-1011

Что это

Формальная верификация hardware-enforced AI safety: SPIN (25,9M состояний, 15 LTL-свойств), FMEDA (SIL 2), шесть инвариантов.

Для чего

Математическое доказательство, что аппаратный заслон верифицируем и соответствует IEC 61508 / EU AI Act; основа для сертификации и лицензирования (S-APL).

Признание

ICHMT 2026 — научный комитет

Приглашённый член научного комитета · 2026

Что это

Приглашение войти в научный комитет международной конференции ICHMT 2026: рецензирование и отбор докладов по профилю аппаратной безопасности и надёжных систем.

Для чего

Международное признание экспертизы; участие в формировании исследовательской повестки и независимая оценка работ по направлению AMAGI.

Zenodo (25+) ↗ Google Scholar ↗ ORCID ↗ GitHub ↗

★ /

Полный реестр публикаций Zenodo

16 документов AMAGI/AGIAM/ALTHEA на Zenodo. Обновляется автоматически из базы данных сайта.

Загрузка публикаций...

06.1 /

Траектория развития

От первых спецификаций на Zenodo (11.2025) до IEEE TCAD и перспективы ASIC — путь архитектуры AMAGI.

11.2025 CRISPR-TTP · первая публикация ALTHEA / CRISPR-TTP Integrated Bioengineering Architecture v2 на Zenodo. DOI: 10.5281/zenodo.17676423. Первая публичная спецификация платформы прецизионной биоинженерии.

11.2025 AMAGI · NIPU и MEM v1.1 Публикация AMAGI-NIPU v1.1 на Zenodo (DOI: 10.5281/zenodo.20753401) и AMAGI-MEM v1.1 (DOI: 10.5281/zenodo.20753402). Processor-level и memory-level спецификации архитектуры — обновлённые версии с шестью инвариантами.

06.2026 AMAGI Framework v2.0 Публикация AMAGI Framework v2.0 на Zenodo (DOI: 10.5281/zenodo.20753400). Common Criteria Protection Profile (ISO/IEC 15408), шесть аппаратных инвариантов, TTP-триада, IEC 61508 SIL 2.

06.2026 AMAGI Open Specification v1.1 Публикация AMAGI Open Specification v1.1 на Zenodo (DOI: 10.5281/zenodo.20753403). Нормативная спецификация шести инвариантов (INV-001 — INV-006), TCB ≤ 500 строк HDL, обязательные протоколы аудита.

02.2026 Регистрация ООО «АЛТЕЯ» ИНН 4217214140, ОГРН 1264200000900. ОКВЭД 62.01 — разработка ПО. Новокузнецк, Кемеровская обл. — Кузбасс.

02.2026 Frontiers Q1 · CRISPR-TTP опубликовано Опубликовано: «Genomic innovation in precision oncology: integrated CRISPR-TTP bioengineering architecture for Ewing sarcoma» в Frontiers in Genetics (Q1), 11 февраля 2026. DOI: 10.3389/fgene.2026.1727708. Развитие первой Zenodo-публикации от 11.2025 до рецензируемой журнальной статьи.

06.2026 AMAGI v2.0 · обновление спецификаций Публикация обновлённых версий на Zenodo: Framework v2.0 (18.06), NIPU v1.1, MEM v1.1, Open Spec v1.1 (18.06), S-APL v2.0 (19.06). Формальная верификация SPIN: 25,9M состояний, 15 LTL.

06.2026 IEEE TCAD · подано «AMAGI: A Formal Verification Framework for Hardware-Enforced AI Safety». Manuscript ID: TCAD-2026-1011. Проходит рецензию.

06.2026 AMAGI · FMEDA + HARA + AGIAM Charter Три новых документа на Zenodo: FMEDA v1.0 (DOI: 10.5281/zenodo.20753410) — λ_DU=18.9 FIT, SFF = 93%, PFD_avg=6.9×10⁻⁵; HARA v1.0 (DOI: 10.5281/zenodo.20753408) — hazard analysis per IEC 61508-1/3 и ISO 26262-3; AGIAM Charter v1.2 (DOI: 10.5281/zenodo.20753872) — founding charter для AGIAM Technologies Ltd, Shamir 3-of-5 succession, ZKP audit protocol, Wassenaar dual-use compliance.

06.2026 AMAGI · S-APL v2.0 + Architectural Class Definition Публикация S-APL v2.0 (DOI: 10.5281/zenodo.20753406) — master license для всех AMAGI implementations; Architectural Class Definition v1.1 (DOI: 10.5281/zenodo.20145198) — institutional anchor, binary compliance 6/6 invariants, Reduced Assurance Mode 5/6.

«Интеллект без архитектурного доверия недостаточен для систем, критических для безопасности. ИИ может вычислять решения, но только архитектура определяет, могут ли эти решения быть исполнены.»

ООО «АЛТЕЯ»

althea-tech.ru

Изучить AMAGI → Наше мировоззрение