Какво е " ПРОВЕРИМО СЪСТОЯНИЕ " на Английски - превод на Английски

• testable state

Примери за използване на Проверимо състояние на Български и техните преводи на Английски

Нека вземем едно проверимо състояние.
Let's take a testable state.

Ако едно проверимо състояние е позитивна аксиома, то няма какво да го описваме.
If a testable state is a positive axiom, there is nothing to describe it.

Искаме да съпоставим на всяко проверимо състояние по един сигнал.
We want for each testable state to assign a signal.

Тоест, новото проверимо състояние ще е по-общ случай на старото взето за стъпка t+1.
That is, the new testable state will be a more common case of the old taken for step t+1.

Дефиниция: Непосредствено проверимо състояние е едно от тези две неща.
Definition: An immediately testable state is one of the following.

Това е полезна информация, получена от стойността на едно проверимо състояние в един минал момент.
This is useful information obtained from the value of a testable state at a past moment.

Забележка: Най-близо до понятието„проверимо състояние“ е понятието„Diagnosability“(виж[1, 2]).
Note: The closest to the term‘testable state' is the term‘diagnosability'(see[1, 2]).

Това е проверимо състояние, което, ако може да се провери, то проверката ще се извърши на следващата стъпка.
This is testable state that, if it can be tested, the test will be carried out at the next step.

Тоест, некоректният ход е проверимо състояние, чието условие е обобщен ход(за момента t+1).
That is, the incorrect move is testable state, whose condition is a cumulative move(at the moment t+1).

Това проверимо състояние е лъжа точно когато са истина проверимите състояния A& B1 Þ Ø B2 и A& B2 Þ Ø B1.
This state is a lie just when the testable states A& B1 Þ Ø B2 and A& B2Þ Ø B1 are a truth.

Колко пъти това малкото проверимо състояние е проверявано и колко пъти е било истина, когато е проверявано.
How many times this small testable state has been tested and how many times it was true when tested.

Дефиниция: Предпоставка на една аксиома ще наричаме разликата между аксиомата и малкото проверимо състояние, което тя описва.
Definition: A prerequisite for an axiom will be the difference between the axiom and the small testable state it describes.

В дефиницията на проверимо състояние можем да предполагаме, че предусловието и постусловието не са конюнкции, а са обобщени конюнкция.
In the definition of a testable state we can assume that the precondition and the postcondition are not conjunctions but cumulative conjunctions.

За да опишем тази част, която е невидима, ние ще използваме понятието„некоректен ход“ и неговото обобщение„проверимо състояние“.
To describe that part which is invisible, we will use the concept of‘incorrect move' and its generalization‘testable state'.

По-добре е да не се взима вероятността на заключението, а вероятността на малкото проверимо състояние(това което тази аксиома ще опише).
It is better not to take the probability of the conclusion but the probability of the small testable state(the one this axiom will describe).

Така полученото ново проверимо състояние ще е истина, ако старото проверимо състояние е истина на стъпка t+1 каквото и да се случило на стъпка t+1.
So this new testable state will be a truth if the old testable state is a truth at step t+1 whatever happened at step t+1.

Ако изместим още по-вдясно(например с една стъпка), ще получи друго проверимо състояние, но то ще е прогноза за още по-далечното бъдеще.
If we shift further to the right(e.g. by one more step), we will get another testable state, but it will be a prediction of more distant future.

Дефиниция: Позитивна аксиома ще наричаме проверимо състояние, което винаги когато е можело да се провери е било истина и което е проверявано достатъчен брой пъти.
Definition: We will call a positive axiom a testable state that, whenever it was tested, it was true and that has been tested a sufficient number of times.

От всяка позитивна аксиома ще направим теория, която описва малкото проверимо състояние и казва, че то е истина винаги при определени обстоятелства.
From each positive axiom we will make a theory that describes the small testable state and says it is true always under certain circumstances.

Проверимо състояние, чието условие е конюнкция, в която всички литерали са за момента t+1, а заключението ще е един литерал от входа, също за момента t+1.
A testable state, whose condition is a conjunction, in which all literals are for the moment t+1, and the conclusion would be a literal from the input, also for the moment t+1.

От статистиката ще намерим аксиоми, които да са частен случай на това проверимо състояние и ще използваме тези аксиоми, за да опишем това проверимо състояние.
From the statistics we will find axioms that are a special case of this testable state, and we will use these axioms to describe this testable state.

Затова коригираме дефиницията на проверимо състояние като изместваме цялата конюнкция надясно, така че тя цялата да отиде в бъдещето(добавяме някакво k към времето на всички литерали).
Therefore we will correct the definition of a testable state by shifting the entire conjunction to the right, so it all goes into the future(we add a k to the time of all literals).

Ако те са обобщени конюнкции, то тогава всевъзможните развития може да са безкрайно много, но пак проверимо състояние ще е една добре дефинирана функция, макар че тази функция в този случай може да не е изчислима.
If these are cumulative conjunctions, then all possible developments can be infinite, but a testable state still will be a well-defined function, although this function may not be computable.

Дефиниция: Ще казваме, че едно проверимо състояние е частен случай на друго, ако имат еднакво заключение и ако условието на второто е частен случай на условието на първото.
Definition: We say that a testable state is a special case of another one if they have the same conclusion, and if the condition of the second is a special case of the condition of the first.

В противен случай получаваме нещо, което е частично известно и то или няма да може да се провери(защото известната част е лъжа) или ще бъде проверимо състояние, но друго проверимо състояние(първото ще е частен случай на второто), защото известната част ще е истина и новото проверимо състояние ще зависи само от тази част, която още е неизвестна.
Otherwise, we get something that is partially known and it can not be verified(for the known part is a lie) or will be a testable state, but some other testable state(the first will be a special case of the second) because the known part will be a truth and the new testable state will depend only on the part that is still unknown.

Diagnosability отговаря на полу-разрешимо проверимо състояние. Това е така, защото при проверимото състояние ние разполагаме с някакъв експеримент, който, когато може да се проведе, ще ни даде стойността на някакъв параметър.
This is so because with the testable state we have some experiment that, when it can be performed, will give us the value of a parameter.

Нека да кажем какво е некоректен ход. Дефиниция: Некоректният ход е проверимо състояние, чието условието е конюнкция, в която всички литерали са от изхода и са за момента t+1 и чието заключение ще е„този ход е некоректен“.
Definition: An incorrect move is testable state whose condition is a conjunction in which all literals are from the output and are for the moment t+1 and whose conclusion would be“the move is incorrect.”.

След като за едно проверимо състояние ние сме създали една или няколко теории, които го предсказват, ние ще използваме тези теории и ще съберем статистика, която ще ни помогне да предскажем бъдещето, както и да създадем нови теории за други проверими състояния.
Once we have created one or several theories that predict a testable state, we will use these theories and gather statistics that will help us predict the future and to create new theories of other testable states.