Алгоритм синтеза программ с явной и неявной рекурсией

Συγγραφείς: Пинжин, Алексей Евгеньевич

Πηγή: Известия Томского политехнического университета

Θεματικοί όροι: алгоритмы синтеза, рекурсия, рекурсивные подсхемы, рекурсивные программы, затраты, полиноминальная функция, теоретические результаты, экспериментальные результаты, функциональные связи, логические выводы, синтез, функциональное программирование, подпрограммы, условия

Περιγραφή αρχείου: application/pdf

Relation: Известия Томского политехнического университета [Известия ТПУ]. 2008. Т. 313, № 5: Управление, вычислительная техника и информатика; http://earchive.tpu.ru/handle/11683/2434

Διαθεσιμότητα: http://earchive.tpu.ru/handle/11683/2434

Массогабаритные характеристики системы электропитания в функции от рабочей глубины телеуправляемого подводного аппарата

Πηγή: Известия Томского политехнического университета

Θεματικοί όροι: экспериментальные результаты, телеуправляемые подводные аппараты, кабель-трос, исследования, рабочая глубина, структуры, элементы, массогабаритные характеристики, теоретические результаты, системы электропитания

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: http://earchive.tpu.ru/handle/11683/1020

Взаимодействие замещенных арилиодидов с протонными кислотами

Πηγή: Известия Томского политехнического университета

Θεματικοί όροι: прямые реакции, минеральные кислоты, экспериментальные проверки, расчеты, йоданилин, протонные кислоты, электронная плотность, обратные реакции, замещенные арилиодиды, энтальпия, теоретические результаты, свободные энергии, энергия Гиббса

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: http://earchive.tpu.ru/handle/11683/1544

Особенности применения теплового метода неразрушающего контроля и оценки массы воды в сотовых панелях авиационной техники

Πηγή: Известия Томского политехнического университета

Θεματικοί όροι: эксплуатация, тепловой метод, инфракрасная термография, аномалии, скрининговый метод, теоретические результаты, температурные поля, экспериментальные результаты, тепловой контроль, авиационная техника, применение, неразрушающий контроль, исследования, обнаружение, вода, сотовые панели, массы

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: http://earchive.tpu.ru/handle/11683/452

Алгоритм синтеза программ с явной и неявной рекурсией

Πηγή: Известия Томского политехнического университета

Θεματικοί όροι: рекурсивные программы, затраты, логические выводы, теоретические результаты, функциональное программирование, рекурсия, экспериментальные результаты, синтез, функциональные связи, условия, рекурсивные подсхемы, алгоритмы синтеза, полиноминальная функция, подпрограммы

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: http://earchive.tpu.ru/handle/11683/2434

Взаимодействие замещенных арилиодидов с протонными кислотами

Συγγραφείς: Чайковский, Витольд Казимирович, Функ, Андрей Андреевич, Козлова, Н. С., Кец, Т. С.

Πηγή: Известия Томского политехнического университета

Θεματικοί όροι: замещенные арилиодиды, протонные кислоты, расчеты, свободные энергии, энергия Гиббса, энтальпия, прямые реакции, обратные реакции, минеральные кислоты, экспериментальные проверки, теоретические результаты, электронная плотность, йоданилин

Περιγραφή αρχείου: application/pdf

Relation: Известия Томского политехнического университета [Известия ТПУ]. 2007. Т. 310, № 1; http://earchive.tpu.ru/handle/11683/1544

Διαθεσιμότητα: http://earchive.tpu.ru/handle/11683/1544

Массогабаритные характеристики системы электропитания в функции от рабочей глубины телеуправляемого подводного аппарата

Συγγραφείς: Рулевский, Виктор Михайлович, Дементьев, Юрий Николаевич, Бубнов, О. В.

Πηγή: Известия Томского политехнического университета

Θεματικοί όροι: массогабаритные характеристики, системы электропитания, телеуправляемые подводные аппараты, теоретические результаты, экспериментальные результаты, исследования, структуры, элементы, кабель-трос, рабочая глубина

Περιγραφή αρχείου: application/pdf

Relation: Известия Томского политехнического университета [Известия ТПУ]. 2006. Т. 309, № 1; http://earchive.tpu.ru/handle/11683/1020

Διαθεσιμότητα: http://earchive.tpu.ru/handle/11683/1020

Особенности применения теплового метода неразрушающего контроля и оценки массы воды в сотовых панелях авиационной техники

Συγγραφείς: Нестерук, Денис Алексеевич, Вавилов, Владимир Платонович

Πηγή: Известия Томского политехнического университета

Θεματικοί όροι: применение, тепловой метод, неразрушающий контроль, обнаружение, массы, вода, сотовые панели, авиационная техника, теоретические результаты, экспериментальные результаты, инфракрасная термография, эксплуатация, тепловой контроль, скрининговый метод, аномалии, температурные поля, исследования

Περιγραφή αρχείου: application/pdf

Relation: Известия Томского политехнического университета [Известия ТПУ]. 2004. Т. 307, № 6; http://earchive.tpu.ru/handle/11683/452

Διαθεσιμότητα: http://earchive.tpu.ru/handle/11683/452