Описание бетона м350: характеристики, состав, где применяется, цена за м3

Автор

Содержание

Бетон М350: состав, пропорции, применение.

Полное описание

Бетон М350 имеет конструкционное назначение и способен выдерживать значительные нагрузки, а также отлично переносит воздействие извне. Если вам необходимо приобрести бетон М350 в Домодедово, компания «Семиксбетон» поможет решить этот вопрос. Мы являемся производителем данного строительного материала и готовы предложить своим клиентам выгодные цены.

Сфера применения

В каких случаях стоит купить бетон М350, а смесь другой марки? Сфера его применения включает в себя:

  • Устройство монолитных фундаментов для объектов высокой ответственности.
  • Производство плит перекрытий для многоэтажного строительства.
  • Бетонирование опор.
  • Строительство автомагистралей и покрытий для аэродромов и так далее.
Хотите заказать бетон М350 с доставкой? Обращайтесь в компанию «Семиксбетон»!

Характеристики.

М350

Класс бетона по ГОСТу БСТ В25 П4 F200 W10
Высокая прочность. Сжимающая нагрузка, которую переносит бетонный монолит достигает 25 МПА, а это значит, он относится к классу В25. Существуют также определенные технологии приготовления смеси, позволяющие дополнительно увеличить показатель прочности.
Пластичность. Это показатель для бетона данной марки варьируется в диапазоне П2-П4. Вводя в состав смеси специальные пластификаторы, уровень подвижности можно увеличить.
Морозоустойчивость. Показатель морозоустойчивости — F200, что означает 200 циклом замораживания\оттаивания без разрушения монолита.
Водостойкость. Смесь соответствует показателю W8. Сам массив отличается плотной структурой без пор и воздушных полостей.
Плотность. Данная марка бетона обладает повышенной плотностью, благодаря чему монолит переносит даже экстремальные нагрузки и отличается повышенной износостойкостью.

Весь бетон строго по ГОСТу

Cтрогое соблюдение рецептур. Наша продукция соответствует всем требованиям ГОСТ и СНиП.

Мы — завод-производитель, не посредники!

Прямое сотрудничество без посредников.

Работаем круглосуточно без выходных дней.

Отгрузка производится круглосуточно, 24 часа, 7 дней в неделю.

Бетон М350: технические характеристики, состав

Точная подборка пропорций составных компонентов, следование инструкции по замесу и качественные ингредиенты делают бетон М350 наиболее востребованным в строительстве, особенно при сложных климатических условиях. Пластичность и гарантия прочности материала способствует использованию в конструировании сложных объектов.

Состав бетона: что включено?

Бетон марки М350 производится из высококачественных материалов. Основу его составляют пять элементов:

  • Цемент М400. Характеризуется высокой прочностью и устойчивостью к износу. Допускается использование цементных ингредиентов марки М500. Целесообразность ее применения определяет строитель.
  • Щебень для бетона или частички гравия. Важна чистота компонента и размер фракций. Идеальным считается диаметр частиц не более 25—30 мм. Это обеспечит качественное заполнение бетоном необходимого объема. Корректно подобранный компонент убережет конструкцию от трещин.
  • Песок. В отличие от иных видов, бетон марки В25 (М350) допускает использование песчинок любого размера. При этом требуется тщательное перемешивание сухих ингредиентов перед заливкой водой. Рекомендуется выбирать чистый песок, без посторонних примесей или грязи.
  • Добавки для усиления заявленных свойств. Пластификаторы способны повысить пластичность и удобство во время работы со смесью. Химические добавки с морозоустойчивыми характеристиками повышают сопротивление бетона температурным перепадам.
  • Вода. Позволяет перемешать сухие компоненты и сделать однородную массу. Регулируя количество жидкости, строители добиваются нужных свойств и скорости застывания. Вода чистая, без грязи или посторонних добавок.

Технические характеристики

С целью определения качества и состава продавец обязан выдать сертификат и паспорт на бетон В25, В20 и любого другого класса.

Реализатор обязан по первому требованию предоставить покупателю документацию на строительную смесь.

Определить сферу использования строительных материалов помогают их свойства. Перечень качеств определяют технические характеристики. Тяжелый бетон класса М350 обладает такими особенностями:

  • Смесь класса В20 (ранее С20). В отличие от класса В15, коэффициент прочности указывает на способность выдержать в среднем давление до 25 кПа на 1 см квадратный.
  • Уровень подвижности — П3. Готовая смесь в жидком состоянии заполняет весь объем заливаемой площади. При этом самостоятельно выравнивается.
  • Морозоустойчивость — F100. Сравнительно низкая, означает, что конструкция способна выдержать до 100 циклов перепада температур. Повысить показатель до F200 можно после добавления химических веществ при замесе.
  • Водонепроницаемость — W6. Говорит о допустимости применения в местах с высокой влажностью. При необходимости увеличивают коэффициент до W8.

Как производится?

Изготовить бетон можно на заводе строительных материалов или в домашних условиях, четко соблюдая пропорции. В первом варианте покупателю предоставляют технические условия и нормативные документы, согласно которым делали смесь. При домашнем приготовлении строители акцентируют внимание на соблюдение соотношений сухих компонентов и контроле качества исходных материалов. В состав входят: цемент разных марок, щебень или гравий, песок. Пропорции бетона М350:

  • 1 (М400):3,1:1,5;
  • 1 (М500):3,6:1,9.
Соблюдение пропорций — важное условие приготовления качественного раствора.

Дополнительные ингредиенты для повышения свойств добавляют при необходимости. Количество их подсчитывает строитель или компетентный человек. В последнюю очередь следует влить воду. Расход ее зависит от необходимой консистенции. В среднем соотношение цемента к воде 1:0,5 соответственно. Перемешивать компоненты можно как вручную, так и в бетономешалке.

Области применения

Марка бетона во многом определяет сферу использования готового раствора.

Сравнение показало, что бетон М350 (B25) способен выдерживать повышенные нагрузки. При этом сохраняются свойства и товарный вид конструкции. Строители предпочитают использование его для фундаментов крупных объектов, где придется выдерживать большую массу. Примером является сооружение перегородок между этажами и пролетов на лестничных площадках. Использование в тандеме с железными составляющими гарантирует надежность автомобильных дорог и мостовых перекрытий. А также бетонный раствор используют для заливки опор многоэтажных домов.

Преимущества и недостатки

Состав материала с использованием качественного сырья определяет достоинства бетонного раствора М350. Прежде всего — прочность. Свойство гарантирует долговечность постройки и отсутствие изъянов даже при климатических изменениях. Возможность регулировать морозоустойчивость и водонепроницаемость делают марку М350 особенно популярной. Высокая степень пластичности гарантирует удобство в работе. Плотность укладки и заполнения минимизирует количество пустот.

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

Характеристики бетона м350, гост и пропорции. Описание и характеристики бетона марки М350

Натуральный камень во все года считался самым прочным и долговечным строительным материалом. Себестоимость камня и сооружений из него слишком высока из-за больших затрат на его добычу, обработку, кладку. Поэтому были созданы аналоги природного камня — бетоны. Самым эффективным является бетон М350 В25 на основе портландцемента. Благодаря высоким характеристикам материал считается идеальным для возведения конструкционно сложных зданий и сооружений.

Состав и пропорции смеси

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

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

  1. Допускается использование песка с любым размером зерна: крупным, мелким и средним.
  2. Возможно применение щебня или гравия гранитного или известкового происхождения.

Свойство к быстрому застыванию обеспечивается высоким содержанием портландцемента в составе раствора B25. Товарный бетон М350 получают из портландцемента не ниже М400. На 10 кг смеси расход заполнителя составит: 15 кг песка плюс 31 кг щебенки. Если доступна марка цемента М500, то на 10 кг сухой смеси придется 19 кг песка и 36 кг щебенки.

В переводе массовых единиц в объемные:

  • на 10000 см куб. бетона В20 из цемента М400 следует взять 14 литров песка и 28 литров щебенки;
  • для 10000 см куб. бетона f100 из марки цемента М500 требуется расход 19 литров песка и 36 литров щебенки.

При расчете пропорций на объем 1м3 в массовом выражении понадобится:

  • 400 кг 500-го цемента;
  • 752 кг очищенного песка;
  • 1000 кг щебенки или гравия;
  • 175 литров воды.

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

Достоинства

Преимущества у этой марки многочисленны:

  1. Высокие прочностные качества в пределах 327 кгс на см кв. позволяют материалу противостоят максимальным нагрузкам.
  2. Высокая подвижность П2-П4 регулируются пластификаторами, поэтому эта величина может достигать еще больших показателей. Наиболее широко используется категория П3.
  3. Регулируемая морозостойкость в широком диапазоне от F50 до F200. Благодаря этому параметру можно добиться структурной целостности возводимой конструкции на весь срок эксплуатации в тяжелых условиях, вызванных резкими колебаниями температур.
  4. Стройматериалы класса водонепроницаемости W2-W8, существенно расширяет возможности использования материала. Это свойство обеспечивает высокую степень защиты от впитывания воды. При максимальной влагонепроницаемости материалы получают структуру без полостей или пузырей воздуха.
  5. Повышенная устойчивость к сжатию позволяет 1 см кв. материала выдержать давление до 8 кг.
  6. Изделие m350 отличается стойкостью к истиранию и сопротивляемостью к агрессивным средам.
  7. Высокая плотность 1800-2500 кг/м3 гарантирует надежность конструкций. Чаще применяются категории с объемным весом порядка 2200-2400 кг/м3.
  8. Экологичность и долговечность.

Недостатки

Несмотря на элитность и универсальность, марка М350 с25 В27 имеет технические недостатки:

  1. Высокая текучесть из-за применения пластификаторов, которые повышают подвижность до П3, что сужает область применения этой марки.
  2. Из-за большого количества цемента товарный бетон В25 быстро загустевает и твердеет, поэтому требуется быстрая доставка его к месту строительства.
  3. Стоимость 1м3 бетона этой категории высока, что вместе с затратами на доставку удорожает готовую конструкцию.

Области применения

Высокопрочный бетон м350 с20 с прочностью В27 и максимальной влагонепроницаемостью, устойчивостью к морозам F200 предназначен для сооружения многопустотных плит перекрытий, аэродромных плит и прочих строений, выдерживающих колоссальные нагрузки.

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

Сорта смеси m350 w6 в20 С25 относятся к категории тяжелых. Материалы подходят для возведения коттеджей, для сооружения ответственных , лестниц и пролетов, колодцев для канализаций и септиков, прочих объектов, способных выдерживать большие растягивающие давления.

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

Бетон марки М350 считается наиболее качественным и востребованным. Его применяют на стройках, где возводятся большие объекты.
После того как бетонный раствор полностью застывает, он довольно устойчив к физическим нагрузкам. Данная марка смеси лидирует своими характеристиками. Наиболее сильной стороной является значение прочности при его сжатии.
За счет своих высоких характеристик, бетон марки М350 имеет высокую скорость застывания, поэтому работать с ним очень удобно и комфортно.
Раствор изготавливается на заводах в больших масштабах и доставляется сразу на строительную площадку.

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

Бетон М350 характеристики имеют следующие:

Прочность данной марки бетона относят к классу В25, согласно этому допустимое давление на 1 квадратный метр может достигать 25 Мпа.
Бетон данной марки устойчив к любым температурам, в том числе сильным морозам. Его широко применяют на Крайнем Севере, так как показатели, заданные производителем, гарантируют, что бетонный раствор не потрескается от низких температур.
М350 имеет очень высокую водонепроницаемость. Конструкции из данного бетона допустимо строить вблизи от водоемов и на местности с высокой влажностью. Структура раствора не предполагает образования пузырьков и попадания воздуха.

У бетона М350 подвижность П2, П3, П4. Зависит этот показатель от количества пластификатора, который может входить в состав бетонной смеси.

Применяется цемент данной марки для строительства мощных конструкций, сооружений, монолитных плит, несущих стен в многоэтажных домах, колон, которые будут выполнять функцию опоры, этажных перекрытий, ЖБ свай.
В состав бетона входит цемент (его составляющая 17%), щебень (составляющая 33%), песок, также производитель использует специальные добавки и пластификаторы.
Песок допускается использовать различной зернистости, а щебенка может быть гранитной или гравийной.

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

Для того чтобы произвести один кубометр бетона М350, необходимо смешать цемент (в размере 400 кг), песок (752 кг в чистом виде), щебенку (1000 кг) с 175 литрами воды.
Стоимость бетона данной марки устанавливает производитель самостоятельно, она зависит от многих факторов, которые сопутствуют производству. Цена устанавливается исходя из текущих расходов. Основная часть суммы уходит на составляющие компоненты. Себестоимость просчитывается стандартным способом.
Конечно же, для получения прибыли, производитель вынужден делать определенную наценку на товар. По этой причине у каждого производителя своя цена и она может кардинально разница. Строительные организации закупают материал самостоятельно, поэтому вправе выбирать с каким производителем им сотрудничать. Стоимость материала будет значительно выше в том случае, когда в состав смеси входят дополнительные добавки (противоморозные и прочее).

Характеристики и пропорции бетона М350


В строительной отрасли для изготовления нагруженных конструкций используют бетонные смеси, обладающие повышенной прочностью. По долговечности и прочностным характеристикам они уверенно конкурируют с природным камнем, использование которого повышает стоимость. Одним из таких стройматериалов является М350 бетон. Это материал конструкционного назначения, который способен воспринимать значительные нагрузки, а также обладает повышенной устойчивостью к внешним воздействиям. По объему продаж он лидирует среди остальных марок бетона.

