Эффективная оценка гипергеометрических функций
Вы должны взглянуть на TS-0004 «Спецификация протокола ядра сервисного уровня», раздел 6.7 «Специфичные для MIME типы носителей oneM2M». Там вы можете найти все типы MIME, относящиеся к oneM2M.
Согласно этой таблице, правильным типом MIME для уведомления и кодировки XML является application / vnd.onem2m-ntfy + xml .
Тем не менее, вы также можете проверить TS-0009 «Привязка протокола HTTP», разделы 6.4.2 «Принять» и 6.4.3 «Тип содержимого». Здесь спецификация говорит, например, для Content-Type :
Любой HTTP-запрос или ответ, содержащий тело сообщения, должен включать заголовок Content-type, установленный в один из «application» / xml »,« application / json »или oneM2M, определенные типы носителей, определенные в разделе 6.7 oneM2M TS-0004.
blockquote>Поскольку можно однозначно определить тип ресурса, посмотрев на элемент * m2m: sgn ", обычно достаточно установить * application / xml" в качестве Content-Type для ресурсов, закодированных в XML.
Последние версии спецификаций oneM2M можно загрузить по адресу http://www.onem2m.org/technical/published-drafts
Обновление [1112 ]
CSE определяет тип кодирования (xml, json или cbor) для сообщения уведомления, просматривая необязательный параметр ty атрибута [114 ]ventURI .
Это указано в TS-0001, раздел 9.6.8 «Тип подписки на ресурсы». Подписчик уведомления может добавить параметр типа (например,
ty=xml) к уведомлению URI . Если это пропущено, то CSE выбирает кодировку по умолчанию.
2 ответа
Это корректно, что Вы хотите суммировать ряд, где Вы знаете отношение последовательных условий, и это - рациональная функция?
Я думаю алгоритм и остальная часть Gosper инструментов для доказательства, что гипергеометрические идентификационные данные (и нахождение их) делают точно это, правильно? (См. Wilf, и A=B Zielberger заказывают онлайн.)
Я протестировал ускорение Aitken, и это, кажется, не помогает для этой проблемы (ни делает экстраполяцию Richardson). Это, вероятно, означает, что приближение Pade не работает также. Я, возможно, сделал что-то не так, хотя, так любой ценой пробуют его за себя.
Я могу думать о двух подходах.
Нужно оценить ряд в какой-то момент, такой как z = 0.5, где сходимость быстра, чтобы получить начальное значение и затем выйти вперед к z = 1 путем включения гипергеометрического дифференциального уравнения в решатель ОДЫ. Я не знаю, как хорошо это работает на практике; это не могло бы, из-за z = 1 являющийся особенностью (если я вспоминаю правильно).
Второе должно использовать определение 3F2 с точки зрения G-функции Meijer. Криволинейный интеграл, определяющий G-функцию Meijer, может быть оценен численно путем применения Гауссовой или вдвойне экспоненциальной квадратуры к сегментам контура. Это не ужасно эффективно, но это должно работать, и это должно масштабироваться к относительно высокой точности.