Основы теории Логики вопросов и ответов - так называемая Эротетическая логика. Рассмотрены принципы формализации построения вопросов и ответов, что может быть использовано для машинной-компьютерной обработки и создания поисковых систем. Предназначена для лингвистов, программистов и др. специалистов в области информатики и искусственного интеллекта. Библиографический указатель работ по теории вопросов и ответов. В приложении - 2 статьи Белнапа.
В книге содержатся сведения об основных свойствах аэроснимков и пространственной модели местности, о принципах измерений на аэроснимках и получении количественных геологических данных. Последовательно рассматриваются особенности геологического дешифрирования на аэроснимках осадочных горных пород в условиях горизонтального и наклонного залегания, дешифрирование складчатых структур и разрывных нарушений, а также особенности дешифрирования изверженных и метаморфических пород и четвертичных отложений. Отдельная тема посвящена наземной стереофотограмметрической съемке и основным принципам геологического дешифрирования и измерениям на наземных снимках, с целью составления геологических разрезов и колонок.
В работе рассматриваются границы геологических систем докембрия и фанерозоя на основании детальной корреляции пограничных слоев. Дается палеонтологическое обоснование принятым границам на основании анализа вертикального распространения остатков фауны и флоры. Обсуждаются общие принципы проведения границ.
Рассмотрен способ построения автоматизированных фактографических информационно-поисковых систем (АФИПС) на примере геологической информации. Описано применение АФИПС в геологии, дается их классификация и указываются средства, необходимые для создания систем каждого типа. Приведены семантические средства АФИПС. Изложены способы анализа и систематизации геологической информации, построение информационно-поискового языка и пути формализации вводимых в систему геологических понятий. Дан анализ технических и математических средств создания указанных систем.
Книга представляет интерес для геологов, занимающихся проблемами информации в геологии, а также для специалистов, разрабатывающих вопросы накопления, поиска и обработки геологических данных с применением ЭВМ.
Обобщен опыт разработки и применения математических методов при прогнозно-металлогенических исследованиях. Приведены общая содержательная и формальная постановки задачи прогнозирования как процесса принятия решения в условиях неопределенности; описаны статистико-игровые и эвристические методы, дан их сравнительный анализ; разработана структура единой автоматизированной системы прогнозирования. Рассмотрены методы автоматической классификации и предварительной обработки геолого-геофизических данных.
Изложены результаты наиболее полных и законченных исследований по применению математических методов и ЭВМ при прогнозировании и поисках месторождений полезных ископаемых в различных районах Советского Союза (Кольский полуостров, Казахстан, Рудный Алтай).
Книга рассчитана на геологов, занимающихся проблемами прогнозирования месторождений полезных ископаемых.
Книга написана для студентов геодезических специальностей вузов в соответствии с программой курса «Основы космической геодезии». Книга состоит из введения и семи глав. В гл. I излагаются координатная проблема и системы измерения времени. В гл. II расcматривается теория движения ИСЗ. В ней говорится о кеплеровском и возмущенном движении спутников, содержатся сведения о вычислении эфемерид и уточнении орбит. В гл. III даны элементы спутниковой сферической астрономии. О методах и аппаратуре для наблюдений ИСЗ и предварительной обработке результатов наблюдений идет речь в гл. IV книги. Геометрические и динамические задачи являются предметом рассмотрения в V и VI главах. В этих главах приводятся также сведения об уточнении некоторых фундаментальных постоянных астрономии и геодезии. Основ ные результаты, достигнутые в космической геодезии, сообщаются в гл. VII.
Книга может быть также использована аспирантами соответствующих специальностей, инженерно-техническими работниками, которые трудятся над геодезическими аспектами использования искусственных спутников Земли.
Книга содержит описание методов и приборов, применяемых при строительстве и монтаже крупных инженерных и научных уникальных сооружений, для обеспечения нормальной работы которых требуется высокая точность сопряжения технологических элементов и стабильность смонтированного оборудования и строительных конструкции. Освещены вопросы теории и практики применения дифракционного способа створных измерений, гидростатического нивелирования с дистанционным съемом информации, закрепления пунктов опорных сетей; указаны перспективы расширения области применения лазерной техники и возможности автоматизации отдельных видов измерений; рассмотрены вопросы контрольных наблюдений за положением технологического оборудования в процессе эксплуатации.
Книга представляет практический интерес для широкого круга специалистов в области высокоточных инженерно-геодезических работ, а также для студентов, изучающих прикладную геодезию.
В Инструкции подробно освещаются общие вопросы построения геодезических сетей методами полигонометрии, трилатерации без постройки наружных геодезических знаков и их сочетанием, приводятся возможные схемы построений. Инструкция рекомендует новейшие инструменты для угловых и линейных измерений, разработанные в последние годы. Описывает порядок выполнения лабораторных и полевых исследований рекомендуемых инструментов.
Инструкция предназначена для предприятий и организаций всех ведомств, занимающихся полигонометрией и трилатерацией.
Учебное пособие составлено по программе курса «Дешифрирование аэроснимков» для специальности «Аэрофотогеодезия» институтов инженеров геодезии, аэрофотосъемки и картографии. Пособие может быть использовано и для специальности «Картография» при изучении курса «Полевая картография», а также на географических факультетах университетов и в других выс ших учебных заведениях, где при изучении специальных курсов освещаются вопросы аэрометодов.
Пособие состоит из теоретической, методической частей и части, посвященной перспективным проблемам дешифрирования.
В теоретической части дается научное обоснование методов и организации дешифрирования. Она включает следующие вопросы: дешифрирование как информационно-логический процесс творческой деятельности человека, де шифровочные признаки, физиологические, аэрофотографические и географические основы дешифрирования.
В методической части изложены принципиальные вопросы современных производственных методов дешифрирования с целью топографического и специального картографирования. В этой части рассматриваются методы и организация топографического дешифрирования и дается понятие о методах основных видов отраслевого дешифрирования.
В части, посвященной перспективам, рассматриваются результаты опытно-исследовательских работ по повышению качества и эффективности дешифрирования. Задача этой части - познакомить студентов с тенденцией развития методов дешифрирования, которые будут в ближайшее время применяться на производстве. Перспективная часть включает следующие проблемы: преобразование и статистическая обработка аэрофотоизображения, проблема автоматизации дешифрирования, принципы дешифрирования нефотографических и космических снимков.
В книге рассматриваются вопросы автоматизации высокоточных инженерно-геодезических измерений при выполнении створных наблюдений, при контроле прямолинейности направляющих конструкций и технологического оборудования, при монтаже и эксплуатации промышленных сооружений. Приводятся оригинальные конструкции автоматических приборов, применяемых в инженерной геодезии, и датчиков.
Описываются высокоточные методы при применении для измерений оптических квантовых генераторов. Излагаются принципы расчета и построения автоматических измерительных систем геодезического назначения, приводятся результаты экспериментальных исследований.
Книга рассчитана на широкий круг геодезистов, научных работников, аспирантов и студентов геодезических вузов и факультетов.