Бетон М350 – технические характеристики

Популярный в строительной сфере материал маркируется индексом М 350. Бетон обладает комплексом свойств, позволяющим использовать его для решения широкого комплекса задач. Остановимся детально на характеристиках распространенного стройматериала.

Главные показатели раствора М350:

  • повышенная прочность. Застывший монолит способен без появления трещин воспринимать сжимающую нагрузку до 25 МПа, что соответствует классу В25. Увеличенный запас прочности достигается благодаря использованию при замесе портландцемента в увеличенном объеме;
  • пластичность. Показатель подвижности бетонной смеси располагается в интервале П2-П4. Проверенная рецептура позволяет вводить специальные присадки, которые называют пластификаторами. Они позволяют, при необходимости, повысить степень подвижности бетонного раствора;

Самым эффективным является бетон М350 В25 на основе портландцемента

  • водостойкость. По степени водонепроницаемости смесь М350 соответствует показателю W8. Бетонный массив после твердения имеет плотную структуру, в которой отсутствуют воздушные поры и полости. Это обеспечивает высокую степень защиты массива от поглощения влаги;
  • морозоустойчивость. Строительный материал по показателю морозостойкости соответствует значению F200, что позволяет применять раствор в условиях сурового климата. Монолит не утрачивает структурной целостности после 200 циклов замораживания и оттаивания;
  • плотность. Повышенная плотность бетонного массива позволяет сохранять целостность монолита под воздействием поверхностного износа, а также экстремальных нагрузок. В зависимости от применяемого заполнителя и его крупности, 1 кубический метр раствора весит 2,2–2,4 тонны.

Благодаря повышенным эксплуатационным характеристикам и уникальным свойствам материал пользуется повышенной популярностью и востребован специализированными организациями и частными застройщиками.

Состав бетона марки 350

Для изготовления бетонного раствора, маркируемого индексом М350, применяется цементно-песчаная смесь, вода, а также твердый наполнитель. Для заполнения объема может применяться мелкая гранитная крошка, щебенка или гравий. Состав, регламентированный положениями действующего стандарта, позволяет вводить специальные добавки. Они расширяют сферу использования данной смеси.

Для изготовления материала применяют следующие компоненты:

  • портландцемент высоких марок. Использование в качестве вяжущего вещества цемента марки 400 и выше позволяет получить товарный бетон с высокими характеристиками. С повышением марки применяемого цемента возрастает прочность бетонной смеси;
  • просеянный песок. Рассыпчатый материал должен быть тщательно очищен от примесей. Допускается применение песка, добытого в карьерах, а также речного песка с любой крупностью зерен. Свойства смеси не зависят от крупности используемого песка;
  • щебень. Это достаточно распространенный в строительной области заполнитель, применяемый для изготовления бетона. При отсутствии щебня действующие нормативные документы разрешают использовать мелкий известняк или среднефракционный гранит;
  • воду. Она постепенно вводится в состав бетонного раствора. Первая порция добавляется на стадии перемешивания. Затем вводятся небольшие объемы жидкости до получения однородного бетонного раствора необходимой консистенции;
  • специальные присадки. Введение противоморозных добавок позволяет повысить морозоустойчивость смеси для выполнения работ в условиях отрицательных температур. Введение пластификаторов повышает подвижность бетонного состава при заливке.

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

Особенно высоки прочностные характеристики на сжатие. Во многом такие высокие свойства обеспечены правильно подобранным составом смеси

Рецепт бетона М350

Для получения качественного раствора с повышенными прочностными характеристиками необходимо соблюдать пропорции. Бетон М350 можно изготовить самостоятельно или заказать в специализированной строительной организации. Количество вводимых ингредиентов меняется в зависимости от марки применяемого портландцемента.

При весовом дозировании компонентов смеси следует соблюдать указанные соотношения:

  • на тонну цемента марки М400 необходимо использовать 3,1 т щебня и 1,5 т песка;
  • при использовании 1 т цемента марки М500 потребуется 1,9 т песка и 3,6 т щебня.

Используя мерную емкость, в ряде случаев удобно объемное дозирование. Следует руководствоваться следующими рекомендациями:

  • портландцемент марки М400 в объеме 100 л следует смешать со щебнем – 280 л и песком – 140 л;
  • на 100 литров цемента марки М500 следует при замесе добавить 190 л песка и 360 л щебенки.

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

Применением добавок класс бетона варьируется в широком диапазоне

Какими достоинствами обладает бетон 350 марки

Эта марка бетона обладает многочисленными преимуществами:

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

Благодаря указанным достоинствам бетон марки М350 зарекомендовал себя как универсальный стройматериал конструкционного назначения.

Области, в которых используется 350 бетон

Смесь марки М350 применяется для выполнения различных задач:

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

Бетон М350 цена за куб с доставкой по Москве и области

Подробный перечень цен на бетон М350 БСТ В25 П3-П4 F300 W12

Наименование Наполнитель Цена указана с НДС, без
учета стоимости доставки
Бетон БСТ В25 П3-П4 F300 W12 Гравийный щебень           3350 руб/куб.
Бетон БСТ В25 П3-П4 F300 W12 Гранитный щебень           3550 руб/куб.

Описание бетона М350 БСТ В25 П3-П4 F300 W12

Бетон М350 — популярный в строительстве материал. Доступная стоимость бетона М350, высокая прочность, универсальность использования, хорошая устойчивость к воздействиям окружающей среды, атмосферным и механическим воздействиям — вот что делает популярным товарный бетон марки М350.

Свойства бетона М350 БСТ В25 П3-П4 F300 W12

М350 — это разновидность так называемых тяжелых бетонов. В состав такого бетона входит в большом объеме цемент (используется марка М400 или М500), каменные заполнители (щебень гравийный или гранитный), вода, песок (мелкозернистый, среднезернистый или крупнозернистый), химические добавки и пластификаторы.

При работе с товарным бетоном М350 стоит иметь в виду, что смеси быстро густеют и затвердевают, поэтому требуют оперативной транспортировки с бетонного завода до строительного объекта, а в последующем — незамедлительного использования.

Технические характеристики бетона М350 БСТ В25 П3-П4 F300 W12

Марка бетона М350
Класс бетона B25
Подвижность П2, П3, П4
Морозостойкость F300
Водонепроницаемость W12

Преимущества бетона М350 БСТ В25 П3-П4 F300 W12

  • Высокая прочность бетона (В25): один кубометр такого бетона способен выдерживать максимальное давление в 25 Мпа;
  • Хорошая морозоустойчивость (F200-F300): материал и конструкции, изготовленные из него, не потеряют своей прочности даже после 200 циклов резких колебаний температур;
  • Влагонепроницаемость (W8-W12): устойчивость к влаге позволяет использовать товарный бетон М350 для сооружения объектов даже в заболоченных местностях и в местах с высоким уровнем залегания грунтовых вод;
  • Подвижность (от П2 до П4): в зависимости от требований покупателя этот показатель может увеличиваться за счет добавления пластификаторов;
  • Достаточная плотность: такой материал может использоваться для сооружения объектов, подвергающихся самым экстремальным нагрузкам.

Область применения бетона М350 БСТ В25 П3-П4 F300 W12

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

Благодаря идеальному соответствию качества и цены бетон М350 универсален в применении, потому может использоваться для решения различных задач. Чаще всего такой бетон приобретается для:

  1. Строительства зданий и сооружений, которые должны отличаться высокой прочностью, долговечностью и надежностью;
  2. Формирования важнейших элементов различных типов конструкций: монолитных фундаментов, несущих стен и т. д.;
  3. Изготовления несущих опор, балок, которые будут использоваться в большегрузных конструкциях;
  4. Производства плит для перекрытий;
  5. Создания высококачественных надежных железобетонных конструкций, изготовляемых по современной свайной технологии;
  6. Изготовления плит, предназначенных для интенсивной эксплуатации. Такие плиты могут использоваться в дорожном строительстве, где ездит большегрузная военная и промышленная техника, для формирования взлетных полос и т.д.

Товарный бетон B25 (М350) П3 F300 W8 (гранит)

Состав бетона

 В отличие от бетонов более легких марок, В25 имеет повышенное содержание цементного вяжущего, что и обусловливает его быстрый набор прочности. Процесс гидратации смеси ускоряют и пластификаторы, которые могут включаться в состав. Они же отвечают за увеличение морозоустойчивости. В качестве заполнителя смеси традиционно используется гравий. Для увеличения прочностных характеристик готовой конструкции в бетон класса В25 может добавляться гранитный щебень – недешевый материал, поэтому раствор с ним подорожает примерно на 5-10 %. Стоит ли переплачивать за наполнитель, который предназначен для бетона более высокой прочности, решает покупатель. Но в реальных условиях для получения надежной конструкции вполне достаточно и гравия, если не предъявляются повышенные требования к морозоустойчивости и водонепроницаемости монолита. Нельзя оставлять без внимания и плотность выбранного заполнителя, ведь его в бетоне содержится около половины от общего веса. С учетом того, что гравий имеет плотность около 800 кг/м3, а гранит 2600 кг/м3, конечный выбор повлияет как на прочность марки, так и на вес возводимой конструкции.

Характеристики В25

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

Частично эту проблему можно решить с помощью пластификаторов, увеличивающих подвижность раствора. Для класса В25 это один из важных ценообразующих факторов. Чем выше удобоукладываемость бетона, тем дороже он будет стоить. Наименование показателя ед. изм. Значение Прочность на сжатие МПа 25 Ближайшая марка — М350 Категория подвижности смеси — П2-П4 Морозостойкость циклов 200 Класс водонепроницаемости — W8 Средний объемный вес кг/м3 2200 — 2400 Из-за повышенной плотности тяжелого раствора конструкции из бетона этого класса отличаются высокой устойчивостью к поверхностному износу.

Нюансы маркировки

В25 по своим свойствам приблизительно соответствует привычной нам марке М350. Приблизительно – потому что прочность бетона на сжатие у В25 составляет 327 кГс/см2 (разница 6-7 % в пользу М350). В то же время он на 9 % крепче М300. Здесь сразу стоит упомянуть об особенностях маркировки стройматериала. В нормативной документации указывается именно класс В25, так как это гарантированная характеристика прочности, получаемая по факту. А расшифровка марки бетона говорит только о средних значениях сопротивления сжатию, которые у состава могут быть чуть ниже. Класс – величина точная, так как ее определение выполняется с учетом всех погрешностей качества. При этом марка может изменяться под влиянием различных факторов: особенностей заполнителя, объема воды в растворе, технологии укладки, времени вызревания.

Особенности твердения

Состав В25 из-за высокой плотности и малой подвижности создает проблемы при укладке в опалубку даже при нормальных условиях окружающей среды (температуры и влажности). Технологию заливки следует соблюдать особенно четко, иначе в монолите останутся пустоты. При работе с В25 применение вибрационной техники для уплотнения раствора обязательно. Набор прочности бетона в зависимости от температуры замедляется: на 15-20 % при похолодании до +10°С, и почти на треть при +5°С. Этим можно воспользоваться при заливке малоподвижного раствора, но злоупотреблять помощью погоды не стоит. С понижением температуры на улице может произойти расслоение смеси, от чего марка изменится в худшую сторону.

Применение бетона

В25 востребован там, где конструкциям нужна высокая прочность в условиях активной эксплуатации: свайно-ростверковые и монолитные железобетонные фундаменты; практически все виды ЖБИ: плиты перекрытия, колонны, балки, испытывающие высокие нагрузки; дорожные и аэродромные покрытия; чаши бассейнов. Благодаря высоким характеристикам водонепроницаемости, бетон М350 (В25) применяется при возведении фундаментов и наземных инженерных конструкций даже в грунтах с высоким залеганием вод. Гидрофобность у В25 такова, что монолит выдерживает даже воду, подаваемую под напором.

 

 

Бетон. Описание марок и классов, прочность бетона. Марки бетона М-100 М-150 М-200 М-250 М-300 М-350 М-400 М-450 М-500

Бетон – это самый нужный материал на стройке. Без него не обходится ни одно строительство. А низкая стоимость и отличные свойства делают его и вовсе незаменимым материалом.

Бетон состоит из четырёх основных компонентов. Это щебень, цемент, вода и песок. Так же в бетонную смесь могут добавляться различные специальные наполнители, улучшающие свойства бетона. Используя определённое соотношение основных компонентов, получают бетон конкретной марки. Например, бетон марки 200 получают, используя соотношение одной части цемента с тремя частями песка, пятью частями щебня и половины части воды. Очень важным показателем является соотношение вода-цемент, оно определяет твердость бетона. Это соотношение должно быть порядка 0,3 — 0,5, тогда бетон будет прочный. Когда в растворе присутствует много воды, бетон становится менее прочным.

Бетон относительно недорогой, его удобно использовать и он обладает большими преимуществами перед другими видами строительных материалов.

Товарный бетон марки М-100 (В 7.5)

применяется, в основном, при проведении подготовительных работ перед заливкой монолитных плит и лент фундаментов. Речь идёт о так называемой — бетонной подготовке: на песчанную подушку укладывается тонкий слой бетона самой низкой марки, конкретно м 100 B 7.5, и уже потом, после застывания этого слоя, начинают производить арматурные работы.

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

