A A A A Автор Тема: Концепция IoT как первый шаг к ИИ.  (Прочитано 2328 раз)

0 Пользователей и 1 Гость просматривают эту тему.

Оффлайн jetАвтор темы

  • *****
  • Сообщений: 3 115
  • Благодарностей: 56
  • Outfitter hypervisor
    • Сообщения от jet

О концепции Internet of Things немного есть на  http://en.wikipedia.org/wiki/Internet_of_Things
Это несколько больше чем "умный дом" или "умный автомобиль".
А теперь факты:

В 2008-2009 произошел переход от «Интернета людей» к «Интернету умных вещей», т.е. количество подключенных к сети предметов превысило количество людей.

В 1999 создан Центр автоматической идентификации (Auto-ID Center), занимающийся радиочастотной идентификацией (RFID) и сенсорными технологиями.

И внимание! В 1926 Никола Тесла в интервью для журнала «Collier’s» сказал, что в будущем радио будет преобразовано в «большой мозг», все вещи станут частью единого целого, а инструменты, благодаря которым это станет возможным, будут легко помещаться в кармане.
 8)

По мнению Роба Ван Краненбурга интернет вещей представляет из себя «четырех-слойный пирог».
1 уровень связан с идентификацией каждого объекта.
2 уровень предоставляет с сервисом по обслуживанию потребностей потребителя (можно рассматривать как сеть собственных «вещей», частный пример – «умный дом»).
3 уровень связан с урбанизацией городской жизни. Т.е. это концепция «умного города», где вся информация, которая касается жителей этого города, стягивается в конкретный жилой квартал, в Ваш дом и соседние дома.
4 уровень – сенсорная планета.


•    BAN (body area network) – человек: слуховой аппарат, смарт-футболки ...
•    LAN (local area network) – личная территория: датчики измерения различных параметров, объединённых в «умный дом»
•    WAN (Wide Area Network) – городское пространство: велосипеды, автомобили, поезда, автобусы, самолеты, подключенные к интернету ....
•    VWAN (very wide area network) – «мудрые» города, необходимые государственные услуги можно получить в интернете, они больше не привязаны к физическим местам


Тот, кто обеспечивает непрерывность, устойчивость и безопасность взаимодействия в этих сетях де-факто и де-юре обладает новой властью.
http://internetofthings.ru/81-blog/research-and-experimental-development/21-rob-van-kranenburg-chto-takoe-iot
Одну простую сказку,
А может, и не сказку,
А может, не простую
Хотим вам рассказать.
Её мы помним с детства,
А может, и не с детства,
А может, и не помним,
Но будем вспоминать...

Оффлайн Janto

  • *****
  • Сообщений: 4 247
  • Благодарностей: 81
  • Credo quia absurdum est
    • Сообщения от Janto
Re: Концепция IoT как первый шаг к ИИ.
« Ответ #1 : 22 Фев 2014 [08:29:54] »
Категорически не соглашусь, что Интернет вещей - какой-то там шаг к ИИ. Какие-то шаги к ИИ, если заниматься  гносеологическими корнями, уже были, в т.ч. Компьютер, LISP/PROLOG, персептрон и, конечно же, Интернет. Если говорить о дальнейших шагах применительно к Интернету, то надо рассматривать их во взаимосвязи с мышлением человека и совершенстования взаимодействия человек-компьютер-сеть-компьютер-человек. Ну, собсно, ув. Jet сам развивал эту идею в теме про интерфейс. В этой связи, ИМХО, гораздо более актуальным является не Интернет вещей, а Семантическая Паутина.
А Интернет вещей - не более, чем телемеханика с автоматикой.

Оффлайн ВадимZero

  • *****
  • Сообщений: 8 690
  • Благодарностей: 94
  • Мне нравится этот форум!
    • Сообщения от ВадимZero
Re: Концепция IoT как первый шаг к ИИ.
« Ответ #2 : 22 Фев 2014 [10:42:37] »
Банальная интуиция.

