Denunciar
Compartir
Recomendados
ФОРМИРОВАНИЕ ЗАЩИТНЫХ НАНОРАЗМЕРНЫХ ПОКРЫТИЙ НА ОСНОВЕ Al2O3 (Al2O3-AlF3) НА ...
Описано формирование защитных наноразмерных (толщина 10–15 нм) покрытий из Al2O3 (Al2O3-AlF3) на поверхности стекол с использованием водных и водно-спиртовых растворов нитрата алюминия. Исследовано влияние концентрации, рН растворов и толщины покрытий на их структуру и спектральные свойства.
Direitos Reais. Direito de vizinhança, superfícies e servidão
Direitos de Vizinhança, superfícies e servidão
СОВМЕСТНОЕ ПРИМЕНЕНИЕ КОНТРАКТОВ И ВЕРИФИКАЦИИ ДЛЯ ПОВЫШЕНИЯ КАЧЕСТВА АВТОМАТ...
При создании систем со сложным поведением важную роль играет контроль качества разрабатываемых программ. Цена ошибки в таких системах может быть слишком велика, поэтому важно не просто проверить соответствие создаваемой программы всем предъявленным к ней требованиям, но и сделать этот процесс эффективным, максимально автоматизировав его. На практике этого можно добиться, формализовав все требования к программе и храня полученную исполнимую спецификацию непосредственно вместе с кодом программы. Рассмотрены существующие методы контроля качества современных программных систем и автоматных программ, а также описан процесс создания среды, позволяющей поддержать сразу три подхода к проверке качества программ с явным выделением состояний: проверку на модели, модульное тестирование и контракты. Предложенный подход позволяет сохранить корректность записи сформулированных требований при изменении самой программы, а также интерактивно контролировать ее качество.
Recomendados
ФОРМИРОВАНИЕ ЗАЩИТНЫХ НАНОРАЗМЕРНЫХ ПОКРЫТИЙ НА ОСНОВЕ Al2O3 (Al2O3-AlF3) НА ...
Описано формирование защитных наноразмерных (толщина 10–15 нм) покрытий из Al2O3 (Al2O3-AlF3) на поверхности стекол с использованием водных и водно-спиртовых растворов нитрата алюминия. Исследовано влияние концентрации, рН растворов и толщины покрытий на их структуру и спектральные свойства.
Direitos Reais. Direito de vizinhança, superfícies e servidão
Direitos de Vizinhança, superfícies e servidão
СОВМЕСТНОЕ ПРИМЕНЕНИЕ КОНТРАКТОВ И ВЕРИФИКАЦИИ ДЛЯ ПОВЫШЕНИЯ КАЧЕСТВА АВТОМАТ...
При создании систем со сложным поведением важную роль играет контроль качества разрабатываемых программ. Цена ошибки в таких системах может быть слишком велика, поэтому важно не просто проверить соответствие создаваемой программы всем предъявленным к ней требованиям, но и сделать этот процесс эффективным, максимально автоматизировав его. На практике этого можно добиться, формализовав все требования к программе и храня полученную исполнимую спецификацию непосредственно вместе с кодом программы. Рассмотрены существующие методы контроля качества современных программных систем и автоматных программ, а также описан процесс создания среды, позволяющей поддержать сразу три подхода к проверке качества программ с явным выделением состояний: проверку на модели, модульное тестирование и контракты. Предложенный подход позволяет сохранить корректность записи сформулированных требований при изменении самой программы, а также интерактивно контролировать ее качество.
Responsive Web Design
Responsive Web Design 響應式網頁設計是新形態的網頁設計，得重新認識網頁設計的方式。
了解各種裝置的特性與使用情境，規劃出適合手機、平板、電腦的介面。
Swift, a nova linguagem de programação da Apple (CocoaHeads Sao Paulo)
Swift, a nova linguagem de programação da Apple
Swift é a nova linguagem de programação da Apple, anunciada no começo de junho durante a WWDC. Nessa apresentação será dada uma introdução à linguagem, através de um estudo de caso de um aplicativo da Copa do Mundo. Nesse aplicativo será demonstrado como usar uma API para exibir os resultados dos jogos, como utilizar uma TableView com célula customizada, bem como integrar CocoaPods e Obj-C com Swift, tudo de uma maneira bem simples.
obs: apresentação feita em 24/06/2014 durante o encontro do Cocoaheads SP (http://www.cocoaheads.com.br)
ЛАЗЕРНАЯ ТЕРМОХИМИЧЕСКАЯ ТЕХНОЛОГИЯ МИКРОСТРУКТУРИРОВАНИЯ ПЛЕНОК ХРОМА
Представлены результаты экспериментальных исследований морфологии пленок хрома на отдельных этапах лазерной записи. Анализируются основные механизмы записи „скрытого“ изображения. Предложена методика оценки разрешающей способности термохимического метода записи.
ИЗМЕРЕНИЕ УГЛА ВРАЩЕНИЯ ПЛОСКОСТИ ПОЛЯРИЗАЦИИ МЕТОДОМ ДИФФЕРЕНЦИАЛЬНОЙ ПОЛЯРИ...
Представлен метод измерения угла вращения плоскости поляризации на основе метода дифференциальной поляриметрии с использованием быстрого преобразования Фурье. Достигнута высокая точность его измерения с расширенной неопределенностью 0,0014° при коэффициенте охвата 3.
Quién soy
Una actividad contemplada en la guía de la tercera sesión ordinaria de CTE. Se puede utilizar al inicio de toda la sesión
Más contenido relacionado
Destacado
Responsive Web Design
Responsive Web Design 響應式網頁設計是新形態的網頁設計，得重新認識網頁設計的方式。
了解各種裝置的特性與使用情境，規劃出適合手機、平板、電腦的介面。
Swift, a nova linguagem de programação da Apple (CocoaHeads Sao Paulo)
Swift, a nova linguagem de programação da Apple
Swift é a nova linguagem de programação da Apple, anunciada no começo de junho durante a WWDC. Nessa apresentação será dada uma introdução à linguagem, através de um estudo de caso de um aplicativo da Copa do Mundo. Nesse aplicativo será demonstrado como usar uma API para exibir os resultados dos jogos, como utilizar uma TableView com célula customizada, bem como integrar CocoaPods e Obj-C com Swift, tudo de uma maneira bem simples.
obs: apresentação feita em 24/06/2014 durante o encontro do Cocoaheads SP (http://www.cocoaheads.com.br)
ЛАЗЕРНАЯ ТЕРМОХИМИЧЕСКАЯ ТЕХНОЛОГИЯ МИКРОСТРУКТУРИРОВАНИЯ ПЛЕНОК ХРОМА
Представлены результаты экспериментальных исследований морфологии пленок хрома на отдельных этапах лазерной записи. Анализируются основные механизмы записи „скрытого“ изображения. Предложена методика оценки разрешающей способности термохимического метода записи.
ИЗМЕРЕНИЕ УГЛА ВРАЩЕНИЯ ПЛОСКОСТИ ПОЛЯРИЗАЦИИ МЕТОДОМ ДИФФЕРЕНЦИАЛЬНОЙ ПОЛЯРИ...
Представлен метод измерения угла вращения плоскости поляризации на основе метода дифференциальной поляриметрии с использованием быстрого преобразования Фурье. Достигнута высокая точность его измерения с расширенной неопределенностью 0,0014° при коэффициенте охвата 3.
Quién soy
Una actividad contemplada en la guía de la tercera sesión ordinaria de CTE. Se puede utilizar al inicio de toda la sesión
Destacado (12)
Swift, a nova linguagem de programação da Apple (CocoaHeads Sao Paulo)
Swift, a nova linguagem de programação da Apple (CocoaHeads Sao Paulo)
ЛАЗЕРНАЯ ТЕРМОХИМИЧЕСКАЯ ТЕХНОЛОГИЯ МИКРОСТРУКТУРИРОВАНИЯ ПЛЕНОК ХРОМА
ЛАЗЕРНАЯ ТЕРМОХИМИЧЕСКАЯ ТЕХНОЛОГИЯ МИКРОСТРУКТУРИРОВАНИЯ ПЛЕНОК ХРОМА
ИЗМЕРЕНИЕ УГЛА ВРАЩЕНИЯ ПЛОСКОСТИ ПОЛЯРИЗАЦИИ МЕТОДОМ ДИФФЕРЕНЦИАЛЬНОЙ ПОЛЯРИ...
ИЗМЕРЕНИЕ УГЛА ВРАЩЕНИЯ ПЛОСКОСТИ ПОЛЯРИЗАЦИИ МЕТОДОМ ДИФФЕРЕНЦИАЛЬНОЙ ПОЛЯРИ...