11.2. It is possible to generalize

11.2. It is possible to generalize the definition of an explicit resource specification to allow for alternative resource possibilities. Namely, for each i, the specification includes a description of resource requirements, in the form of a monotone Boolean formula (i.e., one involving only A's and V's) over the set 7~. A formula f(R1,R2,... ,Rk) specifies a collection of "acceptable" sets of resources in the obvious way: a set S of resources is acceptable if assigning true to all of the resources in S and false to all of the others causes the formula f(R1, R2,... , Rk) to evaluate to true. The meaning of the formula is that the acceptable sets of resources are those sets whose exclusive possession authorizes the user to enter the critical region.

Kết quả (Việt) 1:

11.2. nó có thể khái quát về định nghĩa của một đặc tả rõ ràng nguồn để cho phép các khả năng tài nguyên thay thế. Cụ thể, đối với mỗi i, đặc điểm kỹ thuật bao gồm một mô tả về yêu cầu tài nguyên, trong hình thức của một giọng đều đều công thức Boolean (tức là, một trong những liên quan đến duy nhất của một và V) trong tập 7 ~. Một công thức f (R1, R2,..., Rk) chỉ định một bộ sưu tập "chấp nhận được" tập hợp các nguồn lực trong cách rõ ràng: S tài nguyên là chấp nhận được nếu giao việc đúng với tất cả các nguồn tài nguyên trong S và sai đến tất cả những người khác gây ra công thức f (R1, R2,..., Rk) để đánh giá thành true. Ý nghĩa của công thức là bộ tài nguyên, chấp nhận được là tập hợp những người có sở hữu độc quyền cho phép người dùng nhập vào khu vực quan trọng.

Kết quả (Việt) 2:

11.2. Có thể khái quát các định nghĩa của một đặc điểm kỹ thuật tài nguyên rõ ràng để cho phép khả năng tài nguyên thay thế. Cụ thể, với mỗi i, các đặc điểm kỹ thuật bao gồm một mô tả các yêu cầu tài nguyên, dưới hình thức của một giọng đều đều Boolean thức (ví dụ, một liên quan đến chỉ A và V) trên tập 7 ~. Một f thức (R1, R2, ..., Rk) xác định một tập hợp các bộ "chấp nhận được" các nguồn lực một cách rõ ràng: một tập S các nguồn lực được chấp nhận nếu giao đúng với tất cả các nguồn lực trong S và sai cho tất cả của người khác gây ra các công thức f (R1, R2, ..., Rk) để đánh giá đúng sự thật. Ý nghĩa của công thức là các bộ chấp nhận các nguồn tài nguyên là những bộ mà sở hữu độc quyền cho phép người dùng nhập vào các khu vực quan trọng.