All streams
Search
Write a publication
Pull to refresh
80
0

Пользователь

Send message
400 фунтов полезного груза не исключают наличия тестовых масс:

www.spacex.com/sites/spacex/files/crew_demo-1_press_kit.pdf

> On this first test flight, Crew Dragon will transport roughly 400 pounds of crew
supplies and equipment to the International Space Station. In addition, the
spacecraft will be carrying mass simulators and an anthropomorphic test device

www.nasa.gov/sites/default/files/atoms/files/commercialcrew_press_kit.pdf#page=13
> This first demonstration mission is autonomous with cargo and mass simulators to help collect data

Почти всегда не страхуют или не разрешено покупать страховку напрямую:
"The government does not purchase commercial insurance," a NASA spokesperson told me
https://ntrs.nasa.gov/archive/nasa/casi.ntrs.nasa.gov/20110014253.pdf "Not allowed to directly purchase insurance"


Например, на программу JWST потратят видимо более 8 млрд. долларов и потерять его при запуске было бы печально. Но аппарат не застрахован (такие суммы слишком велики для страхового рынка, и, вероятно, превышают какие-то пределы из 14 CFR § 440.9 — https://www.law.cornell.edu/cfr/text/14/part-440/subpart-A).
На профильном форуме пишут
https://space.stackexchange.com/questions/24717/will-the-james-webb-space-telescope-be-insured-against-launch-failure


NASA tends not to insure its missions, nor do any government missions. These missions are one-of-a-kind, and so expensive that the satellite insurance market would have a hard time making it work. They simply triple-check everything they can, and expect to lose a few missions, so called "Self-insurance". They have considered insuring things like the ISS before, but it's never worked out
Basically, it would cost NASA more to insure the missions then the benefit it would gain from insurance, and thus they have chosen not to insure their missions.

При этом по программе доставке грузов Драконами правительство вроде бы оплачивало лишь успешные доставки (… does not get paid if the mission is not accomplished.), а оператор страховал пуск самостоятельно. Часть рисков по CRS застрахованы SpaceX-ом в "Starr Aviation", но не ясно, сколько выплатили за неудачу CRS-7.


После Orb-3 и CRS-7 вроде есть требование страховки для нагрузок NASA по CRS:


https://oig.nasa.gov/docs/IG-18-016.pdf
"AUDIT OF COMMERCIAL RESUPPLY SERVICES TO THE INTERNATIONAL SPACE STATION. April 26, 2018"


… Instead, in order to mitigate the risk of losing cargo, the Agency may withhold at least 20 percent of the overall mission payment when a failure occurs…, NASA requires
the three contractors to purchase up to $100 million in property insurance to cover the value of the cargo in case of damage or loss.…
NASA also added insurance requirements for CRS-2 missions to mitigate potential losses from launch failures. As a result of CRS-1 mission failures, NASA lost cargo worth $51 million on Orbital ATK’s third cargo flight and $118 million on SpaceX’s seventh mission. Contractors are now required to purchase up to $100 million in insurance to cover damage to Government property and cargo incurred during the operation of the contractor’s vehicles.

Using current flight projections for CRS-2, SpaceX’s average price per kilogram increased by 50 percent compared to its final CRS-1 mission price.… Other factors,… insurance… contributed to SpaceX’s
increased CRS-2 pricing.
Очень это странно звучит.

Не страхуют на коммерческом рынке, риски берет на себя государство
http://www.kouskouvelis.gr/site/files/Space_Insurance.pdf Legal Aspects of Space Commercialization, Tatsuzawa, 1992, стр 13


Section II. More than 90% of space activities are military and scientific, with goverments assuming the space risk. States will continue financing military space applications and will always provide them with insurance coverage.

https://motherboard.vice.com/en_us/article/wnjyjb/nasa-once-considered-insuring-the-international-space-station


Generally, NASA operates its missions without insurance. According to the presentation, NASA "bore risk of loss for government property" because insurance markets can't usually handle the expense of its missions and because NASA is "self-insured" in that it simply plans on there being losses. "The government does not purchase commercial insurance," a NASA spokesperson told me.… and NASA requires that commercial operators have insurance before flying to the ISS.

https://www.wired.com/2017/03/yup-rockets-need-insurance-way-feds-think/


In 1988, Congress recognized that private insurers lacked the resources to insure against a truly epic disaster and passed amendments to the Commercial Space Launch Act. The updated law required the Federal Aviation Administration to create a safety cushion of up to $1.5 billion—about $3.1 billion today, adjusted for inflation.

https://ntrs.nasa.gov/archive/nasa/casi.ntrs.nasa.gov/20110014253.pdf


NASA assures mission success vs. insuring it because of overall mission value:
  • Cost of LSP mission assurance is less than insurance for moderate and high cost missions
  • Insurance payments could allow NASA to conduct another mission, but the specific mission objective would often be lost
    Not allowed to directly purchase insurance

Пример для пылинок на 0.1c — Иван Александрович Корзников «Реальности межзвездных полетов», 2006 — go2starss.narod.ru/pub/E009_RMP.html (оригинал — zhurnal.lib.ru/k/korznikow_i_a/realxnostimezhzwezdnyhpoletow.shtml)

> Такие частицы, сильно рассеивающие и поглощающие свет, имеют размеры 0.1-1 микрон и массу порядка 10^-13 г
> При v=0.1c… Легко найти, что пройдя путь в 1 световой год, экран звездолета встретит n=rs=10^-12 · 9.46 · 10^17 =10^6 пылинок на каждый см^2, и каждые 500 пылинок сроют слой 0.448 мм экрана. Значит, после 1 светового года пути экран будет стерт на толщину 90 см…
>… не менее 5 частиц массивнее 0.1 г на все поперечное сечение звездолета. А каждая такая частица при v=0.1c имеет энергию более 4.53·10^10 Дж, что эквивалентно кумулятивному взрыву 11 тонн тротила.
> Поэтому межзвездные перелеты могут осуществляться лишь с существенно меньшими скоростями, порядка 0.01с и менее.

Немного еще есть в Pros and Cons of relativistic interstellar flight,
Oleg G. Semyonov, arxiv.org/ftp/arxiv/papers/1807/1807.08608.pdf
The interaction of relativistic spacecrafts with the interstellar medium, arxiv.org/abs/1608.05284
и из en.wikipedia.org/wiki/Interstellar_travel#Interstellar_medium

Карта местности и проекты на 300 лет — marsmeta.narod.ru/univ/unistep.html
> Заключение. При выбранных условиях: скорость звездолета 0.1·с и время перелета не больше 50 лет человечество не сможет распространить волну цивилизации дальше системы Центавра и звезды Барнарда. Теоретически возможны единичные исследовательские полеты к Сириусу, Лаланаду 21185 и Вольфу 359. Однако колонизация окрестностей этих звезд растягивается на столь большое время, что делает это предприятие сомнительным.
Google уверяет, что проверяет URL сайтов только по хэшу и локально на клиенте, а не на сервере.

И это уверение можно проверить (в Firefox/Chromium) прежде чем разводить теории заговора и теории тотальной слежки. У google safe browsing версии 4 (от мая 2016 года) два варианта api — https://developers.google.com/safe-browsing/v4/Lookup API(клиент отсылает полный адрес без каких-либо хэшей! ) и Update API (клиент скачивает базу и проверяет по ней локально — для быстрой и частой проверки, в частности в браузерах).


Firefox использует локальную базу — https://wiki.mozilla.org/Security/Safe_Browsing/V4_Implementation (зайдите в каталог с профилем firefox и проверьте путь safebrowsing/google4/{goog-phish-proto,goog-unwanted-proto,goog-malware-proto,goog-downloadwhite-proto,goog-badbinurl-proto}.{metadata,pset} — должно быть около 6 МБ).
Chromium использует локальную базу https://www.chromium.org/developers/design-documents/safebrowsing — "Checking the safe browsing database is a multistep process. The URL is hashed and a synchronous check against the in-memory prefix list is done. If no match is found, the URL is considered safe immediately. If the prefix matches, an asynchronous request is made to the safe browsing servers for a list of all full hashes matching that prefix. Once the list is returned, the full hash is compared against the list and the URL request can be continued or cancelled."


В предыдущих версиях и в Update API применяются вероятностные структуры. Ранее это были локальные фильтры блумаhttps://www.quora.com/Why-did-chromium-move-away-from-Bloom-Filters-in-Safe-Browsing и собственные вариации на данную тему https://bugs.chromium.org/p/chromium/issues/detail?id=71832.
Проверяемый адрес сначала локально ищется в фильтре или в базе, и только в случае получения ответа "Возможно адрес содержится" производился запрос хэша к серверам гугла (такие фильтры могут давать ложноположительные срабатывания).


Хэширование у них тоже странное — https://developers.google.com/safe-browsing/v4/urls-hashing — из полного адреса отрезаются лишние поля и символы, затем генерируется 5 сокращений для имени хоста и 6 сокращений для пути на сайте. В роли хэша выступают первые 4 байта от SHA256 (4 млрд возможных значений), т.е. по данному огрызку хэша обязательно будут коллизии и итоговое сравнение полных хэшей производит браузер.
https://developers.google.com/safe-browsing/v4/update-api#checking-urls


To check if a URL is on a Safe Browsing list, the client must first compute the hash and hash prefix of the URL (see URLs and Hashing). The client then queries the local database to determine if there is a match. If the hash prefix is not present in the local database, then the URL is considered safe (not on the Safe Browsing lists).

If the hash prefix is present in the local database (a hash prefix collision), the client must send the hash prefix to the Safe Browsing servers for verification. The servers will return all full-length SHA 256 hashes that contain the given hash prefix. If one of those full-length hashes matches the full-length hash of the URL in question, then the URL is considered unsafe. If none of the full-length hashes match the full-length hash of the URL in question, then that URL is considered safe.

Схемы работы старой версии API (фильтр блума, при совпадении отправляем серверу огрызок хэша, получаем полные хэши с таким префиксом от сервиса и проверяем полные хэши локально) — https://habr.com/ru/company/yandex/blog/127265/ "В Яндекс отправляются только префиксы хешей некоторых масок, которым соответствуют URL просматриваемых страниц, это происходит примерно в 1% случаев просмотра страниц."


Можете открыть developer tools + wireshark + ssl proxy при посещении http://testsafebrowsing.appspot.com/ и изучить реальные запросы.

все иное — просто погрешность… Поэтому нужно много тысяч долларов, чтобы собрать нормальный девбокс на

У RISC-V живых чипов, на которых можно запустить линукс (RV64G = RV64IMAFD с достаточным размером ОЗУ и вероятно MMU) — 1 тип с тиражом менее тысячи устройств (200 заявок в https://www.crowdsupply.com/sifive/hifive-unleashed за год). Цена материнской платы с GbE + 8GB RAM — 1 тысяча долларов. Для PCI-express нужна дополнительно плата с FPGA за 2 тысячи долларов (20 заявок в https://www.crowdsupply.com/microsemi/hifive-unleashed-expansion-board). См список Cores в https://riscv.org/risc-v-cores/ но Kendryte K210 линукс не запустит по причине отсутствия ОЗУ — https://blog.hackster.io/kendrytes-kd233-is-a-dual-core-risc-v-soc-designed-for-ai-applications-2ed75199b4c4
Под RISC-V уже готовят Debian и Fedora — их свежие презентации были на FOSDEM 2019


  • Fedora — "Current build farm: 3 SiFive HiFive, 64 QEMU, 30 QEMU instances can be added" "SiFive HiFive Unleashed: upstream kernel lacks support"
  • Debian — "Options for running RISC-V code include: Emulation via qemu, Linux-capable softcores… on FPGAs, SiFive Freedom U540, LowRISC… still probably 3-5 years away, SHAKTI — a project at the IIT Madras" "87% packages" "RISC-V definitely won’t become a release architecture for “Buster”… Hardware managed by DSA must fullfill certain requirements (rack-mountable,… easily available replacement hardware in case of failure)"
Накопилось площадок с 1950-х годов, из них активны 13, 37b, 40, 41, 47. Много комплексов для ранних военных крылатых и баллистических ракет, все же военная база.
Карта Launch Complex-ов на мысе Канаверал: en.wikipedia.org/wiki/Cape_Canaveral_Air_Force_Station#Facilities
ru.wikipedia.org/wiki/База_ВВС_США_на_мысе_Канаверал#Объекты
upload.wikimedia.org/wikipedia/commons/3/3c/Canaveral.svg
список —
en.wikipedia.org/wiki/List_of_Cape_Canaveral_and_Merritt_Island_launch_sites
https://en.wikipedia.org/wiki/Template:Merritt_Island
afspacemuseum.org/ccafs

У gzip (deflate, он же pkzip 2) и zstd в основе вроде бы один и тот же алгоритм lz77, однако в середине 1990-х памяти в компьютерах было сравнительно мало и в формат deflate заложено ограничение окна (distance) в 32 КБ (rfc1951 3.2.5.; ""deflate" format limits distances to 32K bytes and lengths to 258 bytes", https://www.zlib.net/zlib_tech.html "(but no more than the maximum size of 32 KB, obviously)"). Поэтому если уж ломать совместимость, то лучше сразу использовать zstd c более адекватными размерами окна для нынешней эпохи — "The minimum Window_Size is 1 KB. The maximum Window_Size is (1<<41) + 7*(1<<38) bytes, which is 3.75 TB." из https://tools.ietf.org/id/draft-kucherawy-dispatch-zstd-00.html#comp_window_descr
http://fastcompression.blogspot.com/2015/01/zstd-stronger-compression-algorithm.html "Current default window size is 512 KB, but this value will be configurable, from very small (KB) to very large (GB)"


Разные реализации lz77 можно сравнить в таблице http://mattmahoney.net/dc/text.html (поиском по "LZ77")


FSE в zstd только на минимальных уровнях, чаще будет использоваться хаффман: 2.4. Entropy Encoding "Two types of entropy encoding are used by the Zstandard format: FSE, and Huffman coding." https://tools.ietf.org/id/draft-kucherawy-dispatch-zstd-00.html#rfc.section.2.4

Судя по пресс-релизу www.tum.de/nc/en/about-tum/news/press-releases/detail/article/35240 передали 500 Гбит на одной длине волны, без спектрального уплотнения каналов. Точное созвездие или скорости в данном пресс-релизе не уточняли. Ранее в 2015 г они предлагали математику для 64-qam. В 2016 году писали про 32 гбод.
Широко используется техника на символьных скоростях порядка 56-64 ГБод, где одним символом передается одно из 2^n значений (n бит):
ru.wikipedia.org/wiki/Сигнальное_созвездие
Сравнение эффективности многобитных символов — cdn.extranet.coriant.com/resources/White-Papers/WP_Role_of_Higher_Baud_Rates_74C0176.pdf
Сигнал передается с примененим IQ модуляторов и IQ детекторов (Optical heterodyne detection), с которыми работают несколько 32 ГБод электронных ЦАП на передаче и несколько 32 ГБод фотоприемников + АЦП + DSP на приеме. (см Coherent Optical Systems)

Страницы Nokia про продукт Photonic Service Engine 3 (PSE 3) — networks.nokia.com/technology/pse-super-coherent-technology networks.nokia.com/technology/photonic-service-engine-3

В power-десктопе "Blackbird" за 1.2 тыс долларов и в Talos 2 (>2.3 тыс долларов) у процессора нет NVlink: https://www.raptorcs.com/content/BK1B01/intro.html https://wiki.raptorcs.com/wiki/Blackbird, только "1 PCIe 4.0 x16 slot + 1 PCIe 4.0 x8 slot"
1 POWER9-compatible Sforza CPU socket = https://wiki.raptorcs.com/wiki/Sforza = "NVLink interfaces 0"
Между CPU и GPU nvlink был, по данным https://en.wikichip.org/wiki/nvidia/nvlink, с процессорами IBM POWER8+ (https://wiki.raptorcs.com/wiki/POWER8E) и доступен в старших платформах Power9 — Monza и LaGrange. Т.е. линк есть в суперкомпьютерных AC922.

Не знаете, по какой цене это продавалось и насколько доступно?
Нашел рассказ о сборке ПК на базе Gigabyte MP30-AR1
http://chezphil.org/rwanda/
"In fact this is the worst-documented processor I've ever had to use.… This board's greatest strength is that it actually exists. There are plenty of "vapourware" alternatives — for example, at least three based on AMD's non-existent ARM64 server chip — but I just gave up waiting for them."
Тесты — https://openbenchmarking.org/s/GIGABYTE%20MP30-AR0%20v01234567
https://news.ycombinator.com/item?id=12158463 "it's using the relatively ancient X-gene 1 chip, it doesn't come with SBSA/SBBR out of the box (although it is installable), it's expensive."

Ссылки на мнение ВОЗ и мета-обзоры?
www.who.int/water_sanitation_health/dwq/nutrientsindw.pdf Nutrients in Drinking Water, 2005, ISBN 92 4 159398 9
www.who.int/water_sanitation_health/dwq/nutrientschap12.pdf «12. HEALTH RISKS FROM DRINKING DEMINERALISED WATER», Frantisek Kozisek: «Drinking water should contain minimum levels of certain essential minerals»

www.who.int/water_sanitation_health/dwq/chemicals/hardness.pdf Hardness in Drinking-water, 2011
www.who.int/water_sanitation_health/publications/drinking-water-quality-guidelines-4-including-1st-addendum/en Guidelines for drinking-water quality (GDWQ)
www.who.int/water_sanitation_health/water-quality/guidelines/ru Руководства по обеспечению качества питьевой воды

Уязвима не архитектура (набор инструкций и регистров), а многие реализации — т.е. микроархитектура. В случае с RISC-V автор out-of-order ядра Boom рассказывал о теме:
https://content.riscv.org/wp-content/uploads/2018/05/13.00-13.15-Celio-Barcelona-Workshop-8-Talk.pdf
"Securing High-performance RISC-V Processors from Time Speculation" 2018-05
https://www.esperanto.ai/securing-high-performance-risc-v-processors-from-time-speculation-risc-v-barcelona-workshop/


We can still build high-performance, speculative processors
that are protected against timing attacks…
Don't leak any observable side-effects in the machine if speculation is aborted. Avoid bandwidth interference between different Time Domains
Any shared resource can leak time… resources must be deterministically released on a misspeculation

Награды на адресах с малым количеством бит в приватном ключе — из puzzle transaction от 2015-01-15
https://bitcointalk.org/index.php?topic=1306983.0
2015-12-28 "Topic: Bitcoin puzzle transaction ~32 BTC prize to who solves it "


While playing around with my bot, I found out this mysterious transaction:
https://blockchain.info/tx/08389f34c98c606322740c0be6a7125d9860bb8d5cb182c02f98461e5fa6cd15
those 32.896 BTC were sent to multiple addresses, all the private keys of those addresses seem to be generated by some kind of formula.

https://lbc.cryptoguru.org/trophies (2017-11-15… This is #54 of the puzzle transaction.)

Извиняюсь, твердым не становится.
Пишут что есть два типа холодильников для охлаждения кв.комп ниже 0.1 Кельвина: Dilution refrigerator и adiabatic demagnetization refrigerator
quantumcomputing.stackexchange.com/questions/41/what-cryogenic-systems-are-suitable-for-superconducting-qubits
но ADR однократного действия (один раз охладили до, затем само неск. часов нагревается), а dilution — постоянного действия.
indico.cern.ch/event/760005/contributions/3156839/attachments/1735338/2806540/2018-10-17-FundamentalPhysics.pdf#page=9 «Reaching the ground state „10 GHz — 50 mK“, „1 GHz — 5 mK“ ...Microwaves are the lowest frequency modes for which one can reach the ground state with a dilution refrigerator (~10 mK). Most of the field works in the range 4—12 GHz»

Сообщали еще об одном методе physicsworld.com/a/quantum-refrigerator-is-efficient-and-reusable — «However, temperatures below about 300 mK cannot be reached by simply cooling with liquid helium. Conventional cooling to millikelvin temperatures is done using a dilution refrigerator, which involves pumping helium isotopes. While extremely effective, dilution refrigerators can be difficult to implement in specialized applications such as cooling detectors in space. An alternative technique is adiabatic demagnetization, which is also unwieldy because it involves placing the sample in a powerful magnetic field that is repeatedly turned on and off.» критика — «Kuzmin thinks it is unrealistic to expect cooling to near 100 mK after only incremental improvements to the NIST device.»

Про источники нагрева (кабели) немного есть в pdfs.semanticscholar.org/1c7f/c8abd48573ba0a81c476feca4a87d69821fb.pdf «we consider only heat conducted through installed cables.… Second, active load arises due to the dissipation (Joule heating) of applied microwave signals in attenuators and in the microwave cables themselves… Third, radiative load from stages and shields of higher temperature to stages and shields of lower temperature… cryo-pumping capacity of the cold surfaces in the dilution refrigerator keeps the pressure in the vacuum can below 10^−5 mbar providing an adequate isolation vacuum»
Как можно охлаждать чем-то, что становится твердым при необходимых температурах?
Нужны десятки милликельвинов, например 15 мК
quantumexperience.ng.bluemix.net/proxy/tutorial/full-user-guide/000-FAQ/000-Frequently_Asked_Questions.html «including a quantum-limited amplifier at 15 mK,»
indico.cern.ch/event/719844/contributions/3019718/attachments/1749768/2835637/CERN_Tavernelli4_l.pdf#page=10 «PCB with the qubit chip at 15 mK protected from the environment by multiple shields»
www.dwavesys.com/tutorials/background-reading-series/introduction-d-wave-quantum-hardware «D-Wave 2000Q system has an operating temperture of about 15 millikelvin. The QPU and parts of the input/output (I/O) system, comprising roughly 10kg of material, is cooled to this temperature»

Кипящим гелием-4 доводят температуры до 1.3 кельвина [Using this method, it is possible to reach 1.3 K. It is difficult to go below this...](http://hep.ph.liv.ac.uk/~hock/Teaching/2011-2012/4-cooling-techniques-handout.pdf#page=3).
У чистого гелия-3 предел около 200-300 мК — [A helium-3 refrigerator uses helium-3 to achieve temperatures of 0.2 to 0.3 kelvin.](https://en.wikipedia.org/wiki/Helium-3#Cryogenics)

Для столь низких температур применяют растворение гелия-3 в гелии-4 en.wikipedia.org/wiki/Dilution_refrigerator («continuous cooling to temperatures as low as 2 mK»), про их стоимость и нехватку было в www.technologyreview.com/s/612760/quantum-computers-component-shortage.

В части 1 пружин добавлял комментарий про 1-тонную сверхпроводящую магнитную ловушку со сверхвысоким вакуумом для перевозки 1 млрд антипротонов на 300 метров — https://indico.cern.ch/event/736662/contributions/3038841/attachments/1676018/2690828/PUMA__INTC_Jun18.pdf
https://home.cern/news/news/physics/making-antimatter-transportable
https://home.cern/news/news/physics/puma-project-antimatter-goes-nomad
Возможно где-то рядом найдется описание проблем, которые годами решают в этом проекте.

перебор 256 битных ключей невозможен, то тех пор пока компьютеры не начнут делать не из материи и расставлять их не в пространстве…
https://www.schneier.com/blog/archives/2009/09/the_doghouse_cr.html


Or read what I wrote about symmetric key lengths in 1996, in Applied Cryptography (pp. 157–8):
… And they strongly imply that brute-force attacks against 256-bit keys will be infeasible until computers are built from something other than matter and occupy something other than space.

Now, the annual energy output of our sun is about 1.21×10^41 ergs. This is enough to power about 2.7×10^56 single bit changes on our ideal computer; enough state changes to put a 187-bit counter through all its values. If we built a Dyson sphere around the sun and captured all its energy for 32 years, without any loss, we could power a computer to count up to 2^192. Of course, it wouldn't have the energy left over to perform any useful calculations with this counter.

А квантовый компьютер против симметричных алгоритмов может применить лишь Гровера с квадратичным ускорением, т.е. уменьшить длину aes-256 (или любой другой 256 битной симм.проблемы) ключа в 2 раза — 2^128 операций. При этом неясно что там с распаралливанием между несколькими кв.комп (и где взять столько гелия-3 на кваново-компьютерные холодильники — dilution refrigerator — нехватка которых уже ощущается — "helium-3… gas is so rare that it can cost up to $40,000 for the amount needed for a fridge."; The Helium-3 Shortage: Supply, Demand, and Options for Congress, 2010).
А еще на всё время работы этих 2^128 операций (ну или чуть меньшего количества если параллелизм возможен, "… size of the problems that Grover’s algorithm can attack is less than commonly assumed.") желательно не терять когерентность внутреннего состояния.


Предыдущие комментарии: 0 1 2 3 4 5 6

Information

Rating
Does not participate
Registered
Activity

Specialization

Backend Developer, System Software Engineer