Оффлайн Okub62

  • *****
  • Сообщений: 25 853
  • Благодарностей: 601
  • Мне нравится этот форум!
    • Сообщения от Okub62
Re: Концепция IoT как первый шаг к ИИ.
« Ответ #3 : 22 Фев 2014 [11:08:03] »
Название "Умные вещи" - всего лишь рекламный ход. Изощрённая система автоматики, ничего больше. Так это вижу.
С уважением. Олег

Оффлайн jetАвтор темы

  • *****
  • Сообщений: 3 115
  • Благодарностей: 56
  • Outfitter hypervisor
    • Сообщения от jet
Re: Концепция IoT как первый шаг к ИИ.
« Ответ #4 : 22 Фев 2014 [17:56:30] »
Интернет вещей начинает жить собственной жизнью http://www.cisco.com/web/RU/news/releases/txt/2012/112612b.html
Замечу что cisco это монстр в среде IT. Rob van Kranenburg тоже не какой нибудь форумный флудер, а эксперт ЕС   ;)

Ну, собсно, ув. Jet сам развивал эту идею в теме про интерфейс. В этой связи, ИМХО, гораздо более актуальным является не Интернет вещей, а Семантическая Паутина.
А Интернет вещей - не более, чем телемеханика с автоматикой.

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

Я вам предлагаю простой эксперимент. Попробуйте отключить контекстную рекламу  ;D
Одну простую сказку,
А может, и не сказку,
А может, не простую
Хотим вам рассказать.
Её мы помним с детства,
А может, и не с детства,
А может, и не помним,
Но будем вспоминать...

Оффлайн Janto

  • *****
  • Сообщений: 4 247
  • Благодарностей: 81
  • Credo quia absurdum est
    • Сообщения от Janto
Re: Концепция IoT как первый шаг к ИИ.
« Ответ #5 : 22 Фев 2014 [18:37:13] »
Ну, собсно, ув. Jet сам развивал эту идею в теме про интерфейс. В этой связи, ИМХО, гораздо более актуальным является не Интернет вещей, а Семантическая Паутина.
А Интернет вещей - не более, чем телемеханика с автоматикой.

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

С контекстной рекламой знаком. Но при чем тут ИИ? При отключенных куках и плавющем IP идентифицировать пользователя можно с 90-процентной вероятностью по остальным параметрам HTTP - тип и релиз ОС, тип и релиз движка и браузера, параметры экрана, включена-выключена java. Так что с трудностью отключением рекламы ничего особо таинственного. Гораздо более интересная вещь в том, что запросы, сделанные мною в Гугль, передаются, например, Яндексу, и реклама Яндекса мне впендюривает то, что я искал в Гугле. Но это опять же не ИИ, а, похоже, взаимообмен доступа  к базам данных юзеров на основе какого-то коммерческого соглашения. То, что нами сверху рулят, это верно. Но пока не терминаторы  ;)

Оффлайн jetАвтор темы

  • *****
  • Сообщений: 3 115
  • Благодарностей: 56
  • Outfitter hypervisor
    • Сообщения от jet
Re: Концепция IoT как первый шаг к ИИ.
« Ответ #6 : 22 Фев 2014 [20:16:34] »
Есть большие сомнения что человек-индивид (как вид) сам по себе интеллектуален. Этот миф мы придумали себе сами для оправдания своего существования, дополнив антропным принципом, для пущей убедительности  :)
Этому есть доказательства. Одно из:
Независимо от уровня IQ нормальный человек не в состоянии продержаться в безэховой камере-т.н. "тихой комнате" хотя бы пару часов, без последствий возможного нарушения психики.
NASA использует их для тренировок астронавтов и подготовке к полетам.
Т.е. любому человеку необходим информационный фон, хотя бы уровня возни червей. И это, к сожалению, свойство человеческого мозга/нервной системы,-что называется на уровне нашего BIOS.
Одну простую сказку,
А может, и не сказку,
А может, не простую
Хотим вам рассказать.
Её мы помним с детства,
А может, и не с детства,
А может, и не помним,
Но будем вспоминать...