Тощие бетоны указанной марки применяют в дорожном строительстве, в качестве бетонной подушки и для установки бордюрного камня.

Бетон м100 в7.5 может изготовляться на известковом, гравийном и гранитном щебне. Чаще всего, в продаже можно увидеть бетон марки 100 в виде готовой бетонной смеси с подвижностью п1-п4 и в виде тощего бетона с жесткостью ж1-ж4.

Товарный бетон марки М-150 (В 12.5)

применяется в основном при проведении подготовительных работ перед заливкой монолитных плит фундаментов. Также, бетон этой марки может применяться при изготовлении стяжек, полов, фундаментов под небольшие сооружения, бетонировании дорожек и т.д.

Тощий бетон указанной марки м150 в12.5 применяют в дорожном строительстве, в качестве бетонной подушки и для установки бордюрного камня.

Бетон м 150 (В-12.5) может изготовляться на известковом, гравийном и гранитном щебне. Существует в виде товарного бетона с подвижностью п1-п4 и в виде тощего бетона с жесткостью ж1-ж4

Товарный бетон марки М 200 (В 15)

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

На заводах ЖБИ и комбинатах ЖБК из бетона этой марки делают фундаментные блоки ФБС, дорожные плиты и т.д. Бетон м200 в15 — наиболее часто заказываемая марка бетона. Практически, бетон м-200 — лидер продаж.

Тощие бетоны указанной марки применяют в дорожном строительстве, в качестве бетонной подушки и для установки бордюрного камня.

Производство бетона БСГ м 200 (B 15) возможно на известковом, гравийном и гранитном щебне. В продаже, чаще всего встречается в виде товарного бетона БСГ с подвижностью п1-п4. и в виде тощего бетона с жесткостью ж1-ж4

Товарный бетон марки М 250 (В 20)

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

Занимает специфическое промежуточное место между более популярными бетонами м 200 и м 300. Почему-то, спрос на этот класс бетона — более чем скромен. Конечно, не из-за его потребительских качеств и технических показателей. Они у марки бетона м 250 B 20 — более чем достаточны. Да и класс этого бетона В 20 является основной ступенью классификации бетонов по Ст СЭВ, в отличие от следующей марки бетона м-300, класс которой В 22.5 как раз и является промежуточным.

Бетон БСГ м250 в20 может изготовляться на известковом, гравийном и гранитном щебне. В основном, встречается в продаже в виде товарного бетона БСГ с подвижностью п2-п4.

Товарный бетон марки М 300 (В 22.
5)

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

В современной системе классификации бетонов, принятой в соответствии со Ст СЭВ 1406, класс бетона марки м300 — В 22.5 занимает промежуточную ступень. И в общем-то, он не должен встречаться в проектной документации. Однако, документация — одно, а личный опыт — другое.

Бетон м300 (B 22.5) — наиболее часто заказываемая марка бетона. Практически, бетон м-300 — лидер продаж. Хотя прошёл уже не один десяток лет, с момента принятия СССР этих самых стандартов СЭВ 1406.

Даже несколько лет назад некоторые заводы не могли определиться до конца, и можно было встретить в продаже бетон м300 и с классом В 22.5, и с классом B 25.

Производство бетона БСГ м300 в22.5 возможно на известковом, гравийном и гранитном щебне. В продаже чаще всего встречается в виде товарного бетона БСГ с подвижностью п2-п4.

Товарный бетон марки М 350 (В 25)

в основном применяется для изготовления монолитных фундаментов, свайно-ростверковых ЖБК, плит перекрытий, колонн, ригелей, балок, монолитных стен, чаш бассейнов и иных ответственных конструкций. Наиболее используемый бетон при производстве ЖБИ. В частности, из конструкционного бетона м-350 делают аэродромные дорожные плиты ПАГ, предназначенные для эксплуатации в условиях экстремальных нагрузок. Многопустотные плиты перекрытия тоже производятся из этой марки бетона.

Бетон м350 в25 — наиболее популярная марка бетона в современном коммерческом строительстве. В последние годы бетон м-350 — выходит на лидирующие позиции по продаже. Это прежде всего связано с проектными требованиями и ужесточением контроля за их выполнением.

Производство бетона БСГ м 350 (B 25) возможно на гравийном и гранитном щебне. В продаже чаще всего встречается в виде товарного бетона БСГ с подвижностью п2-п4.

Товарный бетон марки М 400 (В 30)

в основном применяется для изготовления мостовых конструкций, гидро-технических сооружений, банковских хранилищ, специальных ЖБК и ЖБИ: колонн, ригелей, балок, чаш бассейнов и иных конструкций со спецтребованиями.

Бетон м400 (B 30) — довольно редко используемая марка бетона. Как правило, использование подобного бетона регламентировано специальными требованиями, связанными с условиями дальнейшей эксплуатации железобетонных конструкций, изготовленных из такого бетона.

В частном строительстве — практически не применяется по ряду причин:

  • Прочность бетона марки м 400 (В 30) — значительно выше, нежели может понадобиться в бытовом малоэтажном строительстве.
  • Ускоренное время схватывания бетона — чреватое серьёзными проблемами при:1) доставке на дальние расстояния. Ключевой момент — время бетона в пути.2) нерасторопности строителей, принимающих бетон. Не успевают уложить, и как результат — неразбиваемая бетонная глыба на участке.
  • Высокая стоимость подобных марок бетона из-за повышенного содержания цемента — тоже немаловажный фактор при выборе.

Производство бетона БСГ м400 в30 допустимо только на гранитном щебне. Чаще с использованиме пластификаторов и иных специальных добавок в бетон. В продаже чаще всего встречается в виде товарного бетона БСГ с подвижностью п3-п5. Отличается высокой морозостойкостью и повышенным коэффициентом водонепроницаемости W.

Товарный бетон марки М 450 (В 35)

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

Бетон м450 (B 35) — довольно редко используемая марка бетона. Как правило, использование подобного бетона регламентировано специальными требованиями, связанными с условиями дальнейшей эксплуатации железобетонных конструкций, изготовленных из такого бетона.

В частном строительстве — практически не применяется по ряду причин:

  • Прочность бетона марки м 450 в35 — значительно выше, нежели может понадобиться в бытовом малоэтажном строительстве.
  • Ускоренное время схватывания бетона — чреватое серьёзными проблемами при:1) доставке на дальние расстояния. Ключевой момент — время бетона в пути.2) нерасторопности строителей, принимающих бетон. Не успевают уложить, и как результат — неразбиваемая бетонная глыба на участке.
  • Высокая стоимость подобных марок бетона из-за повышенного содержания цемента — тоже немаловажный фактор при выборе.

Производство бетона БСГ м450 в35 допустимо только на гранитном щебне. Чаще с использованиме пластификаторов и иных специальных добавок в бетон. В продаже чаще всего встречается в виде товарного бетона БСГ с подвижностью п3-п5. Отличается высокой морозостойкостью и повышенным коэффициентом водонепроницаемости W.

Товарный бетон марки М 500 / М 550 (В 40)

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

Бетон м-500 (B 40) — довольно редко используемая марка бетона. Как правило, использование подобного бетона регламентировано специальными требованиями, связанными с условиями дальнейшей эксплуатации железобетонных конструкций, изготовленных из такого бетона.

В частном строительстве — практически не применяется по ряду причин:

  • Прочность бетона марки м 500 в40 — значительно выше, нежели может понадобиться в бытовом малоэтажном строительстве.
  • Ускоренное время схватывания бетона — чреватое серьёзными проблемами при:1) доставке на дальние расстояния. Ключевой момент — время бетона в пути.2) нерасторопности строителей, принимающих бетон. Не успевают уложить, и как результат — неразбиваемая бетонная глыба на участке.
  • Высокая стоимость подобных марок бетона из-за повышенного содержания цемента — тоже немаловажный фактор при выборе.

Производство бетона БСГ м500 в40 допустимо только на гранитном щебне. Чаще с использованиме пластификаторов и иных специальных добавок в бетон. В продаже чаще всего встречается в виде товарного бетона БСГ с подвижностью п3-п5. Отличается высокой морозостойкостью и повышенным коэффициентом водонепроницаемости W.

Марки бетона. Маркировка. Описание и характеристики

Марка бетона и его прочность

Марка бетона и прочность бетона (и соответственно, класс бетона) — главные показатели эксплуатационных свойств этого материала, исходя из которых осуществляется его подбор для того или иного вида строительства. Бетон, чья прочность на сжатие которого и заложена в основу принципа его маркировки, характеризуется различными свойствами, выраженными в числовых величинах (водонепроницаемость, морозостойкость, плотность), но, тем не менее, именно прочность бетона является первичным критерием его выбора.

Маркировка бетона

Маркировка бетона производиться при помощи буквы М и цифр, означающих средний предел прочности сжатия бетона. Например, марка бетона М200 означает, что искусственный камень, образованный в результате полного застывания данной смеси, способен в среднем выдерживать 200 кгс/см2.

Первый Бетонный Завод может предоставить своим клиентам бетон любой марки. Область применения и особенности основных из них Вы можете уточнить, пройдя по соответствующим ссылкам:

Бетон М100 (В7.5) — относится к типу легких бетонов, в связи с этим используется в основном на подготовительных этапах, предшествующих заливке фундамента или монолитных плит. Бетон М100 необходим для бетонной подготовки перед арматурными работами. Также бетон М100 используется при строительстве дорог, например, используется как основа при установке бордюров.

Бетон М150 (В12.5 W4) — является разновидностью легких (тощих) бетонов. Использование этой марки ограничено подготовительными работами при устройстве фундаментов и заливке монолитных плит. А также, бетон М150 широко используется для формирования стяжек, заливки полов. Можно использовать бетон М150 для устройства пешеходных и садовых дорожек, в качестве подушки для бордюров. Используется бетон М150 для фундаментов под малые сооружения.

Бетон М200 (В20 W4) по прочности превосходит М200, однако имеет сходные характеристики. Области применения во многом тождественны бетону М200, но бетон М250 годится также для изготовления малонагруженных плит перекрытий.

Бетон М250 (В20 W4) прочнее М200, однако имеет сходные характеристики. Области применения во многом аналогичны бетону М200, но бетон М250 годится также для изготовления малонагруженных плит перекрытий.

Бетон М300 (В22.5 W4) — имеет не меньшую востребованность, чем бетон М200. Основная отрасль применения — возведение стен, а также устройство различных типов монолитных фундаментов (ленточных, свайно-ростверковых и т.п.). Хотя бетон М300 может использоваться и для изготовления лестниц, заборов, заливки площадок, отмосток и т.д.

Бетон М350 (В25 W4 ) применяется для изготовления плитных фундаментов. Бетон М350 часто применяют для формирования фундаментов для многоэтажных домов. Высокая прочность бетона позволяет использовать его для производства многопустотных плит перекрытия, балок. Активно распространен бетон М350 в монолитном домостроении. Из бетона М350 производят чаши бассейнов, дорожные плиты для аэродромов, несущие колонны и многое другое. Данный бетон выдерживает большие нагрузки, поэтому бетон М350 рекомендован для многих проектов общественных и коммерческих зданий.

Бетон М400 (В30 W4) относится к средним маркам бетона, но из-за быстрого схватывания и довольно высокой стоимости применяется не так широко как бетон М300 и М200. Бетон М400 прочен и надежен, поэтому используется для устройства гидротехнических сооружений, ЖБИ по специальным требованиям и банковских хранилищ. В малоэтажном и индивидуальном строительстве применять нецелесообразно, однако при строительстве крытых бассейнов, аквапарков торгово-развлекательных комплексов и др. сооружений, к которым предъявляются повышенные требования в плане безопасности, бетон М400 может быть регламентирован проектом.

Определение марки бетона

Определение марки бетона и ее соответствие заявленной прочности осуществляется практическим путем.Для этого применяют два способа: экспресс-метод и лабораторное исследование, позволяющее с большей точностью определить соответствие прочности бетона ГОСТу.

Эспресс-метод определения прочности бетона (и его марки) заключается в использовании склерометров – специальных приборов, позволяющих выяснить прочность образца даже при неполном его затвердевании.

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

Доставка бетона по Нижегородской области

Наши возможности позволяют оперативно организовать доставку любого объема бетона на стройплощадку в любой точке Нижегородской области. Основные направления доставки:

  • Нижний Новгород
    Приокский, Советский, Нижегородский, Автозаводский, Ленинский, Сормовский, Московский, Канавинский районы
  • Афонино, Ржавка, Федяково, Большая Ельня, Зеленый город, Кстово, Шелокша, Работки, Лысково
  • Дружный, Кудьма, Вязовка, Богоявление, Арзамас
  • Буревестник, Богородск, Ворсма, Павлово, Горбатов, Навашино, Выкса
  • Дзержинск, Пыра, Смолино, Володарск, Ильино, Мячково, Гороховец
  • Дубравный, Большое Козино, Лукино, Балахна, Заволжье, Городец
  • Бор, Рекшино, Киселиха, Линда, Семенов
Выслать заявку на бетон

Соотношение нагрузки и скольжения для арматурного стержня 12 мм (смесь: M350) l e = 150 мм.

Исходная публикация

Связующие свойства арматурных стальных стержней, встроенных в конструкционный бетон, изготовленный из местных легких заполнителей, были изучены с помощью испытаний на вырыв на кубических образцах размером 150 × 150 × 150 мм. Была отлита серия из 30 образцов с учетом влияния диаметра стержня и прочности бетона на сжатие. Результаты испытаний показали, что …

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

