CC BY
47
УДК 631.631.22 UDC 631.631.22
КОМПЛЕКСНЫЙ ПОДХОД К ТЕХНОЛО- COMPLIEX APRROACH TO THE TECHNOLO-
ГИИ ПРОИЗВОДСТВА ЗЕРНОВЫХ КОЛО- GY OF PRODUCTION OF GRAIN AND SPIKE
СОВЫХ КУЛЬТУР CULTURES
Тарасенко Борис Фёдорович Tarasenko Boris Fedorovich
к.т.н., доцент Cand.Tech.Sci., associate professor
Оськин Сергей Владимирович Osykin Sergey Vladimirovich
д.т.н., профессор Dr.Sci.Tech., professor
Кубанский государственный аграрный универси- Kuban State Agrarian University, Krasnodar, Russia тет, Краснодар, Россия
Представлены: новый методологический подход, The article presents the new direction for union tech-
объединяющий технические характеристики с nical characteristics with productivity, and formal mod-
показателем, характеризующим плодородие (уро- els for every method of production of grain and spike
жайность), а также формализованные модели для cultures and for general technology
каждой операции производства зерновых колосовых культур и для всей технологии производства
Ключевые слова: РЕСУРСЫ, АЛГЕБРА ЛОГИКИ, Keywords: RESOURCE, ALGEBRA OF LOGIC, КВАНТОР, ПРЕДИКАТ, ФУНКЦИИ, ФОРМА- QUANTUM, PREDICATE, FUNCTION, FORMAL ЛИЗОВАННАЯ МОДЕЛЬ, ОБРАБОТКА ПОЧВЫ, MODEL, TILLAGE, MANURE, SOWING, CHEMI-УДОБРЕНИЕ, СЕВ, ЗАЩИТА, УБОРКА, CAL PROTECTION, HARVESTING, SEED CLEAN-
ОЧИСТКА СЕМЯН ING
В настоящий момент актуально ресурсосбережение, так как ни для кого не является секретом, что ресурсосберегающая стратегия для сельского хозяйства имеет жизненное значение как основа обеспечения конкурентоспособности аграрной отрасли экономики [1]. Также актуально сохранение плодородия (получение гарантированных урожаев, например зерновых колосовых культур), зависящее от обработки почвы, внесения удобрений, посева, защиты растений, уборки и очистки зернового вороха. Низкое качество разрыхления почвенных структур верхнего горизонта не обеспечивает условий эффективного накопления и использования почвенной влаги, не способствует сохранению урожайности зерновых культур в условиях рискованного засушливого земледелия. Загрязнение агроландшафта из-за возрастающего количества средств химизации, вымывание из почвы питательных веществ, засоление орошаемых территорий ведут к потере сельскохозяйственных ресурсов, вследствие вторичного подкисления, эрозии, уплотнения, заболачивания, иссушения почвы и к отторжению пахотных земель [2].
Известно, что существующие методы в земледелия (обработка почвы, внесение удобрений, посев зерновых колосовых, защита растений от сорняков и вредителей, уборка урожая и очистка зернового вороха), технические средства и рабочие органы, технические характеристики и параметры применяются для обеспечения продукцией растениеводства. Причём добиваются такого качественного состояния почвы (оптимальной плотности почвы и влажности, содержания КРК. отсутствия сорных растений, калиброванного семенного фонда и т.д.), при котором обеспечивается получение необходимого урожая.
Однако существует проблема, которая заключается в следующем: с одной стороны существуют энергосберегающие технологические методы в земледелии, такие как, обработка почвы, внесение удобрений, защита растений, связанные с уменьшением количества операций обработки почвы (например, нулевая или безотвальная обработка, совмещение операций, снижение химического фактора и т.д.). Но они плохо внедряются из-за отсутствия комплексного подхода ко всей технологии (технологическому процессу) производства сельскохозяйственной культуры, так как сдерживающим фактором является разобщённость процессов производства и предупреждения деградации почв (сохранения плодородия). Трудно установить функциональные зависимости между параметрами рабочих органов, силами сопротивления почвы, физико-механическими свойствами почвы, её структуры и плодородия, а также трудно установить функциональные зависимости между параметрами рабочих органов и плодородием.
Для решения указанной проблемы нами поставлены следующие задачи исследований.
1. Предложить новый методологический подход, объединяющий технические характеристики и параметры методов земледелия с качественным показателем, характеризующим плодородие (урожайность).
2. Разработать формализованные модели для операций обработки почвы, внесения удобрений, посева зерновых колосовых культур, защиты растений, уборки и очистки зерна, а также формализованную модель всей технологии производства.
Реализация задач исследований осуществлена следующим образом.
Предлагаем дальнейшие исследования проводить с использованием логики предикатов и кванторной алгебры [3, 4, 5].
Логика предикатов - это раздел современной логики, изучающей рассуждения и другие языковые контексты с учетом внутренней структуры входящих в них простых высказываний, при этом выражения языка трактуются функционально, т. е. как знаки некоторых функций или же знаки аргументов этих функций. Другой отличительной чертой логики предикатов является использование особого типа логических символов — кванторов и связываемых ими (квантифицируемых) переменных для воспроизведения логических форм множественных высказываний. Наиболее употребим в логике квантор общности V и квантор существования Э.
Добавление к аппарату исчисления предикатов различных постоянных и переменных термов с характеризующими полученную предметную область конкретными аксиомами и схемами аксиом приводит к различным видам прикладных исчислений предикатов. Данный раздел логики включает как классические, так и неклассические логические теории. В основе классической логики предикатов лежат, прежде всего, общие для всех классических систем логики принципы, экстенсиональности (значение сложного выражения зависит только от значений составляющих его выражений), а также идущая от Аристотеля классическая трактовка истины как соответствия наших утверждений действительности. Кроме того, в классической логике предикатов принимаются специфические именно для кванторной теории предпосылки экзистенциального характера — допущение о существовании объектов в предметной области и существовании денота-
тов у сингулярных терминов (термин «существование» здесь следует понимать в смысле известного критерия У. Куайна: «существовать — значит быть возможным значением квантифицируемой переменной»).
Язык логики предикатов первого порядка является удобным средством для строгого построения на его основе конкретных, прикладных теорий. В этом случае вместо абстрактных предметных, предикаторных и предметно-функциональных констант в алфавит вводятся конкретные термины словаря теории — имена объектов ее предметной области, знаки их свойств и отношений, знаки заданных на данной области предметных функций. Сами прикладные первопорядковые теории (их часто еще называют элементарными) строятся обычно аксиоматически. К логической части (аксиомам и правилам вывода исчисления предикатов) добавляется собственная часть прикладной теории — постулаты, отражающие закономерности ее предметной области.
Более трудным оказалось доказательство семантической полноты первопорядкового исчисления предикатов, т. е. того, что всякая универсально общезначимая формула является теоремой исчисления. Впервые этот результат был получен К. Гёделем (1930). Позднее Л. Генкин предложил изящный (хотя и неконструктивный) метод доказательства полноты, существенно опирающийся на лемму Линденбаума (о возможности расширения любого непротиворечивого множества формул логики предикатов до непротиворечивого насыщенного множества). Еще более простой метод, использующий технику т. н. модельных множеств, был разработан Я. Хин-тиккой. Наличие свойств семантической непротиворечивости и полноты у первопорядкового исчисления предикатов свидетельствует о том, что оно представляет собой адекватную формализацию семантически построенной логики предикатов, т. е. что у важнейших понятий — общезначимой формулы (закона логики) и логического следования (имеющего место между
посылками и заключением в корректном рассуждении) — имеются точные синтаксические аналоги.
Многообразие всех возможных отношений между высказываниями анализируется на основе трех базовых отношений — отрицания, конъюнкции и дизъюнкции, а также производных от них отношений: импликации, эквивалентности и некоторых др. В современном логическом языке в качестве пропозициональных связок обычно используются следующие символы: оператор отрицания «)», оператор конъюнкции «&», оператор дизъюнкции «V», оператор импликации «—>» и оператор эквивалентности «<—>». В естественном языке смысловыми аналогами этих операторов являются, соответственно, частица «не», союз «и», союз «или», связка «если.., то...» и связка «...если и только если...».
Для синтеза предикатных выражений необходимо использовать логическое программирование. Логическое программирование - программирование, основанное на использовании механизма доказательства теорем в логике, который позволяет выяснить, является ли противоречивым некоторое множество логических формул. При этом программа рассматривается как набор логических формул, описывающих предметную область. Будем использовать общепринятые операторы. Дизъюнкт Хорна - правильно построенное предложение, имеющее следующий общий вид записи:
Р0 \/ ~Р1 \/ ~Р2 \/ ... \/ ~Рп, п > = 0,
(1)
где Р1 - атомарная формула (предикат), все переменные которой связаны не указанными явно кванторами всеобщности, областью действия которых является весь дизъюнкт.
Эквивалентной, но более удобной, формой представления дизъюнкта является
Р1 & Р2 &...& Рп -> Р0. (2)
Следует отметить, что существует формальная процедура приведения произвольных правильно построенных формул к стандартному виду - совокупности коньюктивно связанных дизъюнктов Хорна. Однако не составляет труда описать свою предметную область аксиомами непосредственно в стандартном виде, используя импликативную интерпретацию диэъюнк-тов.
Алфавит логического програмирования состоит из предметных переменных х1, х2,..., хп, принимающих значения из некоторой предметной области предметных констант а1, а2 , ... , ат; предикатных букв (констант) Р1 , Р2 , ... , РК; функциональных букв (констант) А , О ,..., fq; знаков логических связок V , & , ^ ; кванторов, 3 и скобок ( , ). Понятие форму-
лы логического програмирования определяется в два этапа.
- Этап 1. Определение терма.
Предметные переменные и константы являются термами. Если f - функциональная буква, а А , ... , Ш -термы, то f ( Н , ... , Ш) - терм.
- Этап 2. Определение формулы.
Если Р - предикатная буква, а Й ,..., Ш - термы, то Р ( Н , ... , Ш ) - формула. Формулу данного вида называют часто атомарной формулой или атомом. Если А и В - формулы, то формулами являются ^А, А ^ В, А V В, А & В.
Если А - формула, а х - предикатная переменная, входящая в А, то □хА(х) и 3 хА(х) - формулы. Выражение является формулой в том и только в том случае, если это следует из данных правил.
Переменные, находящиеся в сфере действия кванторов, называются связанными, остальные переменные - свободными. Атом или отрицание атома иногда называют литералом.
Логика предикатов начинается с анализа строений высказывания, которые выражают тот факт, что объекты обладают некоторыми свойствами, или находятся между собой в некоторых отношениях. Понятие «свойства» и понятие «отношения» рассматриваются как частный случай общего понятия «предиката». Объекты, о которых говорится в высказывании, называются термами или предметными константами.
Таким образом, согласно формуле Хорна качественный показатель обработки почвы обозначим через X. Он представляет множество логических (булевых, согласно алгебре логики Джорджа Буля [3]) переменных х;. Обозначения логических переменных и основные параметры процесса обработки почвы представлены в таблице 1.
Таблица 1 - Параметры сплошной обработки почвы
№-№, п-п Наименование параметров Обозначения логических переменных х;
1 Глубина обработки, м; XI
2 Ширина корпуса (лапы рабочего органа), м; Х2
3 Затраты энергии (моторного топлива) на обработку почвы, кг/га Хз
4 Масса плуга, кг; Х4
5 Эрозионные потери почвы, кг/га; Х5
6 Производительность, га/ч; Хб
7 Затраты энергии (моторного топлива) на дополнительные обработки, кг/га; Х7
8 Затраты энергии (топлива) на заделку незерновой части урожая и пожнивных, кг/га Х8
9 Затраты энергии (моторного топлива) на влаго-сбережение, кг/га Х9
10 Качественный показатель = урожайности, Ц/га. X
Следовательно, согласно логическим операциям формализованную модель процесса сплошной обработки почвы можно представить в виде следующего математического выражения.
XIЛ х2 Л х3 Л х4Л х5 Л хбЛ х7Л х8 Л х9 !=> X, (3)
где Р - знак импликации (логической операции соответствующей по смыслу союзу «если..., то...»).
Анализ существующих методов внесения удобрений, показывает, что задачей всех операций является качественный показатель У (оптимальное количество КРК). Он влияет на урожайность. Следовательно, качественный показатель У - это множество логических (булевых) переменных у], описывающих параметры (Таблица 2).
Таблица 2 - Параметры внесения удобрений
№-№, п-п Наименование параметров Обозначения логических переменных У]
1 Доза внесения удобрений, кг/га У1
2 Стоимость (цена) удобрений, руб./кг У2
3 Производительность внесения, га/ч Уз
4 Затраты энергии (моторного топлива) на внесение удобрений, кг/га У4
5 Затраты энергии на заделку удобрений и дополнительные обработки (проходы),/ кг/га У5
6 Неравномерность внесения, % У6
7 Эрозия почвы, кг/га У7
8 Химический фактор (вред), кг/га У8
9 Качественный показатель = урожайности, Ц/га. У
Формализованная модель, согласно логическим операциям (формуле Хорна) процесса внесения удобрений будет иметь следующее математическое выражение.
у2 Л у2 Л Уз Л у4 Л у5 ЛубЛу7Лу8 Р 7 (4)
Анализ существующих методов посева зерновых колосовых культур, показывает, что задачей указанных операций является качественный показатель, который обозначим через Ъ (качество зерна по массе и плотности, глубина заделки, семенное ложе и т.д.). От качественного показателя будет зависеть урожайность. Следовательно, качественный показатель Ъ - это множество логических (булевых) переменных 2к (Таблица 3), описывающих параметры.
Таблица 3 - Параметры процесса посева зерновых колосовых культур
№-№, п-п Наименование параметров Обозначения логических переменных 2к
1 Норма (доза) высева, кг/га 21
2 Масса технических средств, кг 22
3 Производительность, га/ч 23
4 Затраты энергии (моторного топлива) на посев зерновых колосовых, кг/га 24
5 Затраты энергии (моторного топлива) на дополнительные операции по подготовке семенного ложа, кг/га 25
6 Эрозия (потери почвы), кг/га 26
7 Неравномерность нормы высева, % 27
8 Качественный показатель = урожайности, Ц/га. 2
Тогда, согласно формуле Хорна формализованную модель процесса посева зерновых колосовых культур можно представить в виде следующего математического выражения.
IIЛ 12 Л 13 Л 14 Л15 Л16 Л17 !=> 2 (5)
Анализ существующих методов защиты растений, показывает, что задачей указанных операций является качественный показатель и. От него зависит урожайность. Следовательно, качественный показатель И - это множество логических (булевых) переменных иг (Таблица 4), описывающих параметры.
Таблица 4 - Параметры внесения пестицидов
№-№, п-п Наименование параметров Обозначения логических переменных иг
1 Доза внесения, кг/га и1
2 Стоимость (цена) пестицидов, руб./кг П2
3 Производительность, га/ч из
4 Затраты энергии (моторного топлива), кг/га и4
5 Неравномерность, % и5
6 Химический фактор (вред от пестицидов), кг/га ив
7 Качественный показатель = урожайности, Ц/га. и
В связи с этим, согласно формуле Хорна модель процесса обработки посевов зерновых колосовых культур пестицидами можно формализовать в виде следующего математического выражения.
II] Л ІІ2 Л из Л ІІ4 Л ІІ5 Л ІІ6 !=> и http://ej.kubagro.ru/2013/03/pdf/26.pdf
Анализ существующих методов уборки зерновых колосовых культур, показывают, что задачей указанных операций является качественный показатель V - содержащий множество логических (булевых) переменных Уп (Таблица 5). В период уборки важно, как можно меньше производить укатывание почвы, а также обеспечить сохранение влаги. От этого будет зависеть урожайность культур в следующем году.
Таблица 5 - Параметры процесса уборки зерновых колосовых культур
№-№, п-п Наименование параметров Обозначения логических переменных Уп
1 Пропускная способность, кг/с VI
2 Ширина захвата жатки, м У2
3 Производительность, га/ч Vз
4 Затраты энергии (моторного топлива) на процесс уборки, кг/га V4
5 Затраты энергии на процесс измельчения и разбрасывания соломы, кг/га V5
6 Давление на почву ходовой частью, Н/м2 V6
7 Потери урожая, кг/га V?
8 Качественный показатель = урожаю, Ц/га V
Следовательно, модель процесса уборки зерновых колосовых культур можно сформулировать в виде следующего математического выражения.
VI Л У2 Л Уз Л V-! Л У5 Л Уб Л У7 !=> V (7)
Проанализировав методы очистки зернового вороха, определим, что задачей указанных операций является качественный показатель. Чистота http://ej.kubagro.ru/2013/03/pdf/26.pdf
зерна, калибровка по массе и плотности, отсутствие семян сорных растений, отсутствие механических повреждений и потерь - это и есть этот главный качественный показатель. От него зависит получение от собранного урожая продовольственного и семенного фондов и закладывается урожайность на следующий год.
Следовательно, качественный показатель Б - это множество логических (булевых) переменных Бт (Таблица 6), описывающих параметры.
Таблица 6 - Параметры процесса очистки зерновых колосовых культур
№- №, п-п Наименование параметров Обозначения логических переменных Бт
1 Скорость воздушного потока, м/с Б1
2 Ширина обрабатываемого бурта, м В2
3 Производительность очистки, кг/ч (т/ч) Вз
4 Затраты энергии (моторного топлива) на процесс очистки, кг/га В4
5 Затраты энергии на привод дополнительных механизмов средств очистки, кВт ч В5
6 Потери зерна при очистке, кг/т В6
7 Качественный показатель - это продовольственный и семенной фонды = урожаю, Ц./га Б
Поэтому, согласно формуле Хорна и с использованием обозначений алгебры логики, формализованную модель процесса очистки зерновых колосовых культур можно представить в виде следующего математического выражения.
Л Б2 Л Бз Л Б4 Л Б5 Л Бб !=> 8 (8)
Объединив показатели качества всех процессов производства зерновых колосовых культур, затраты ресурсов разработаем метод комплексного подхода к технологии. Для чего навешивая кванторы всеобщности, используя обозначения алгебры логики и предикатной логики, формализуем модель общей технологии в виде следующего математического выражения.
V (ХЛ улілил УЛ Б) => Р = (У), (9)
где V - символ квантора (означает «для всех»);
=> - символ (следует, следовательно).
Модель и графическое изображение общей технологии (рисунок 1)
про-
Рисунок 1 - Комплексная технология производства семян зерновых
колосовых культур
изводства семян зерновых колосовых культур отображают следующее, что на получение планируемой урожайности (У) влияют качественные показатели: сплошной обработки почвы, внесения удобрений, внесения пестицидов, посева зерновых колосовых культур, уборки урожая и первичной очистки зерносоломистого вороха. При этом кванторы существования указывают на логические операции, которые необходимо осуществить, чтобы дать количественную характеристику некоторой области предметов, например параметров технологических процессов, от которых в комплексе зависят снижение затрат ресурсов (Р) в том числе затрат энергии.
В трудах И.И. Тесленко [4] и Г.М. Оськиной в соавторстве [5], отмечено также, что коэффициенты в формализованных моделях отражают экономические параметры процесса (различные виды прикладных исчислений предикатов).
Выводы.
1. Предложен новый методологический подход, объединяющий технические характеристики и параметры методов земледелия с качественным показателем, характеризующим плодородие (урожайность), основанный на использовании логики предикатов, кванторной алгебры и алгебры логики.
2. Разработаны в виде математических выражений формализованные модели для отдельных технологических процессов производства зерновых колосовых культур, а также модель комплексного подхода ко всему процессу, позволяющие осуществлять различные виды прикладных исчислений предикатов.
Список использованной литературы
1. Почвоохранная ресурсосберегающая технология обработки почвы, посева и уборки перспективными агрегатами / Н. К. Мазитов, М. Ш. Тагиров, М. Ю. Гаитов [и др.] // Тракторы и с.-х. машины. - 2006. - № 12. - С. 11-12.
2. Ресурсосберегающие технологии возделывания сельскохозяйственных культур на Ставрополье: рекомендации / Л. Н. Петрова, Э. И. Липкович, Д. К. Зайцев [и
др.]; Эксперт. совет при М-ве сел. хоз-ва Ставропол. Края. - Ставрополь, 2006. -24 с.
3. Математическая энциклопедия. В 5 т. / гл. редактор И.М. Виноградов - М.: Советская энциклопедия, 1977-1985. - 2951 с.
4. Тесленко, И. И. Поточно-конвейерные технологии в молочном животноводстве: дис. ... д-ра техн. наук / И. И. Тесленко; ГНУ ВИЭСХ, ГНУ СКНИИЖ - Москва, 2009. - 386 с.
5. Метод комплексного подхода при анализе ресурсосберегающего эффекта технологий, применяемых в молочном животноводстве / Г. М. Оськина, И. И. Тесленко, Е. И. Корпусенко: - Краснодар: Издательство ООО «Крон», 2008. - 26 с.
