Kazan Dev Alliance

требуется помощь сообщества: бесконтрольно размножаются vsmdi файлы

Raimon — Mon, 18 Aug 2008 10:22:00 GMT

кто-нибудь может дать внятное объяснение бесконтрольно плодящимся vsmdi файлам? ...(read more)

Указание пути для создания логов в log4net

Raimon — Fri, 15 Aug 2008 16:01:00 GMT

пара слов о конфигурировании log4net...(read more)

const_cast и устранение дублирования кода

Alexandr Demchenko — Wed, 06 Aug 2008 10:22:00 GMT

const_cast

С точки зрения С++ если имеется некоторый тип T (без квалификаторов const или volatile), то тип const T (volatile T, const volatile T) является отдельным типом. Однако, во многих случаях можно использовать один вместо другого.

Например:

const T f()
{
    return T(); // T не является const T
}

С другой стороны такая взаимозаменяемость не всегда возможна, например:

int t = 12;
const int& const_ref_t = t;
int& ref_t = const_ref_t; // ошибка, присваивание не возможно

Эти правила о том, когда можно и нельзя неявно приводить, направлены на соблюдение безопасности. Понятно, что безопасно преобразовывать неконстантный объект к константному, но, вообще говоря, не наоборот. Поэтому первый пример успешно компилируется, а второй - нет.

Однако, конечно, программист может взять на себя ответственность, и явно осуществить небезопасное преобразование из константного объекта в неконстантный.

Например, понятно, что во втором примере const_ref_t можно без опасения преобразовать к int&, поскольку объект, на который ссылается const_ref_t реально не является константой. В С++, как известно, за снятие и установление константности (или volatile) на объект отвечает оператор приведения const_cast. const_cast выглядит как шаблонная функция, параметром шаблона которой является тип, к которому осуществляется преобразование, а обычным параметром - объект, который нужно преобразовать. Вот как можно было бы использовать const_cast во втором примере:

int t = 12;
const int& const_ref_t = t;
int& ref_t = const_cast<int&>(const_ref_t); //осуществляется явное преобразование
//из const T& к T&.

В результате такого преобразования, ref_t так же, как и const_ref_t ссылается на t. Поэтому ref_t++ влечет увеличение t на единицу.

Несколько модифицируем пример, объявив t константой.

const int t = 12;
const int& const_ref_t = t;
int& ref_t = const_cast<int&>(const_ref_t); //Снятие константности, ОК
ref_t++; //Попытка изменить константу - неопределенное поведение.

Приведение типов здесь пройдет успешно, но попытка модифицировать по полученной ссылке значение влечет неопределенное поведение, так как это по ссылке хранится дейтствительно константа.

При этом поскольку поведение в указанной ситуации не определено, исполнив такой код, Вы не обязательно получите ошибку времени выполнения или какое-нибудь диагностическое сообщение. Я, например, откомпилировав этот код на компиляторе MS VS 2005 и запустив его, получил, что после ref_t++ значение константы не изменилось. При этом, конечно, поведение от запуска к запуску может меняться. В силу указанных причин такую ошибку сложно отловить в процессе отладки.

Использование const_cast для устранения дублирования кода.

Представим, что мы решили написать простую обертку для встроенных массивов C++:

class Array
{
    int* pArray;
    int length;
   
public:
    //Methods
};

Теперь нам хочется удобно обращаться к элементам массива - читать и изменять их. Поэтому мы решаем определить оператор []:

int& operator[](int index)
    {
        if ( (index < 0) || index >= length)
            throw std::exception("Incorrect index");
        return pArray;
    }

Теперь, имея такой оператор мы можем читать и записывать элементы:

Array arr(12);
int val_3 = arr[3]; //Читаем   
arr[3] = 14; //Изменяем

Но, что если мы хотим переменную arr объявить константой? В таком случае все еще логично позволять пользователю читать элементы, а записывать - конечно, нет. В случае нашего же метода, поскольку он объявлен неконстатным, он не сможет быть вызван даже для чтения:

const Array arr(12);
int val_3 = arr[3]; //Ошибка компиляции, 
//вызов неконстатного метода для константого объекта.

Для того, чтобы позволить читать элементы констатного массива, мы вынуждены создать константный аналог оператора []:

const int& operator[](int index) const
    {
        if ( (index < 0) || index >= length)
            throw std::exception("Incorrect index");
        return pArray;
    }

