Новосибирский государственный технический университет

Настоящая монография является частью исследования сложной ди- намической системы многоотраслевых образовательных правоотноше- ний, исследуется в частности его гражданско-правовой блок. Договор возмездного оказания образовательных услуг рассматри- вается как субинститут гражданского права, юридический факт и воз- никающее из него правоотношение. Рассмотрены вопросы ответствен- ности за нарушение обязательства возмездного оказания услуг, его изменения и прекращения. Анализируется практика договорной работы некоторых регионов Западной Сибири.

В монографии освещается один из наиболее актуальных вопросов уголовно-процессуальной теории и деятельности - виды уголовнопроцессуальных доказательств, разработанные на основе исследованных необходимых и достаточных признаков доказательства, а также его свойств - относимости и допустимости.

Рассмотрены расчет и проектирование виброизолирующих подве-сок энергетических установок с нелинейными электромагнитными компенсаторами жесткости. Предложена методика проектирования виброизолирующих подвесок.

Работа посвящена исследованию возможностей метода механиче-ских воздействий на твердые тела для создания новых материалов и материалов с улучшенными характеристиками. Основная цель работы - установление закономерностей протекания физико-химических процессов в твердых неорганических веществах, возникающих при механохимических воздействиях, а также исследование влияния ме-ханической обработки на реакционную способность твердых тел с по-следующим использованием этих знаний для создания технологий синтеза керамических и композиционных материалов с улучшенными свойствами. В работе предложены методы оценки эффективности ме-ханического воздействия на обрабатываемое вещество аппаратов, ис-пользуемых в качестве химических реакторов. На основе обнаруженных закономерностей разрушения и агрегации твердых тел под влиянием механических воздействий разработаны методы выделения мельчайших частиц твердых веществ и их агрегатов для создания материалов с новыми свойствами.

Метрическая теория программ, созданная М. Холстедом около трех десят- ков лет назад, в данном учебнике изложена концептуально и математически как одно из приложений алгоритмической теории сложности. Это позволило придать ей не только логическую последовательность, но и уточнить смысл базовых понятий; кроме того, впервые дать строгую оценку точности основ- ных соотношений, составляющих ядро расчетных методов программной ин- женерии. Предложенный в учебнике алгоритм расчета характеристик и тру- доемкости программного обеспечения является, по существу, аналогом мето- да функциональных точек, параметры и количество которых определяются на основе этой теории.