Оффлайн Janto

  • *****
  • Сообщений: 4 247
  • Благодарностей: 81
  • Credo quia absurdum est
    • Сообщения от Janto
Re: Концепция IoT как первый шаг к ИИ.
« Ответ #7 : 22 Фев 2014 [20:35:03] »
Есть большие сомнения что человек-индивид (как вид) сам по себе интеллектуален.

Само собой. Основу интеллекта составляют вторая сигнальная система и знания. А они невозможны без общества. Точно так же "неинтеллектуален" компьютер, пока в него не заложишь программу.
Но какое отношение эта сентенция имеет к IoT и ИИ? ::)

Оффлайн Проходящий Кот

  • *****
  • Сообщений: 19 351
  • Благодарностей: 426
    • Сообщения от Проходящий Кот
Re: Концепция IoT как первый шаг к ИИ.
« Ответ #8 : 04 Мар 2014 [21:18:05] »
Среда, в которой живем, постепенно умнеет.....

Оффлайн Инопланетянин

  • *****
  • Сообщений: 11 699
  • Благодарностей: 644
    • Сообщения от Инопланетянин
Re: Концепция IoT как первый шаг к ИИ.
« Ответ #9 : 05 Мар 2014 [10:03:32] »
Тот, кто обеспечивает непрерывность, устойчивость и безопасность взаимодействия в этих сетях де-факто и де-юре обладает новой властью.
Ничего страшного:

http://lenta.ru/articles/2008/07/23/sf/

http://www.securitylab.ru/news/356065.php

Оффлайн jetАвтор темы

  • *****
  • Сообщений: 3 115
  • Благодарностей: 56
  • Outfitter hypervisor
    • Сообщения от jet
Re: Концепция IoT как первый шаг к ИИ.
« Ответ #10 : 06 Мар 2014 [02:10:21] »
Никто к сожалению не занимается серьезно систематизацией и статистикой багов в программировании, особенно в низкоуровневом.
Гейзенбаг,  шрединбаг, мандельбаг как и прочие баги скрываются разрабами ПО по коньюктурным и прочим соображениям.
Все бы ничего если баги проявлялись локально и только...
Сеть, она глобальна.
Некоторые предпосылки разберу несколько позже.
Приглашаю к дискуссии сисадминов и близких к разработке ПО, если таковые есть здесь.
Одну простую сказку,
А может, и не сказку,
А может, не простую
Хотим вам рассказать.
Её мы помним с детства,
А может, и не с детства,
А может, и не помним,
Но будем вспоминать...

Оффлайн Janto

  • *****
  • Сообщений: 4 247
  • Благодарностей: 81
  • Credo quia absurdum est
    • Сообщения от Janto
Re: Концепция IoT как первый шаг к ИИ.
« Ответ #11 : 06 Мар 2014 [09:01:55] »
Приглашаю к дискуссии сисадминов и близких к разработке ПО, если таковые есть здесь.

Да мы уже давно здесь. Но Вы пока так ничего и не смогли сказать в защиту Вашего тезиса "IoT - первый шаг к AI" и теперь пытаетесь "улизнуть" в какие-то дебри с  багами,  которые тут, ИМХО, совершенно не к месту. Разочарован-с.  :-\

Оффлайн Проходящий Кот

  • *****
  • Сообщений: 19 351
  • Благодарностей: 426
    • Сообщения от Проходящий Кот
Re: Концепция IoT как первый шаг к ИИ.
« Ответ #12 : 06 Мар 2014 [09:21:53] »
Никто к сожалению не занимается серьезно систематизацией и статистикой багов в программировании, особенно в низкоуровневом.
Гейзенбаг,  шрединбаг, мандельбаг как и прочие баги скрываются разрабами ПО по коньюктурным и прочим соображениям.
Все бы ничего если баги проявлялись локально и только...
Сеть, она глобальна.
Некоторые предпосылки разберу несколько позже.
Приглашаю к дискуссии сисадминов и близких к разработке ПО, если таковые есть здесь.