Эта работа направлена ​​на изучение поведения после нагрева бетонных плит нормальной прочности (NSC), высокопрочного бетона (HSC) и легкого бетона (LWC), а также на оценку остаточной прочности на сдвиг при продавливании плит. образцы двухсторонней плиты. Одиннадцать образцов железобетонных плит уменьшенного масштаба разделены на три основные группы, каждая из которых подразделяется на…

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

Индустриализация в развивающихся странах привела к увеличению сельскохозяйственного производства и, как следствие, накоплению неуправляемых сельскохозяйственных отходов .Загрязнение, вызываемое такими отходами, вызывает озабоченность многих развивающихся стран. Целью данного исследования является изучение поведения легкого бетона и использования опилок в качестве ва …

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

… Вторая причина заключается в том, что арматурные стержни малого диаметра имеют более близко расположенные ребра по сравнению с арматурными стержнями большего диаметра, поэтому обладают лучшими фрикционными и адгезионными свойствами [39,40]. Подобные результаты были представлены в литературе как для бетона, модифицированного УНТ [26], так и для обычного бетона [41, 39,40]. …

В настоящем исследовании экспериментально исследовалось влияние многослойных углеродных нанотрубок (УНТ) на механическую прочность бетона, а также на поведение сцепления при отрыве между стальной арматурой и бетоном.Были измерены прочность на сжатие и растяжение бетона с различными дозировками УНТ (0%, 0,05%, 0,1% и 0,2%). Было приготовлено 27 вытяжных образцов с различной глубиной погружения (100 мм, 150 мм, 200 мм) и диаметром стержня (12 мм, 14 мм, 16 мм, 18 мм) и испытано для оценки влияния УНТ на поведение соединения-скольжения. . Морфология в переходной зоне взаимодействия сталь / бетон (ITZ) была исследована с помощью сканирующей электронной микроскопии (SEM). Добавление 0,2 мас.% УНТ улучшило прочность бетона на сжатие и растяжение на 23% и 22% соответственно.Присутствие УНТ также увеличивало прочность и жесткость связи и изменяло режим разрушения с расщепления на разрушение при отрыве. Согласно изображениям, полученным с помощью SEM, УНТ равномерно распределены в ИТЦ из стали / бетона. Наконец, была разработана эмпирическая модель для прогнозирования прочности связи между стальной арматурой и бетоном, модифицированным УНТ. Модель отражала влияние замкнутости и диаметра стержня на отношения длины заделки на прогнозируемую прочность.

… Также в 2010 году С.Пул [19] получил те же результаты при использовании того же метода испытания (испытание на вытягивание) для исследования прочности соединения LWC и отметил, что она снижается на 7% при увеличении диаметра стержней с 8 мм до 14 мм. кроме того, Al-Shannag, MJ, & Charif, A. (2017) [44] изучают различные диаметры стержня (12, ∅14, ∅16, ∅20, 25) в своей экспериментальной работе по прочности связи между стальные стержни и легкий бетон, содержащие естественные легкие заполнители и два соотношения цемента 350 кг / м 3 и 500 кг / м 3 с прочностью на сжатие 34 МПа и 48 МПа соответственно и 1860 кг / м 3 (2020 [52]) исследуют прочность связи между щебнем глиняного кирпича ( 1046 кг / м 3) бетона (30 МПа, 25 МПа, 20 МПа) и стальных стержней (диаметром 12 мм, 16 мм, 20 мм) и обнаружил, что минимум (2.75 мм) и максимальное (6 мм) скольжение были отмечены при использовании стержня диаметром 12 мм и 6 мм соответственно. …

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

… Куб был помещен по центру между пластинами машины для испытаний на сжатие. Скорость нагружения для куба 150 мм составляла 140 кг / см 2 в минуту, пока образец не разрушился. Для испытания на растяжение прилагайте нагрузку непрерывно и без толчков с постоянной скоростью в диапазоне от 690 до 1380 кН / м 2 / мин, разделяя растягивающее напряжение до разрушения образца [10] . …

… В неограниченном состоянии растрескивание бетона с большей вероятностью произойдет из-за пролиферирующих продольных трещин, вызванных расклиниванием ребер стержня.Однако в стесненных условиях разрушение при выдергивании обычно определяется расслоением стержня и бетона из-за того, что препятствует распространению трещин окружающим материалом [40, 41] . Сопротивление вытягивающим силам в основном определяется качеством бетона, уровнем удержания и, что наиболее важно, степенью уплотнения и качеством связи вокруг арматуры [42,43]. …

Цифровое строительство бетонных элементов с использованием технологии 3D-печати переживает экспоненциальный рост с точки зрения исследовательской деятельности и демонстрационных проектов.Тем не менее, большинство исследований было сосредоточено на поведении вяжущих материалов, используемых в 3D-печати, без глубокого погружения в армирование печатных элементов. В этой статье представлена ​​подробная экспериментальная программа, чтобы охарактеризовать качество связи между бетоном и стальными стержнями посредством серии испытаний на вырыв. Эти тесты также проводятся на печатных и непечатных образцах. При печати учитывается ориентация слоев, параллельная или перпендикулярная стальному стержню.Следовательно, было обнаружено, что высокотиксотропный материал не нарушает развитую связь между печатным бетоном и арматурой. Кроме того, вибробетон (без рисунка) показал лучшую устойчивость к растягивающим напряжениям, чему способствовали параллельные, а не перпендикулярные образцы. Тем не менее, общие характеристики бетона, напечатанного на 3D-принтере, с точки зрения сцепления со сталью можно оценить как удовлетворительные.

… Однако ФЦ на основе цемента и песка показал более высокую прочность на разрыв, чем у золы-уноса [15].Высокая прочность на разрыв FC в основном объясняется способностью связывания между частицами песка и цементным тестом [16] . Прочность на прямое растяжение нормального бетона ниже, чем у непрямого растяжения, и разница между ними составляет около 25% [17]. …

Использование пенобетона (ПБ) в элементах конструкций снижает собственные нагрузки на конструкций и фундаментов, способствует снижению затрат и энергоэффективности строительство за счет уменьшения размеров конструктивных элементов, трудозатрат и энергии во время этапы транспортировки и строительства.Для исследования механических свойств FC, включая прочность на сжатие, растяжение и изгиб, модуль упругости эластичность и зависимость напряжения от деформации, 256 образцов разделены на четыре разной плотности (1200, 1400, 1600 и 1800 кг / м3 ) были протестированы. Для каждого плотности бетона было разработано четыре смеси, в том числе контрольная смесь и три разные добавки; кремнезем, метакаолин и отработанный тонер. Отработанный тонер Добавка была собрана из использованных картриджей для принтеров. Экспериментальная программа рассматривалось как введение модифицированного испытания на прямое растяжение, при котором расщепление и Были проведены испытания на изгиб, чтобы подтвердить его надежность.Полученные результаты были довольно сходящимися, что свидетельствует о том, что предел прочности при растяжении определяется Предлагаемая модель была ниже, чем у бразильских и изгибных испытаний. В добавка отработанного тонера улучшила прочность на сжатие и растяжение FC на более 30%. Эти результаты являются многообещающими и указывают на значительный потенциал разработки экологически чистого легкого бетона путем замены процент цемента с отработанным тонером.

… Железобетонные конструкции могут выдерживать нагрузки, которые зависят от связи между бетоном и арматурой [1, 2] .Одно из допущений при расчете прочности железобетонных конструкций состоит в том, что деформация арматуры такая же, как и деформация бетона, которая ее окружает [3,4]. …

… После получения данных по результатам испытания на растяжение, загружается график зависимости между проскальзыванием и напряжением сцепления на свободном конце и конце. Напряжение сцепления рассчитывается с использованием уравнения (2) , проскальзывание свободного конца можно измерить непосредственно во время испытания, а проскальзывание на нагруженном конце рассчитывается с помощью уравнения (5).= / Ab …

Комбинация бетона и арматуры в сочетании с нагрузкой определяется идеальным сцеплением двух материалов. Осевая нагрузка, заданная в железобетоне, приводит к внутреннему растрескиванию железобетона вокруг области резьбовой арматуры. Также была получена зона в пределах радиуса растрескивания бетона вокруг арматуры. Действие необходимо для уменьшения площади бетона с трещинами путем создания ограничений с помощью сферической спиральной арматуры в пределах радиуса трещины в бетоне.Ожидается увеличение прочности арматуры и бетона вокруг нее. Используемая методология — вытягивание отдельных железобетонных цилиндрических образцов с ограничением и без ограничения. Бетонные цилиндрические образцы для испытаний диаметром 150 мм высотой 200 мм с одинарной арматурой диаметром 10 мм и спиральной арматурой в качестве удержания с идентификационным диаметром 4 мм. Размещается в радиусе растрескивания бетона вокруг арматуры. Результаты теста на вытягивание указывают на кесарево сечение от нагруженного края к свободному концу.Удерживаемый образец производит более крупное кесарево сечение в конце нагрузки, когда начальное кесарево сечение происходит на свободном конце.

… В случае неограниченного образца разрушение бетона при раскалывании происходит в результате распространения продольных трещин, возникающих в результате расклинивания стержня по окружающему бетону. В замкнутых условиях механизм разрушения обычно регулируется расслоением, возникающим в результате срезающего действия ребер стержня по бетону, и поэтому происходит разрушение стального стержня со скольжением [27, 32] .Для целей данного исследования нас больше всего беспокоит неудача со скольжением штанги. …

3D-печать бетона со временем привлекает все большее внимание как альтернативный метод строительства из-за его высокой степени свободы. До сих пор большинство элементов, напечатанных на 3D-принтере, предварительно распечатываются, а затем перемещаются в назначенные места. Наиболее практичный способ перемещения печатных элементов — их подъем с помощью встроенных анкеров. Однако из-за характера этого метода строительства он не допускает каких-либо вибраций, а также из-за использования особого типа бетонной смеси, которая не течет сама по себе, все еще остается много вопросов, касающихся сцепление бетона со стальными стержнями.Цель данной статьи — охарактеризовать связь между сталью и напечатанными растворами в зависимости от обрабатываемости строительного раствора и метода печати. Испытания на вытягивание 8-миллиметрового стального стержня, залитого в раствор с нанесенным или непечатным рисунком различной обрабатываемости, были выполнены через 3 дня отливки. Обнаружено, что удобоукладываемость краски не влияет на прочность на отрыв, ни метод печати, ни направление слоев не влияют на прочность на отрыв по отношению к стальному стержню.

… Влияние местных легких заполнителей на свойства сцепления арматурных стальных стержней, встроенных в конструкционный бетон, изготовленный из, было изучено с помощью испытаний на вырыв на кубических образцах размером 150 × 150 × 150 мм. Естественные легкие заполнители можно рассматривать как перспективный и экономичный материал для проектирования железобетонных элементов [14] . Было проведено испытание на вырыв и содержание хлоридов на участке трещины на глубине 40 мм. …

Множество исследовательских работ в Индии и за рубежом, посвященных повторному использованию или переработке отходов из многих отраслей промышленности. Среди них важное значение имеет поиск подходящего вяжущего материала для замены цемента. Многие отходы, такие как летучая зола, микрокремнезем, GGBS, метакаолин, микроматериалы, кварцевая энергия и т. Д., Испытываются для частичной или полной замены цемента в бетоне. В рамках данного исследования проводится испытание на частичную замену нового сверхтонкого материала под названием Alccofine.Бетон марки М20 и М60 предназначен для изучения характеристик бетона нормальной и высокой прочности путем замены цемента на алккофин различных дозировок. Предыдущие исследования показали, что замена алккофина увеличивает прочность. Расчетная смесь для марок M20 и M60 и кубов, отлитых с различным процентным содержанием алкофина с цементом. Таким образом, исследование направлено на оценку поведения сцепления бетонных конструкций марок М20 и М60 в качестве альтернативы обычным материалам. Изначально кубики подготавливают для расчетной смеси и определяют прочность бетона.Затем образцы готовятся для испытания на сцепление и испытываются с использованием методов испытания на отрыв. Результаты проанализированы и обнаружено, что прочность связи увеличивается с увеличением замещения алккофина до определенной дозировки.

… Железобетонная конструкция способна выдерживать нагрузку, которая зависит от крепления между бетоном и арматурой [1] [2] . Одно из допущений при расчете прочности железобетонных конструкций состоит в том, что деформация арматуры такая же, как и деформация бетона [3] [4], или что существует идеальное соединение между бетоном и армирование, которое не вызывает проскальзывания между двумя материалами….

Длина развертки — важный фактор при проектировании железобетонных конструкций. С другой стороны, железобетон позволяет использовать пучки стержней как одно из решений для преодоления ограничений по размерам. Однако использование пучков стержней приводит к тому, что некоторые армирующие поверхности не покрываются бетоном, что приводит к снижению прочности связи между арматурой и бетоном. Таким образом, необходимо исследовать, насколько длинная развертка на бетоне с пучками пучков может достичь желаемых характеристик.Методология, используемая при вытягивании бетонных цилиндрических объектов испытаний с пучками стержней и одиночными стержнями. Различия в длине развертки даны до 100 мм, 125 мм и 150 мм. Постепенная загрузка до перерыва. Результаты теста на вытягивание указывают на кесарево сечение от нагруженного конца к свободному. Изменение приведенной длины развертки, по-видимому, влияет на более высокие требования к растягивающей нагрузке стержней связки по сравнению с одиночным стержнем. Это можно увидеть по величине создаваемого напряжения сцепления, которое имеет тенденцию уменьшаться с увеличением длины проявки.

