ВНИМАНИЕ! На форуме начался конкурс - астрофотография месяца - ИЮЛЬ!
0 Пользователей и 1 Гость просматривают эту тему.
Ну, собсно, ув. Jet сам развивал эту идею в теме про интерфейс. В этой связи, ИМХО, гораздо более актуальным является не Интернет вещей, а Семантическая Паутина.А Интернет вещей - не более, чем телемеханика с автоматикой.
Цитата: Janto от 22 Фев 2014 [08:29:54]Ну, собсно, ув. Jet сам развивал эту идею в теме про интерфейс. В этой связи, ИМХО, гораздо более актуальным является не Интернет вещей, а Семантическая Паутина.А Интернет вещей - не более, чем телемеханика с автоматикой. Так "интернет вещей" и создает семантику этой самой сети, ее графы и свойства. Т.е. низкоуровневые правила, на ассемблере, алгоритмах, статистике, облаках, вирт. средах и еще черт его знает чем.Интернет уже перерос в нечто большее чем просто узлы коммуникации и наборы протоколов, не находите?Я вам предлагаю простой эксперимент. Попробуйте отключить контекстную рекламу
Есть большие сомнения что человек-индивид (как вид) сам по себе интеллектуален.
Тот, кто обеспечивает непрерывность, устойчивость и безопасность взаимодействия в этих сетях де-факто и де-юре обладает новой властью.
Приглашаю к дискуссии сисадминов и близких к разработке ПО, если таковые есть здесь.
Никто к сожалению не занимается серьезно систематизацией и статистикой багов в программировании, особенно в низкоуровневом. Гейзенбаг, шрединбаг, мандельбаг как и прочие баги скрываются разрабами ПО по коньюктурным и прочим соображениям.Все бы ничего если баги проявлялись локально и только...Сеть, она глобальна.Некоторые предпосылки разберу несколько позже.Приглашаю к дискуссии сисадминов и близких к разработке ПО, если таковые есть здесь.
Да мы уже давно здесь. Но Вы пока так ничего и не смогли сказать в защиту Вашего тезиса "IoT - первый шаг к AI" и теперь пытаетесь "улизнуть" в какие-то дебри с багами, которые тут, ИМХО, совершенно не к месту. Разочарован-с.
Впрочем, слепой казав: "побачим" (с) - там дальше видно будет.
Две новости: от первого и второго апреля сего годаhttp://www.darpa.mil/Our_Work/BTO/Programs/Открытие нового профильного офиса агенства;http://www.whitehouse.gov/the-press-office/2013/04/02/fact-sheet-brain-initiativeВRAIN Initiative президента США Барака Обамы;
Цитата: Okub62 от 05 Апр 2014 [09:31:54]Впрочем, слепой казав: "побачим" (с) - там дальше видно будет.А дальше будет BrainProject, точнее уже есть и "бачить" особо не надо Цитата: VinamaPro от 03 Апр 2014 [04:12:20]Две новости: от первого и второго апреля сего годаhttp://www.darpa.mil/Our_Work/BTO/Programs/Открытие нового профильного офиса агенства;http://www.whitehouse.gov/the-press-office/2013/04/02/fact-sheet-brain-initiativeВRAIN Initiative президента США Барака Обамы;В той теме на эти эти новости никто никак не отреагировал, может в этой будет по-иному ? Или опять не о том ?
Никто к сожалению не занимается серьезно систематизацией и статистикой багов в программировании, особенно в низкоуровневом.Гейзенбаг, шрединбаг, мандельбаг как и прочие баги скрываются разрабами ПО по коньюктурным и прочим соображениям.Все бы ничего если баги проявлялись локально и только...Сеть, она глобальна.
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....