Пока будут играться в Настоящих Программистов, так и будет.....

Оффлайн jetАвтор темы

  • *****
  • Сообщений: 3 115
  • Благодарностей: 56
  • Outfitter hypervisor
    • Сообщения от jet
Re: Концепция IoT как первый шаг к ИИ.
« Ответ #13 : 05 Апр 2014 [03:26:13] »

Да мы уже давно здесь. Но Вы пока так ничего и не смогли сказать в защиту Вашего тезиса "IoT - первый шаг к AI" и теперь пытаетесь "улизнуть" в какие-то дебри с  багами,  которые тут, ИМХО, совершенно не к месту. Разочарован-с.  :-\

Ищите и читайте по теме "клэйтроника", "конструктивный туман" и т.д.
В общем-просвещайтесь понемногу...
Хотя у меня не было цели заводить тематику так далеко, но по видимому, этого не избежать.
Как наверстаете знаний по теме, обсудим предметно.
Одну простую сказку,
А может, и не сказку,
А может, не простую
Хотим вам рассказать.
Её мы помним с детства,
А может, и не с детства,
А может, и не помним,
Но будем вспоминать...

Оффлайн Okub62

  • *****
  • Сообщений: 25 853
  • Благодарностей: 601
  • Мне нравится этот форум!
    • Сообщения от Okub62
Re: Концепция IoT как первый шаг к ИИ.
« Ответ #14 : 05 Апр 2014 [09:31:54] »
Набрал клэйтроника, прочитал для начала в Вики. Сразу бросается в глаза общая для некоторых современных разработок слабая, на мой скромный взгляд, сторона - раздел Применение стоит предпоследним перед ссылками на используемые материалы. Т.е. очередная разработка, делаемая просто так - авось на что пригодится, без ясной цели. Это особо и не пытаются скрывать. С такими предпосылками сложно победить.
По "туману" как-то запутаннее, сложно сразу вникнуть (кажется то же самое, в принципе). Однако и тут заметна тенденция в первуой же строке ставить ультрамодное слово нанотехнологии, что само по себе уже подозрительно.
Впрочем, слепой казав: "побачим" (с) - там дальше видно будет.  :)
« Последнее редактирование: 05 Апр 2014 [09:45:13] от Okub62 »
С уважением. Олег

Оффлайн VimanaPro

  • *****
  • Сообщений: 7 975
  • Благодарностей: 196
  • Well -- yes. In modern times, of course
    • Сообщения от VimanaPro
Re: Концепция IoT как первый шаг к ИИ.
« Ответ #15 : 05 Апр 2014 [10:51:53] »
Впрочем, слепой казав: "побачим" (с) - там дальше видно будет.
А дальше будет BrainProject, точнее уже есть и "бачить" особо не надо
Две новости: от первого и второго апреля сего года
http://www.darpa.mil/Our_Work/BTO/Programs/
Открытие нового профильного офиса агенства;
http://www.whitehouse.gov/the-press-office/2013/04/02/fact-sheet-brain-initiative
ВRAIN Initiative  президента США Барака Обамы;
В той теме на эти эти новости никто никак не отреагировал, может в этой будет по-иному ? Или опять не о том ?
Ввести квант действия в космологию и гравитацию стоило мне немалых трудов. Некоторые из моих знакомых усматривали в этом своего рода трагедию. Но VimanaPro был другого мнения об этом ... Ведь теперь он точно знает, что квант действия играет гораздо большую роль, чем был склонен считать вначале…

Оффлайн jetАвтор темы

  • *****
  • Сообщений: 3 115
  • Благодарностей: 56
  • Outfitter hypervisor
    • Сообщения от jet
