| Версія | 5.5.2 |
|---|---|
| Выдавец | David Baldwin |
| Дата выпуску | 17 жні 2020 г. |
| Дата дададзена | 17 жні 2020 г. |
| Патрабаванні да ОС | Windows 10, Windows 2003, Windows 8, Windows Vista, Windows, Windows Server 2008, Windows 7, Windows XP |
| Патрабаванні | .NET Framework 2.0 |
| Усяго загрузак | 12 279 |
| Загрузкі ў тыдзень | 1 |
| Кошт | Free |
Апісанне
Simple Solver - гэта бясплатнае прыкладанне для Windows, якое можа спрасціць камп'ютэрныя лагічныя сістэмы, лагічныя ўраўненні і табліцы праўдзівасці. Дадатак уключае ў сябе шэсць розных інструментаў: лагічнае маляванне, лагічнае мадэляванне, аўтаматычнае лагічнае праектаванне, лагічны, перастаноўка і выпадковы лік. Гэтыя інструменты створаны на аснове шматгадовага вопыту інжынернага праектавання і прызначаны як для адукацыйнага, так і для прамысловага выкарыстання. Праграмнае забеспячэнне даступна для загрузкі бясплатна.
Logic Design Draw - іерархічны інструмент WYSIWYG, які дазваляе карыстальніку ў інтэрактыўным рэжыме ствараць лагічную прынцыповую схему і запускаць мадэляванне схемы. Лагічныя схемы могуць быць вельмі простымі, такімі як логіка і-або, або складацца з сотняў частак. Прадугледжаны як асноўныя часткі (лагічныя вароты, трыгеры), так і будаўнічыя блокі MSI (сярэднемаштабная інтэграцыя). Выкарыстоўваючы блокі, можна будаваць вялікія іерархічныя канструкцыі - напрыклад, невялікія кампутары. Камп'ютэрнае лагічнае мадэляванне - ацэньвае як функцыянальнасць лагічнай схемы, так і праблемы з сінхранізацыяй, такія як час наладкі і ўтрымання трыгера, умовы гонкі і збоі/скачкі. Падтрымліваюцца ўсе тыпы і канфігурацыі схемы: камбінацыйная, паслядоўная, сінхронная і асінхронная. Logic Design Auto - аўтаматычнае праектаванне невялікіх лічбавых лагічных схем і канечных аўтаматаў з часовых дыяграм або табліц праўдзівасці. Лагічны - Стварае мінімізаваныя лагічныя ўраўненні з лагічных ураўненняў або ўваходных дадзеных табліцы ісціны. Фарматы лагічных аператараў падтрымліваюцца для розных моў, уключаючы: ABEL, C, C++, PALASM, VB, Verilog і VHDL. Праграмнае забеспячэнне выкарыстоўвае алгарытмы Quine-McCluskey і Espresso (UC Berkeley) для аптымізацыі мінімізацыі. Перастаноўка - стварае перастаноўкі лікаў з зададзенага базавага ліку і зададзенай колькасці лічбаў. Можа выкарыстоўвацца для розных прыкладанняў, такіх як стварэнне табліц двайковых, васьмярковых або дзесятковых лікаў. Выпадковы лік - генеруе ад 1 да 99 999 выпадковых лікаў у вызначаным дыяпазоне ад -99 999 да 99 999.
Асноўныя дэталі
- Спрасціце камп'ютэрную логіку, лагічныя ўраўненні і табліцы праўдзівасці
- Апошняе абнаўленне 17.08.20
- За апошнія 6 месяцаў было зроблена 3 абнаўлення
- Бягучая версія мае 0 сцягоў на VirusTotal
Агляд
Рэпетытары і студэнты логікі і камп'ютэрнага праграмавання знойдуць гэта дадатак для мінімізацыі, спрашчэння і скарачэння колькасці булевых ураўненняў і лічбавых лагічных схем як зручны набор інструментаў для паляпшэння разумення.
Simple Solver запускае даволі просты, але функцыянальны інтэрфейс. Вялікае, у асноўным пустое акно ўключае ў сябе выбар кнопак і сцяжкоў, якія суправаджаюць дзве панэлі або раздзелы сярэдняга памеру, у залежнасці ад працэсу, які выконваецца. Дзве панэлі або раздзелы служаць рэдактарам для ўводу ўраўненняў або крытэрыяў і для адлюстравання вынікаў працэсаў, якія выконваюцца з указанымі ўраўненнямі. Адсутнасць мітусні ў інтэрфейсе забяспечвае яснасць, якая дапамагае засяродзіць увагу карыстальніка на аперацыях прыкладання - яркія колеры і мудрагелісты дызайн не ўплываюць на чорна-белыя факты матэматыкі.
Гэты бясплатны набор інструментаў паказаў сябе вельмі добра падчас нашых тэстаў. Ён хутка рэагаваў на ўсе нашы пстрычкі і каманды. Нам спадабаўся набор прыкладаў ураўненняў, убудаваных у Simple Solver, якія даюць рэпетытарам добрую аснову для вывучэння булевых ураўненняў, функцыі перастаноўкі, выпадковых лікаў, функцыі мадэлявання і функцыі сінтэзу. Выбар працэсу для запуску быў вельмі простым пытаннем выбару сцяжка: мінімізаваць, інвертаваць і мінімізаваць, табліцу праўдзівасці, сартаваць імёны і паказваць толькі апошнія для лагічных працэсаў і падобныя простыя выбары для іншых працэсаў. Нам таксама спадабалася, што мы можам друкаваць увод або вывад, дазваляючы настаўнікам вельмі лёгка ствараць навучальны дапаможнік або тэст. Нам хацелася, каб мы маглі захоўваць элементы ў іншых фарматах, акрамя тэксту, але прынамсі файлы з тэкставым фарматам можна канвертаваць у іншыя фарматы.
