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

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

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

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

Используемые в настоящее время подходы к созданию информационных систем муниципальных служб приводят, как правило, к тоявлению замкнутых программных комплексов с жестко задаваемыми типами документов и правилами их обработки. Примерами таких систем кюгут служить АИС, находящиеся в эксплуатации в подразделениях налоговой службы, разработанные ГНИВЦ при ГНС РФ, ЗАО «ОВИОНТ», ЗАО «БИТ», КБ «Российский кредит» [21]. В системах такого рода всегда зудут существовать проблемы оперативного изменения информации. 1утем привлечения большого числа юристов, программистов и операторов) ту проблему можно решить, хотя при этом всегда будет существовать вероятность того, что какие-то изменения не удалось отследить или оперативно сообщить о них пользователю. В таком случае большие нарекания со стороны пользователя неизбежны. К числу вышеперечисленных проблем следует добавить проблему неоднозначного толкования законодательства в разных подразделениях одного и того же зедомства, что еще больше усложнит поддержку такой системы. Самое незначительное изменение в законодательстве может привести к необходимости переработки всей информационной системы, т. е. к работе, сопоставимой по сложности и затратам с реализацией нового проекта, соторый, очевидно, далеко не каждый заказчик захочет финансировать.

Вообще говоря, подобные проблемы возникают во всех разделах науки, связанной с хранением и алгоритмической обработкой данных, и тому есть объективные причины: наборы данных не моделируют объекты, ах строение и связи, а лишь фиксируют количественные характеристики протекания процессов и явлений во времени [2]. Моделями же этих процессов и явлений служат программные модули, созданные на основе лгоритмов, предложенных предметными специалистами. Напрашивается: динственно возможный вариант снятия проблемы перманентной модификации программных систем — организовывать данные так, чтобы юльзователь имел возможность самостоятельно вносить изменения в гспользуемые отчетные документы путем корректировки информационных 5аз данных.

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

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

I. Исследование типов табличных документов, поступающих в муниципальные службы от юридических лиц, и методов представления этих документов в современных АИС.

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

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

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

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

Практическая ценность работы заключается в создании на базе толученных теоретических результатов программных комплексов «Камеральные проверки» и «Документальные проверки», которые знедрены в промышленную эксплуатацию в налоговых инспекциях Москвы и Твери. Эти программные комплексы предназначены для приема, а анализа отчетных документов, передаваемых в налоговые инспекции юридическими лицами различных категорий. Кроме этого, по результатам заботы создана программа массового распространения «Cameral.exe», предназначенная для предварительной проверки отчетности бухгалтерами предприятий и аудиторскими фирмами. Программные комплексы эеализованы на универсальных языках программирования «С» и «00 Pascal» в операционных системах MS DOS и MS Windows.

Апробирование предложенных методов и средств было проведено в Государственной налоговой инспекции Москвы и Твери,.

ЛосГорКомСтате, АКБ «МосБизнесБанк», регистрационной Палате Москвы.

Работы проводятся по договорам с АО МКНТ (Госзаказ), ГНИ по г. Москве и ГНИ по г. Твери, Московской регистрационной Палатой.

По результатам диссертации опубликовано восемь печатных работ.

Текст диссертационной работы состоит из введения, четырех глав, ¡-ашпочения и приложений.

Основные результаты проведенных исследований могут быть сформулированы следующим образом:

1. Исследованы различные методы анализа данных, применяемые в современных системах поддержки принятия решений и методы организации данных в СППР. Рассмотрены методы формального 1редставления документов. Проведенный анализ привел к необходимости:

• использования табличной модели для представления документов;

• создания системы управления метаданными и языка манипулирования понятиями предметной области;

• агрегации анализируемых данных для обеспечения максимально быстрого доступа к ним;

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

2. Исследованы свойства взаимосвязи структур документов и структур базы данных (БД) и выполнена их формализация. Предложены методы согласования структур документа и БД с целью формирования троцедур автоматического заполнения метаданных БД по указанным паблонам.

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

4. Разработаны методы представления возможных аналитических ¡-ависимостей между данными в единичном документе и пакете взаимосвязанных документов на основе электронных таблиц (ЭТ). эазработана алгоритмически полная семантика специализированных ЭТ. Определен список необходимых операций и функций, описана процедура) бработки формульных записей. Указанные методы позволяют проводить) ффективные вычисления над данными отчетных документов и юддерживают открытость разработанной системы, что дает возможность реагировать на смысловые изменения в схемах расчета и анализа данных.

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

6. Проведена реализация АСОД на ЭВМ с Intel — архитектурой и сетевым окружением Novell NetWare и Microsoft Networks в средах трограммирования ВС 3.1 и Borland Delphi 2.0. Программные комплексы функционируют под управлением СУБД Ну Tech 2.1 File Server и Oracle 7.3 Client Server.

7. Разработана инженерная методика использования макета отчетных документов, проектирования структур хранения данных по документам, методов проведения анализа данных. Эффективность практического 1рименения системы подтверждена соответствующими актами. Разработанные в ходе диссертационной работы программные комплексы функционируют в составе АСУ крупных муниципальных служб Москвы и Гвери на протяжении последних трех лет, что подтверждается соответствующими актами о внедрении.

ЗАКЛЮЧЕНИЕ

.

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