state-machines

1열

1답변

Objective C에서 유한 상태 시스템을 어디에 배치해야합니까?

내 응용 프로그램의 다양한 상황에 따라 이미지를 변경하는 단일 MKAnnotationView가 있습니다. 저는 각 상태를 정의하고 그에 대한 이벤트를 해석하는 유한 상태 시스템을 구축 중입니다. 사용자 위치 주석에만 할당하고 이벤트를 기반으로 메시지를 보내는 MKAnnotationView 하위 클래스에 내 상태 시스템을 구축하는 것이 좋습니다. 이것은 좋은

ios objective-c model-view-controller state-machines finite-state-machine 2014-03-26

---

1열

1답변

FSM 컴퓨터의 상태가 현재 상태를 업데이트하는 시계 문제로 인해 너무 빠르게 변경됩니다.

Verilog에서 유한 상태 시스템을 구현하는 중이고 문제가 발생했습니다. 그러나 문제가 무엇인지는 알지만 해결 방법을 모르겠습니다. 이 내 현재 코드입니다 : module moore_SM(clk, rstn, btn, z, rstLED, state); //Port Assignments input clk, rstn; input [

verilog state-machines 2014-03-28

---

0열

1답변

상태 기계와 상호 작용하는 UML 다이어그램

TCP를 통해 문자 메시지를 보내어 서로 통신하는 두 개의 응용 프로그램이 있습니다. UML 다이어그램을 사용하여 주 기계 제어 통신을 문서화하고 싶습니다. 두 개의 상태 머신 다이어그램 (각 프로그램마다 하나씩)을 그릴 수는 있지만 프로그램의 상호 작용을 표시하기 위해 이러한 상태 다이어그램을 어떻게 든 "연결"하거나 "병합"하는 것이 낫다고 생각합니다.

uml state-machines sequence-diagram state-diagram 2014-04-01

---

0열

3답변

동적 상태 머신 라이브러리

머신의 레이아웃을 동적으로 구성 할 수있는 상태 머신 라이브러리가 있는지 묻고 싶습니다. 실제로 메타 스테이트 머신과 스테이트 차트를 확인했지만 동적 구성 가능성을 지원하지 않습니다. 나는 리눅스 시스템에서 C++ 프로그래밍을하고 있으며 여러 주들로 구성된 로봇을위한 네비게이션 시스템을 구현하려고한다. 그러나 로봇이있는 상태 시퀀스는 작업 계획 알고리즘에

c++ dynamic configuration state-machines 2014-04-08

---

2열

3답변

UML 상태 머신에서 포크와 조인의 의미론

아래의 두 모델 (UML 상부 구조 명세에서 취한 상위 모델)이 의미 상으로 동등한 지 알 수 있습니까? 내 상태 시스템 라이브러리에 Fork 및 Join 유사 상태 종류를 추가하려고하는데, 이것이 구현하기에 유용한 방법 인 것으로 보입니다.

uml state-machines finite-state-machine 2014-04-09

---

0열

1답변

Rails4에서 날짜 기반 자동 작업

Rails4 앱을 개발 중이며 모델에 많은 날짜 속성이 있습니다. 예를 들어; first_payment_date last_payment_date first_application_date last_application_date first_result_validation_date last_result_validation_date 등 나는 것들을 조

ruby-on-rails ruby-on-rails-4 state-machines 2014-04-11

---

0열

1답변

테스트를 위해 루비의 state_machine에서 모든 조건 메소드를 스텁하는 방법은 무엇입니까?

레일을 사용하여 state_machine을 사용하여 일부 활성 레코드 모델에서 상태를 처리하고 rspec 및 팩토리 소녀로 테스트합니다. 또한 상태 기록을 추적하는 state_path이라는 직렬화 된 배열 속성이 있습니다. class Project < ActiveRecord::Base serialize :state_path, Array

ruby-on-rails ruby rspec state-machines stubbing 2014-02-27

---

1열

1답변

SIP 프록시 401 응답 처리

다운 스트림 UAS에서 401 응답을 프록 싱 할 때 예상되는 SIP 프록시의 동작에 대한 설명이 포함되기를 기대합니다. SIP 프록시는 라운드 로빈 방식으로 요청을 프록시 처리하도록 구성됩니다. 다운 스트림 UAS가 401을 사용하여 INVITE에 응답하는 경우 원래의 업스트림 UAC가 인증 자격 증명을 포함하는 두 번째 INVITE를 보낼 때 SIP 프

proxy sip state-machines digest-authentication 2014-02-28

---

10열

2답변

비 재귀 적 스택을 사용하여 재귀 함수를 작성하는 방법은 무엇입니까?

스택 오버 플로우로 인해 오래된 브라우저가 작동하지 않는 JavaScript를 구현하려고하면 비 재귀 적 방식으로 문자열을 구문 분석하는 구문 분석 표현 문법을 만들고 싶습니다. 어떻게 할 수 있니? 그것은 마음이 구부러진다고 느낀다. 는이 같은 구조를 가지고 말 : grammar이 가지고 많은 표현을 expression는이 많은 matchers match

javascript algorithm parsing recursion state-machines 2014-04-20

---

0열

2답변

State-machines in Coq

상태 시스템이 유효하지 않은 상태에 도달 할 수 없음을 증명하기 위해 Coq를 사용할 수 있습니까? 방법?

state-machines coq 2014-03-01

---