cnf

0열

2답변

내 프로젝트 탐색기보기에 공통 탐색기 프레임 워크 (CNF)를 사용하고 있습니다. 트리 뷰어에 대한 컨텐트 공급자 및 레이블 공급자를 설정했습니다. 내 응용 프로그램에서 내부적으로 데이터가 변경되면 트리보기도 업데이트해야합니다 (예 : 노드 추가, 노드 삭제). 이 경우 트리 뷰어를 새로 고쳤습니다. 그리고 새로 고침 작업이 성공적으로 작동합니다. 그러나

0열

1답변

Eclipse의 내용 필터링 Common Navigator Framework보기

3.x 기반 Eclipse RCP 애플리케이션을 개발 중입니다. 응용 프로그램 부분에서는 작업 공간에 자원을 표시하기 위해 Eclipse 자체의 Common-navigator 플러그인을 구현하고 있습니다. I'have는 아래의 네비게이터보기 작성 : 을하지만 디스플레이 하나의 트리 자식 요소를 싶습니다. 더 구체적으로 말하면, 나는 단지 clause 폴더와

0열

1답변

Eclipse RCP : 작업의 대상을 다른 항목으로 변경

Common Navigation Framework로 빌드 된보기에 트리가 있습니다. IFolder 개체가 포함 된 MyTreeEntry 사용자 지정 항목이 있습니다. public class MyTreeEntry implements IWorkbenchAdapter { private IFolder iFolder; [...] } 나는 IFolde

2열

1답변

3-CNF로 CNF 표현식을 어떻게 다시 작성할 수 있습니까?

나는이 같은 CNF 식을하고 난 3 CNF에 개주 원하는 :이 (a+b+c+d)(~a)(~b+d)(a+b+~d) 사람이 내가 그렇게 할 수있는 방법을 알고 있나요?

5열

1답변

eclipse-rcp 응용 프로그램의 공통 탐색기보기에서 폴더 아이콘 (예 : 원본 폴더)을 변경하는 방법은 무엇입니까?

이 게시물의 제목에서 볼 수 있듯이 이클립스 -rcp 응용 프로그램에서 사용하는 일반적인 탐색기보기에서 폴더 아이콘에 관한 질문이 있습니다. 기본적으로 네비게이터보기에서 표준 폴더의 아이콘을 변경할 수 있습니까? 내 목표는 생성 된 프로젝트의 소스 폴더 아이콘을 변경하는 것입니다. 자체 제작 된 프로젝트 특성이 있음을 언급하는 것이 중요합니다. 그래서 특정

3열

1답변

SAT 솔버 및 cnf 파일에 대해서

저는 AES와 비슷한 경량 블록 암호 인 Piccolo에 대한 공격을 공식화하기 위해 Cryptominisat (유사한 기능을 수행 할 것입니다)을 사용하려고했습니다. 방정식은 다음과 같이이다 : | Z2 | Z = Z1 ... | Z16 1 <를 = 난 < =이어서 16 , UI = (1 + Z (4I -3-))^(1 + Z (4I-2))^(1 + Z (

1열

1답변

eclipse cnf에서 'New'하위 항목에 항목 추가하기

eclipse CNF를 사용하고 있습니다. CNF 용 프로젝트 또는 폴더에 마우스 오른쪽 버튼을 클릭하면 "새로 만들기"옵션이 포함 된 팝업 메뉴가 나타나고 하위 메뉴도 포함됩니다. 해당 하위 메뉴에 항목을 어떻게 추가합니까?

1열

1답변

Microsoft Solver Foundation SAT CNF

Visual Studio (C# 또는 VB)를 통해 간단한 CNF 문제를 해결하기 위해 Microsoft Solver Foundation SatSolver를 사용하려고합니다. 누구나 간단한 예제를 게시하여이를 수행하는 방법을 설명 할 수 있습니까? 여기 짧은 예이다 : 결과 1의 값과 단 하나의 변수를 가져야하고 나머지는 0을 가져야하지만, 용액 1,1,1

1열

1답변

이 확률 론적 문법의 CNF 형식은 무엇이 될까요? CNF 형태가 될 것입니다 무엇

PCFG 같은 경우, NP -> ADJ N [0.6] NP -> N [0.4] N -> cat [0.2] N -> dog [0.8] ? 다음과 같이 될 것입니까? NP -> ADJ NP [0.6] NP -> cat [0.08] NP -> dog [0.32] 또는 그 밖의 다른 것들? 당신은 원본과 (CNF)에 규칙의 변환 설정을 모두 적용

1열

1답변

이 문법을 위해 CNF에서 PCFG를 어떻게 변환 할 수 있습니까?

는 다음과 같은 확률 문맥 자유 문법을 감안할 때 - 1.NP -> ADJ N [0.6] 2.NP -> N [0.4] 3.N -> cat [0.2] 4.N -> dog [0.8] 무엇 CNF 될 것이다 ??