Таблица 3.1.
|
Номер |
1 |
|
Фамилия |
Иванов |
|
Имя |
Сергей |
|
Год |
1993 |
|
Группа |
ИФ 87 |
|
Телефон |
1111111 (гор.) 067-1111111 (моб.) |
|
Номер |
2 |
|
Фамилия |
Петрова |
|
Имя |
Галина |
|
Год |
1992 |
|
Группа |
ИФ 87 |
|
Номер |
3 |
|
Фамилия |
Семенов |
|
Имя |
Валерий |
|
Группа |
ИФ 88 |
|
Телефон |
3333333 (гор.) 095-3333333 (моб.), 067-3333333 (моб.) |
|
Номер |
4 |
|
Фамилия |
Павлова |
|
Имя |
Ирина |
|
Год |
1994 |
|
Группа |
ИФ 89 |
|
Телефон |
4444444 (гор.) 095-4444444 (моб.) |
На основе созданного файла DTD создать файла StudList.xml, который должен содержать в себе информацию из таблицы 3.1. При этом, обеспечить выполнение следующих условий:
корневым элементом списка студентов должен быть элемент FILE_1;
каждая запись должна быть представлена элементом Student;
у каждого элемента Studentдолжен быть обязательный атрибутNum(с информацией о номере записи);
в каждый элемент Studentдолжны быть вложены обязательные элементыFamily(с информацией о фамилии студента),Name(с информацией об имени студента),Group(с информацией о группе студента) и может быть не обязательный элементYear(с информацией о годе рождений студента). Каждый элементFamily,Name,Group,Yearмогут быть вложены в элементStudentтолько один раз;
в каждый элемент Studentмогут быть вложены неограниченное число раз необязательные элементыPhone;
для каждого элемента Phoneдолжен быть предусмотрен обязательный атрибутPhoneTypeс двумя допустимыми значениями:L - для городских телефонов иM
- для мобильных телефонов.
Проверить синтаксическую и логическую правильность полученных документов при помощи анализатора XML_Validator.hta.
Используя предыдущий XML- документ в качестве примера, преобразовать созданный в лабораторной работе №1, согласно варианту, корректно сформированный документ в валидный. Документ должен включать:
полную схему DTD, состоящую из комбинации внутреннего и внешнего подмножества DTD;
элементы с текстовым содержимым, элементы со смешанным содержимым и элементы с последовательным и выборочным дочерним содержимым;
необязательные и обязательные атрибуты строкового и нумерованного типа
Варианты предметных областей создаваемых XML-документов:
|
вариант 1: |
библиографическое описание списка литературы |
|
вариант 2: |
описание фильмов видеотеки |
|
вариант 3: |
список сотрудников организации |
|
вариант 4: |
список моделей мобильных телефонов |
|
вариант 5: |
список студентов факультета |
|
вариант 6: |
список изучаемых дисциплин |
В отчет включить тексты созданных файлов, и скриншоты результатов работы анализатора XML.
Для проверки документа на валидность используют специальные программы - проверяющие анализаторы (validatingparsers). Все фирмы, разрабатывающие средства для работы сXML, выпускают бесплатные или коммерческие анализаторы. Например, фирма IBM выпускает анализатор xml4j, написанный на языкеJava. Он входит в состав сервера приложенийWebSphere, но его можно использовать отдельно, свободно загрузив с адреса http://www.alphaworks.ibm.com/ архивы xml4j.jar, xerces.jar xaercesSamples.jar.
Один из наиболее простых в использовании XML Validator можно свободно загрузить с сайта http://sapegin.ru/xmlvalidator
Для использования этого анализатора необходимо использовать внутреннюю схему DTD - Document Type Definition.
Релятивисты и позитивисты утверждают, что "мысленный эксперимент" весьма полезный интрумент для проверки теорий (также возникающих в нашем уме) на непротиворечивость. В этом они обманывают людей, так как любая проверка может осуществляться только независимым от объекта проверки источником. Сам заявитель гипотезы не может быть проверкой своего же заявления, так как причина самого этого заявления есть отсутствие видимых для заявителя противоречий в заявлении.
Это мы видим на примере СТО и ОТО, превратившихся в своеобразный вид религии, управляющей наукой и общественным мнением. Никакое количество фактов, противоречащих им, не может преодолеть формулу Эйнштейна: "Если факт не соответствует теории - измените факт" (В другом варианте " - Факт не соответствует теории? - Тем хуже для факта").
Максимально, на что может претендовать "мысленный эксперимент" - это только на внутреннюю непротиворечивость гипотезы в рамках собственной, часто отнюдь не истинной логики заявителя. Соответсвие практике это не проверяет. Настоящая проверка может состояться только в действительном физическом эксперименте.
Эксперимент на то и эксперимент, что он есть не изощрение мысли, а проверка мысли. Непротиворечивая внутри себя мысль не может сама себя проверить. Это доказано Куртом Гёделем.
Понятие "мысленный эксперимент" придумано специально спекулянтами - релятивистами для шулерской подмены реальной проверки мысли на практике (эксперимента) своим "честным словом". Подробнее читайте в FAQ по эфирной физике.
|
|
 |