Теперь все нормально. Если оператор [] вызывается для констатного объекта, то вызовется его константный вариант. При этом, попытка изменить элемент константного массива вызовет ошибку компиляции, так как будет попытка присвоить значение по константной ссылке.

const Array arr(12);
int val_3 = arr[3]; //ОК, вызывается operator[] const
arr[3] = 12; //Ошибка компиляции - вызывается operator[] const, 
//но по константной ссылке, которую он возвращает   нельзя менять объект

Итак, окончательно имеем класс:

class Array
{
    int* pArray;
    int length;
   
public:
    int& operator[](int index)
    {
        if ( (index < 0) || index >= length)
            throw std::exception("Incorrect index");
        return pArray[index];
    }
    const int& operator[](int index) const
    {
        if ( (index < 0) || index >= length)
            throw std::exception("Incorrect index");
        return pArray[index];
    }
};

Здесь мы конечно замечаем известный антипаттерн Copy and Paste. Одну и ту же функциональность нам пришлось просто скопировать и вставить в константный аналога оператора []. Если здесь это не так много - всего 3 строчки, то, конечно, в реальных ситуациях, этот общий код может быть гораздо больше.

Конечно, можно попробовать избавиться от Copy and Paste, например, просто вызвав из константного метода неконстантный. Так конечно сделать нельзя, поскольку неконстантный метод может изменять объект и компилятор это понимает. Однако, никакого вреда не будет, если мы из неконстантного метода вызовем констатный.

Код мог бы выглядеть примерно так:

int& operator[](int index)
 {
    const int& ref_elem = /* call operator [] const */
    return const_cast<int&>(ref_elem); //Безопасно, 
    //так как реально объект не является константой
 }

Перед возвратом из функции нужно преобразовать полученную константную ссылку к неконстантной, поскольку мы планируем, что посредством неконстантного оператора [] пользователь может захотеть изменить элемент массива.

Вопрос здесь в том как вызвать именно константный метод. Прямого способа указать компилятору, что мы хотим вызвать именно этот метод, нет. Однако, он сам это сделает, если увидит, что вызов [] применен к константному объекту. В таком случае, самое время вспомнить о const_cast и "навесить" константность на this. Итоговый код будет таким:

int& operator[](int index)
{
   return const_cast<int&>( const_cast<const Array*>(this)   -> operator[index] );
}

Дополнительные материалы:

Операторы преобразования С++
Константные функции-члены
Антипаттерны
Книга Скотта Мэйерса "Эффективное использование С++. 55 верных советов улучшить структуру и код 
ваших программ". Правило 3 (Как избежать дублирования в константных и неконстантных функциях-членах)

catch (Exception e) => e ==null

Raimon — Fri, 01 Aug 2008 16:09:00 GMT

история о том, что не все инварианты инвариантны :)...(read more)

Questions from C++ examine

Alexandr Demchenko — Fri, 01 Aug 2008 09:09:00 GMT

В зимнем семестре мне довелось в КГУ читать спец. курс по С++. Предполагалось, что студенты ранее могли не изучать C или С++.

В зимнем семестре удалось рассмотреть базовые конструкции языка и классы. Шаблоны были перенесены на весенний семестр. Также одна лекция была посвящена макросам.

Программу зимнего семестра можно скачать тут.

Экзамен делилился на 2 части. Первая и главная часть - практическая. Нужно было реализовать класс и протестировать его. Это задание было в двух вариантах. Первым вариантом было реализовать класс DynamicArray - массив, при необходимости расширяющий свои размеры (похожий на std::vector). Вторым вариантом - реализовать класс String (строка). Практическое задание было достаточно подробно описано. Было небольшое preview, в котором описывались проблемы, которые разрабатываемый класс должен решить, был приведен интерфейс класса и, наконец, были приведены некоторые инварианты, которым класс должен удовлетворять. Последнее, в частности, должно было снизить вероятность возникновения спорных вопросов, когда, к примеру, я считаю, что некоторая функциональность работает неверно, а студент считает, что верно.

Практическое задание (C++) - вариант 1 (PDF скачать)

Практическое задание (C++) - вариант 2 (PDF скачать)

Второй маленькой частью экзамена были простенькие (где-то даже забавные) вопросы по С++, которые не требуют большого исследования. Размещаю эти вопросы и жду ответов в комментах ;-)

