Простийпошук |
Розширенийпошук |
Покажчики
|
Професійний пошук |
Рубрикатор НБУВ |
Розподілений пошук |
Бази даних
Наукова періодика України - результати пошуку
Книжкові видання та компакт-дискиЖурнали та продовжувані виданняАвтореферати дисертаційРеферативна база данихНаукова періодика УкраїниТематичний навігаторАвторитетний файл імен осіб
 |
Для швидкої роботи та реалізації всіх функціональних можливостей пошукової системи використовуйте браузер "Mozilla Firefox" |
|
|
Повнотекстовий пошук
| Знайдено в інших БД: | Книжкові видання та компакт-диски (4) | Реферативна база даних (4) |
Список видань за алфавітом назв: Авторський покажчик Покажчик назв публікацій  |
Пошуковий запит: (<.>A=Пискунов А$<.>) | |||
|
Загальна кількість знайдених документів : 2 Представлено документи з 1 до 2 |
|||
| 1. | 
Шевченко М. В. Проблемные вопросы создания контакторов для электродинамических тросовых систем [Електронний ресурс] / М. В. Шевченко, А. В. Хитько, А. Ф. Пискунов // Авиационно-космическая техника и технология. - 2007. - № 10. - С. 134–136. - Режим доступу: http://nbuv.gov.ua/UJRN/aktit_2007_10_29 Проведен анализ различных конфигураций контакторов для электродинамической тросовой системы. Показано, что конфигурация с полым плазменным катодом представляется как наиболее перспективная. | ||
| 2. | Пискунов А. Г. Об отличиях между понятиями типа и класса [Електронний ресурс] / А. Г. Пискунов // Вісник Київського національного університету імені Тараса Шевченка. Серія : Фізико-математичні науки. - 2015. - Вип. 3. - С. 106-114. - Режим доступу: http://nbuv.gov.ua/UJRN/VKNU_fiz_mat_2015_3_22 У роботі застосовано метод розробки програмного забезпечення RAISE від групи авторів RAISE Development Group (далі RDG) для формального аналізу приклада Роберта Мартіна, що ілюструє принцип підстановки (або інакше принцип заміщення) Барбари Лісков. Таким способом вдалося уточнити поняття типу, успадкування, виділення підтипу і взаємозв'язок між ними. Під типом запропоновао розуміти набір вимог (або аксіом) A до деякої множини значень X і до деякої множини функцій F, заданих на множині X, тобто трійку T = {A, X, F}. Виділенням підтипу назвемо додавання до набору A нових вимог і/або нових функцій до набору F. Зрозуміло, що нові вимоги не мають суперечити вже існуючим. Такі зміни в аксіомах і функціях можуть спричинити необхідність заміни початкової множини значень X на деяку іншу - X1. Таким чином, одержано нову трійку T1 = {A1, X1, F1}, яка буде називатися підтипом типу T. Класом, слідом за Бертраном Мейєром будуть називати реалізацію типу в деякій мові програмування. Вдалося показати, що тип класу спадкоємця, не є підтипом батьківського класу, так як набори аксіом з типів спадкоємця і батька виявляються несумісними. | ||
Попередній перегляд: 
Реферативна БД
 |
| Відділ наукової організації електронних інформаційних ресурсів |
 Пам`ятка користувача |