Вопросы по теме 'termination'
Захват завершения процесса (диспетчер задач) в WPF
У меня есть приложение WPF. Когда приложение закрывается, я выполняю некоторые действия по обновлению/вставке в базу данных, которые являются обязательными для моего приложения. Но если мое приложение принудительно закрывается путем уничтожения...
1437 просмотров
schedule
11.06.2023
Завершить пакетный файл с другим пакетом
Кто-нибудь знает, как убить пакетный файл с другим пакетным файлом?
Сценарий: пакетный файл №1 выполняется (или зацикливается) в фоновом режиме. Пока № 1 находится в фоновом режиме, отдельный (не с пакетным файлом № 1) пакетный файл активируется...
2392 просмотров
schedule
10.04.2024
Как реализовать изящное завершение в Java?
Скажем, например, у меня есть приложение, работающее в терминале Linux, и я нажимаю «CTRL + C» на клавиатуре, чтобы убить процесс, который завершит программу Java.
Есть ли способ поймать этот «запрос» в моем приложении Java, чтобы я мог изящно...
5287 просмотров
schedule
20.12.2022
Как доказать прекращение длины рекурсивного списка?
Допустим, у нас есть список:
List = nil | Cons(car cdr:List).
Обратите внимание, что я говорю о списках, которые можно изменять! И тривиальная рекурсивная функция длины:
recursive Length(List l) = match l with
| nil => 0
|...
418 просмотров
schedule
19.02.2022
Прекращение TLS: повторное шифрование с использованием целевого CACertificate
Я создал приложение с маршрутом к нему с помощью OpenShift Origin. Теперь я хочу сделать этот маршрут безопасным с помощью TLS: я уже создал маршруты с границей и транзитом. Но теперь я хочу создать маршрут, использующий Reencrypt.
Поэтому мне...
1226 просмотров
schedule
29.11.2022
Ошибка цикла while с методом Netwon-Raphson
Я пытаюсь найти применение методу Ньютона-Рафсона, чтобы найти корни. Он делает это, делая предположение, а затем улучшая предположение после каждой итерации, пока вы не получите один из нулей.
Поскольку метод Ньютона-Рафсона быстро находит нули,...
764 просмотров
schedule
29.08.2022
Научить coq проверять терминацию
Coq, в отличие от многих других, принимает необязательный явный параметр, который можно использовать для указания убывающей структуры определения фиксированной точки.
Из спецификации Gallina, 1.3.4,
Fixpoint ident params {struct ident0 } :...
675 просмотров
schedule
15.03.2022
Как получить байты, включая нулевой символ завершения, из строки?
Привет StackOverflowers,
Я где-то читал, что строка С# не заканчивается нулем. М хорошо ! Но я хотел бы знать, если метод:
byte[] myBytes = Encoding.ASCII.GetBytes(myString);
добавить нулевой символ завершения в конец массива или мне...
3679 просмотров
schedule
05.04.2023