В этом исследовании изучались характеристики изгиба стальных фибровых балок, армированных гладкой и деформированной арматурой, как экспериментально, так и численно. В рамках экспериментального исследования пять полномасштабных железобетонных балок были построены из простого и стального фибробетона и были испытаны при четырехточечной монотонной изгибной нагрузке. Количество волокна и состояние арматуры были основными исследованными параметрами. По результатам испытаний была построена численная модель для моделирования фактических характеристик железобетонных балок при испытанной нагрузке.После этого было проведено параметрическое исследование, чтобы лучше понять поведение стальных фибробетонных балок. Экспериментальные результаты показывают, что нагрузка на растрескивание не зависела от условий стальной арматуры, будь то гладкая или деформированная. Более того, 9% предельного прогиба было вызвано повышением жесткости при растяжении, а 3% — содержанием стальной фибры в стальных фибробетонных балках. Наконец, было обнаружено, что прочность бетона на сжатие оказывает меньшее влияние на предельный прогиб, чем предельная нагрузка.

Тендер Правительства Республики Молдова на бетонные строительные материалы, подготовленные с доставкой …

На главную> Тендеры> Европа> Молдова> Бетонные строительные материалы, подготовленные с доставкой в ​​пункте назначения C 20/25

CIGIRLENI ELEMENTARY объявил тендер на бетонные строительные материалы, подготовленные с доставкой в ​​пункт назначения C 20/25 (m350) с дробленым Prundis. Местоположение проекта — Молдова, тендер закрывается 1 сентября 2021 года.Номер тендерного объявления — ocds-b3wdp1-MD-1629364678845, а номер ссылки TOT — 193. Претенденты могут получить дополнительную информацию о тендере и могут запросить полную тендерную документацию, зарегистрировавшись на сайте.

Страна: Молдова

Резюме: Бетонные строительные материалы, подготовленные с доставкой в ​​пункт назначения C 20/25 (m350) с измельченным Prundis

Срок сдачи: 01 сен 2021

Реквизиты покупателя

Покупатель: CIGIRLENI ELEMENTARY
Ialoveni ,igareni
Контактное лицо: Sergiu Erizanu
Телефон: 068811911 Почтовый индекс: MD-7715 Город: S.Цыгырлени
Страна: Молдова.
Молдова
Электронная почта: [email protected]

Прочая информация

ТОТ Ссылка №: 193

Номер документа. №: ocds-b3wdp1-MD-1629364678845

Конкурс: ICB

Финансист: Самофинансируемый

Информация о тендере

Бетонные строительные материалы, подготовленные с доставкой в ​​пункт назначения C 20/25 (M350) с измельченным Prundis
Краткое описание: Закупка бетона, подготовленного с доставкой в ​​пункт назначения C20 / 25 (M350) с помощью Crown Prundis
Основной код CPV: 44100000-1 — Строительные материалы и сопутствующие товары
Тип договора: Товары
Общая оценочная стоимость без НДС: 251 700.00 лей

Дополнительные документы

Нет дополнительных документов ..!

Результаты испытаний бетонных смесей B25 (M350) для определения …

Context 1

… по результатам проведенных испытаний результаты были получены, как показано в таблице 5. Таблица 5 показывает, что: — при введении ПКЭ в бетонную смесь ПКК можно получить желаемые характеристики плавления конуса 75 см при минимальном расходе воды на перемешивание смеси; -Бетонная смесь с ОЯТ имеет наивысшее водоцементное отношение при плавающем конусе 75 см….

Context 2

… по результатам проведенных испытаний были получены результаты, как показано в таблице 5. Таблица 5 показывает, что: -при введении PCE в бетонную смесь SCC требуемые характеристики 75 см конуса плавления можно получить при минимальном расходе воды на перемешивание смеси; -Бетонная смесь с ОЯТ имеет наивысшее водоцементное отношение при плавающем конусе 75 см. …

Context 3

… получить полную картину влияния исследуемых добавок на характеристики конечного конгломерата SCC, в этой статье были проведены испытания для определения прочности бетона на сжатие составы рассмотрены в таблице 5.Результаты показаны графически на Рисунке 2 ниже. …

Context 4

… по результатам проведенных испытаний результаты были получены, как показано в таблице 5. Таблица 5 показывает, что: -при введении PCE в бетонную смесь SCC требуемые характеристики 75 см конуса плавления можно получить с наименьшим расходом воды на перемешивание смеси; -Бетонная смесь с ОЯТ имеет наивысшее водоцементное отношение при плавающем конусе 75 см. …

Контекст 5

… По результатам проведенных испытаний результаты были получены, как показано в Таблице 5. Таблица 5 показывает, что: -При введении PCE в бетонную смесь SCC желаемые характеристики плавления конуса 75 см могут быть получены с помощью наименьший расход воды на замешивание смеси; -Бетонная смесь с ОЯТ имеет наивысшее водоцементное отношение при плавающем конусе 75 см. …

Context 6

… получить полную картину влияния исследуемых добавок на характеристики конечного конгломерата SCC, в этой статье были проведены испытания для определения прочности бетона на сжатие составы рассмотрены в таблице 5.Результаты показаны графически на Рисунке 2 ниже. …

MK Diamond — Понимание бетона

Для правильного выбора алмазного диска необходимо знать четыре основных момента о бетоне.

1. Прочность на сжатие
Твердость бетона определяется его прочностью на сжатие, измеряемой в фунтах на квадратный дюйм (PSI). Затвердевшие бетонные плиты широко различаются по прочности на сжатие; с влажностью, температурой, составом добавок к смеси, вяжущими материалами и процессами отверждения, часто определяющими их измеренный уровень прочности.Чем выше прочность на сжатие, тем тверже материал.

Твердость бетона фунтов / кв. Дюйм Типичное приложение
Очень жесткий 8000 и более Атомные станции
Жесткий 6 000–8 000 Мосты, опоры
Средний 4 000 — 6 000 Дороги
Мягкий 3000 или меньше Тротуары, дворы, автостоянки

2.Возраст бетона
«Возраст», или продолжительность отверждения, сильно влияет на то, как алмазный диск взаимодействует с бетоном. Несмотря на то, что существуют методы для ускорения процесса отверждения, «состояние» бетона от начальной заливки до периода в 72 часа и более может быть определено в 3 различных шагах и зависит от температуры, погоды, влажности, заполнителя, времени года, добавки и состав.

Состояние 1 — от 0 до 8 часов
Считается, что бетон находится в «зеленом» состоянии от 0 до 8 часов после заливки, что означает, что он затвердел, но не затвердел полностью.В сыром бетоне песок в смеси не имеет прочного сцепления с растворной смесью и вызывает сильнейшее абразивное действие, как только начнется физика пиления. Кроме того, шлам, образующийся из сырого бетона, столь же абразивен и требует специальной защиты от подрезания стального сердечника алмазного диска. Обычно в этом состоянии выполняется распиловка контрольных швов автомобильных дорог, промышленных полов, проездов, взлетно-посадочных полос и подобных объектов.

Состояние 2 — от 8 до 24 часов
Бетон считается затвердевшим через 8-24 часа после заливки.Песок прочно держится на общей смеси. Обычно управляющие стыки, установленные в Состоянии 1, расширяются за это время.

Состояние 3 — от 24 до 72
Бетон считается затвердевшим через 24–72 часа после заливки. Песок прочно удерживается в растворной смеси, и общие абразивные свойства и свойства бетона значительно уменьшаются. Теперь учет заполнителей, прочности на сжатие и содержания стали в бетоне становится важными факторами при выборе правильного выбора алмазного диска.

3. Заполнители и песок
Заполнители — это гранулированные наполнители в цементе, которые могут занимать от 60 до 75% от общего объема. Они влияют на свойства как зеленого, так и застывшего бетона. Заполнителями могут быть природные минералы, песок и гравий, щебень или промышленный песок. Наиболее желательные заполнители, используемые в бетоне, имеют треугольную или квадратную форму и обладают твердыми, плотными, хорошо рассортированными и прочными свойствами. Средний размер и состав агрегатов сильно влияют на режущие характеристики и выбор алмазного диска.Крупные агрегаты, как правило, замедляют работу лезвий; агрегаты меньшего размера позволяют лезвиям резать быстрее.

Сложность Средний совокупный размер
Сложнее резать (лезвие изнашивается медленнее) 1-1 / 2 дюйма или более
1-1 / 2 дюйма до 3/4 дюйма
3/4 дюйма до 3/8 дюйма
Легче резать (лезвие изнашивается быстрее) Мелкий гравий (менее 3/8 дюйма)

Суммарная твердость определяется по шкале Мооса.Эта шкала присваивает произвольные количественные единицы в диапазоне от 1 до 10, с помощью которых определяется твердость минерала при царапании. Каждая единица твердости представлена ​​минералом, который может поцарапать любой другой минерал с более низким порядковым номером. Минералы ранжируются от талька или 1 (самый мягкий), вверх через алмаз или 10 (самый твердый). Твердые заполнители сокращают срок службы лезвия и снижают скорость резания.

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

  • River Sand (круглый неабразивный)
  • Берег реки Песок (острый абразив)
  • Песок технический (острый абразив)

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

Шкала твердости Мооса

4.Стальная арматура
Дальнейшее укрепление и структурная целостность бетона достигается за счет введения в бетон армирующих стальных стержней (арматуры), стальной проволоки или проволочной сетки. Резка бетона, содержащего арматурную сталь, стоит дороже, потому что скорость резания ниже, а срок службы лезвия сокращается. Если площадь поперечного сечения бетона составляет 1% стали, срок службы лезвия будет примерно на 25% меньше, чем при отсутствии стали. Бетон с 3% стали может сократить срок службы полотна на 75%.

Стандартные арматурные стержни
Метрические размеры
(мм)
Диаметр Имперский размер
(дюймы)
Диаметр
10 9,5 # 3 ,375
13 12,7 # 4 . 500
16 15.9 # 5 .625
19 19,1 # 6 0,750
22 22,2 # 7 . 875
25 25,4 # 8 1.000
29 28,7 # 9 1.128
32 32,3 # 10 1,270
Тяжелая арматура: Арматурный стержень №6 через каждые 12 дюймов по центру или 2 мата из арматурного стержня №4 через каждые 12 дюймов по центру
Средняя арматура: # 4 Арматурный стержень через каждые 12 дюймов по центру
Легкая арматура: Проволочная сетка, одинарная

Пересмотр логики описания с конкретными областями и включениями общих понятий

Автоматизированное рассуждение.2020 30 мая; 12166: 413–431.

Приглашенный редактор (ы): Николя Пельтье 8 и Виорика Софрони-Стоккерманс 9

8 CNRS, LIG, Университет Гренобль-Альпы, Сен-Мартен-д’Эр, Франция

9 Университет Кобленц-Ланд , Германия

и

Франц Баадер

Институт теоретической информатики, TU Dresden, Dresden, Germany

Jakub Rydval

Институт теоретической информатики, TU Dresden, Дрезден, Германия

9 Computer Science, TU Dresden, Dresden, Germany

Автор, ответственный за переписку.Авторские права © Springer Nature Switzerland AG 2020

Эта статья доступна через Подмножество открытого доступа PMC для неограниченного повторного использования в исследованиях и вторичного анализа в любой форме и любыми средствами с указанием первоисточника. Эти разрешения предоставляются на период, пока Всемирная организация здравоохранения (ВОЗ) объявила COVID-19 глобальной пандемией.

Abstract

Конкретные области были введены в область логики описания, чтобы дать возможность ссылаться на конкретные объекты (например, числа) и предопределенные предикаты для этих объектов (например, числовые сравнения) при определении понятий.К сожалению, при наличии общих концептуальных включений (GCI), которые поддерживаются всеми современными системами DL, добавление конкретных доменов может легко привести к неразрешимости. Одним из вкладов этой статьи является дальнейшее усиление существующих результатов о неразрешимости, показывая, что конкретные области, даже более слабые, чем те, которые рассматривались в предыдущих доказательствах, могут вызвать неразрешимость. Чтобы восстановить разрешимость при наличии GCI, на конкретную область должны быть наложены довольно строгие ограничения, в сумме называемые -допустимостью.С одной стороны, мы обобщаем понятие -допустимости от конкретных областей, содержащих только бинарные предикаты, до конкретных областей с предикатами произвольной арности. С другой стороны, мы связываем -допустимость с хорошо известными понятиями теории моделей. В частности, показано, что конечно ограниченные однородные структуры порождают -допустимые конкретные области. Это позволяет нам показать допустимость конкретных областей, используя существующие результаты теории моделей.

Ключевые слова: Логика описания, Конкретные области, GCI, -допустимость, Однородность, Конечная ограниченность, Разрешимость, Выполнение ограничений

Введение

