Russian | English |
Ассоциация производителей оборудования для научных исследований | Scientific Apparatus Manufacturers Association (ssn) |
безопасное исследование | safe exploration (ssn) |
Бесспорно, большая часть исследований по верификации с непрерывным временем основана на этой модели | Certainly, most of the research on continuous-time model checking is based on this model (см. Model Checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled 1999 ssn) |
большая часть исследований | most of the research (ssn) |
большая часть исследований по верификации с непрерывным временем | most of the research on continuous-time model checking (ssn) |
выходные данные моделирования и их исследование | simulation output and discussion (ssn) |
действенное исследование | action research (ssn) |
детальное исследование | in-depth survey (ssn) |
детальные исследования | detailed investigation (ssn) |
доказанное объективными результатами исследования подтверждение того, что | confirmation by examination and through provision of objective evidence that (ssn) |
дополнительное исследование | background study (ssn) |
задача исследований | research problem (ssn) |
задача исследования | research problem (ssn) |
заниматься исследованиями | explore (ssn) |
значительные исследования и публикации | considerable research and publication (ssn) |
значительные исследования и публикации по сетям Петри | considerable research and publication on Petri nets (ssn) |
исследование алгоритмов | algorithm analysis (ssn) |
исследование алгоритмов | analysis of algorithms (ssn) |
исследование архитектуры | architecture mine (ssn) |
исследование архитектуры: изучение неизвестного эксперту программного кода с целью установления структуры программы | architecture mine: An investigation of an unknown body of source code to discern the structure of the program (см. Game Architecture and Design / Andrew Rollings, David Morris 2004 ssn) |
исследование бесперспективных поддеревьев | exploring unpromising subtrees (ssn) |
исследование в области повторного использования кода | code reuse research (Alex_Odeychuk) |
исследование журналов веб-серверов | server log study (ssn) |
исследование журналов прокси-серверов | proxy log study (ssn) |
исследование и применение шаблонов в программной инженерии | study and application of software engineering design patterns (ssn) |
исследование и проектирование систем | systems inquiry and systems design (ssn) |
исследование клиентских журналов | client log study (ssn) |
исследование комплексной эффективности | end-to-end performance study (ssn) |
исследование концепции | concept exploration (ssn) |
исследование конъюнктуры | business research (ssn) |
исследование ограничений | examination of constraints (ssn) |
исследование пользовательского поведения | user research (Alex_Odeychuk) |
исследование пользовательской аудитории | user research (ssn) |
исследование представления данных | exploring data representation (ssn) |
исследование проекта | exploring the project (ssn) |
исследование пространства состояний | state space exploration (= state-space exploration; = SSE I; эффективный способ автоматической верификации параллельных программных систем ssn) |
исследование пространства состояний | state-space exploration (= state space exploration; = SSE I; эффективный способ автоматической верификации параллельных программных систем ssn) |
исследование систем | systems inquiry (ssn) |
исследование системы посредством моделирования | a sound simulation study (ssn) |
исследование совместимости | compliance study (ssn) |
исследование угроз | threat research (ssn) |
исследование устойчивости | stability (ssn) |
исследование устойчивости путём моделирования | stability by simulation (ssn) |
исследования в области искусственного интеллекта | research into artificial intelligence (Alex_Odeychuk) |
исследования в области операционных систем | research on operating systems (ssn) |
исследования в области проектирования сверхбольших программных систем | ULSS research (Alex_Odeychuk) |
исследования в области человеко-машинного взаимодействия | human computer interaction studies (ssn) |
исследования в области человеко-машинного интерфейса | human computer interaction studies (ssn) |
исследования и примеры | case studies and examples (ssn) |
исследования и публикации | research and publication (ssn) |
исследования по искусственному интеллекту, проводимые в середине двадцатого столетия | classical AI in mid-twentieth century (ssn) |
исследования по объектно-ориентированному программированию | object-oriented programming research (Alex_Odeychuk) |
исследования, посвящённые процессам и потокам | research on processes and threads (ssn) |
источник значительных исследований и публикаций по сетям Петри | source of considerable research and publication on Petri nets (ssn) |
комплексное исследование эффективности | end-to-end performance study (ssn) |
масштабное исследование совместимости | large scale compliance study (ssn) |
мотивация для проведения исследований совместимости со спецификацией протокола | motivation for protocol compliance study (ssn) |
научные исследования в сфере разработки программного обеспечения с особыми требованиями по технической безопасности | research in the area of safety-critical software development (Alex_Odeychuk) |
научные исследования в сфере разработки программного обеспечения с особыми требованиями по функциональной безопасности | research in the area of safety-critical software development (корпорации AdaCore Alex_Odeychuk) |
научные исследования и доклады | research studies and position papers (ssn) |
научные исследования и доклады за прошедшие годы | research studies and position papers over the years (ssn) |
Несмотря на сказанное, следует отметить, что этой теме посвящено большое количество теоретических работ, начиная от исследований по искусственному интеллекту, проводимых в середине двадцатого столетия, и заканчивая современными исследованиями | that said, there is a wealth of academic information on the subject, originating from classical AI in mid-twentieth century as well as recent research (см. AI Game Development: Synthetic Creatures with Learning and Reactive Behaviors / Alex J. Champandard 2003 ssn) |
объект исследования, диагностики, осмотра или экспертизы | examinee (ssn) |
основа для исследования и применения шаблонов в программной инженерии | foundation for the study and application of software engineering design patterns (ssn) |
основы исследования пользовательской аудитории | basics of user research (ssn) |
отчёт по исследованию комплексной эффективности | report on an end-to-end performance study (ssn) |
перспективы исследований | research perspectives (ssn) |
перспективы исследований протоколов | research perspectives in protocol issues (ssn) |
перспективы исследований, связанных с измерениями | research perspectives in measurement (ssn) |
перспективы исследований, связанных с кэшированием | research perspectives in caching (ssn) |
полезные модели для многих исследований в естественных и вычислительных науках и комбинаторной математике | useful models for many investigations in natural science, combinatorial mathematics, and computer science (ssn) |
предварительное исследование | pilot study (ssn) |
предварительное исследование | initial exploration (ssn) |
приложение для научных исследований | scientific application (ssn) |
проведение исследований | study (ssn) |
проведение исследований совместимости со спецификацией протокола | protocol compliance study (ssn) |
программа научных исследований в области разработки сверхбольших программных систем | research programme in large-scale complex IT systems (Alex_Odeychuk) |
программное обеспечение для научных исследований | scientific software (ssn) |
резюме комплексного исследования эффективности | summary of end-to-end performance study (ssn) |
Сеть управления перспективных исследований и разработок | Advanced Research Projects Agency Network (ssn) |
прикладная система для научных исследований | scientific application (ssn) |
современные исследования | recent research (ssn) |
ссылка на исследования | research reference (ssn) |
темы, открытые для исследований | open challenge (ssn) |
требующий тщательного исследования | scrutable (ssn) |
Управление перспективных исследований и разработок | Advanced Research Projects Association (ssn) |
фундаментальное исследование | definitive study (ssn) |
фундаментальное исследование | definitive work (ssn) |
экспертные исследования | forensic studies (ssn) |
эмпирическое исследование | empirical investigation (ssn) |
этапы в исследовании системы посредством моделирования | steps in a sound simulation study (ssn) |
эти исследования были разработаны таким образом, чтобы использовать последние техники интервью, осуществляемые с помощью компьютера | the surveys were designed to make use of the latest computer-aided interview techniques |