Re: Концепция IoT как первый шаг к ИИ.
« Ответ #16 : 05 Апр 2014 [14:56:33] »
Впрочем, слепой казав: "побачим" (с) - там дальше видно будет.
А дальше будет BrainProject, точнее уже есть и "бачить" особо не надо
Две новости: от первого и второго апреля сего года
http://www.darpa.mil/Our_Work/BTO/Programs/
Открытие нового профильного офиса агенства;
http://www.whitehouse.gov/the-press-office/2013/04/02/fact-sheet-brain-initiative
ВRAIN Initiative  президента США Барака Обамы;
В той теме на эти эти новости никто никак не отреагировал, может в этой будет по-иному ? Или опять не о том ?


Спасибо. Информация несколько опережает контекст темы, но вполне по делу.
 Launched with approximately $100 million in the President’s Fiscal Year 2014 Budget, the BRAIN (Brain Research through Advancing Innovative Neurotechnologies) Initiative ultimately aims to help researchers find new ways to treat, cure, and even prevent brain disorders, such as Alzheimer’s disease, epilepsy, and traumatic brain injury.
Впечатляют ресурсы выделяющиеся на эти исследования.
Несомненно, продвинутые нейроинтерфейсы (и изучение мозга вообще) имеют сильный медицинский, военный и др. прикладные аспекты. Как и этические  ???
Maintaining our highest ethical standards:  Pioneering research often has the potential to raise new ethical challenges.
Одну простую сказку,
А может, и не сказку,
А может, не простую
Хотим вам рассказать.
Её мы помним с детства,
А может, и не с детства,
А может, и не помним,
Но будем вспоминать...

Оффлайн VimanaPro

  • *****
  • Сообщений: 7 975
  • Благодарностей: 196
  • Well -- yes. In modern times, of course
    • Сообщения от VimanaPro
Re: Концепция IoT как первый шаг к ИИ.
« Ответ #17 : 07 Апр 2014 [07:43:51] »
Никто к сожалению не занимается серьезно систематизацией и статистикой багов в программировании, особенно в низкоуровневом.
Гейзенбаг,  шрединбаг, мандельбаг как и прочие баги скрываются разрабами ПО по коньюктурным и прочим соображениям.
Все бы ничего если баги проявлялись локально и только...
Сеть, она глобальна.
Немного поправлю, занимаются.
Mining and Understanding Software Enclaves (MUSE)(17.02.2014)