Пусть задан некоторый встроенный тип Т. Всегда ли результат sizeof(T) зависит от реализации?
Не используя инструкций выбора напишите функцию Round, которая принимает аргумент типа float и возвращает целое, являющееся результатом округления аргумента. Гарантируется, что аргумент
неотрицателен.

Правила округления обычные: если дробная часть меньше 0.5, то выбирается наибольшее целое, не превышающее аргумента. В противном случае - наименьшее целое, которое не меньше аргумента.
Приведите примеры (>1), когда отсутствие инициализатора в объявлении вызовет ошибку компиляции.
Имеется следующий код:

    char* pString = "C++";
    char val = *(pString + 3);
    char* p = pString + 4;
    pString[0] = 'D';

Определено ли поведение во второй, третьей и четвертой строках листинга. Если да, то каков результат их выполнения, а именно, что будет содержаться в val после выполнения второй строки, в p после
выполнения третьей и в pString[0] после выполнения четвертой строки.
Здесь требуется некоторый комментарий. В течение семестра мы не рассматривали многомерные массивы и в этом задании студентам предлагается догадаться до того, как это можно сделать в C++ самостоятельно.

Для данного типа T тип T* является "указателем на T". То есть переменная типа T* может хранить адрес объекта типа T. Из этого определения следует, что если в качестве типа T взять T*, то переменная типа T** является указателем на T* и может хранить адрес переменной типа T*.
Рассмотрим это на примере:
   int main()
   {
       int x = 1;
       int* pX = &x;
       int** ppX = &pX;
       return 0;
   }

Переменная ppX имеет тип "указатель на указатель на целое" и, следовательно, может хранить адрес объекта, являющегося указателем на целое.

Выделение памяти под массив указателей на T (по аналогии) происходит с помощью операции new T*[], тип возвращаемого значения такой операции --- T**.
Двумерный массив можно считать одномерным массивом, каждый элемент которого сам является массивом.

Задача. Используя рассмотренные сведения, написать код выделения памяти под двумерный целочисленный массив из m строк и n столбцов (m и n неизвестны на момент компиляции).

Написать код освобождения памяти для полученного массива.
Дан следующий код:

   #include<iostream>
   using namespace std;
   enum Number
   {
      One = 1,
      Two,
      Three
   };

   int main()
   {
      Number a = ...;
      switch(a)
      {
         case One:
           cout<<"One";
           break;
         case Two:
           cout<<"Two";
         case Three:
           cout<<"Three";
           break;
         default:
           cout<<"Don't know";
           break;
    }
    return 0;
}
Строка Numbers a = ...; - это псевдокод. а инициализируется некоторым значением. Что выведется на экран если a равно One, Two, Three? Переписать приведенный код с использованием инструкции выбора if вместо switch.
Напишите функции PrefixIncrement и PostfixIncrement которые увеличивают на единицу значение целого числа, переданного в качестве параметра. Обеспечьте, чтобы первая функция имела поведение аналогичное префиксному инкременту, а вторая - постфиксному.
Почему следующий код вызовет ошибку компиляции:

    int x = 1;
    int* p = &x++;

Скомпилируется ли такой код:

    int x = 1;
    int* p = &(++x);
Почему следующий код вызовет неопределенное поведение:

    int* pInt = new int(12);
    cout<<*pInt;
    delete[] pInt;
Сколько раз выполнится следующий цикл

    for (int i = 10; i--; i > 10)
    {
        //Do something
    }

Свой ответ объяснить.
Подсказка. Не торопитесь с ответом.
Имеется следующий код:

   class A
   {
      A(const A& copy)
       {
          //Do something
       }
     public:
       A() {}
   };

   class B
   {
      A a1;
       A a2;
   };

Все ли конструкторы, которые при необходимости генерируются компилятором неявно, могут быть им корректно созданы в случае с классом B.
В частности, будет ли код компилироваться, если к указанному коду добавить main:

   int main()
   {
      B b;
      B c = b;
       return 0;
   }
Пусть имеется некоторый пользовательский бинарный оператор, определенный в виде глобальной функции. Как гарантировать, чтобы первый его операнд был модифицируемым(неконстантным) lvalue? (Гарантировать в том смысле, что если это не так, то возникнет ошибка компиляции). Как гарантировать, что его первый операнд
может быть константным объектом? Как это гарантировать, если оператор определен в виде метода класса?
Имеется следующий код:
   class A{ };

   class B : protected A { };

   class C : public B
   {
   public:
      void SomeMethod()
      {
         A* pA = this;
      }
   };

   int main()
   {
      B b;
      A* pA = &b;
       return 0;
   }

