Васильев, Вячеслав Николаевич (педагог-психолог). Актуальная проблема психологии решена! ? [Текст] / В. Н. Васильев> // Психология и соционика межличностных отношений. - 2008. - N 9. - С. 53-60. - Библиогр. в сносках. - Библиогр.: с. 60 (17 назв. )
Рубрики: Психология Психология личности Кл.слова (ненормированные): верификации -- законы -- значимые объекты -- квазиэкспериментальный план -- постпроцессы -- постсостояние -- постдеятельность -- психологический детерминизм -- психическая энергия -- психологическое программирование Аннотация: Сообщается о научно-исследовательской работе в области общей, социальной и экспериментальной психологии, в которой изучаются процессы акта восприятия значимого объекта. Психологический детерминизм, исследования. В исследовании используется метод мысленного эксперимента с элементами математического моделирования. |
Коньков, Д. С. Микроанализ как метод верификации макроисторической концепции: возможности и применения [Текст] / Д. С. Коньков> // Вестник Томского государственного университета. История. - 2009. - N 2 (6). - С. 44-46. - Библиогр.: с. 46 (5 назв. ) . - ISSN 1998-8613
Рубрики: История Теория и методология исторической науки Кл.слова (ненормированные): микроистория -- верификация -- история случая -- макроистория Аннотация: В докладе, прочитанном на всероссийской научной конференции "Макро- и микроисторические срезы исследования: методология и историографическая практика", рассматриваются методологические вопросы верификации макроисторических концепций с помощью микроисторического анализа истории случая. |
Ермак, Владимир Давидович (доктор философии в области соционики). Модели ТИМов психики: описание структуры и функционирования [Текст] / В. Д. Ермак, Ю. В. Росланкина> // Психология и соционика межличностных отношений. - 2010. - N 3. - С. 21-30. - Библиогр.: с. 21-22 (5 назв. ). - Продолж. Начало в N 1-2. Окончание следует
Рубрики: Психология Психология личности Кл.слова (ненормированные): соционика -- модели -- описания -- типы информационного метаболизма -- ТИМы -- психические функции -- идентификации -- верификации -- личность -- индивидуальность -- квадры -- ЛИЭ -- логико-интуитивные экстраверты -- ЭСИ -- этико-сенсорные интроверты -- сээ -- сенсорно-этические экстраверты -- или -- интуитивно-логический интроверт Аннотация: Приведены описания моделей ТИМ психики третьей квадры социона. Доп.точки доступа: Росланкина, Юлия Валериевна (педагог, психолог, соционик) Нет сведений об экземплярах (Источник в БД не найден) |
Ермак, Владимир Давидович (доктор философии в области соционики). Модели ТИМов психики: описание структуры и функционирования [Текст] / В. Д. Ермак, Ю. В. Росланкина> // Психология и соционика межличностных отношений. - 2010. - N 1. - С. 32-42. - Библиогр.: с. 33-34 (5 назв. ). - Продолж. следует
Рубрики: Психология Психология личности Кл.слова (ненормированные): соционика -- описание -- ТИМы -- типы информационного метаболизма -- психические функции -- идентификации -- верификации -- индивидуальность -- лии -- логико-интуитивный интроверт -- сэи -- сенсорно-этический интроверт -- илэ -- интуитивно-логический экстраверт -- эсэ -- этико-сенсорный экстраверт -- квадры Аннотация: В первой части работы приведены описания моделей ТИМ психики первой квадры социона. Доп.точки доступа: Росланкина, Юлия Валериевна (педагог, психолог, соционик) Нет сведений об экземплярах (Источник в БД не найден) |
Непомнящий, О. В. Проблемы верификации проекта при сквозном проектировании вычислительных систем-на-кристалле [Текст] / О. В. Непомнящий, С. Ю. Алекминский> // Нано- и микросистемная техника. - 2010. - N 9. - С. 4-7. . - Библиогр.: с. (6 назв. )
Рубрики: Вычислительная техника Вычислительная техника в целом Кл.слова (ненормированные): функциональная верификация -- системная верификация -- автоматизированное проектирование -- СБИС -- система-на-кристалле Аннотация: Рассмотрены современные проблемы функциональной и системной верификации проектирования сверхбольших интегральных схем и, в частности, систем-на-кристалле. Приведен обзор существующих методик верификации и предложены пути решения означенных проблем. Доп.точки доступа: Алекминский, С. Ю. Нет сведений об экземплярах (Источник в БД не найден) |
Скорнякова, Раиса Михайловна (канд. филол. наук, доц. каф. нем. филологии Кемер. гос. ун-та; докторант каф. общего и сравнит. языкознания Моск. гос. лингвист. ун-та). Метод субъективного шкалирования как способ верификации результатов свободного ассоциативного эксперимента [Текст] / Р. М. Скорнякова> // Вестник Челябинского государственного университета. - 2009. - N 10. - С. 135-137. . - Примеч.: с. 137
Рубрики: Языкознание--Россия--Германия, 21 в. нач. Психолингвистика Кл.слова (ненормированные): языковая картина мира -- моделирование -- этнопсихолингвистика -- этнопсихолингвистическая парадигма -- ассоциации -- свободный ассоциативный эксперимент -- субъективное шкалирование -- метод субъективного шкалирования Аннотация: В статье предлагается оригинальная методика верификации свободного ассоциативного эксперимента методом субъективного шкалирования, которая позволяет сопоставить результаты двух видов эксперимента как одного из этапов моделирования фрагмента (трудовая деятельность) языковой картины мира немецкого и русского этносов и сделать выводы об их совпадении и расхождении. Нет сведений об экземплярах (Источник в БД не найден) |
Быстрянцев, Сергей Борисович (канд. философ. наук, проф., зав. каф. политологии С. -Петербург. гос. ун-та экономики и финансов). Научные понятия как подсказка концептуализирующему мышлению [Текст] / С. Б. Быстрянцев> // Вестник Челябинского государственного университета. - 2009. - N 29. - С. 94-99. . - Библиогр. в примеч.
Рубрики: Философия Общие вопросы философии Кл.слова (ненормированные): дефиниция -- формулировки -- способы верификации Аннотация: Формулировка дефиниции - логическая процедура строгой фиксации смысла, содержания. На основные моменты формулировки дефиниций обращается внимание в данной работе. В статье формулируются некоторые принципы способов верификации терминов (определений), то есть суждений о специфике субъекта, а также в отношении операций, при помощи которых термины вводятся в анализ, определяются. Нет сведений об экземплярах (Источник в БД не найден) |
Поздняев, А. С. Сущность и значение формирования и верификации налогооблагаемых показателей [Текст] / А. С. Поздняев> // Управленческий учет. - 2010. - N 12. - С. 76-82. : схемы, табл. - Библиогр.: с. 82 (5 назв. )
Рубрики: Экономика Учет. Бухгалтерский учет Кл.слова (ненормированные): бухгалтерский учет -- налогооблагаемые показатели -- верификация -- налоговая база Аннотация: С позиций научного подхода сформулированы теоретические основы методического обеспечения формирования и верификации налогооблагаемых показателей, базирующиеся на определении их экономической сущности и значения. Нет сведений об экземплярах (Источник в БД не найден) |
Ручай, Алексей Николаевич (аспирант математического факультета ЧелГУ). Формантный метод текстозависимой верификации диктора [Текст] / А. Н. Ручай> // Вестник Челябинского государственного университета. - 2010. - N 23. - С. 121-131. . - Библиогр.: с. 130-131 (19 назв. )
Рубрики: Вычислительная техника Звуковой интерфейс Прикладные информационные (компьютерные) технологии в целом Кл.слова (ненормированные): верификация диктора -- идентификация диктора -- голосовая идентификация -- голосовая биометрика -- текстозависимая верификация -- формантный метод -- форманты -- распознавание образов Аннотация: В работе продемонстрировано применение метода анализа формант к задаче текстозависимой верификации диктора, оценена надежность предлагаемого подхода с помощью ошибок первого и второго ряда. Нет сведений об экземплярах (Источник в БД не найден) |
Поздняев, А. С. Методологические основы формирования верификации налогооблагаемых показателей с позиций системного подхода [Текст] / А. С. Поздняев> // Управленческий учет. - 2011. - N 1. - С. 84-92. : схемы. - Библиогр.: с. 92 (3 назв. )
Рубрики: Экономика Финансовая система Кл.слова (ненормированные): налогооблагаемые показатели -- верификация -- источники информации Аннотация: Разработаны общие методологические основы формирования налогооблагаемых показателей на основе классификации источников получения информации для верификации показателей. Представлены системное формирование и верификация налогооблагаемых показателей с учетом информационных связей. Нет сведений об экземплярах (Источник в БД не найден) |
Алексеева, М. М. Технология моделирования, анализа и верификации модифицированного транспортного уровня протокола [Текст] / М. М. Алексеева, Е. А. Дашкова, Д. Ю. Чалый> // Дистанционное и виртуальное обучение. - 2011. - N 2. - С. 32-37. . - Библиогр.: с. 36 (7 назв. )
Рубрики: Вычислительная техника Вычислительные сети Кл.слова (ненормированные): стеки протоколов -- сетевой трафик -- транспортные протоколы -- коммуникационные системы -- имитационное моделирование -- беспроводные сети -- сети связи -- информационные сети Аннотация: Моделирование и анализ транспортных протоколов в информационных сетях. Доп.точки доступа: Дашкова, Е. А.; Чалый, Д. Ю. Нет сведений об экземплярах (Источник в БД не найден) |
Сухарев, А. Г. (кандидат физико-математических наук; доцент). Искусственные папиллярные узоры как негативные аспекты дактилоскопической идентификации и верификации [Текст] / А. Г. Сухарев, А. В. Стальмахов, Р. Ю. Трубицын> // Судебная экспертиза. - 2011. - N 1. - С. 64-70. . - Библиогр.: с. 70 (4 назв. )
Рубрики: Право Судебная экспертиза Кл.слова (ненормированные): дактилоскопия -- папиллярные узоры -- муляжи Аннотация: Обсуждаются вопросы, связанные с возможностью фальсификации папиллярных узоров человека, приводятся результаты экспериментальной проверки устойчивости к муляжам автоматизированных дактилоскопических систем и сканеров устройств контроля доступа. Доп.точки доступа: Стальмахов, А. В. (доктор физико-математических наук; профессор); Трубицын, Р. Ю. (кандидат юридических наук; доцент) Нет сведений об экземплярах (Источник в БД не найден) |
Колоколов, А. С. Методические аспекты работы над инновационными проектами на ранней стадии развития [Текст] / А. С. Колоколов, Д. Б. Шульгин> // Инновации. - 2011. - N 3. - С. 96-101. : рис. - Библиогр.: с. 101 (9 назв. )
Рубрики: Экономика Общие основы экономики Кл.слова (ненормированные): жизненный цикл инноваций -- инновации -- инновационные проекты -- креативная фаза -- декомпозиция -- верификация -- критерии верификации -- обратная связь Аннотация: В работе рассмотрены существующие подходы к определению жизненного цикла инноваций и сформулированы методические принципы, на базе которых построена авторская модель "креативной" фазы инновационного проекта. Новизна работы заключается в систематизации в контексте модели элементов современной инфраструктуры нововведений, имеющих отношение к инвестиционным проектам ранней стадии развития, а также в разработке итерационной методики самостоятельной экспертизы проекта. Доп.точки доступа: Шульгин, Д. Б. (доктор экономических наук) Нет сведений об экземплярах (Источник в БД не найден) |
Дронова, Л. П. Полный бензобак и открытые ворота, или проблема верификации в семантической реконструкции [Текст] / Л. П. Дронова> // Вопросы когнитивной лингвистики. - 2011. - N 3. - С. 102-107. . - Библиогр.: с. 107
Рубрики: Языкознание Германские языки Лексикология Кл.слова (ненормированные): английский язык -- лингвистика -- когнитивная лингвистика -- когнитивный анализ -- семантика -- семантическая реконструкция -- когнитивная семантика -- полный бензобак (языкознание) -- открытые ворота (языкознание) -- модальность -- модальные отношения -- лексические средства -- концепты -- концепт свобода -- свобода (языкознание) -- лингвисты -- языковеды Аннотация: Сопоставление результатов когнитивного анализа лексических средств выражения модальности и необходимости английского языка, полученных И. Свитсер, и описания структуры разнокультурного концепта свобода А. Вежбицкой. Доп.точки доступа: Свитсер, И.; Вежбицкая, А. (1938-) Нет сведений об экземплярах (Источник в БД не найден) |
Результаты верификации численных гидродинамических алгоритмов для течений со свободными поверхностями, реализованных в рамках программно-математического комплекса "ANSYS-CFX", на эмпирических и теоретических моделях [Текст] = On some verification results of cfd-algorithms for free-surface flows realized in the framework of "ANSYS-CFX" code using empirical and analytical models / Е. И. Бокова [и др.]> // Альтернативная энергетика и экология. - 2011. - № 12 (104). - С. 65-72. : схемы, табл. - Библиогр.: с. 72 (3 назв. )
Рубрики: Энергетика Гидроэнергетика в целом Математика Вычислительная математика Вычислительная техника Имитационное компьютерное моделирование Кл.слова (ненормированные): гидросооружения -- водохранилища -- поток речной воды -- вода -- затвор гидросооружений -- программно-математические комплексы -- ANSYS-CFX Аннотация: Постановка и решение задачи об определении параметров потока, образующегося за затворами при опорожнении гидросооружений и водохранилищ. Доп.точки доступа: Бокова, Е. И.; Фотина, Н. В.; Дикарев, К. И.; Фотина, Е. С. Нет сведений об экземплярах (Источник в БД не найден) |
Головин, Николай Александрович (доктор социологических наук; профессор; доцент кафедры теории и истории социологии). Социология Лумана в эмпирическом и теоретическом аспекте: итоги верификации сложной социологической теории [Текст] / Н. А. Головин> // Вестник Санкт-Петербургского университета. Сер. 12, Психология. Социология. Педагогика. - 2012. - Вып. 3. - С. 174-182. - Библиогр.: с. 182 (8 назв. )
Рубрики: Социология История социологии Кл.слова (ненормированные): верификация теорий -- принцип фальсифицируемости -- социологи -- проекты -- реклама -- социальные коммуникации -- социологические исследования -- социлогическая теория -- научно-исследовательские проекты -- теория социальной коммуникации -- социальные системы -- теория социальных систем -- социология Лумана -- Лумана социология -- интегративная тенденция -- интеракционизм -- феноменологическая социология -- этнометодология Аннотация: О научно-исследовательском проекте факультета социологии Санкт-Петербургского государственного университета "Верификация общей теории социальных систем Н. Лумана (на материалах латентных рекламных посланий) ". Сформулированы выводы о крупном вкладе Лумана в интегративную тенденцию в социологию. Доп.точки доступа: Луман, Н. (социолог ; 1927-1998); Санкт-Петербургский государственный университет Нет сведений об экземплярах (Источник в БД не найден) |
"Коррупционное сознание": от теоретической категоризации к эмпирической верификации [Текст] / А. П. Абрамов [и др.]> // Ученые записки Российского государственного социального университета. - 2012. - № 2 (102). - С. 186-192. - Библиогр.: с. 192 (6 назв.). - Аннот. на англ. яз.: с. 372-373 . - ISSN 2071-5323
Рубрики: Социология--Россия--Курская область Социология общества--Россия--Курская область Кл.слова (ненормированные): коррупционное сознание -- статусные позиции -- общественное мнение -- правовая культура Аннотация: Представлено теоретическое осмысление категории "коррупционное сознание". Доп.точки доступа: Абрамов, Александр Павлович (кандидат социологических наук; доцент); Боев, Евгений Иванович (кандидат социологических наук; доцент); Каменский, Евгений Георгиевич (кандидат социологических наук; доцент); Месропян, Анна Валерьевна; Юго-Западный государственный университет; Курский государственный университет; Курская государственная сельскохозяйственная академия Нет сведений об экземплярах (Источник в БД не найден) |
Корниенко, А. А. Метод формальной верификации и анализа защищенности реляционных баз данных на основе метамодели требований целостности [Текст] / А. А. Корниенко, М. Л. Глухарев> // Проблемы информационной безопасности. Компьютерные системы. - 2013. - № 1. - С. 20-27 : табл., схема. - Библиогр.: с. 27 (7 назв.) . - ISSN 2071-8217
Рубрики: Вычислительная техника Диалоговые вычислительные системы для специальных целей Программирование ЭВМ. Компьютерные программы. Программотехника Кл.слова (ненормированные): верификация -- формальная верификация -- базы данных -- реляционные базы данных -- безопасность баз данных -- метамодели целостности -- функциональная корректность -- ограничения целостности -- триггеры -- триггерные связки Аннотация: Рассматривается метод формальной верификации, основанный на метамодели требований целостности и позволяющий проверять функциональную корректность ограничений целостности и триггеров реляционных баз данных. Доп.точки доступа: Глухарев, М. Л. Нет сведений об экземплярах (Источник в БД не найден) |
Полубелова, О. В. Методика верификации правил фильтрации методом "проверки на модели" [Текст] / О. В. Полубелова, И. В. Котенко> // Проблемы информационной безопасности. Компьютерные системы. - 2013. - № 1. - С. 151-168 : схемы, табл., граф. - Библиогр.: с. 167-168 (30 назв.) . - ISSN 2071-8217
Рубрики: Вычислительная техника Вычислительные сети Программирование ЭВМ. Компьютерные программы. Программотехника Кл.слова (ненормированные): фильтрация сетевых экранов -- компьютерная безопасность -- аномалии фильтрации -- межсетевые экраны -- правила фильтрации -- верификация правил фильтрации -- темпоральные логики -- метод проверки на модели -- компьютерное моделирование -- политика безопасности -- сетевой трафик -- SPIN-процессоры Аннотация: Предложена методика верификации правил фильтрации межсетевых экранов для обнаружения аномалий фильтрации, основанная на применении метода "проверки на модели". Доп.точки доступа: Котенко, И. В. Нет сведений об экземплярах (Источник в БД не найден) |
Применение табличного алгоритма для верификации моделей бизнес-процессов [Текст] / А. Г. Ивашко [и др.]> // Вестник Тюменского государственного университета. - 2013. - № 7. - С. 202-213 : схем., табл. - Библиогр.: с. 210-213 (23 назв.). - полный текст статьи см. на сайте Научной электронной библиотеки http://elibrary.ru
Рубрики: Математика Вычислительная математика Теория функций Вычислительная техника Программирование ЭВМ. Компьютерные программы. Программотехника Кл.слова (ненормированные): моделирование -- имитационное моделирование -- дескрипционные логики -- верификация -- верификация моделей -- бизнес-процессы -- программы -- программное обеспечение Аннотация: Разработан метод верификации моделей бизнес-процессов с применением аппарата дескрипционных логик. Рассмотрены 5 основных типов ошибок, возникающих при моделировании в результате неправильного отображения бизнес-процессов. Доп.точки доступа: Ивашко, Александр Григорьевич; Григорьев, Андрей Викторович; Кропотин, Александр Александрович; Овсянникова, Екатерина Олеговна Нет сведений об экземплярах (Источник в БД не найден) |