Цитата
As computing devices become more pervasive, the software systems that control them have become increasingly more complex and sophisticated. Consequently, despite the tremendous resources devoted to making software more robust and resilient, ensuring that programs are correct—especially at scale—remains a difficult and challenging endeavor. Unfortunately, uncaught errors triggered during program execution can lead to potentially crippling security violations, unexpected runtime failure or unintended behavior, all of which can have profound negative consequences on economic productivity, reliability of mission-critical systems, and correct operation of important and sensitive cyber infrastructure.
Vulnerabilities manifest when implementations do not conform to design. Determining program correctness thus fundamentally requires a precise understanding of a program’s intended behavior, and a means to convey this understanding unambiguously in a form suitable for automated inspection. Having useful, comprehensible and efficiently checkable program specifications is therefore critical for gaining high assurance and confidence of complex software systems. Often, however, the behaviors exposed by a program's implementation do not match those defined by the program's specification, in large part because the task of writing useful, correct and efficiently checkable specifications is often as hard as the task of writing the implementations that purport to satisfy it.
To help overcome these challenges, DARPA has created the Mining and Understanding Software Enclaves (MUSE) program. MUSE seeks to make significant advances in the way software is built, debugged, verified, maintained and understood. Central to its approach is the creation of a community infrastructure built around a large, diverse and evolving corpus of software drawn from the hundreds of billions of lines of open source code available today.
An integral part of the envisioned infrastructure would be a continuously operational specification mining engine. This engine would leverage deep program analyses and foundational ideas underlying big data analytics to populate and refine a database containing inferences about useful properties, behaviors and vulnerabilities of the program components in the corpus. The collective knowledge gleaned from this effort would facilitate new mechanisms for dramatically improving software reliability, and help develop radically different approaches for automatically constructing and repairing complex software.
Among the many envisioned benefits of the program are scalable automated mechanisms to identify and repair program errors, and specification-based tools to create and synthesize new, custom programs from existing corpus elements based on properties discovered from this mining activity.
The MUSE program is interested in close and continued collaboration of experts from a range of fields, including but not limited to: programming languages, program analysis, theorem proving and verification, testing, compilers, software engineering, machine learning, databases, statisticians, systems and a multitude of application domains. The program intends to emphasize creating and leveraging open source technology.
...
Гугл-перевод
Как вычислительные устройства становятся все более широкое распространение , программные системы , которые контролируют их становятся все более сложными и изощренными . Следовательно, несмотря на огромные ресурсы, посвященные делает программное обеспечение более надежным и устойчивым , чтобы программы верны , особенно в масштабе - прежнему остается сложной и сложной задачи . К сожалению, пойманные ошибки срабатывает во время выполнения программы может привести к потенциально повреждая нарушений безопасности, неожиданного сбоя выполнения или непреднамеренного поведения , каждый из которых может иметь глубокие негативные последствия на экономическую производительность , надежность критически важных систем и правильной работы важной и чувствительной кибер инфраструктура .Уязвимости проявляться при реализации не в соответствии с проектными . Определение корректности программы , таким образом, принципиально требует точного понимания предполагаемого поведения программы , а также средства , чтобы передать это понимание однозначно в форме, пригодной для автоматизированной проверки. Имея полезные , понятные и эффективно отмечаемые спецификации программы Поэтому крайне важно для получения высокой уверенность и доверие сложных программных систем . Часто, однако , поведение , предоставляемые реализациипрограммы не совпадают , определенные спецификации программы , во многом потому, задача написания полезные , правильные и эффективно отмечаемые спецификации часто так сложно, как задачи написания реализации, которые претендует на удовлетворить. Чтобы помочь преодолеть эти проблемы , DARPA создала программу горно- Понимание Software анклавы ( MUSE ) . MUSE стремится добиться значительного прогресса на пути программное обеспечение построено , отлаженные , проверенные , поддерживается и понял . Центральное место в его подхода является создание коммунальной инфраструктуры , построенной вокруг большой , разнообразной и развивающейся корпус программного обеспечения , проведенной от сотен миллиардов строк открытого исходного кода , доступных сегодня. Неотъемлемой частью предусмотренной инфраструктуры будет постоянно функционировать добыча спецификация двигателя . Этот двигатель будет использовать глубокая программа анализирует и основополагающие идеи, лежащие большие анализа данных для заполнения и уточнить базу данных, содержащую выводы о полезных свойств , поведения и уязвимости программных компонентов в корпус. Коллективные знания , почерпнутые из этих усилий будет способствовать новые механизмы резко повысить надежность программного обеспечения , но и помогают развить совершенно разные подходы к автоматически построения и ремонта сложного программного обеспечения . Среди многих , предусмотренных преимуществ программы являются масштабируемые автоматизированные механизмы для выявления и устранения ошибок программы и параметры -инструменты для создания и синтезировать новые, пользовательские программы от существующих элементов корпусной на основе свойств , обнаруженных из этой горной деятельности . Программа MUSE заинтересована в тесном и продолжения сотрудничества экспертов из самых разных областях , в том числе , но не ограничиваясь : языки программирования , анализ программ , доказательство теорем и верификации, тестирования , компиляторы, разработку программного обеспечения , машинное обучение , базы данных , статистики , системы и множество областей применения. Программа намерена подчеркнуть создания и внедрения технических средств с открытым исходным кодом .
Ввести квант действия в космологию и гравитацию стоило мне немалых трудов. Некоторые из моих знакомых усматривали в этом своего рода трагедию. Но VimanaPro был другого мнения об этом ... Ведь теперь он точно знает, что квант действия играет гораздо большую роль, чем был склонен считать вначале…

