Публикации по теме 'termination'
Когда прекращается обратное распространение?
Избегайте затрат любой ценой.
Обратное распространение не предназначено для вечной работы, и его прекращение само по себе является интересной главой, которой следует уделить особое внимание. Как правило, решение о том, следует ли останавливать этот мощный и эффективный алгоритм, зависит от двух параметров:
- Синаптические веса
- Убыток (J) , который обычно используется чаще всего.
По сути, J можно использовать для определения двух основных, но эффективных критериев
Критерий..
Вопросы по теме 'termination'
Гарантированное удаление файла при выходе из программы (C/C++)
CreateFile Win32 имеет FILE_FLAG_DELETE_ON_CLOSE , но я на Линукс.
Я хочу открыть временный файл, который всегда будет удаляться после завершения программы. Я мог понять, что в случае сбоя программы гарантировать это нецелесообразно, но в...
5911 просмотров
schedule
20.12.2022
Приложение не выходит с 0 потоками
У нас есть настольное приложение WinForms, которое сильно многопоточно. 3 потока выполняются с Application.Run и множеством других фоновых рабочих потоков. Было сложно правильно закрыть все потоки, но я подумал, что наконец все понял.
Но когда мы...
526 просмотров
schedule
08.03.2024
Как завершить дочерние процессы, когда родительский процесс завершился в C #
Задача: автоматическое завершение всех дочерних процессов при завершении родительского процесса. Родительские процессы можно прекратить не только корректно, но и убить, например, в ProcessExplorer. Как мне это сделать?
Аналогичный вопрос в С...
25327 просмотров
schedule
26.12.2022
C++ ожидает выхода из потока
Я написал программу на C++ под Linux. Для потока я использую pthread. В программе я запускаю поток, и этот поток выполняется до тех пор, пока я не вызову функцию, которая должна его остановить. Здесь вы можете увидеть мой код.
bool isRunning =...
7536 просмотров
schedule
15.03.2022
Как красиво выйти из этого приложения?
Чтобы не отображать форму в C # .NET при первом запуске приложения, у меня есть это:
[STAThread]
static void Main()
{
Application.EnableVisualStyles();
Application.SetCompatibleTextRenderingDefault(false);...
3234 просмотров
schedule
07.06.2024
Bash: Как мне завершить подпроцессы сценария, когда сценарий завершен?
Вопрос относится к следующему сценарию:
Сценарий
#!/bin/sh
SRC="/tmp/my-server-logs"
echo "STARTING GREP JOBS..."
for f in `find ${SRC} -name '*log*2011*' | sort --reverse`
do
(
OUT=`nice grep -ci -E "${1}" "${f}"`
if [...
2960 просмотров
schedule
16.12.2023
Прекращение структурной индукции
Я не могу заставить средство проверки завершения Agda принимать функции, определенные с помощью структурной индукции.
Я создал следующее как, я думаю, самый простой пример, демонстрирующий эту проблему. Следующее определение size отклоняется,...
277 просмотров
schedule
18.06.2023
Графическая программа Haskell закрывается слишком рано
Я пишу программу, используя OpenGl и Haskell, которая должна рисовать прямоугольник, когда и где щелкают мышью. Однако программа закрывается, как только я нажимаю и до того, как прямоугольник будет нарисован.
import Graphics.Rendering.OpenGL...
232 просмотров
schedule
25.03.2023
Выход из ruby в подоболочке без убийства родителя
У меня есть программа Ruby A, которая вызывает программу Ruby B с помощью:
system("ruby programB.rb <parameters>")
При определенных условиях я хочу, чтобы программа B завершила свою работу (и связанную с ней подоболочку), но позволила...
503 просмотров
schedule
19.10.2022
Какова политика завершения конвейерной программы в bash?
Когда завершается конвейерная программа и кто контролирует этот процесс завершения? Я прочитал Bash: почему канал прерывается? , но он охватывает это вопрос только частично. Попытавшись самостоятельно ответить на этот вопрос, я сделал пару...
113 просмотров
schedule
01.05.2023
Пролог условия завершения
Мой учитель предоставил нам несколько слайдов о Прологе, и я обнаружил кое-что немного странное.
reverse([],[]).
reverse([X|Xs],Zs) :- reverse(Xs,Ys), append(Ys, [X], Zs).
По его словам, программа завершается, когда 1-й аргумент...
431 просмотров
schedule
04.09.2022
Сделайте автоматическое завершение доказательства использования функции другого размера
Я написал функцию нестандартного размера size2 для своего типа данных. Используя эту функцию, я могу вручную доказать прекращение моей функции:
termination
apply (relation "measure (λ(a,b,c). size2 c)")
apply auto
done
Есть ли способ...
117 просмотров
schedule
21.05.2023
В чем разница при использовании числового литерала в выражении завершения оператора for?
Почему этот фрагмент кода:
String value = JOptionPane.showInputDialog("Enter x"); //Input = 100
int x = Integer.parseInt(value);
double result = 1;
for (int i = 1; i <= x; i++) //used variable "x" here
{
result += (x * 1.0) / fact(i);...
91 просмотров
schedule
28.07.2023
Доказательство завершения с функциями, использующими понимание множеств
Рассмотрим следующее глупое определение Изабель деревьев и поддеревьев:
datatype tree = Leaf int
| Node tree tree
fun children :: "tree ⇒ tree set" where
"children (Leaf _) = {}" |
"children (Node a b) = {a, b}"
lemma...
262 просмотров
schedule
18.11.2022
В то время как завершение цикла переопределено?
У меня есть эта простая программа для расчета количества зерен по отношению к квадратам:
#include "library/std_lib_facilities.h"
/*There is an old story that the emperor wanted to thank the inventor of the game of chess and asked the inventor to...
38 просмотров
schedule
13.12.2022
Некоторые массивы символов не заканчиваются на '\0'
У меня есть простой код на C, чтобы увидеть, заканчиваются ли три одинаковых массива символов на '\0' :
int main(){
char a[4] = "1234";
char b[4] = "1234";
char c[4] = "1234";
if(a[4] == '\0')
printf("a end with...
1181 просмотров
schedule
06.11.2022
Когда средство проверки завершения сокращает средство доступа к записи
Я спотыкаюсь о поведении средства проверки завершения Coq, которое я не могу объяснить себе. Рассмотреть возможность:
Require Import Coq.Lists.List.
Record C a := { P : a -> bool }.
Arguments P {_}.
Definition list_P {a} (a_C : C a) : list...
222 просмотров
schedule
24.07.2022
Почему этот предикат оставляет точку выбора?
Я написал следующий предикат:
list_withoutlast([_Last], []). % forget the last element
list_withoutlast([First, Second|List], [First|WithoutLast]) :-
list_withoutlast([Second|List], WithoutLast).
Запросы типа list_withoutlast(X, [1, 2])....
208 просмотров
schedule
20.04.2023
Убывающий аргумент с зависимыми типами
При работе с независимыми типами Coq (обычно) определяет, какой аргумент уменьшается в фиксированной точке. Однако это не относится к зависимым типам.
Например, рассмотрим следующий пример, в котором у меня есть тип A_list , который гарантирует,...
81 просмотров
schedule
16.07.2023
Завершается ли цикл for из-за переполнения unsigned int?
Я готовлюсь к экзамену C, и мне задали этот вопрос:
«Учитывая этот код, завершается ли он? Если да, то почему?»
int main() {
unsigned int i;
for (i=1; i>0; i++);
return 0;
}
Я думал, что он завершается из-за характера...
89 просмотров
schedule
06.12.2022