Какие строки этого кода вызовут ошибку компиляции и почему?

Изменилась ли бы ситуация и, если да, то как, если при наследовании B от A использовалось бы закрытое, открытое наследование?
Имеется следующий код:
   class A
   {
   protected:
      int val;
   public:
      A(int val)
       {
          this->val = val;
       }
   };

   class B : A
   {
   public:
      B()
       {
          val = 3;
       }
   };

Почему код не компилируется при таким образом определенном конструкторе класса B. Измените конструктор B так, чтобы код успешно компилировался.

Будет ли код компилироваться и почему, если конструктор B определить следующим образом:

   class B : A
   {
   public:
      B() : val(3) { }
   };

Скачать вопросы в PDF

Вакансия в крупном системном интеграторе

doctorsolberg — Mon, 16 Jun 2008 09:10:00 GMT

Компания ООО «НОРБИТ» (www.norbit.ru) - золотой партнер Microsoft, дочерняя компания «ЛАНИТ» (www.lanit.ru).
В компании 3 специализации (ERP – SAP, Axapta, CRM – MS Dynamics CRM, Департамент собственных решений - госзакупки).
Департамент CRM признан одним из лучших и получил от Microsoft «5 звезд», как лучший по продажам и внедрениям.
В Департамент требуются опытные разработчики.

Описание вакансии:

Требования:
- ASP.Net;
- JavaScript;
- TSQL;
- HTML/XML/XSLT;
- DOM (для IE от 6.1 и выше);
- Web Services;
- Visual Studio 2003/2005;
- MS SQL Server 2000/2005 Reporting Services.

Желательно: знание технологии AJAX 1.0, Microsoft SQL Server 2000/2005 Reporting Services

Обязанности:
- написание Web сайтов;
- написание скриптов;
- написание Web-сервисов;
- настройка системы Microsoft Dynamics CRM 3.0;
- работа с базами данных;
- экспертная помощь младшим разработчикам.

Работа в Москве, но рассматриваются варианты работы над проектами в Казани в местном офисе.

Высылайте резюме на doctorsolberg@gmail.com

Первая встреча объединенной казанской User Group (Java, .NET, Testing и Agile)

doctorsolberg — Tue, 13 May 2008 12:45:00 GMT

14 мая в 19:00 в 413 аудитории Технопарка ИДЕЯ пройдет первая встреча объединенной казанской User Group (Java, .NET, Testing и Agile). Содержание:
Александр Шер (Exigen Services, Microsoft MVP) – «Классические» ошибки в ООП
Ляйсан Лопатченко (Exigen Services, Test Lead) - Качественный успех (В докладе будут изложены основные концепции создания успешного ПО)
Артем Воробьев (Exigen Services, Java Developer) - Введение в GWT (Доклад посвящен применению Google Web Toolkit для эффективной разработки приложений с использованием технологии AJAX)

Подробности встречи и регистрация здесь: http://kzn.ineta.ru/Events/EventMultiSessionInfo.aspx?Id=694c0229-a48b-47c3-b433-0b42f8b28f2b

Лучший в мире броузер. Теперь и под Windows

Raimon — Mon, 24 Mar 2008 18:18:00 GMT

Выпущен первый релизный Safari под Windows! По заявлениям Apple, Safari самый быстрый!...(read more)

Служители дьявола или новая востребованная специализация

Rinat_Sadykov — Mon, 21 Jan 2008 06:13:00 GMT

Все прекрасно знают, что в Казани не хватает опытных программистов. А вот имеются еще такие специалисты, про которых можно сказать, что в нашем любимом городе их просто нет или непростительно мало. Есть несколько ВУЗов, множество предприятий - разработчиков программного обеспечения, но их можно на пальцах сосчитать. Кто же они? Да, это специалисты по тестированию программного обеспечения. Именно специалисты, а не те, кто может потыхать по кнопкам и иногда находить ошибки.

Почему их я по дружески назвал служителями дьявола? Те, кто знает основы тестирования, понимают, о чем я. А те кто не знает, и хочет участвовать в разработке КАЧЕСТВЕННОГО, НАДЕЖНОГО ПО, то в путь! Благо, информации и литературы про тестирование в просторах интернета много. Если что, пишите мне, с радостью постараюсь помочь, правда, все по английски. И, привет дьяволу!

полезная книжка по информатике для начинающих

