Daniel's blog

GetAdaptersAddresses 함수는 로컬 컴퓨터의 네트워크 어댑터에 대한 정보를 검색하는 데 사용되는 Windows API 함수다. 이 함수는 IPv4 및 IPv6 주소와 기타 어댑터 관련 정보를 포함한 포괄적인 세부 정보를 제공한다. 이 함수는 IPv6 및 추가 어댑터 정보를 지원해 GetAdaptersInfo에 비해 더 현대적이고 다양한 기능을 제공하기에 이전 함수인 GetAdaptersInfo에 비해 선호된다. 이 함수는 반환되는 대량의 데이터를 처리하기 위해 적절한 버퍼 관리가 필요하므로 최신 네트워크 애플리케이션에 더 유연하고 미래 지향적이다.ULONG GetAdaptersAddresses( ULONG Family, ULONG ..

GetIpAddrTable 함수는 로컬 컴퓨터의 IP 주소 테이블을 검색하는 Windows API 함수다. 이 테이블에는 시스템의 각 네트워크 인터페이스와 연결된 IP 주소 목록이 포함되어 있다. 이 함수에는 테이블을 수신할 버퍼에 대한 포인터, 버퍼 크기를 지정하는 변수에 대한 포인터, 테이블 정렬 여부를 나타내는 boolean 값의 세가지 매개변수가 필요하다. 이 함수는 성공 또는 실패를 나타내는 상태 코드를 반환하며, 버퍼는 IP 주소 테이블을 저장할 수 있는 올바른 크기로 할당돼야 한다. DWORD GetIpAddrTable( _Out_writes_bytes_opt_(*pdwSize) PMIB_IPADDRTABLE pIpAddrTable, _Inout_ PULONG pdwSize, ..

Loopback Address와 Loopback Interface는 컴퓨터 네트워킹의 기본 개념으로, 주로 단일 컴퓨터 내에서 테스트 및 통신에 사용된다. Loopback Address와 Loopback Interface는 주로 내부 테스트, 개발 및 안전한 로컬 전용 통신을 위해 네트워킹에서 중요한 역할을 한다. 네트워크 애플리케이션이 외부 네트워크 상호 작용 없이 단일 시스템에서 올바르게 작동할 수 있도록 도와준다. Loopback Address정의: Loopback Address는 컴퓨터가 스스로 메시지를 보내는 데 사용하도록 설계된 특수 IP 주소다. 주로 테스트 및 네트워크 소프트웨어 개발에 사용된다.IPv4: IPv4에서 예약된 Loopback Address는 127.0.0.1이다. 전체 12..

SOM Ethernet은 이더넷 지원을 포함하는 System-on-Module(SOM)과 관련된 기능을 의미한다. 또는 상황에 따라 임베디드 시스템 내 네트워크 통신에서의 역할을 강조하는 System-on-Module의 네트워킹 기능을 의미할 수도 있다. System-on-Module (SOM): SOM은 소형 모둘에 시스템 프로세서, 메모리, 때로는 기타 주변 장치가 통합된 소형 통합 하드웨어 구성 요소다. SOM은 캐리어(carrier) 또는 베이스보드(baseboard)에 꽂을 수 있도록 설계되어 추가적인 주변 장치 인터페이스 및 연결 옵션을 제공할 수 있다. 이러한 설계는 하드웨어 기능이 SOM에 캡슐화되어 최종 제품의 설계 및 개발을 간소화하므로 임베디드 시스템을 쉽게 사용자가 정의하고 확장할 ..

TAM, SAM, SOM을 분류할 때 시장을 구분하는 기준은 여러가지가 될 수 있고 아래가 대표적인 경우다. 지리적 경계: 제품이나 서비스가 운영되는 지리적 범위를 정의한다. 비즈니스의 성격에 따라 글로벌, 지역, 국가 또는 지역이 될 수 있다.인구 통계학적 경계: 제품 또는 서비스가 타겟팅하는 특정 인구 통계학적 그룹 또는 세그먼트를 식별한다. 여기에는 연령, 성별, 소득 수준, 직업 등과 같은 요소가 포함될 수 있다.기술적 경계: 제품 또는 서비스가 특정 기술이나 플랫폼으로 제한되는지 여부를 결정한다. 예를 들어, 모바일 앱을 개발하는 경우 스마트폰 사용자 수에 따라 TAM이 제한될 수 있다.산업 경계: 제품이나 서비스가 적용 가능한 산업 또는 분야를 지정한다. 이는 비즈니스와 관련된 시장 공간을 정..

SOM은 수익 시장으로, SAM (Servicable Available Market, 유효 시장) 내에서 경쟁, 시장 동향, 마케팅 전략(또는 예산), 브랜드 인지, 영업 역량 등의 요소를 고려해 해당 회사가 특정 기간 내에 현실적으로 확보할 수 있을 것으로 예상되는 비중이다. 본질적으로 SOM은 회사가 서비스하고자 하는 시장 세그먼트 내에서 달성하고자 하는 구체적인 시장 점유율을 의미한다. 광범위한 시장 규모 추정치를 제공하는 TAM 및 SAM과 달리, SOM은 회사가 공략하고자 하는 세그먼트 내에서 목표하는 시장 점유율에 초점을 맞추고 있다. 이 지표는 달성 가능한 목표를 설정하고 시장 침투 전략의 성공 여부를 측정하는 데 도움이 된다.  참고- https://advertising.amazon.com..

Constraint Solving은 일련의 제약 조건을 만족하는 변수의 값을 찾는 문제 해결 기법이다. 즉, 특정 조건 및 제약 조건을 충족해야 하는 문제에 대한 해결책을 찾는 것이다. 제약 조건(Constraints)은 수학 방정식, 논리적 조건 또는 변수의 가능한 값에 대한 제한 등 다양한 형태로 나타날 수 있다. Constraint Solving의 목표는 이러한 모든 제약 조건을 동시에 만족하는 변수에 대한 할당(assignments)를  찾는 것이다. 전반적으로 Constraint Solving은 여러 가지 상호 관련된 조건이나 요구 사항을 충족해야 하는 광범위한 문제를 해결하기 위한 강력한 기술이다. 복잡하고 까다로운 문제 영역에서도 모든 제약 조건을 충족하는 솔루션을 찾기 위한 체계적인 접근 ..

TAM (Total Addressable Market, 전체 시장)의 하위 집합이다. TAM에서 비즈니스가 현실적으로 타겟팅하고 서비스를 제공할 수 있는 부분을 나타낸다. 지리적 제한, 타겟 고객 세그먼트(인구 통계) 및 전체 TAM을 포착하는 데 영향을 미칠 수 있는 기타 제약 조건과 같은 요소를 고려한다. 또는 TAM 내의 스타트업이 추구하는 비즈니스 시장 규모라고도 이야기한다. 국내에서 검색 광고를 예를 들면, 네이버, 다음, 구글이 나눠서 점유하고 있는 국내 검색 광고 시장을 의미하고, 새로운 스마트폰을 만든다고 하면 국내 스마트폰 시장을 얘기할 수 있다.  참고- https://advertising.amazon.com/ko-kr/library/guides/tam-sam-som- https://b..

TAM은 가능한 모든 시나리오를 고려했을 때 시장 내에 존재하는 총 수요 또는 수익 기회를 의미한다. 이는 시장 점유율이 100%이고 경쟁이나 제약이 없다고 가정할 때 제품이나 서비스의 최대 잠재적 시장 규모를 나타낸다. 구글을 예로 들면 전 세계 검생 광고 시장, 애플과 삼성에게는 전체 스마트폰 시장을 의미한다. 공개된 자료가 많아 파악하기가 쉽고, TAM은 총 잠개고객 수에 고갱당 평균 수익을 곱하여 계산한다.  참고- https://advertising.amazon.com/ko-kr/library/guides/tam-sam-som- https://blog.hubspot.com/marketing/tam-sam-som

Z3는 Microsoft Research에서 개발한 고성능 정리 증명기이다. SMT(만족성 모듈로 이론, Satisfiability Modulo Theories) solver로 널리 사용된다. 특히, Z3는 성능과 신뢰성, 다양한 이론을 지원하는 것으로 잘 알려져 있다. 형식적 방법(Formal Methods), 소프트웨어 검증(software verification), 보안 분석(security analysis), 프로그램 합성(program synthesis) 등 다양한 영역에서 사용되고 있다. SMT solver는 복잡한 이론이 포함된 논리 공식의 만족도(satisfiability)를 확인하는 데 사용되는 도구다. Boolean formulas 다루는 기존의 SAT(명제 만족도, propositio..