Дошли руки собрать очередную версию LiveMath.
LiveMath — это LiveDVD, содержащий большой набор свободного математического ПО. Предполагается для использования в основном в демонстрационных целях, но может также использоваться для постоянной работы.
Картинка для привлечения внимания:
(на картинке слева вверху FriCAS считает интегралы в специальных функциях, а справа R выводит графики по данным, включенным в поставку для примера).
В этот раз LiveMath основан на Ubuntu 12.10 (Quantal), плюс некоторое количество дополнительного софта. LiveMath IV содержит (среди прочего):
Системы компьютерной алгебры:
- Maxima 5.27 (http://maxima.sourceforge.net) — полнофункциональная система аналитических вычислений.
- Fricas 1.1.8 (http://fricas.sourceforge.net) и OpenAxiom 1.4.1 (http://open-axiom.org) — обе актуальные версии мощной системы компьютерной алгебры Axiom.
- YaCas 1.3.2 (http://yacas.sourceforge.net) — еще одна система компьютерной алгебры.
- PARI/GP 2.5.1 (http://pari.math.u-bordeaux.fr/) — широко используемая компьютерно-алгебраическая система, разработанная для быстрых вычислений в теории чисел (факторизации, алгебраическая теория чисел, эллиптические кривые…).
- GAP 4r4p12 (http://www.gap-system.org/) — свободно распространяемый, открытый и расширяемый программный комплекс для применения в области вычислительной дискретной математики, в частности, теории групп.
- Mathomatic 15.8.2 (http://www.mathomatic.org/) — переносимая, универсальная программа, которая может решать, упрощать, группировать, дифференцировать, интегрировать и сравнивать алгебраические выражения.
Системы автоматизации доказательств:
- ACL2 4.3 (http://www.cs.utexas.edu/users/moore/acl2/) — язык программирования для моделирования компьютерных систем и средство, помогающее доказывать свойства этих моделей.
- Coq 8.3.pl4 (http://coq.inria.fr/) — система автоматизированного построения доказательств, с помощью которой, кроме всего прочего, была решена проблема четырех красок.
- Agda2 2.3.0 (http://wiki.portal.chalmers.se/agda/pmwiki.php) — язык программирования с зависимыми типами и система автоматизации доказательств.
- Prover9/Mace4, Otter и пр.
Системы численных вычислений:
- SciLab 5.3.3 (http://www.scilab.org/) — пакет научных программ для численных вычислений, предоставляющий мощное открытое окружение для инженерных и научных расчетов.
- GNU Octave 3.6.2 (http://www.octave.org/) — язык высокого уровня, предназначенный для выполнения математических вычислений;
- FreeMat 4.0 (http://freemat.sourceforge.net/) — свободная среда для быстрой разработки, научного прототипирования и обработки данных, имеет интерфейс и синтаксис языка, подобные MatLab.
- Yorick 2.2.02 (http://yorick.sourceforge.net/) -специализированный С-подобный язык для создания симуляторов с упором на скорость вычислений.
- Dynare 4.3.0 (http://www.dynare.org/).
Образовательные программы:
- Kig 4.9.2 (http://edu.kde.org/kig/), Geogebra 4.0.34.0 (http://geogebra.org), DrGeo 1.1.0 — интерактивная геометрия.
- KAlgebra 4.9.2
- KMPlot 4.9.2 — средство для построения графиков.
Обработка и визуализация данных:
- Gnuplot 4.6.0
- Mayavi2 4.1.0 (http://code.enthought.com/projects/mayavi/#Mayavi2) — открытый пакет научной 2D и 3D визуализации данных.
- OpenDX 4.4.4 (http://www.opendx.org/) — программное средство для анализа данных в графическом виде, визуализации научных данных.
- GGobi 2.1.10 (http://www.ggobi.org/) — среда визуализации многомерных данных;
- QtiPlot 0.9.8.8 — позиционируется как замена для Microcal Origin — программа для несложной статистической обработки данных, построения всяческих графиков.
- Grace 5.1.22 (http://plasma-gate.weizmann.ac.il/Grace/) — программа для подготовки двумерных графиков по чис

Декорирование туалетного столика
Сегодня очень модно в интерьере использовать старинные вещи, среди желаемых вещей и старинная мебель. Поэтому каждая модница считает просто своим долгом завладеть раритетным чайным столиком или трюмо. В поисках сокровищ они становятся завсегдатаями на блошиных рынках и антикварных магазинах, совершенно не подозревая, что клад можно отыскать у бабушки на чердаке. Старинная мебель делалась на века, и если ее привести в порядок, она еще сослужит службу не одному поколению и станет гордостью любой современной барышни. Декорировать туалетный столик можно разными способами: в технике декупаж или же росписью. Сегодня мы покажем, как легко расписать туалетный столик.
Беременность и сахарный диабет
Еще четверть века тому назад женщине с сахарным диабетом крайне трудно было выносить и родить здорового ребенка. В более чем четверти случаев такая беременность заканчивалась гибелью плода. Но сегодня, благодаря последним достижениям в сфере медицины, женщины с таким диагнозом могут позволить себе иметь здорового ребенка. Беременность у женщин, которые страдают сахарным диабетом, сопряжена с определенной долей риска. Это заболевание оказывает крайне негативное влияние на внутриутробное развитие плода. Для того чтобы минимизировать риск возникновения серьезных проблем во время беременности, необходимо проконсультироваться со специалистами женской консультации до ее наступления. Для этого лучше посетить МОНИИАГ. Прием фолиевой кислоты до зачатия сокращает вероятность возникновения внутриутробных пороков. Также одним из важных пунктов планирования беременности является стабильная компенсация сахарного диабета. Другими словами, уровень глюкозы в крови должен поддерживаться на уровне 6,1 ммоль/л натощак и 7,8 ммоль/л через два часа после еды. Если в течение двух-трех месяцев уровень глюкозы в крови окажется оптимальным, в этом случае можно перестать предохраняться. Период ожидания ребенка у женщин, страдающих сахарным диабетом, имеет свои специфические особенности. Помимо регулярных визитов к гинекологу, ей надо будет наблюдаться у эндокринолога, офтальмолога и других специалистов городской больницы №7 Москвы, которые будут тщательно следить за ее состоянием, выявлять и устранять возможные осложнения сахарного диабета. Нередки случаи, когда беременную женщину с сахарным диабетом госпитализируют в больницу. Это может произойти на 4-6 неделе беременности, 21-23 и 31-32. В первом случае госпитализация может потребоваться для того, чтобы врачи могли убедиться, что беременность протекает нормально, во втором случае для того, чтобы подкорректировать дозу инсулина. Ну и наконец, на 7-м месяце беременности врачи должны принять решение, как женщина будет рожать. Различают три вида сахарного диабета: сахарный диабет I типа (инсулинозависимый), II типа (инсулинонезависимый) и III типа (гестационный). Гестационным называют диабет, развивающийся после 28 недели беременности. Он вызван транзиторным нарушением утилизации глюкозы у беременных женщин. Гестационный диабет встречается довольно редко. Среди факторов риска развития сахарного диабета этого типа специалисты называют наследственную предрасположенность, избыточную массу тела, рождение детей, масса которых была более 4 кг, а также ряд отклонений от физиологического течения беременности (многоводие, крупный плод и т.д.) Беременным женщинам, которые страдают сахарным диабетом, акушер-гинеколог больницы к которой она прикреплена обязан дать рекомендации по соблюдению определенной диеты. Рацион должен быть обогащен продуктами, в состав которых входит вода, витамины, клетчатка. Потребление жиров, таких как сыры высокой жирности, жирные сорта мяса и рыбы, сливочное масло и т.д., должны быть сведены к минимуму. Потребление богатых белком продуктов (рыба, каши, молочные продукты и т.д.), а также макаронных изделий должно быть умеренным. Мясо и рыбу лучше готовить на пару либо отваривать.
Острый и пикантный салат Тако

Вкусная свиная корейка

Сочный кус-кус с курицей