dmitryshm — Fri, 28 Dec 2007 11:28:00 GMT

Известная книжка Окулова по информатике прекрасно подойдет тем, кто начинает изучать программирование.okulov.zip

Приглашаем на первую в новом году встречу .NET разработчиков, целиком посвященную LINQ

doctorsolberg — Mon, 17 Dec 2007 09:50:00 GMT

Подробности встречи и регистрация здесь!

Бесплатные семинары от SoftLine

dmitryshm — Thu, 13 Dec 2007 22:13:00 GMT

Уважаемые господа!

Компания Softline и корпорация Microsoft приглашают Вас 25 декабря 2007 г., принять участие в БЕСПЛАТНОМ семинаре на тему : "Защищенная ИТ-инфраструктура - фундамент успешного бизнеса!"

Мероприятие будет проходить по адресу: г. Казань, ул. Достоевского, д. 18/75, офисный центр «Сувар-Казань», конференц-зал

Под эффективно работающей ИТ - инфраструктурой мы понимаем систему, которая помогает усовершенствовать текущие бизнес-процессы, повысить общекорпоративную отдачу и уменьшить сроки выполнения работ. Для того, чтобы достичь поставленной цели, ИТ - инфраструктура должна быть динамичной, эффективной, надежной и безопасной, она должна быть защищена от внешних воздействий и при этом без промедлений и простоев обслуживать любые хозяйственные операции.

На семинаре участники будут ознакомлены с продуктовыми линейками Microsoft по защите информационных систем, такими как ISA Server 2006, ForeFront, особое внимание будет уделено новому продукту - Forefront Client Security. Вы сможете увидеть демонстрацию этого продукта, узнать о новых возможностях и задать интересующие вопросы представителям компаний Softline и Microsoft.

На семинар приглашаются технические директора и руководители IT-департаментов, инженеры, заинтересованные в стабильности работы IT-инфраструктуры компании.

ПРОГРАММА СЕМИНАРА:

09.30 - 10.00	Регистрация участников, кофе
10.00 - 10.15	Вступительное слово
10.15 - 10.30	Стратегия Microsoft в области информационной безопасности. Обзор семейства продуктов Forefront
10.30 - 11.30	Защита периметра сети с помощью ISA Server 2006
11.30 - 11.50	Перерыв, кофе
11.50 - 12.30	Защита рабочих станций и файловых серверов посредством Forefront Client Security
12.30 - 13.20	Решение Forefront Server Security для защиты электронной почты и серверов совместной работы
13.20 - 14.00	Сессия вопросов и ответов.

С докладами выступят Алексей Галков, компания Microsoft и Максим Косинов, специалист компании Softline

Зарегистрироваться можно:

http://softline/

e-mail: mailto:info.kzn@softline.ru

tel.: +7 (843) 527-98-50

ПРЕДВАРИТЕЛЬНАЯ РЕГИСТРАЦИЯ ЯВЛЯЕТСЯ ОБЯЗАТЕЛЬНОЙ!

======================================================

Контактное лицо: Ольга Миняйло, менеджер по маркетингу

tel.: +7 (843) 527-98-50

А вот еще одно приглашение...

Приглашаем Вас 21.12.2007 принять участие в БЕСПЛАТНОМ «Тест-драйве Windows server 2008».

Тест-драйв представляет собой мастер-класс, где каждый посетитель будет обеспечен отдельным рабочим местом и материалами, необходимыми для эффективного изучения.

Тест-драйв это отличный шанс, за короткое время, освоить навыки работы с новым продуктом. Тест-драйв будет проходить в Технопарке «Идея», ул. Петербургская, д.50 с 9.30 до-12.30 и с 13.30-16.30

Предварительная регистрация на мероприятие является обязательной. Дополнительные вопросы и регистрация у менеджера по маркетингу Softline в Казани Ольги Миняйло olgami@softline.ru , тел.: (843) 527-98-50

Синтаксис Семантического веба

kdenisov — Mon, 10 Dec 2007 08:00:00 GMT

Технологии Веб нового поколения должны обеспечивать возможности автоматизированной интерпретации и обработки информации, семантической интероперабельности информационных ресурсов. В этих условиях уже недостаточно располагать синтаксическим описанием XML-документов с помощью DTD или XML Schema. Например, при обмене документами, описанными средствами этих языков, обе обменивающиеся стороны должны одинаковым образом понимать смысл используемых в документах типов элементов и атрибутов элементов, а также содержащихся в них гиперссылок, о чем заранее должны быть приняты соответствующие договоренности, описанные вербальным или иным образом.