Оффлайн Проходящий Кот

  • *****
  • Сообщений: 19 351
  • Благодарностей: 426
    • Сообщения от Проходящий Кот
Re: Концепция IoT как первый шаг к ИИ.
« Ответ #18 : 07 Апр 2014 [12:43:21] »
Текст нормального размера:
"Как вычислительные устройства становятся все более широкое распространение , программные системы , которые контролируют их становятся все более сложными и изощренными . Следовательно, несмотря на огромные ресурсы, посвященные делает программное обеспечение более надежным и устойчивым , чтобы программы верны , особенно в масштабе - прежнему остается сложной и сложной задачи . К сожалению, пойманные ошибки срабатывает во время выполнения программы может привести к потенциально повреждая нарушений безопасности, неожиданного сбоя выполнения или непреднамеренного поведения , каждый из которых может иметь глубокие негативные последствия на экономическую производительность , надежность критически важных систем и правильной работы важной и чувствительной кибер инфраструктура .Уязвимости проявляться при реализации не в соответствии с проектными . Определение корректности программы , таким образом, принципиально требует точного понимания предполагаемого поведения программы , а также средства , чтобы передать это понимание однозначно в форме, пригодной для автоматизированной проверки. Имея полезные , понятные и эффективно отмечаемые спецификации программы Поэтому крайне важно для получения высокой уверенность и доверие сложных программных систем . Часто, однако , поведение , предоставляемые реализациипрограммы не совпадают , определенные спецификации программы , во многом потому, задача написания полезные , правильные и эффективно отмечаемые спецификации часто так сложно, как задачи написания реализации, которые претендует на удовлетворить. Чтобы помочь преодолеть эти проблемы , DARPA создала программу горно- Понимание Software анклавы ( MUSE ) . MUSE стремится добиться значительного прогресса на пути программное обеспечение построено , отлаженные , проверенные , поддерживается и понял . Центральное место в его подхода является создание коммунальной инфраструктуры , построенной вокруг большой , разнообразной и развивающейся корпус программного обеспечения , проведенной от сотен миллиардов строк открытого исходного кода , доступных сегодня. Неотъемлемой частью предусмотренной инфраструктуры будет постоянно функционировать добыча спецификация двигателя . Этот двигатель будет использовать глубокая программа анализирует и основополагающие идеи, лежащие большие анализа данных для заполнения и уточнить базу данных, содержащую выводы о полезных свойств , поведения и уязвимости программных компонентов в корпус. Коллективные знания , почерпнутые из этих усилий будет способствовать новые механизмы резко повысить надежность программного обеспечения , но и помогают развить совершенно разные подходы к автоматически построения и ремонта сложного программного обеспечения . Среди многих , предусмотренных преимуществ программы являются масштабируемые автоматизированные механизмы для выявления и устранения ошибок программы и параметры -инструменты для создания и синтезировать новые, пользовательские программы от существующих элементов корпусной на основе свойств , обнаруженных из этой горной деятельности . Программа MUSE заинтересована в тесном и продолжения сотрудничества экспертов из самых разных областях , в том числе , но не ограничиваясь : языки программирования , анализ программ , доказательство теорем и верификации, тестирования , компиляторы, разработку программного обеспечения , машинное обучение , базы данных , статистики , системы и множество областей применения. Программа намерена подчеркнуть создания и внедрения технических средств с открытым исходным кодом .
"                     
                  
                  
                     
                     

Оффлайн Проходящий Кот

  • *****
  • Сообщений: 19 351
  • Благодарностей: 426
    • Сообщения от Проходящий Кот
Re: Концепция IoT как первый шаг к ИИ.
« Ответ #19 : 07 Апр 2014 [12:44:44] »
Психология С++ и настоящих программистов дала свои результаты.