Утверждение - тип
Cтраница 3
В чем же тогда смысл утверждении типа 4, обеспечивающего лишь наличие нестрого монотонной и не обязательно непрерывной правильно меняющейся функции xyL ( x) порядка у, доказать которое было не так уж просто. [31]
В каких случаях необходимо осуществлять процедуру утверждение типа СИ. [32]
Примерами ориентации на неформализованные критерии могут служить утверждения типа чай марки А предпочтительнее чая марки 5, потому что он вкуснее, автомобиль Ситроен предпочтительнее автомобиля Жигули, потому что он комфортабельнее и надежнее, фирма А работает более эффективно, так как использует новые технологии и т.п. При использовании формализованных критериев чаще всего задается какой-то показатель, на основании значений которого и принимается суждение. [33]
Положительные результаты приемочных испытаний служат основанием для утверждения типа СИ Госстандартом СССР, внесения его в Государственный реестр СИ и выдачи разрашения на ввоз СИ из-за границы или на производство СИ. [34]
Если из-за особенностей конструкции нецелесообразно наносить Знак утверждения типа на средство измерений, допускается его нанесение только на эксплуатационные документы. [35]
Признание результатов испытаний средств измерений для целей утверждения типа допускается лишь в рамках заключенных международных соглашений. [36]
Как известно, в нашей науке нет категорических утверждений типа да - нет, нет ярко выраженного черного и белого. Вся ее действительность - тысячи полутонов всех оттенков, характеристики, расположенные между не всегда четким минимумом и максимумом. Для описания этой реальности требуется особая математика, такая, где бы фигурировали не грубые дискретные переходы, а плавные изменения: меньше, чуть меньше, которые тем не менее можно было бы описать на строгом языке, чтобы ЭВМ могла оперировать ими как изменяющимися величинами. [37]
Тогда в рамках немонотонной логики Мак-Дермотта и Доила утверждение типа обычно ( как правило, типично) студенты юны будет записано следующим образом: Vx ( Ст ( ж) & М Юн ( ж) - Юн ( ж)), т.е. если кто-то - студент и он возможно ( или это не противоречит) юн, то он действительно юн. Если в БЗ поступил факт, что Петров - студент ( Ст ( Петров)) и - 1Юн ( Петров) невозможно вывести ( доказать), т.е. факт М Юн ( Петров) истинен, то мы действительно делаем вывод, что Петров юн. [38]
Так как результаты этих испытаний являются основанием для утверждения типа прибора и разрешения или запрещения ( если типовые испытания дадут неудовлетворительные результаты) его серийного выпуска, то в процессе проведения типовых испытаний тщательно рассматриваются и такие вопросы, как технологичность конструкции, ее сдответствие современному уровню науки и техники, обоснованность намечаемой отпускной цены прибора, внешний вид прибора, удобство в эксплуатации. [39]
 |
Пирометр ПД-4. [40] |
Все разрабатываемые средства измерений подвергаются испытаниям с целью утверждения типа, заносятся в Госреестр СИ, а завод получает лицензию на право их производства. [41]
В 1995 г. были проведены испытания в целях утверждения типа разработанных СПКБ АО Нефтеавтоматика блочных установок оперативного учета нефти БУУН-О. [42]
При положительных результатах экспертизы полномочный орган выдает сертификат утверждения типа ЕС. [43]
Здесь, вероятно, следует сделать некоторые оговорки относительно нестрогих утверждений типа необходимо использовать две совершенно одинаковые орбитали атома бериллия... Существует опасность приписывания орбиталям реального физического значения, как если бы они были контейнерами электронов, прицепленными к атому. Лучше говорить, что распределение облака заряда относительно атома бериллия в молекуле типа ВеСЬ имеет такой вид, что его можно математически описать с помощью коллинеарных, эквивалентных молекулярных орбиталей. [44]
Полномочный орган при положительных результатах испытаний выдает заявителю сертификат утверждения типа ЕС. Сертификат должен содержать выводы экспертизы, условия его законности, данные для идентификации утвержденного типа н другие сведения. [45]
Страницы: 1 2 3 4