Необходимость решения указанных задач вызвала потребность в таких средствах формального описания семантики XML-данных, которые бы позволяли анализировать и обрабатывать их с помощью программного обеспечения.

Первым шагом консорциума W3C в рассматриваемом направлении было создание стандартов RDF (Resource Definition Framework) и RDFS (RDF Schema).

В RDF-спецификации объявляется некоторое множество ресурсов, для каждого из которых определяются пары "свойство-значение". Информационные ресурсы в RDF - это ресурсы Веб, идентифицируемые уникальным образом с помощью их URI. Они могут также представлять собой коллекции других информационных ресурсов или литералов, называемые контейнерами. Допускаются контейнеры типа мультимножества, последовательности и альтернативы. Значения свойств задаются литерально либо могут быть другими ресурсами, которые представляются, в свою очередь, их свойствами. Таким образом, свойства могут определять и связи между ресурсами.

Смысл выражается посредством языка RDF, который кодирует его с помощью множества триплетов [triple], где каждый триплет состоит из субъекта, глагола и объекта элементарного предложения. Такие триплеты можно записать с помощью тэгов языка XML. В языке RDF документ состоит из утверждений о том, что нечто (человек, веб-страница или что-либо ещё) имеет определённое отношение (как то «быть сестрой», «быть автором») с некоторым определённым значением (другой человек, другая веб-страница). Подобная структура оказывается весьма естественной для описания подавляющего большинства машинно-обрабатываемых данных. Субъект и объект задаются с помощью Единообразного Идентификатора Ресурса (Uniform Resource Identifier, URI), подобно ссылкам на веб-страницах. (URL — Универсальный Локатор Ресурса (Universal Resource Locator) — представляет собой наиболее распространённый тип URI). Глаголы тоже задаются посредством URI, что позволяет определять новое понятие или новый глагол, просто указав его URI-адрес в Сети.

Человеческий язык процветает благодаря тому, что одно и тоже слово может иметь несколько значений; но это совсем не так для языка машинного. Представьте себе, например, что я нанимаю клоунов-курьеров для доставки воздушных шариков моим клиентам на их дни рождения. Совершенно не кстати, эта развлекательная служба перекачает мою базу данных с адресами клиентов себе, не зная, что «адрес» в моей базе данных — это то место, куда доставляются счета, и что большинство из них — абонентские ящики в почтовых отделениях. В итоге мои клоуны повеселят почтовых работников — что само по себе, возможно, не так уж и плохо, но, очевидно, это не то, чего хотелось изначально. Подобная проблема решается использованием различных URI для каждого конкретного понятия. Почтовый адрес тогда можно будет отличить от адреса проживания, и оба эти понятия, в свою очередь, можно будет отличить от понятия «адресовать речь кому-либо» [an address that is a speech].

Из триплетов языка RDF формируются сети информации о взаимосвязанных вещах. Поскольку RDF использует URI-идентификаторы для кодирования данной информации в документе, эти самые URI-идентификаторы гарантируют то, что каждое понятие, используемое в документе — это не просто слово, а нечто, привязанное к единому определению, которое каждый желающий может найти в Сети. Например, представим себе, что у нас есть доступ к нескольким базам данных о людях, содержащим их адреса. Если теперь мы хотим найти тех людей, которые живут в районе с неким заданным почтовым индексом, то нам нужно будет знать, какое именно поле в каждой из баз данных представляет собой имя, а какой — почтовый индекс. Это можно выразить на языке RDF в виде: «(поле 5 в базе данных A)(является полем типа)(почтовый индекс)», используя URI-идентификаторы вместо слов для каждого термина.

Здесь я описал как-бы синтаксис без синтаксиса ) все на основе знаменитой статьи Tim Bernes-Lee

Далее, я напишу, что, на самом деле, не так все и радужно в мире семантики :) есть критика и, кстати говоря, много критики.. Постараюсь осветить все альтернативные взгляды на семантический веб.

И еще несколько ссылок на русскоязычные ресурсы:

http://www.semantictools.ru/ - сайт посвященный полностью семантическому вебу и онтологиям

http://www.semanticweb.narod.ru/ - тоже отличный сайт о SW

Для затравки.

kdenisov — Thu, 29 Nov 2007 09:07:00 GMT

