invariants

2열

3답변

다른 제네릭 배열

간단히 말해, 사용 된 모든 유형에 상위 유형을 사용하여 배열에 다른 유형 매개 변수를 사용하여 제네릭을 저장하고 싶습니다. MSDN은 제네릭이 불변 타입이기 때문에 불가능하다고 언급했지만, 4.0 프레임 워크 이후로 변경되었다고하는 의견도 있습니다. Cannot implicitly convert type 'InheritanceTest.Program.My

c# arrays generics inheritance invariants 2012-06-22

---

0열

1답변

컴파일러 시험 설명

가 나는 컴파일러 시험을 준비하고 있는데 내가 대답하는 방법을 모르는 과거 논문에서 다음과 같은 두 가지 질문을 발견 : 1. Array bounds checking requires code to check each array subscript to ensure it falls within the array's declared range. How coul

compiler-construction invariants induction 2013-03-01

---

1열

2답변

중첩 루프/루프 불변 형에서 한 번만 확인하십시오.

중첩 루프에서 한 번만 수행 할 수있는 가장 현명한 방법은 무엇입니까? 외부 루프가 매우 복잡하기 때문에 불변 부분을 추출 할 수 없습니다. 이 방법은 매우 자주 tree.cycle이 증가 될 때까지라고 void foo::bar() { if(oldCycle == tree.cycle) { doSomething(); oldCycl

c++ loops invariants 2012-08-30

---

1열

1답변

루프 불변량 및 알고리즘 증명

어떻게 루프 불변성을 얻고 다음 알고리즘에 대해 증명할 수 있습니까? 주어진 루프 루프 불변을 표시하려면 첫째 power(x,y): z = 1 m = 0 while m < y: z = z*x m = m+1 return z

proof invariants loop-invariant 2013-03-21

---

1열

1답변

PyContract PostCondition 비 입력 매개 변수 변수 포함

바라기를이 시리즈의 마지막 질문입니다. (요구 사항이 변경되지 않는 이상 제 프로젝트가 거의 끝났습니다). 저는 PyContract (PyContracts이 아님)을 사용하는 클래스 메소드에 대한 몇 가지 제약 조건을 작성하고 있습니다. 내 기능 중 하나에서 나는 불변성이있다. 그러나이 사후 조건을 구성하는 모든 변수가 함수에 대한 입력 매개 변수는 아닙니

python design-by-contract invariants 2012-10-24

---

3열

1답변

대상 인식에서 7 가지 불변 순간을 의미하는 후진타오의 의미

내 질문은 후진타오의 7 가지 불변 순간의 의미에 관한 질문이다. 내가 아는 한, 일부 순간에는 의미가 있습니다. 즉 0 차 차수는 이미지의 영역을 나타낸다. 또한 http://mathworld.wolfram.com/topics/Moments.html에 언급 된 바와 같이 많은 다른 기능들이 순간의 다른 순서에서 추출 될 수 있습니다. 그러나 문제는 후 주

image-processing statistics computer-vision invariants 2012-07-22

---

0열

1답변

Ecore 분류자를 사용한 OCL 제약 - Unknow 유형 예외

OCLinEcore 편집기를 사용하여 OCL에 정의 된 일부 불변 조건을 사용하여 Ecore 모델을 개발 중입니다. 내 모델에서, 일부 요소는 EClassifier에 대한 참조를 가지고 있습니다. 일부 OCL 제약 조건에서 EClassifier가 EDataType인지 아니면 EClass인지 확인해야합니다. 나는 예외는 다음과 같은 메시지가 발생 내 모델의

eclipse-emf eclipse-emf-ecore invariants ocl 2012-06-07

---

0열

1답변

OCL 요구 사항은 : 속성의 가능한 범위 불가 그래서

값 I 다음 개체 구조를 가지고 : Class Node RSSI: int 내가 모든 노드 개체의 수신 전계 강도 값이 다르지 않다 요구 사항에 대한 OCL의 불변을 쓸 필요를 2 이상으로. 나는 iterate 표현식으로 해결하려고했으나, 현재 최대 값과 최소값을 저장하기 위해 변수를 사용할 수 없기 때문에 (또는 적어도 그것을 수행하는 방법을 모르는

object uml requirements invariants ocl 2012-11-04

---

6열

2답변

공변 타입 T는 내가 스칼라에서 첫 단계를 이동 그리고 난 다음 코드가 작동하는지 확인하고자하는 불변의 위치

에서 발생 covariant type T occurs in invariant position in type => Array[T] of value gene 나는 같은 것을 할 수 알고 : trait Gene[+T] { def gene[U >: T]: Array[U] } 을하지만 난 값을 필요로하기 때문에이 문제가 해결되지 않습니다 pratica

scala covariance invariants 2012-07-30

---

9열

2답변

집계 불변성은 다른 곳의 정보를 기반으로 한 규칙을 포함 할 수 있습니까?

DDD에서 집계 불변은 다른 집계의 정보를 기반으로 한 규칙을 포함 할 수 있습니까? 지금 나는 그렇게 생각하지 않는다. 그러나 이것은 나에게 문제를 일으킨다. 그리고 나는 그것을 해결하는 방법을 모른다. 나는 집합체의 루트로 모델링하는 자산 (장비)이라는 엔티티가 있습니다. 그것은 Manufacturer, Model 등과 같은 것을 기술하는 Tags (속

domain-driven-design aggregate modeling invariants 2013-04-05

---