In this equation, the variable vari

In this equation, the variable vari is assigned by i value with probability .In case where n = 1 we have the notation: with a1 = 1. The model checker PRISM permits us to specify arbitrarily probabilities for actions, for example in case n = 2 we can model a tendency in BB84 protocol of Alice in the choice of the quantum states by a module containing the action:

ผลลัพธ์ (ไทย) 1:

ในสมการนี้ ปรับตัวแปรจะถูกกำหนดโดยผมค่า ด้วยความน่าเป็นในกรณี n = 1 เรามีสัญลักษณ์: มี a1 = 1 ตรวจสอบรูปแบบปริซึมช่วยให้เราระบุโดยกิจกรรมสำหรับการดำเนินการ เช่น ในกรณี n = 2 เราสามารถจำลองแนวโน้มใน BB84 protocol ของอลิซในหลากหลายสถานะควอนตัม โดยโมดูลที่ประกอบด้วยการดำเนินการ:

ผลลัพธ์ (ไทย) 2:

ในสมการนี​​้ Vari ตัวแปรได้รับมอบหมายจากที่ผมให้ความสำคัญกับความน่าจะเป็นในกรณีที่ n = 1 เรามีสัญกรณ์: ด้วย a1 = 1 รุ่น PRISM ตรวจสอบการอนุญาตให้เราระบุความน่าจะเป็นในการกระทำโดยพลการเช่นในกรณีที่ n = 2 เราสามารถจำลองแนวโน้มในโปรโตคอล BB84 ของอลิซในทางเลือกของรัฐควอนตัมโดยโมดูลที่มีการดำเนินการ:

ผลลัพธ์ (ไทย) 3:

ในสมการ ตัวแปรหลายอย่าง โดยกำหนดมีค่ากับความน่าจะเป็น กรณี n = 1 เราได้หมายเหตุ : A1 = 1 แบบตรวจสอบปริซึมช่วยให้เราสามารถระบุความน่าจะเป็นสำหรับการกระทำตามอำเภอใจ เช่น กรณี n = 2 เราสามารถรูปแบบแนวโน้มใน bb84 โปรโตคอลของอลิซในทางเลือกของควอนตัมอเมริกาโดยโมดูลที่มีการกระทำ :