Проекты семантического веба. Спасибо Юрию Лифшицу за ссылки :)

• Поисковая система SHOE (http://www.cs.umd.edu/projects/plus/SHOE/search/): поиск в Семантическом Вебе.

• Jena (http://jena.sourceforge.net): среда разработки приложений для семантического веба, включает исполнитель запросов.

• Simile (http://simile.mit.edu): Семантический веб для электронных библиотек.

• Protege (http://protege.stanford.edu): редактор онтологий из Стенфорда

Семантический Веб

kdenisov — Thu, 29 Nov 2007 08:56:00 GMT

Новая форма представления содержимого WWW значимадля компьютеров и приведет к революционным изменениям в возможностях сети.

Сегодня я решил представить вам избранное из статьи основателя и действующего директора W3C Tim Berners-Lee, напечатанной в 2001 году в журнале Scientific American. Статья это являлась некоторым итогом работы самого Tim Berners-Lee и стартом исследований для ведущих умов Computer Science. Называется она очень просто и лаконично "The Semantic Web".

Итак прелюдия - недалекое будущее.

Домашний центр развлечений убавил громко играющую классику Битлз "We Can Work It Out", когда зазвонил телефон. Пока Пит поднимал трубку, телефон отправил сообщения всем домашним устройствам, которые имеют регулятор грмкости. Его сестра Люси звонила от доктора: "Маме необходимо найти специалиста и пройти двухненедельный курс физтерапии. Я отправлю запрос моему агенту." Пит предложил ей отвезти их.

У доктора Люси запустила Semantic Web agent в браузере ее КПК. Агент сразу же запросил информацию о назначенном лечении у агента Доктора, заглянул в списки провайдеров, и выбрал тех, чьи словия подоходят под страховку, кто находится в радиусе 20 миль от ее дома и имеют высшие рейтинги, от влиятельных и уважаемых экспертов. И затем, он провел поиск по совпадениям во времени назначении (каждая клиника публикует расписания приемов на своих сайтах). В результате Питу и Люси был представлен список возможных расписаний приемов врачей удовлетворяющих всем заданным условиям. (выделенные ключевые слова обозначают термы в семантическом смысле, которые заданы агентами Семантического Веба)

Expressing Meaning
Пит и Люси не смогут использовать своих агентов для подобных задач, с сегодняшним состоянием WWW, однако это станет возможным когда WWW разовьется в семантический веб в ближайшем будущем.
Большая часть нынешнего веб контента представлена в форме которая удобна и понятна человеку, но не компьютеру! Для компьютера сейчас безразлично какую информацию он забирает ежедневно сотнями мегабайт, однако было бы неплохо, если бы он мог бы использовать все свои тысячи мегагерц более рационально и извлекать знания из полученного набора символов и слов. Сейчас Компьютеры в принципе могут сознательно парсить страницы по некторому шаблону и извлекать семантику: это домашняя страница Клиники Хартмана, этот линк ведет к CV доктора Хартмана и т.д..

Семантический веб предлагает структуру значимого (в смысле осознанного) контента веб страниц, предоставляет среду, где программные агенты гуляя от страницы к странице, легко выполняют осмысленные запросы от пользователей. Например, наш агент из примера, зайдя на страницу клиники, нашел там ключевые слова "treatment, medicine, physical, therapy", и помимо этого нашел что доктор Хартман находится в клинике по понедельникам, средам и пятницам. И все эти факты известны без использования каких либо техник искуственного интеллекта. Вся эта семантика закодирована внутри страницы обычным офис-менеджером (который не имеет степени по Comp.Sci.) с помощью специального программного обеспечения, для создания семантических страниц.

Семантический Веб это не какой-то отдельный Веб, - это расширение над нынешним, где информация введена специальным образом, облегчающее взаимодействие людей и компьютеров. Первые пробные шаги по узкой тропе интеграции семантического веба в нынешний уже делаются. И в ближайшем будущем эти разработки помогут сделать значительный рывок вперед в задачах обучения машин "понимать" данные которые они находят и показывают.

Особое свойство современного WWW - это его универсальность. Мошь гипертекста в том что он может связать все со всем. Веб технологии, следовательно не делают различий между коммерческой и учебной информацией, между культурами, языками пр. Поиск по ключевым словам выдают бесчисленные множества страниц, мало имеющих отношение к сделанному запросу. И тут все должно изменится и приходом и активизацией парадигмы семантического веба.
Поисковая система сможет выдавать только те сайты, где упоминалось в точности искомое понятие, а не произвольные страницы. Проблема только в том что компьютер не имеет знаний о словах запроса и запросе в целом. Поэтому необходима предварительная процедура Объединения знаний.
Семантический веб, именуя всякое с помощью URI идентификатора, даст возможность каждому выражать новые понятия, которые он изобретает, с минимальными усилиями. Его универсальный логический язык позволит постепенно связать все эти понятия в универсальную Сеть. Эта структура сделает знания и достижения человечества доступными для анализа программными агентами и предложит новый класс средств, с помощью которых мы сможем вместе жить, работать и учиться.

В следующих выпусках я расскажу об архитектуре, и синтаксисе семантического веба.

Кроме того среди ближайших поднимаемых вопросов будут: квантовые компьютеры (поскольку в ближайшее время Гугл представит всем прототип промышленного квантового компьютера), техники реализации полнотекстовых поисковых движков на своих сайтах и прочее из мира Интернет.

Если кого что интересует еще пишите в комментах - эти темы постараюсь освещать раньше.

Спасибо и Удачи :)

Всем привет!

kdenisov — Tue, 27 Nov 2007 10:30:00 GMT

Всем привет!

Показалось мне, что на itkazan.ru как-то мало внимания уделяется основе основ программирования и разработки, а именно Computer Science (Теоретическая информатика), поэтому, с Вашего позволения, я постараюсь немного разбавить разговоры о технологиях и средствах разработки, моими мыслями об основах и последних (современных) разработках в области теоретической базы программерской кухни.

Писать я буду о темах интересующих меня в последнее время а именно о интересных новинках за неделю с различных Computer Science ресурсов, а в большинстве своем arxiv.org.

Темы интересующие меня там: Statistic ( http://arxiv.org/archive/stat ), большая часть разделов Computer Science( http://arxiv.org/list/cs/new ), Quantum Algebra ( http://arxiv.org/list/math.QA/recent ) и Dynamical Systems ( http://arxiv.org/list/math.DS/recent ).

Кроме этого буду выкладывать мое мнение о последних купленных и прочитанных книгах.

А также помимо всего прочего, постараюсь давать некоторые обзорные материалы по авангарду Computer Science и WWW - Семантическому вебу, Квантовым компьютерам, поисковым технологиям и различные подобласти Information Retrievial и Data Mining.

Комментарии и пожелания приветствуются!

Отчет по прошедшей встрече (09.11.2007) и конкурс .net юзер-групп

doctorsolberg — Tue, 20 Nov 2007 12:26:00 GMT

Итак! Наконец-то нас собралось столько, что с трудом хватило стульев :) Буду краток, по моему встреча получилась отличная! Спасибо большое докладчикам: Александру Шеру за его глубокие технические доклады по ASP.NET AJAX (знаю, знаю, не все переварили, мслевел 400 как минимум:)), Даниле Корневу за веселый и познавательный доклад о MS SQL FileStream. Небольшой фотоотчет здесь (слайдшоу).

И еще новость! Наше .NET сообщество участвует во всероссийском конкурсе юзергрупп! Так что пожалуйста, активно голосуйте за понравившиеся доклады на http://kzn.ineta.ru, оставляйте отзывы, участвуйте во встречах, читайте доклады и получайте призы:)

P.S. Не забудьте про студенческую встречу 23-го ноября!
P.P.S. Если кто еще не в курсе, вышла Visual Studio 2008!

Правила работы над проектами Visual C++

dmitryshm — Sat, 17 Nov 2007 16:45:00 GMT

работа над проектами в FunZai.pdf

Захотел опубликовать некое подобие стандарта для работы отдела, практикующего написание кода и ведение проектов Visual C++. Эта статья основана на замечательной книге "С++ Coding Standards: 101 Rules, Guidelines and Best Practices" by Herb Sutter, Andrei Alecsandrescu. Кое что добавил я "от себя". В кавычках, т.к. эти мысли все равно не могу себе присвоить. Где-то я все-таки это вычитал, как и многие из нас, публикуя что-то более-менее стоящее.

Приследую две цели. Самое главное --- замечания и предложения, ведь редко кто публикует нечто подобное. Следующая цель --- помочь программистам в их деле, особенно ведущим программистам и менеждерам проектов в тяжком труде. Эта дока поможет создать в команде рабочую обстановку и может избавить от детских вопросов и ошибок.