Робота присвячена дослідженню методів та моделей оцінювання витрат на створення програмного забезпечення (ПЗ) комп'ютерних систем, що є однією з важливих складових управління програмними проектами. Запропонована модель оцінки трудомісткості та вартості ПЗ найбільш сприйнятна для застосування при розробці автоматизованих систем.

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

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

Міститься опис методів і засобів розробки прикладних комп'ютерних систем (застосувань) для функціонування у розподіленому мережевому середовищі SUN OS на базі UNIX i OS 2.2 Microsoft. Розглянуто принципи взаємодії компонентів розподіленого застосування, розробленого на основі традиційних методів їх проектування та механізму віддаленого виклику, що включає засоби опису і передачі зовнішніх даних у мережевій моделі "клієнт-сервер". Проведено аналіз і описано об'єктно-орієнтований підхід до проектування розподілених застосувань на основі стандартів CORBA та засобів взаємодії об'єктів, що надаються брокером об'єктних запитів загальної архітектури цього стандарту. Наведено приклади, що демонструють різні аспекти інженерії розробки розподілених застосувань на основі цих двох механізмів взаємодії компонентів застосування у мережевому середовищі.

У статті наведені концепція та модель зрілості технологічних процесів (ТП) створення програмного забезпечення (ПЗ) комп'ютерних систем (СММ-модель). Подано стислий огляд існуючих методів застосування цієї моделі, а також описано розроблений авторами статті експрес-метод оцінювання рівня зрілості технологічних процесів організацій-розробників ПЗ з метою вибору виконувачів великих замовлень на розробку ПЗ.

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

Індекс рубрикатора НБУВ: З973-018

Рубрики:

Комп'ютери та програмування

Шифр НБУВ: Ж29114 Пошук видання у каталогах НБУВ 

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

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

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

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

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

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

Раскрыта сущность основных понятий в области качества программных систем. Рассмотрены процессы жизненного цикла (ЖЦ), связанные с обеспечением качества - процессы валидации, текстирования, измерения, управления риском, обеспечения гарантии качества и его управлением. На основании обобщения материалов (отчетов, публикаций) зарубежных организаций - лидеров в области исследования вопросов инженерии качества - SEI, ISO, IEEE, NIST предложены методы, используемые при выполнении данных процессов. Приведены методологии GQM, FRA, COCOMO II, CMM. Предложен подход к тестированию с учетом риска отказа программного продукта и риска срыва проекта. Рассмотрено тестирование как интегрированный процесс, действующий на всех стадиях ЖЦ программных систем (ПС). Проанализированы особенности расчета трудоемкости и затрат на разработку ПС по одной из самых известных моделей - трехуровневой модели СОСОМО ІІ.

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

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

На підставі результатів проведеного дослідження встановлено, що у хворих з термінальною хронічною нирковою недостатністю, що знаходяться на постійному амбулаторному перитонеальному діалізі, може розвиватися анемія. Виявлено, що рекормон у комбінації з препаратами заліза впливає на динаміку гематокриту, підвищує рівень гемоглобіну, стимулює еритропоез і разом з тим покращує якість життя пацієнтів, що одержують замісну ниркову терапію методом постійного амбулаторного перитонеального діалізу. Не відмічено кореляційної залежності між рівнем цільового гемоглобіну, показниками дози діалізу Kt/v і сумарним кліренсом ендогенного креатиніну.

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

Розглянуто випадок лікування хворого з пухлиною нирки, що перебував на перитонеальному діалізі. Описано дії лікаря протягом усього лікування. Хірургічне втручання проведено вчасно, що дозволило зберегти життя пацієнтові.

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

Наведено структуру сучасних методів замісної ниркової терапії, особливості перитонеального діалізу, висвітлено переваги даного виду допомоги в популяції хворих з хронічними хворобами нирок за умов діалізного центра.

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

Обоснована парадигма качественных показателей (КП) в программной инженерии. Предложена классификация парадигм и стилей программирования. Раскрыта сущность основных понятий в области КП, в частности, инфраструктуры разработки, инженерии процессов разработки, интеграции процессов жизненного цикла. Рассмотрены процессы жизненного цикла, связанные с обеспечением качественных показателей, в частности, верификации, валидации, тестирования, измерения, управления риском, обеспечения гарантии КП, управления КП. Приведены методы, используемые при выполнении данных процессов. Освещены методологии GQM, FPA, COCOMO II, CMM. Изложены вопросы тестирования программных систем, сертификации систем менеджмента КП.