Логики описания (DL) [3, 7] представляют собой хорошо изученное семейство логических знаний. языки представления, которые часто используются для формализации онтологий для таких прикладных областей, как семантическая сеть [27] или биология и медицина [26].Чтобы определить важные понятия такой области приложения, как формальные концепции, DL устанавливают необходимые и достаточные условия для принадлежности человека к концепции. Эти условия могут быть логическими комбинациями элементарных свойств, необходимых для человека (выраженных именами концептов), или свойств, которые относятся к отношениям с другими людьми и их свойствам (выраженным как ограничения ролей). Например, понятие отца, у которого есть только дочери, может быть формализовано описанием концепта

, которое использует имена концептов Female и Human и имя роли child , а также отрицание конструкторов концептов (), конъюнкция (), экзистенциальное ограничение () и ограничение значения ().В GCI

говорится, что у людей есть только человеческие дети, и только они могут иметь человеческих детей.

DL-системы предоставляют своим пользователям услуги рассуждений, которые позволяют им извлекать неявные знания из явно представленных. В нашем примере вышеупомянутые GCI подразумевают, что элементы нашей концепции C также принадлежат концепции, то есть C отнесен к D w.r.t. эти GCI. Конкретный DL определяется доступными конструкторами понятий.Основной целью исследований DL было и остается найти хороший компромисс между выразительностью и сложностью рассуждений, т. Е. Найти DL, которые достаточно выразительны для интересных приложений, но все же имеют проблемы вывода (например, подчинение), которые разрешимы и предпочтительно невысокой сложности. Для DL, в которой могут быть выражены все описания понятий, использованные в приведенном выше примере, проблема отнесения к категории w.r.t. GCIs является ExpTime-complete [7].

Классические списки рассылки, например, не могут ссылаться на конкретные объекты и предопределенные отношения над этими объектами при определении концепций.Например, ограничение о том, что родители строго старше своих детей, не может быть выражено. Чтобы преодолеть этот недостаток, в [4] была введена схема интегрирования определенных хороших конкретных областей, называемых допустимыми, и было показано, что это интегрирование оставляет соответствующие проблемы вывода (такие как включение) разрешимыми. По сути, допустимость требует, чтобы набор предикатов конкретной области был замкнут при отрицании и чтобы проблема удовлетворения ограничений (CSP) для конкретной области была разрешимой.Однако в этом случае GCI не рассматривались, поскольку тогда они не были стандартной функцией DL, 1 , хотя комбинация конкретных доменов и GCI была бы полезна во многих приложениях. Например, используя синтаксис, использованный в [33], а также в настоящей статье, указанное выше ограничение относительно возраста родителей и их детей может быть выражено с помощью индекса GCI, который гласит, что не может быть человека, чей возраст меньше возраста одного из его или ее детей. Здесь нижняя концепция, которая всегда интерпретируется как пустое множество, представляет собой конкретную особенность, которая отображает абстрактную область, заполняющую концепции, в конкретную область натуральных чисел, а> — это обычный больший предикат для натуральных чисел.

Первое указание на то, что конкретные области могут быть вредными для разрешимости, было дано в [6], где было показано, что добавление транзитивного замыкания ролей к расширению допустимой конкретной области на основе реальной арифметики делает неразрешимую проблему включения. . Доказательство этого результата использует редукцию из задачи почтовой корреспонденции (PCP). В [31] было показано, что это доказательство может быть адаптировано к случаю, когда транзитивное замыкание ролей заменяется GCI, и на самом деле оно работает для значительно более слабой конкретной области, такой как рациональные числа или натуральные числа с унарным предикатом для равенство с нулем, бинарный предикат равенства и унарный предикат для приращения.В [7] показано, путем редукции проблемы остановки двух регистровых машин, что неразрешимость сохраняется даже без двоичного равенства. В настоящей статье мы улучшим этот результат, показав, что даже если он также удален, неразрешимость все еще сохраняется, и что то же самое верно, если мы заменим на.

Чтобы восстановить разрешимость, можно либо наложить синтаксические ограничения на то, как DL может взаимодействовать с конкретным доменом [22, 36]. Основная идея здесь состоит в том, чтобы запретить пути (например, в нашем примере), что приводит к тому, что предикаты конкретной предметной области не могут сравнивать свойства (например, возраст) разных людей.Другой вариант — наложить более строгие ограничения, чем допустимость, в конкретной области. После первых положительных результатов для конкретных конкретных областей (например, конкретной области над рациональными числами с порядком и равенством [30, 32]) понятие -допустимой конкретной области было введено в [33], и оно было показано (путем проектирования процедура принятия решения, основанная на таблицах), которая интегрирует такую ​​конкретную область в рассуждение, оставляя его разрешимым также при наличии GCI. В данной статье мы обобщаем понятие -допустимости и разрешимости результата из конкретных областей только с бинарными предикатами, как в [33], на конкретные области с предикатами произвольной арности.Но главный вклад этой статьи состоит в том, чтобы показать, что существует тесная связь между -допустимостью и хорошо известными понятиями из теории моделей. В частности, показано, что конечно ограниченные однородные структуры порождают -допустимые конкретные области. Это позволяет нам находить новые допустимые конкретные области, используя существующие результаты теории моделей. Из-за нехватки места мы не можем здесь подробно доказать все наши результаты. Полные доказательства и другие примеры -допустимых конкретных областей можно найти в [8].

Предварительные сведения

Запишем [ n ] для набора. Для набора A диагональ на A определяется как двоичное отношение. Ядро отображения, обозначенное как, является отношением эквивалентности.

С математической точки зрения конкретные домены — это реляционные структуры. А (реляционная) подпись представляет собой набор из предикатных символов , каждый из которых имеет соответствующее натуральное число, называемое его арностью реляционный структура состоит из набора A (домен ) вместе с отношениями для каждого k -арного символа. Мы часто описываем структуры, перечисляя их область определения и отношения, например, мы пишем для реляционной структуры, область определения которой является набором рациональных чисел и которая имеет обычное меньшее отношение 2 Расширение -структуры — это -структура с, и для каждого символа отношения.И наоборот, мы называем сокращение.

Одна из возможностей получить расширение -структуры — использовать формулы логики первого порядка (FO) над подписью для определения новых предикатов, где формула с k свободными переменными определяет k -ary предикат очевидным образом. Мы предполагаем, что равенство, как и символ лжи, всегда доступны. Таким образом, атомарные формулы имеют вид,, а для некоторых k -арий и переменных. Теория FO структуры — это набор всех предложений FO, которые истинны в структуре.В дополнение к полному FO мы также используем стандартные фрагменты FO, такие как экзистенциально-положительный () , бескванторный (qf) и примитивный положительный (pp) фрагмент . Фрагмент экзистенциально-позитивного состоит из формул, построенных с использованием только конъюнкции, дизъюнкции и экзистенциальной количественной оценки. Бескванторный фрагмент состоит из булевых комбинаций атомарных формул и примитивного положительного фрагмента экзистенциально количественно определенных конъюнкций атомарных формул.Позвольте быть набор формул FO и структура. Мы говорим, что отношение более D имеет определение в случае, если оно имеет форму для некоторых. Мы обозначаем это отношение как. Например, формула является экзистенциальной позитивной формулой и, интерпретируемая в структуре, четко определяет бинарное отношение. Это показывает, что можно определить в. Примером формулы pp является формула, которая определяет унарное отношение, интерпретируемое как всю область.

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

Определение допустимости конкретной области в [4] требует, чтобы проблема удовлетворения ограничений для этой структуры была разрешимой. Позвольте быть структурой с конечной реляционной сигнатурой.Короче говоря, задача удовлетворения ограничений является следующей проблемой решения:

Формально это класс всех конечных -структур, в которые гомоморфно отображаются. Мы называем шаблон оф. Решение для экземпляра CSP является гомоморфизмом.

Легко видеть, что принятие решения о том, допускает ли экземпляр CSP решение, равносильно оценке предложений pp в шаблоне и наоборот [10]. Например, проверка того, соответствует ли структура с гомоморфным отображением в, аналогична проверке истинности предложения pp в.

CSP для находится в P, поскольку структура может быть гомоморфно отображена в, если и только если она не содержит <-цикл, то есть отсутствуют такие элементы и, что. Проверить, существует ли такой цикл, можно в логарифмическом пространстве, поскольку это требует решения проблемы достижимости в ориентированном графе (орграфе). В приведенном выше примере у нас, очевидно, есть цикл, и, следовательно, этот экземпляр не имеет решения.

Определение допустимости в [4] фактически также требует, чтобы предикаты были закрыты при отрицании и чтобы существовал предикат для всей области.Мы уже видели, что отрицание <определимо в и что предикат для всей области является рр-определимым. Отрицание этого предиката имеет определение pp. Следующая лемма означает, что расширение с помощью этих предикатов все еще имеет разрешимый CSP. 3

DL с конкретными доменами

Как и в [4] и [33], мы расширяем хорошо известный DL с конкретными доменами. Мы предполагаем, что читатель знаком с синтаксисом и семантикой (например,, определенный в [7]), и, таким образом, только показывают, как оба должны быть расширены, чтобы приспособить конкретную область. В общем определении мы допускаем ссылку на определяемые предикаты для фрагмента FO, а не только на его элементы. Однако по техническим причинам мы должны ограничить арности определяемых предикатов фиксированной верхней границей d . Учитывая -структуру с конечной реляционной сигнатурой, набор формул FO над сигнатурой и ограничение на арность -определимых предикатов, мы получаем DL, который расширяется следующим образом.

С синтаксической точки зрения мы предполагаем, что набор имен ролей содержит набор функциональных ролей, и, кроме того, у нас есть набор имен функций, которые обеспечивают связь между абстрактным и конкретным доменом. Путь имеет форму или f , где и. В нашем примере во введении — это имя функции и путь. DL расширяется двумя новыми конструкторами концепций:

, где, — пути, и представляет собой формулу с k свободных переменных, определяющую k -аричный предикат на D .Как обычно, TBox определяется как конечный набор GCI, где C , D являются описаниями концепций.

Что касается семантики, мы рассматриваем интерпретации, состоящие из непустого набора и функции интерпретации, которая интерпретирует имена концептов A как подмножества, а имена ролей r как бинарные отношения, с ограничением, которое действует для , т.е. и подразумевают. Кроме того, функции интерпретируются как функциональные бинарные отношения.Мы расширяем функцию интерпретации на пути формы, задав значение

. Для конструкторов понятий расширение функции интерпретации до сложных понятий определяется обычным способом. Новые конструкторы конкретной области интерпретируются следующим образом:

Как обычно, интерпретация — это модель TBox, если она удовлетворяет всем GCI в, где удовлетворяет GCI, если выполняется. Описание концепции C удовлетворительно. если есть модель такая то.Поскольку все булевы операторы доступны в, проблема включения, упомянутая во введении, и проблема выполнимости взаимо сводимы за полиномиальное время [7].

Как правило, мы пишем вместо if d — максимальная арность предикатов в и состоит из всех атомарных -формул, не использующих предикат равенства.

Неразрешимые DL с конкретными доменами

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

Наше доказательство является адаптацией доказательства неразрешимости в [7] для случая, когда нет нулевого критерия. 4 Двух регистровая машина (2RM) — это пара ( Q , P ) с состояниями и последовательность из инструкций . По определению, это начальное состояние и состояние остановки. В состоянии () инструкция должна применяться. Инструкции бывают двух видов.Команда увеличения имеет форму, где — номер регистра, а q — состояние. Эта инструкция увеличивает (содержимое) регистра p и затем переходит в состояние q . Инструкция декремента имеет форму где и являются состояниями. Эта команда уменьшает регистр p и переходит в состояние q , если содержимое регистра p не равно нулю; в противном случае он оставляет регистр p как есть и переходит в состояние.Хорошо известно, что проблема определения, останавливается ли данный 2RM на входе (0, 0), неразрешима [35].

Доказательство

Пусть ( Q , P ) будет произвольным 2RM. Мы определяем понятие C и TBox таким образом, что каждая модель, в которой C непусто, представляет вычисление ( Q , P ) на входе (0, 0). Для каждого состояния мы вводим название концепции. Мы также вводим два названия концепции, чтобы указать положительный нулевой тест для первого и второго регистра соответственно.Кроме того, мы вводим функциональную роль, представляющую переходы между конфигурациями 2RM. Для, у нас есть функции, представляющие содержимое регистра p . Однако, поскольку наша конкретная область не имеет предиката, мы не можем обеспечить его соблюдение в нашем представлении начальной конфигурации и иметь нулевое значение. Однако мы можем гарантировать, что их значение будет тем же числом, которое мы можем сохранить в конкретной функции. Идея теперь состоит в том, что регистр p машины фактически содержит значение смещения со значением z .Нам также нужны вспомогательные конкретные функции, которые соответственно относятся к значениям-преемникам. Они нужны для выражения равенства с помощью.

Следующий GCI гарантирует, что элементы C представляют начальную конфигурацию вместе с соответствующими значениями для вспомогательных функций:

Далее GCI гарантирует, что значение z индивидуума переносится на его g — преемник. Обозначим второе значение рядом с p как, т.е.е.,. Чтобы обеспечить правильное выполнение инструкций увеличения, для каждой инструкции мы включаем в GCI

. GCI гарантируют, что это представляет собой положительный нулевой тест для регистра p . Обратите внимание, что для лиц, для которых определены значения, отрицание семантически эквивалентно проверке отрицательного нуля для регистра p . Чтобы обеспечить правильное выполнение этого уменьшения, для каждой инструкции мы включаем в GCI

Наконец, мы включаем GCI, в котором говорится, что состояние остановки никогда не достигается.Теперь легко увидеть, что вычисление ( Q , P ) на (0, 0) не достигает состояния остановки тогда и только тогда, когда C выполнимо относительно. .

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

Оказывается, неразрешимость также сохраняется, если мы используем троичный предикат, а не двоичный предикат. Интуитивно, с помощью мы можем легко проверить на 0, поскольку m равно 0 тогда и только тогда. Вместо увеличения на 1 мы можем затем использовать добавление фиксированного ненулевого числа (подробное доказательство см. В [8]).

-допустимые конкретные области

Чтобы восстановить разрешимость при наличии GCI и конкретных областей, понятие -допустимые конкретные области было введено в [33].Мы обобщаем это понятие и результат разрешимости для конкретных областей с бинарными предикатами, как в [33], на конкретные области с предикатами произвольной арности.

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

Здесь JE означает «совместно исчерпывающий», PD — «попарно непересекающийся» и JD — «совместно диагональный». Отметим, что JD в [33] не рассматривался.Мы включаем его сюда, поскольку он упрощает сравнение с известными понятиями из теории моделей. Кроме того, все -допустимые конкретные области, рассмотренные в [33], удовлетворяют JD.

Реляционная -структура — это лоскутное одеяло , если это JDJEPD, и для всех конечных JEPD-структур с, и, существуют и с.

Теоретико-модельный подход к -допустимости

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

-категория. Мы начинаем с введения -категоричности, поскольку она дает нам гомоморфизм компактности «бесплатно». Структура является -категоричной , если ее теория первого порядка имеет ровно одну счетную модель с точностью до изоморфизма. Например, хорошо известно, что это с точностью до изоморфизма единственный счетный плотный линейный порядок без нижней или верхней границы.Этот результат, из которого ясно следует, что он категоричен, принадлежит Кантору.

Для каждой структуры множество всех ее автоморфизмов образует группу перестановок, которую мы обозначаем через (см. Теорему 1.2.1 в [25]). Легко увидеть, что каждое отношение с определением FO в. Для -категориальных структур справедливо и другое направление.

Определение 2

Для заданной границы арности d reduct -categorical -структура, обозначенная, является реляционной структурой над A , отношениями которой являются все орбиты не более d — кортежи больше A меньше.Обозначим подпись через.

Легко видеть, что это JDJEPD, и что каждое самое большее d -арное отношение из A FO, определяемое в, может быть получено как дизъюнкция атомарных формул, построенных с использованием символов в. В качестве примера рассмотрим структуру категорий. Орбиты k -элементов могут быть определены бескванторными формулами, которые представляют собой соединения атомов в форме или. Например, орбита кортежа (2, 3, 2, 5) состоит из всех кортежей, удовлетворяющих формуле if заменяется на for.Определяемые FO k -арные отношения в получаются как объединения этих орбит, где определяющая формула является дизъюнкцией формул, определяющих соответствующие орбиты. Поскольку эти формулы не содержат кванторов, это также показывает, что допускает исключение кванторов. Напомним, что -структура допускает исключение кванторов , если для каждой FO -формулы существует бескванторная (qf) -формула, которая определяет такое же отношение над этой структурой.

Однородность. Чтобы получить свойство лоскутного шитья, мы ограничиваем внимание однородными структурами. Структура называется однородной , если любой изоморфизм между конечными подструктурами продолжается до автоморфизма.

Теорема 3

( [25] ). Счетная реляционная структура с конечной сигнатурой является однородной тогда и только тогда, когда она является -категоричной и допускает исключение кванторов.

Так как является -категориальным и допускает исключение квантора, он, таким образом, однороден.Однако это также легко показать напрямую, не используя теорему. Фактически, учитывая конечные подструктуры и of и изоморфизм между ними, мы знаем, что B состоит из конечного числа элементов, а C — из того же числа элементов, что, и изоморфизм отображается в (для). Теперь легко увидеть, что <также является плотным линейным порядком без нижней или верхней границы для множеств и, и, следовательно, между этими множествами существует изоморфизм порядка. То же верно и для пар множеств и, и для пары и.Используя изоморфизмы между этими парами, мы можем ясно составить изоморфизмы из в, которые расширяют исходный изоморфизм из в.

Счетные однородные структуры могут быть получены как пределы Фрассе классов объединения. Класс реляционных -структур обладает свойством объединения (AP) if для каждого with и существует with и такое, что. Класс конечных реляционных структур со счетной сигнатурой называется классом объединения , если он имеет AP, замкнут при применении изоморфизмов и взятии подструктур и содержит только счетное число структур с точностью до изоморфизма.Обозначим через класс всех конечных структур, встраиваемых в структуру.

Предложение 3

Позвольте быть JDJEPD -структура. Тогда это лоскутное одеяло, если и только если есть AP.

Доказательство

В целях упрощения предполагается, что каждый оператор, индексированный как i , соответствует обоим. Во-первых, предположим, что у него есть AP. Пусть — конечные JEPD -структуры с и. Мы должны показать, что существуют с. Позвольте и быть подструктурами на и, соответственно. Очевидно, что оба и являются JDJEPD, потому что они являются подструктурами.По лемме 2 мы имеем, потому что оба и сохраняют дополнения ко всем отношениям и

Однако нам нужен изоморфизм, который коммутирует с и. Рассмотрим карту, данную. Это хорошо определено, потому что. Теперь для каждого и имеем, потому что сохраняет дополнения ко всем отношениям из леммы 2. Но это влечет, потому что является гомоморфизмом. По лемме 2, g сохраняет дополнения ко всем отношениям и

Следовательно, g является изоморфизмом, который дополнительно удовлетворяет.Позвольте и быть подструктурами на и, соответственно. Теперь рассмотрим включения. Поскольку имеет AP, существует вместе с и такое, что. Мы определяем гомоморфизмы как. Тогда на каждые

Значит, это лоскутное одеяло. Что касается другого направления, предположим, что это лоскутное одеяло. Пусть — конечные -структуры с и. Поскольку и изоморфны подструктурам, они явно являются JEPD. Таким образом, как лоскутное одеяло, существуют гомоморфизмы с. По лемме 2 сохраняются дополнения ко всем отношениям, и

Это означает, что они являются вложениями.Мы получаем AP для, выбирая в качестве подструктуры on.

Напомним, что для получения JDJEPD нам действительно нужно взять d -редукт данной категориальной структуры, а не саму структуру. К счастью, однородность переходит из в (доказательство см. В [8]).

Лемма 3

Позвольте быть счетной однородной структуры с конечной реляционной сигнатурой. Тогда однородна для каждых d , которые превышают или равны максимальной арности символов из.

Конечная ограниченность. Единственное свойство -допустимых структур, которое мы еще не рассматривали в этом разделе, — это разрешимость CSP. Одна из возможностей добиться этого — рассмотреть конечно ограниченные структуры. Для класса -структур мы обозначаем через класс всех конечных структур, не вкладывающих ни одного члена из. Мы говорим, что структура конечно ограничена , если ее сигнатура конечна и для конечной [14]. Заметим, что конечно ограничено тогда и только тогда, когда существует универсальное FO-предложение s.т. если и только если [8].

Структура конечно ограничена. Чтобы показать это, мы можем использовать набор, состоящий из четырех структур, изображенных на рис.: Петля собственной личности, 2-цикл, 3-цикл и две изолированные вершины. Мы должны это показать. Ясно, что ни одна из структур в не встраивается в линейный порядок, что видно. И наоборот, предположим, что это элемент. Мы должны показать, что это линейный порядок. Поскольку содержит цикл self, у нас есть for all, что показывает, что это нерефлексивно. Для различных элементов мы должны иметь или, иначе можно было бы вложить структуру, состоящую из двух изолированных вершин.Это показывает, что любые два различных элемента сопоставимы относительно. . Чтобы показать, что это транзитивно, предположим, что и выполняется. Поскольку 2-цикл не встраивается в, a и c должны быть разными и, таким образом, сравнимыми. С тех пор мы не могли встроить в него 3 цикла. Следовательно, мы должны иметь, что доказывает транзитивность. Это шоу линейного порядка. В качестве формулы мы можем взять конъюнкцию обычных аксиом, определяющих линейные порядки.

Набор из четырех запрещенных подструктур для.

Конечно ограниченные структуры интересны тем, что их CSP и их теория первого порядка разрешимы. Первый результат можно найти, например, в [13] (теорема 4), а второй результат сформулирован в [28, 29] (подробное доказательство см. В [8]).

Теорема 5

Позвольте быть конечно ограниченной однородной реляционной структурой с не более чем d -арными отношениями для некоторых. Тогда -допустимо.

Следствие 3

Пусть будет однородной реляционной структурой с конечным числом не более d -арных отношений для некоторых, что является ядром и имеет разрешимый CSP.Тогда выполнимость концепции в w.r.t. TBoxes разрешима.

Применение и обсуждение

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

Вопрос о конечности подписи. В следствии 2 и следствии 3 требуется, чтобы сигнатура структуры была конечной. Это ограничение необходимо для получения разрешимости. Например, расширение структуры из разд.3.1 по всем соотношениям для однородна, и выполнимость конечных конъюнкций ограничений разрешима в этой структуре. Тем не менее, мы видели в предложении 1, что рассуждение с конкретной областью w.r.t. TBoxes неразрешим.

(Не) разрешимость Условий. Если кто-то намеревается использовать теорему 5 для получения -допустимой конкретной области, можно начать с выбора конечного набора границ, то есть запрещенных -подструктур, для конечной сигнатуры. Тогда возникает вопрос, действительно ли индуцирует конечно ограниченную структуру, т.е.е., есть ли -структура такая, что. Этот вопрос вообще неразрешим. Фактически, в [17] показано, что свойство совместного вложения (JEP) неразрешимо для классов структур, определяемых конечным числом оценок. Кроме того, известно, что класс структур, определяемых конечным числом оценок, имеет JEP, если и только если этот класс является возрастом некоторой счетно бесконечной структуры (см. [25; теорема 6.1.1]). Однако, если ограничить внимание двоичными сигнатурами, то можно решить, имеет ли класс формы AP [12].Если это так, то предел Фрассе является конечно ограниченной однородной структурой, удовлетворяющей теореме 4.

Воспроизведение известных результатов. Примерами -допустимых конкретных областей, приведенными в [33], были RCC8 и интервальная алгебра Аллена, для которых свойство лоскутного шитья доказано «вручную» в [33]. Учитывая теорему 5, мы получаем эти результаты как следствие известных результатов теории моделей. В [15] показано, что RCC8 имеет представление однородной структурой с конечной реляционной сигнатурой (теорема 2 в [15]).Поскольку имеет конечную универсальную аксиоматизацию (определение 3 в [15]), является конечно ограниченным. Для интервальной алгебры Аллена в [24] было показано, что она имеет представление однородной структурой с конечной реляционной сигнатурой. Поскольку имеет конечную универсальную аксиоматизацию, конечно ограничен. Наш текущий пример также удовлетворяет предварительным условиям теоремы 5, и, таким образом, следствие 2 дает разрешимость с TBoxes. Для расширенных только с разрешимость была доказана в [30] с использованием автоматной процедуры.Наши результаты показывают, что для этой логики также существует процедура принятия решения на основе таблиц.

Расширения, несвязанные объединения и продукты. При моделировании концепций в DL с конкретным доменом часто бывает полезно иметь возможность ссылаться на определенные элементы d домена, то есть иметь унарные предикатные символы, которые интерпретируются как. Можно показать, что класс редуктов конечно ограниченных однородных структур замкнут относительно расширения конечным числом таких соотношений [8].

Также было бы полезно иметь возможность ссылаться на предикаты различных конкретных областей (скажем, RCC8 и Allen) при определении понятий. В [5] показано, что допустимые конкретные области замкнуты относительно дизъюнктного объединения. Мы можем доказать соответствующий результат для конечно ограниченных однородных структур [8]. Использование дизъюнктного объединения для ссылки на несколько конкретных доменов хорошо работает, если пути, используемые в конструкторах конкретных доменов, содержат только функциональные роли, что и было рассмотрено в [5].Однако, если мы допускаем нефункциональные роли в путях, то использование дизъюнктного объединения нецелесообразно. В общем, если есть два бинарных отношения над D, и, то ситуация, когда индивидуальный x имеет r -преемника y с признаками, связанными как через R , так и не может быть описана с помощью несвязного объединения ( D ; R ) и как конкретная область (подробности см. В [8]).

Для преодоления этой проблемы мы предлагаем использовать так называемый полный продукт [10].Позвольте быть конечным числом структур с непересекающимися реляционными сигнатурами. Полное произведение из , обозначенное как, имеет в качестве своей области декартово произведение, а в качестве подписи — объединение подписей. Для и мы обозначаем i -й компонент кортежа a через. Отношения определены следующим образом:

для всех без исключения n -ary. В [8] показано, что полное произведение сохраняет однородность и конечную ограниченность, и, таким образом, предпосылки теоремы 5 и следствия 2 сохраняются при построении полного произведения.

Предложение 6

Пусть будут конечно ограниченные однородные структуры с непересекающимися реляционными сигнатурами, такие, что, для, содержит символ, который определен в as. Тогда — конечно ограниченная однородная структура.

Вместе с предложением 4 это также дает общий результат сложности для комбинаций ограничений над несколькими конечно ограниченными однородными шаблонами. Такие комбинации ранее рассматривались в литературе в частных случаях; например, для RCC8 и Allen [21].

Диграфы Хенсона. Ориентированный граф — это турнир , если каждые две различные вершины в нем соединены ровно одним направленным ребром. В [23] Хенсон доказал, что существует несчетное количество однородных ориентированных графов, показав, что для любого набора конечных турниров (плюс петля и 2-цикл) таких, что ни один член не может быть вложен в любой другой член, является класс объединения, предел Фрассе которого является однородным ориентированным графом. Кроме того, пределы Фраиссе для двух различных наборов таких турниров также различны.В литературе такие ориентированные графы часто называют орграфами Хенсона [34]. Если это орграф Хенсона, то. 5 Ясно, что только счетное число орграфов Хенсона может иметь разрешимый CSP. Помимо конечно ограниченных турниров (см. Предложение 4), есть интересный пример, построенный с использованием бесконечного множества неизоморфных турниров из оригинального доказательства несчетности Хенсона. Рассмотрим турниры с такими доменами, что отношение ребер состоит из ребер ( i , j ) для каждого с, и ( j , i ) для каждого с.В [11] показано, что CSP орграфа Хенсона, которому соответствует, является coNP-полным. Этот орграф представляет собой однородное ядро, и его CSP разрешима. Таким образом, он удовлетворяет требованиям следствия 3. Однако очевидно, что он не является конечно ограниченным и, следовательно, не удовлетворяет требованиям следствия 2. Наоборот, известно, что случайный граф конечно ограничен и однороден [25], но он не является ядром [9]. Это показывает, что класс структур, охватываемых следствием 3, несравним с классом, охватываемым следствием 2.

Заключение

Мы показали, что -допустимость, которая была введена в сообществе DL для получения разрешимых расширений DL с помощью конкретных областей, тесно связана с хорошо известными понятиями из теории моделей. Учитывая тот факт, что большое количество однородных структур известно из литературы [34] и что однородные и конечно ограниченные структуры играют важную роль в сообществе CSP, мы полагаем, что наша работа окажется полезной для поиска новых -допустимых конкретные домены.

Это не первое теоретико-модельное описание достаточного условия разрешимости рассуждений в ДЛ с конкретными областями при наличии TBox. Существование гомоморфизма определимо (EHD) Свойство было использовано в [19] для получения результатов о разрешимости ДЛ с конкретными областями. Однако способ интеграции конкретной области в ДЛ в [19] отличается от классического, используемого нами и используемого во всех других статьях по ДЛ с конкретными областями.В [19] ограничения всегда устанавливаются по линейному пути, исходящему от одного человека, что очень похоже на использование ограничений в темпоральной логике [18, 20]. Напротив, в классической настройке DL с конкретными доменами можно сравнивать значения характеристик братьев и сестер индивида.

Сноски

1 Фактически, они были введены (под другим названием) примерно в то же время, что и конкретные домены [2, 38].

2 Из-за небольшого злоупотребления нотацией мы используем <вместо обозначения также интерпретации символа предиката <в.

3 Лемма фактически дает только процедуру принятия решения NP для этого CSP, но легко видеть, что вышеупомянутый алгоритм проверки цикла за полиномиальное время может быть адаптирован так, что он также работает для расширенной структуры.

4 Аналогичный прием для исключения нулевого критерия используется в доказательстве предложения 1 в [16].

5 Одно направление очевидно, другое выполняется, потому что гомоморфизмы между ориентированными графами не могут стягивать ребра.

Поддерживается DFG GRK 1763 (QuantLA) и TRR 248 (cpec, grant 389792660).

Ссылки

1. Allen JF. Сохранение знаний о временных интервалах. Commun. ACM. 1983; 26 (11): 832–843. DOI: 10.1145 / 182.358434. [CrossRef] [Google Scholar] 2. Баадер Ф., Бюркерт Х. Дж., Холландер Б., Натт В., Зикманн Дж. Х. Логика понятий. В: Ллойд Дж. У., редактор. Вычислительная логика. Гейдельберг: Спрингер; 1990. С. 177–201. [Google Scholar] 3. Баадер Ф., Кальванезе Д., МакГиннесс Д., Нарди Д., Патель-Шнайдер П. Ф., редакторы.Справочник по логике описания: теория, реализация и приложения. Кембридж: Издательство Кембриджского университета; 2003. [Google Scholar]

4. Баадер, Ф., Ханшке, П .: Схема для интеграции конкретных областей в концептуальные языки. В: Материалы 12-й совместной международной конференции по искусственному интеллекту (IJCAI, 1991), стр. 452–457 (1991). Полная версия доступна под номером [5]

6. Баадер Ф., Ханшке П. Расширения концептуальных языков для машиностроительного приложения. В: Юрген Ольбах Х, редактор.GWAI-92: достижения в области искусственного интеллекта; Гейдельберг: Спрингер; 1993. С. 132–143. [Google Scholar] 7. Баадер Ф., Хоррокс И., Лутц С., Саттлер У. Введение в логику описания. Кембридж: Издательство Кембриджского университета; 2017. [Google Scholar] 8. Баадер, Ф., Ридвал, Дж .: Использование теории моделей для поиска допустимых конкретных областей. LTCS-Report 20-01, кафедра теории автоматов, Институт теоретической информатики, Технический университет Дрездена, Дрезден, Германия (2020). https://tu-dresden.de/inf/lat/reports#BaRy-LTCS-20-019.Бодирский М. Ядро счетно категоричной структуры. В: Дикерт В., Дюран Б., редакторы. STACS 2005; Гейдельберг: Спрингер; 2005. С. 110–120. [Google Scholar] 10. Бодирский, М .: Классификация сложности в удовлетворении ограничений в бесконечной области. Докторская диссертация, Университет Дидро, Париж, 7 (2012 г.). https://arxiv.org/pdf/1201.0856.pdf 11. Бодирский М., Гроэ М. Недихотомии в сложности выполнения ограничений. В: Aceto L, Damgård I, Goldberg LA, Halldórsson MM, Ingólfsdóttir A, Walukiewicz I., редакторы.Автоматы, языки и программирование; Гейдельберг: Спрингер; 2008. С. 184–196. [Google Scholar] 12. Бодирский, М., Кнауэр, С., Старке, Ф .: AMSNP: ручной фрагмент экзистенциальной логики второго порядка. В: Материалы 16-й конференции по вычислимости в Европе — за пределами горизонта вычислимости (CiE 2020). Конспект лекций по информатике. Спрингер (2020). https://arxiv.org/abs/2001.08190.pdf

13. Бодирски М., Моттет А .: Редукты конечно ограниченных однородных структур и повышение управляемости из выполнения ограничений конечной области.В: Материалы 31-го ежегодного симпозиума ACM / IEEE по логике в компьютерных науках (LICS 2016), стр. 623–632. ACM / IEEE (2016)

14. Бодирски М., Нешетржил Ю. Удовлетворенность ограничений счетными однородными шаблонами. J. Logic Comput. 2006. 16 (3): 359–373. DOI: 10.1093 / logcom / exi083. [CrossRef] [Google Scholar]

15. Бодирски, М., Вёльфль, С .: RCC8 полиномиален на сетях с ограниченной шириной дерева. В: Материалы 22-й Международной совместной конференции по искусственному интеллекту (IJCAI 2011).IJCAI / AAAI (2011)

16. Боянчик, М., Сегоуфин, Л., Торуньчик, С .: Верификация систем, управляемых базами данных, посредством объединения. В: Материалы 32-го симпозиума ACM SIGMOD-SIGACT-SIGART по принципам систем баз данных (PODS 2013), стр. 63–74. ACM (2013)

17. Браунфельд, С .: Неразрешимость совместного вложения и совместного гомоморфизма для наследственных классов графов. Дискретная математика. Теорет. Comput. Sci. 21 (2) (2019). https://arxiv.org/pdf/1903.11932.pdf18. Карапель К., Фенг С., Карцоу А., Лохри М.Выполнимость ECTL с ограничениями локального дерева. Теория вычисл. Syst. 2017; 61 (2): 689–720. DOI: 10.1007 / s00224-016-9724-у. [CrossRef] [Google Scholar]

19. Carapelle, C., Turhan, A.Y .: Логика описания, рассуждающая относительно общих TBoxes, разрешима для конкретных областей с EHD-свойством. В: Материалы 22-й Европейской конференции по искусственному интеллекту (ECAI, 2016), стр. 1440–1448. IOS Press (2016)

20. Демри С., Д’Суза Д. Теоретико-автоматный подход к ограничению LTL. Инф.Comput. 2007. 205 (3): 380–415. DOI: 10.1016 / j.ic.2006.09.006. [CrossRef] [Google Scholar]

21. Геревини, А., Небель, Б .: Качественные пространственно-временные рассуждения с использованием RCC-8 и интервального исчисления Аллена: вычислительная сложность. В: Материалы 15-й Европейской конференции по искусственному интеллекту (ECAI 2002), стр. 312–316. IOS Press (2002)

22. Хаарслев В., Мёллер Р., Вессель М. Расширение логики описания с помощью конкретных областей: практически мотивированный подход. В: Горе Р., Лейтч А., Нипков Т., редакторы.Автоматизированное рассуждение; Гейдельберг: Спрингер; 2001. С. 29–44. [Google Scholar] 23. Хенсон CW. Счетные однородные реляционные структуры и -категорические теории. J. Symb. Логика. 1972: 37 (3): 494–500. DOI: 10.2307 / 2272734. [CrossRef] [Google Scholar] 24. Хирш Р. Алгебры отношений интервалов. Артиф. Intell. 1996. 83 (2): 267–295. DOI: 10.1016 / 0004-3702 (95) 00042-9. [CrossRef] [Google Scholar] 25. Ходжес В. Более короткая модельная теория. Кембридж: Издательство Кембриджского университета; 1997. [Google Scholar] 26. Hoehndorf R, Schofield PN, Gkoutos GV.Роль онтологий в биологических и биомедицинских исследованиях: функциональная перспектива. Краткий. Биоинформ. 2015. 16 (6): 1069–1080. DOI: 10.1093 / bib / bbv011. [Бесплатная статья PMC] [PubMed] [CrossRef] [Google Scholar] 27. Хоррокс И., Пател-Шнайдер П.Ф., ван Хармелен Ф. От SHIQ и RDF к OWL: создание языка веб-онтологий. J. Web Semant. 2003. 1 (1): 7–26. DOI: 10.1016 / j.websem.2003.07.001. [CrossRef] [Google Scholar]

28. Клин, Б., Ласота, С., Очремяк, Дж., Торунчик, С .: Проблемы гомоморфизма для определимых структур первого порядка.В: 36-я Ежегодная конференция IARCS по основам программных технологий и теоретической информатики (FSTTCS 2016). Schloss Dagstuhl-Leibniz-Zentrum für Informatik (2016)

29. Копчинский, Э., Торуньчик, С .: LOIS: применение решателей SMT. В: King, T., Piskac, R. (eds.) Proceedings of the 14th International Workshop on Satisfiability Modulo Theories (SMT @ IJCAR 2016). CEUR Workshop Proceedings, vol. 1617. С. 51–60. CEUR-WS.org (2016)

30. Лутц, К .: Временные рассуждения на основе интервалов с общими TBoxes.В: Nebel, B. (ed.) Proceedings of the 17th International Joint Conference on Artificial Intelligence (IJCAI 2001), pp. 89–94. Морган Кауфманн, Сан-Матео (2001)

31. Лутц К. Логики полного описания NExpTime с конкретными областями. В: Горе Р., Лейтч А., Нипков Т., редакторы. Автоматизированное рассуждение; Гейдельберг: Спрингер; 2001. С. 45–60. [Google Scholar] 32. Лутц, Ч .: Добавление чисел к логике описания — первые результаты. В: Материалы 8-й Международной конференции по принципам представления знаний и аргументации (KR 2002), стр.191–202. Морган Кауфманн, Лос Альтос (2002) 33. Лутц Ч., Миличич М. Табличный алгоритм для логики описания с конкретными областями и общими TBoxes. J. Autom. Причина. 2007. 38 (1–3): 227–259. DOI: 10.1007 / s10817-006-9049-7. [CrossRef] [Google Scholar] 34. Макферсон Д. Обзор однородных структур. Дискретная математика. 2011. 311 (15): 1599–1634. DOI: 10.1016 / j.disc.2011.01.024. [CrossRef] [Google Scholar] 35. Минский МЛ. Вычисления: конечные и бесконечные машины. Энглвудские скалы: Прентис-Холл; 1967. [Google Scholar] 36.Пан, Дж. З., Хоррокс, И.: Рассуждение в логике описания. В: Horrocks, I., Tessaris, S. (eds.) Proceedings of the 2002 Description Logic Workshop (DL 2002). CEUR Workshop Proceedings, vol. 53. CEUR-WS.org (2002)

37. Рэнделл, Д.А., Цуй, З., Кон, А.Г .: Пространственная логика, основанная на регионах и связях. В: Материалы 3-й Международной конференции по принципам представления знаний и аргументации (KR 1992), стр. 165–176. Морган Кауфманн, Los Altos (1992)

38. Schild, K.: Теория соответствия терминологической логики: предварительный доклад. В: Mylopoulos, J., Reiter, R. (eds.) Proceedings of the 12th International Joint Conference on Artificial Intelligence (IJCAI 1991), pp.

Ответить

Ваш адрес email не будет опубликован.