shopkeeper/korean_wiki_content_only_120125 huggingface dataset:
17세기 초 네덜란드 동인도 회사의 설립은 이 지역 노예 무역량의 급격한 증가로 이어졌다. 17세기와 18세기 동안 네덜란드 식민지에는 약 500,000명의 노예가 있었다. 예를 들어, 약 4,000명의 아프리카 노예가 네덜란드 실론의 콜롬보 요새를 건설하는 데 사용되었다. 발리와 인근 섬들은 1620-1830년 동안 지역 네트워크에 의 노예를 공급했다. 인도와 중국 노예 상인들은 17세기와 18세기 동안 네덜란드 네덜란드령 동인도에 약 25,000명의 노예를 공급했다.
영국 동인도 회사는 같은 시기에 설립되었으며, 1622년에 그 선박 중 하나가 코로만델 해안에서 네덜란드령 동인도로 노예를 수송했다. 동인도 회사는 주로 아프리카 노예를 거래했지만, 인도, 인도네시아 및 중국 노예 상인들로부터 구매한 일부 아시아 노예도 거래했다. 프랑스는 1721년에 레위니옹과 모리셔스 섬에 식민지를 건설했다. 1735년까지 마스카렌 제도에는 약 7,200명의 노예가 거주했으며, 1807년에는 133,000명에 이르렀다. 그러나 영국은 1810년에 이 섬들을 점령했고, 영국이 1807년에 노예 무역을 금지했기 때문에 섬의 프랑스 농장주들에게 노예를 공급하기 위한 비밀 노예 무역 시스템이 발달했다. 총 336,000명–388,000명의 노예가 1670년부터 1848년까지 마스카렌 제도로 이송되었다.
총체적으로, 유럽 상인들은 1500년에서 1850년 사이에 인도양 내에서 567,900명–733,200명의 노예를 이송했고, 같은 기간 동안 거의 같은 수의 노예가 인도양에서 아메리카 대륙으로 이송되었다. 그럼에도 불구하고 인도양의 노예 무역은 대서양을 가로질러 이송된 명의 노예와 비교하면 매우 제한적이었다.
호르헤 훌리오()는 다음 사람을 가리킨다.
호르헤 엘리에세르 훌리오 로차(, 1969년 4월 4일~)는 콜롬비아의 전직 권투 선수이다. 콜롬비아 국가대표 선수로 활동하여 1988년 하계 올림픽 남자 밴텀급 종목에서 동메달을 획득했다. 이후 1989년에 프로로 전향하여 1992년 세계 복싱 협회(WBA) 밴텀급 세계 챔피언에 올랐고 1997년 세계 복싱 기구(WBO) 밴텀급 세계 챔피언에 올랐다.
비디야다라(, "지혜를 가진 자"라는 뜻)는 마법의 힘을 가진 인도계 종교의 초자연적인 존재들이다. 힌두교에서 그들은 히말라야산맥에 사는 시바를 섬기기도 한다. 그들은 우파데바 또는 반신으로 여겨진다.
힌두 서사시에서.
힌두 서사시에서 비디야다라들은 본질적으로 공기의 정령으로 묘사된다. 그들은 인간의 기량을 경이롭게 바라보거나, 전투를 지켜보며 꽃을 뿌리거나, 음악과 웃음으로 기뻐하거나, 화환을 쓰고 아내와 함께 위험에서 도망치는 등 서사시에서 다양한 활동을 하는 것으로 묘사된다. 그들은 크기를 줄이는 능력과 같은 위대한 마법의 힘을 가지고 있다. 그들은 "선을 행하고 즐거움에 헌신하는 자"라는 별칭으로 묘사된다. 그들은 또한 간다만다나 산과 다른 히말라야 산에서 킨나라와 함께 살고 있다. 그들은 또한 크라운차산, 라마가 비디야다라 여성들이 노는 것을 본 치트라쿠타, 말라바르 해안의 언덕, 그리고 칸다바 숲에 거주하는 것으로 묘사된다. 그들은 또한 그들의 지도자인 차크라다르만과 함께 쿠베라의 궁정에서, 그리고 비프라시티 아래 인드라의 궁전에서 볼 수 있다. 비디야다라의 세 번째 지도자는 현명한 잠바반으로 묘사된다. 서사시 마하바라타에서 비디야다라들은 자나메자야 2세의 뱀 희생에서 다른 반신들과 함께 인드라를 따르는 것으로 묘사된다. 서사시에서 여성 비디야다라, 즉 비디야다리들은 아름다움이 뛰어나며, 라바나와 같은 악마들에게 납치당하는 희생자였다. 라마야나의 순다라칸다 1.22절부터 1.26절까지는 하누만이 바다를 뛰어넘으려는 시도에서 마헨드라산에 가한 압력으로 인해 비디야다라와 그들의 여성들이 겪는 고난을 묘사한다.
푸라나 및 기타 문헌에서.
아그니 푸라나에서 그들은 하늘에서 화환을 쓰고 야크샤와 간다르바와 같은 다른 반신들과 함께 언급된다.
바가바타 푸라나에서 치트라케투는 비디야다라의 왕으로 묘사된다. 또한 수다르샤나라는 저주받은 비디야다라에 대해서도 이야기한다. 푸라나의 다양한 언급에서 그들은 신 비슈누에게 도움을 구하거나 신의 많은 창조물들 사이에 열거된 다른 반신들과 결합된다. 비디야다라는 싯다들과 함께 암소의 모습을 취한 대지(大智)(프리티비)를 카필라 현자를 송아지로 삼아 젖을 짜고 다양한 요가 신비주의적인 힘(싯디)과 하늘 항아리에 담긴 비행술을 우유처럼 모았다고 한다.
구나댜는 비디야다라에 대한 7개의 거대한 이야기를 지었지만, 왕이 그들을 거부하자 처음 6개는 파괴하고 7번째 이야기인 나라바하나닷타 이야기만 남겼으며, 이 이야기는 파이샤치어로 쓰인 브리핫카타가 되었다고 한다. 이 작품은 현존하지 않지만, 산스크리트어로 된 세 가지 각색본이 있다: 크셰멘드라의 브리핫카타만자리, 소마데바의 카타사리트사가라, 그리고 부다스와민의 브리핫카타슐로카삼그라하. 카타사리트사가라는 데바닷타(비디야다라가 된 브라만 소년), 지무타바하나, 묵타팔라케투와 나라바하나닷타(비디야다라의 황제가 된 자)와 같은 비디야다라에 대한 몇 가지 이야기를 제시한다.
자이나교 전설은 비디야다라를 진화된 인간 또는 아카샤고차리 인간으로 묘사한다. 자이나교에 따르면 비디야다라는 인간이지만 비디야를 가지고 있다. 비디야다라는 자이나교에서 비행과 같은 신비로운 힘과 능력을 가지고 있다. 자이나교 문학에 따르면 바나라와 라크샤사는 많은 비디야다라 부족 중 두 부족이다. 일부 왕으로는 라바나, 하누만, 발리 (라마야나)가 있다.
아슈타디그가자()는 힌두교 우주론에 등장하는 여덟 마리의 전설적인 코끼리 무리로, 우주의 여덟 구역을 수호한다. 아슈타디그가자 옆에는 아슈타디카리니라고 불리는 여덟 마리의 암코끼리들도 있다.
여덟 구역을 지키는 아슈타디그가자와 아슈타디카리니는 총 여덟 쌍이다:
아슈타디그가자 외에도, 저승의 네 방향에서 지구를 지탱하는 네 마리의 코끼리가 있으며, 그들의 이름은 라마야나에 나와 있다: 비루팍샤(동쪽), 마하파드마사마(남쪽), 사우마나사(서쪽), 바드라(북쪽).
마탕가 릴라는 아슈타디그가자를 아슈타디팔라, 즉 여덟 신성한 방위의 수호신의 바하나로 연관시킨다. 이 문헌은 '태어나지 않은 자'(창조주)가 우주 알의 반쪽 껍질을 손에 들었을 때, 현자들이 사만 찬송가를 읊조리는 동안 아이라바타가 이끄는 아슈타디그가자들이 오른손의 껍질에서 나왔고, 암코끼리 여덟 마리는 그들의 배우자로 왼손의 껍질에서 나왔다고 말한다. 아슈타디그가자들은 배우자와 번식하여 숲과 산을 코끼리로 채웠다. 그들은 아수라와의 전투에서 신들을 돕기도 했다.
세계 거북이 하나 또는 여러 세계 코끼리를 지탱한다는 대중적인 묘사는 1599년 에마누엘 드 베이가의 편지에 기록되어 있다. 빌헬름 폰 훔볼트는 세계 코끼리 사상이 산스크리트어 명사 나가가 "뱀"과 "코끼리"(뱀과 같은 코 때문에 명명됨)라는 이중적인 의미를 가져서 세계 뱀에 대한 왜곡된 설명으로 나타난 혼동 때문일 수 있다고 주장했다.
브루어스 구어 및 우화 사전은 마하푸드마와 추크와를 "거북 추크와가 코끼리 마하푸드마를 지탱하고, 마하푸드마가 다시 세계를 지탱하는 인도 신화의 대중적인 묘사"에서 유래한 이름으로 등재하고 있다. 마하푸드마의 철자는 아우로빈도 고시가 1921년 마하바라타 이야기를 다시 쓴 것에서 마하파드마의 오탈자로 시작되었다.
테리 프래쳇의 디스크월드 소설에서 디스크는 거대한 거북 위에 서 있는 네 마리의 코끼리 어깨 위에 놓여 있다. 전설적인 다섯 번째 코끼리는 땅속으로 떨어져 귀중한 광물 자원의 유산을 남겼다.
응답 집합 프로그래밍(Answer set programming, ASP)은 어려운 (주로 NP-난해) 검색 문제에 초점을 맞춘 선언형 프로그래밍의 한 형태이다. 이는 논리형 프로그래밍의 안정 모델 (응답 집합) 의미론에 기반을 둔다. ASP에서 검색 문제는 안정 모델을 계산하는 것으로 축소되며, 안정 모델을 생성하는 프로그램인 응답 집합 해결기가 검색을 수행하는 데 사용된다. 많은 응답 집합 해결기의 설계에 사용되는 계산 과정은 DPLL 알고리즘의 향상된 버전이며, 원칙적으로 항상 종료된다 (프롤로그 쿼리 평가와 달리, 무한 루프로 이어질 수 있다).
더 일반적인 의미에서 ASP는 지식 표현에 대한 응답 집합의 모든 응용 프로그램과 이러한 응용 프로그램에서 발생하는 문제를 해결하기 위한 프롤로그 스타일 쿼리 평가 사용을 포함한다.
응답 집합 프로그래밍의 초기 예는 1997년 디모풀로스, 네벨, 쾰러가 제안한 계획 방법이었다. 그들의 접근 방식은 계획과 안정 모델 간의 관계에 기반을 둔다.
1998년 소이니넨과 니멜라는 현재 응답 집합 프로그래밍으로 알려진 것을 제품 구성 문제에 적용했다. 1999년, "응답 집합 프로그래밍"이라는 용어가 "The Logic Programming Paradigm"이라는 책에 두 편의 논문 모음 제목으로 처음 등장했다. 이 논문들 중 첫 번째 논문은 검색을 위한 응답 집합 해결기 사용을 새로운 프로그래밍 패러다임으로 식별했다. 같은 해 니멜라도 "안정 모델 의미론을 가진 논리 프로그램"을 새로운 패러다임으로 제안했다.
응답 집합 프로그래밍 언어 AnsProlog.
Lparse는 원래 응답 집합 해결기 smodels의 접지 도구(프런트엔드)로 생성된 프로그램의 이름이다. Lparse가 허용하는 언어는 이제 일반적으로 AnsProlog라고 불리며, 논리의 응답 집합 프로그래밍(Answer Set Programming in Logic)의 약어이다. 이제 assat, clasp, cmodels, gNt, nomore++ 및 pbmodels를 포함한 다른 많은 응답 집합 해결기에서 동일한 방식으로 사용된다. (dlv는 예외이다. dlv용으로 작성된 ASP 프로그램의 구문은 다소 다르다.)
AnsProlog 프로그램은 다음과 같은 형식의 규칙으로 구성된다.
&lt;head&gt; :- &lt;body&gt; .
codice_1가 비어 있으면 codice_2 ("만약") 기호는 생략된다. 이러한 규칙을 사실(fact)이라고 한다. 가장 간단한 Lparse 규칙은 제약 조건이 있는 규칙이다.
이 언어에 포함된 또 다른 유용한 구성은 선택(choice)이다. 예를 들어, 다음 선택 규칙은
안정 모델에 formula_1 원자 중 어떤 것을 포함할지 임의로 선택하라는 의미이다. 이 선택 규칙만 포함하고 다른 규칙은 없는 Lparse 프로그램은 8개의 안정 모델(즉, formula_2의 임의의 부분 집합)을 가진다. 안정 모델의 정의는 선택 규칙이 있는 프로그램으로 일반화되었다. 선택 규칙은 안정 모델 의미론 하의 명제 공식에 대한 약어로도 취급될 수 있다. 예를 들어, 위 선택 규칙은 세 개의 "배중률" 공식의 논리곱에 대한 약어로 볼 수 있다.
Lparse 언어는 또한 다음과 같은 "제약 조건이 있는" 선택 규칙을 작성할 수 있게 한다.
1{p,q,r}2.
이 규칙은 formula_1 원자 중 최소 1개, 최대 2개를 선택하라는 의미이다. 이 규칙의 안정 모델 의미론 하의 의미는 명제 공식으로 표현된다.
카디널리티 경계는 규칙의 본문에도 사용될 수 있다. 예를 들면 다음과 같다.
이 제약 조건을 Lparse 프로그램에 추가하면 formula_1 원자 중 최소 2개를 포함하는 안정 모델이 제거된다. 이 규칙의 의미는 명제 공식으로 표현될 수 있다.
변수(다른 프롤로그처럼 대문자로 시작)는 Lparse에서 동일한 패턴을 따르는 규칙들의 집합을 축약하고, 동일한 규칙 내의 원자들의 집합을 축약하는 데 사용된다. 예를 들어, 다음 Lparse 프로그램은
p(a). p(b). p(c).
q(X) :- p(X), X!=a.
다음과 동일한 의미를 갖는다.
q(b). q(c).
다음 프로그램은
다음의 축약형이다.
범위는 다음 형식이다.
여기서 start와 end는 상수 값의 산술 표현식이다. 범위는 호환 가능한 방식으로 수치 도메인을 정의하는 데 주로 사용되는 표기법 단축키이다. 예를 들어, 다음 사실은
a(1..3).
다음의 단축키이다.
a(1). a(2). a(3).
범위는 동일한 의미론으로 규칙 본문에도 사용될 수 있다.
조건부 리터럴은 다음과 같은 형식이다.
p(X):q(X)
만약 codice_3의 확장이 codice_4이라면, 위 조건은 의미적으로 조건 대신 codice_5을 쓰는 것과 동일하다. 예를 들어,
q(1..2).
a :- 1 {p(X):q(X)}.
q(1). q(2).
a :- 1 {p(1), p(2)}.
안정 모델 생성.
`filename` 파일에 저장된 Lparse 프로그램의 안정 모델을 찾으려면 다음 명령을 사용한다.
% lparse ${filename} | smodels
옵션 0은 smodels에게 프로그램의 모든 안정 모델을 찾도록 지시한다. 예를 들어, `test` 파일에 다음과 같은 규칙이 포함되어 있다면
s :- not p.
다음 명령은 다음과 같은 출력을 생성한다.
% lparse test | smodels 0
Answer: 1
Stable Model: q p
Answer: 2
Stable Model: p
Answer: 3
Stable Model: r p
Answer: 4
Stable Model: q s
Answer: 5
Stable Model: r s
Answer: 6
Stable Model: r q s
ASP 프로그램 예시.
그래프 색칠.
그래프 formula_9의 formula_10-색칠은 formula_11 함수로, 모든 인접한 정점 쌍 formula_12에 대해 formula_13를 만족한다. 주어진 그래프의 formula_10-색칠을 찾거나 (존재하지 않는 경우) 판별하기 위해 ASP를 사용하고자 한다.
이는 다음 Lparse 프로그램을 사용하여 수행할 수 있다.
c(1..n).
1 {color(X,I) : c(I)} 1 :- v(X).
1행은 숫자 formula_15을 색으로 정의한다. 2행의 선택 규칙에 따르면, 각 정점 formula_16에 고유한 색 formula_17가 할당되어야 한다. 3행의 제약 조건은 정점 formula_16와 formula_19 사이에 연결하는 모서리가 있는 경우 동일한 색을 할당하는 것을 금지한다.
이 파일을 formula_20의 정의와 결합하면 (예:
v(1..100). % 1...,100 are vertices
e(1,55). % there is an edge from 1 to 55
그리고 formula_10의 숫자 값을 명령줄에서 지정하여 smodels를 실행하면, smodels 출력에 있는 formula_22 형식의 원자들이 formula_20의 formula_10-색칠을 나타낼 것이다.
이 예시의 프로그램은 간단한 ASP 프로그램에서 자주 볼 수 있는 "생성 및 테스트" 구성을 보여준다. 선택 규칙은 "잠재적 해" 집합을 설명한다. 이는 주어진 검색 문제의 해 집합의 단순한 상위 집합이다. 그 다음에는 허용되지 않는 모든 잠재적 해를 제거하는 제약 조건이 따른다. 그러나 smodels 및 다른 응답 집합 해결기에서 사용되는 검색 과정은 시행착오에 기반을 두지 않는다.
큰 클릭.
그래프의 클릭은 쌍으로 인접한 정점들의 집합이다. 다음 Lparse 프로그램은 주어진 유향 그래프에서 크기가 formula_25인 클릭을 찾거나 존재하지 않는다고 판별한다.
n {in(X) : v(X)}.
이것은 생성 및 테스트 조직의 또 다른 예시이다. 1행의 선택 규칙은 formula_25개의 정점으로 구성된 모든 집합을 "생성"한다. 2행의 제약 조건은 클릭이 아닌 집합을 "제거"한다.
해밀턴 회로.
유향 그래프의 해밀턴 회로는 그래프의 각 정점을 정확히 한 번 통과하는 경로이다. 다음 Lparse 프로그램은 주어진 유향 그래프에 해밀턴 회로가 존재하는 경우 이를 찾는 데 사용될 수 있다. 0은 정점 중 하나라고 가정한다.
r(X) :- in(0,X), v(X).
r(Y) :- r(X), in(X,Y), e(X,Y).
1행의 선택 규칙은 모서리 집합의 모든 부분 집합을 "생성"한다. 세 개의 제약 조건은 해밀턴 회로가 아닌 부분 집합을 "제거"한다. 마지막 제약 조건은 보조 술어 formula_27 ("formula_16는 0에서 도달 가능하다")를 사용하여 이 조건을 만족하지 않는 정점을 금지한다. 이 술어는 6행과 7행에서 재귀적으로 정의된다.
이 프로그램은 보다 일반적인 "생성, 정의 및 테스트" 조직의 예시이다. 이는 모든 "나쁜" 잠재적 해를 제거하는 데 도움이 되는 보조 술어의 정의를 포함한다.
의존 구문 분석.
자연어 처리에서 의존 기반 구문 분석은 ASP 문제로 공식화될 수 있다.
다음 코드는 라틴어 문장 "Puella pulchra in villa linguam latinam discit"("예쁜 소녀는 빌라에서 라틴어를 배우고 있다")를 구문 분석한다.
구문 트리는 문장 단어 간의 의존성을 나타내는 arc 술어로 표현된다.
계산된 구조는 선형 순서가 있는 루트 트리이다.
% ********** input sentence **********
word(1, puella). word(2, pulchra). word(3, in). word(4, villa). word(5, linguam). word(6, latinam). word(7, discit).
% ********** lexicon **********
1{ node(X, attr(pulcher, a, fem, nom, sg));
node(X, attr(pulcher, a, fem, abl, sg)) }1 :- word(X, pulchra).
node(X, attr(latinus, a, fem, acc, sg)) :- word(X, latinam).
1{ node(X, attr(puella, n, fem, nom, sg));
node(X, attr(puella, n, fem, abl, sg)) }1 :- word(X, puella).
1{ node(X, attr(villa, n, fem, nom, sg));
node(X, attr(villa, n, fem, abl, sg)) }1 :- word(X, villa).
node(X, attr(linguam, n, fem, acc, sg)) :- word(X, linguam).
node(X, attr(discere, v, pres, 3, sg)) :- word(X, discit).
node(X, attr(in, p)) :- word(X, in).
% ********** syntactic rules **********
0{ arc(X, Y, subj) }1 :- node(X, attr(_, v, _, 3, sg)), node(Y, attr(_, n, _, nom, sg)).
0{ arc(X, Y, dobj) }1 :- node(X, attr(_, v, _, 3, sg)), node(Y, attr(_, n, _, acc, sg)).
0{ arc(X, Y, attr) }1 :- node(X, attr(_, n, Gender, Case, Number)), node(Y, attr(_, a, Gender, Case, Number)).
0{ arc(X, Y, prep) }1 :- node(X, attr(_, p)), node(Y, attr(_, n, _, abl, _)), X &lt; Y.
0{ arc(X, Y, adv) }1 :- node(X, attr(_, v, _, _, _)), node(Y, attr(_, p)), not leaf(Y).
% ********** guaranteeing the treeness of the graph **********
1{ root(X):node(X, _) }1.
path(X, Y) :- arc(X, Y, _).
path(X, Z) :- arc(X, Y, _), path(Y, Z).
leaf(X) :- node(X, _), not arc(X, _, _).
언어 표준화 및 ASP 경쟁.
ASP 표준화 작업 그룹은 ASP-Core-2라고 불리는 표준 언어 사양을 발표했으며, 최근 ASP 시스템들은 이 사양으로 수렴하고 있다. ASP-Core-2는 ASP 해결기가 여러 참조 문제에 대해 주기적으로 벤치마크되는 응답 집합 프로그래밍 경쟁의 참조 언어이다.
구현 비교.
smodels와 같은 초기 시스템은 퇴각검색을 사용하여 해를 찾았다. 불 SAT 해결기의 이론과 실제가 발전함에 따라 ASSAT 및 Cmodels를 포함한 여러 ASP 해결기가 SAT 해결기 위에 구축되었다. 이들은 ASP 공식을 SAT 명제로 변환하고, SAT 해결기를 적용한 다음, 해를 다시 ASP 형식으로 변환했다. Clasp와 같은 최신 시스템은 불 논리 형식으로 완전히 변환하지 않고 SAT에서 영감을 받은 충돌 기반 알고리즘을 사용하는 하이브리드 접근 방식을 사용한다. 이러한 접근 방식은 초기 퇴각검색 알고리즘에 비해 성능을 크게 향상시키며, 종종 10배 정도 향상시킨다.
Potassco 프로젝트는 clasp, 접지 시스템(gringo), 증분 시스템(iclingo), 제약 해결기(clingcon), 액션 언어에서 ASP 컴파일러(coala), 분산 메시지 전달 인터페이스 구현(claspar) 등 아래의 많은 시스템에 대한 우산 역할을 한다.
대부분의 시스템은 변수를 지원하지만, Lparse 또는 gringo와 같은 접지 시스템을 프런트엔드로 사용하여 접지를 강제함으로써 간접적으로만 지원한다. 접지의 필요성은 절의 조합 폭발을 야기할 수 있다. 따라서 즉석에서 접지를 수행하는 시스템이 유리할 수 있다.
Galliwasp 시스템 및 s(CASP)와 같은 응답 집합 프로그래밍의 쿼리 기반 구현은 분해 증명과 코귀납법을 조합하여 접지를 완전히 피한다.
컴퓨터 과학에서 분할 전역 주소 공간(Partitioned global address space, 파티션드 글로벌 어드레스 스페이스, PGAS)은 병렬 프로그래밍 모델 패러다임이다. PGAS는 논리적으로 분할된 전역 메모리 주소 공간 추상화를 포함하는 통신 작업이 특징이며, 이 공간의 일부는 각 프로세스, 스레드 또는 처리 요소에 로컬로 할당된다. PGAS의 참신함은 공유 메모리 공간의 일부가 특정 프로세스에 대한 친화성을 가질 수 있어, 성능 향상을 위해 참조 국부성을 활용한다는 점이다. PGAS 메모리 모델은 다음과 같은 다양한 병렬 프로그래밍 언어 및 라이브러리에 포함되어 있다: 코어레이 포트란, 유니파이드 패럴렐 C, Split-C, 포트리스, 채플, X10, UPC++, Coarray C++ , 글로벌 배열, DASH, 그리고 SHMEM. PGAS 패러다임은 포트란 2008부터 coarray(코어레이)를 표준화함으로써 포트란 언어의 통합된 부분이 되었다.
PGAS 메모리 모델을 제공하는 다양한 언어와 라이브러리는 기본 프로그래밍 언어와 병렬 처리를 표현하는 메커니즘과 같은 다른 세부 사항에서 크게 다르다. 많은 PGAS 시스템은 분산 메모리 시스템을 위한 SPMD 프로그래밍 스타일(예: MPI에서 사용)의 장점과 공유 메모리 시스템의 데이터 참조 의미론을 결합한다. 메시지 전달과 대조적으로, PGAS 프로그래밍 모델은 원격 메모리 액세스(RMA)와 같은 단방향 통신 작업을 자주 제공하는데, 이를 통해 하나의 처리 요소가 수동 대상 프로세스의 명시적인 의미론적 개입 없이 다른 (잠재적으로 원격) 프로세스와 친화성을 가진 메모리에 직접 액세스할 수 있다. PGAS는 하드웨어별 데이터 국부성이 주소 공간의 의미론적 분할에서 명시적으로 드러날 수 있기 때문에, 평면 주소 공간을 가진 전통적인 공유 메모리 접근 방식보다 더 효율적이고 확장성이 높다.
PGAS 패러다임의 변형인 비동기 분할 전역 주소 공간(asynchronous partitioned global address space, APGAS)은 로컬 및 원격 비동기 태스크 생성 기능을 프로그래밍 모델에 추가한다. 이 모델을 사용하는 두 가지 프로그래밍 언어는 채플과 X10이다.
PGAS의 다른 뜻은 다음과 같다.
케네스 캐롤 귄(Kenneth Carroll Guinn, 1936년 8월 24일 ~ 2010년 7월 22일)은 미국의 정치인으 제27대 네바다 주지사를 지냈다.
컴퓨터 과학에서 행위 언어(Action language)는 상태 전이 시스템을 지정하기 위한 언어로, 일반적으로 행위가 세계에 미치는 영향을 형식 모델로 생성하는 데 사용된다. 행위 언어는 일반적으로 인공지능 및 로봇공학 분야에서 사용되며, 행위가 시간 경과에 따라 시스템 상태에 어떤 영향을 미치는지 설명하고 자동 계획에 사용될 수 있다.
행위 언어는 행위 기술 언어와 행위 질의 언어의 두 가지 범주로 나뉜다. 전자의 예로는 STRIPS, PDDL, 언어 A(STRIPS의 일반화; Pednault의 ADL의 명제 부분), 언어 B(간접 효과를 추가하고 정적 및 동적 법칙을 구별하는 A의 확장), 언어 C(간접 효과도 추가하고 모든 플루언트가 자동으로 "관성적"이라고 가정하지 않음)가 있다. 또한 행위 질의 언어 P, Q, R이 있다. 행위 언어, 특히 행위 언어 C를 응답 집합 프로그래밍으로 변환하는 여러 가지 다른 알고리즘이 존재한다. 최신 응답 집합 솔버가 부울 SAT 알고리즘을 사용하여 만족성을 매우 빠르게 확인하기 때문에, 이는 행위 언어 역시 부울 SAT 해결 분야에서 이루어지는 발전을 누릴 수 있음을 의미한다.
모든 행위 언어는 상태 전이 시스템의 정의를 플루언트 집합 F, 플루언트가 취할 수 있는 값의 집합 V, 그리고 S × F를 V로 매핑하는 함수로 보완하며, 여기서 S는 상태 전이 시스템의 상태 집합이다.
기술 언어(description language) 또는 정의 언어는 아래와 같은 뜻이 있다.
해상 실크로드 또는 해상 실크루트는 동남아시아, 동아시아, 인도 아대륙, 아라비아반도, 동아프리카, 유럽을 연결하는 역사적인 비단길의 해상 구간이다. 기원전 2세기에 시작되어 서기 15세기까지 번성했다. 해상 실크로드는 주로 대형 원양 널빤지 이음선 및 묶음돌기선 무역선을 항해했던 동남아시아의 오스트로네시아 선원들에 의해 개척되고 운영되었다. 이 항로는 아라비아해 및 그 너머에서 페르시아 및 아랍 상인들의 다우선과 타밀족 상인들의 남아시아에서도 활용되었다. 중국 또한 후기인 서기 10세기부터 15세기에 걸쳐 자체 정크선을 건조하고 이 항로를 따르기 시작했다.
이 무역망은 동남아시아의 오래된 오스트로네시아 비취 해상 네트워크와 동남아시아와 남아시아 간의 해상 향신료 네트워크, 그리고 아라비아해 및 그 너머의 서아시아 해상 네트워크의 발자취를 따라 현재 시대까지 이 고대 해상 무역로와 일치하게 되었다.
"해상 실크로드"라는 용어는 육상 실크로드와의 유사성에서 비롯된 현대적인 이름이다. 육상 비단길 자체도 현대적인 이름으로, 이 개념은 1877년 프로이센 지리학자 바론 폰 리히트호펜이 중국과 독일을 철도로 연결하기 위한 중국 지질 조사를 하면서 처음 만들어졌으며, "비단길"이라는 용어는 스웨덴 탐험가 스벤 헤딘의 대중적인 책이 출판된 1938년에야 영어에 들어왔다. 인도-서태평양 (동남아시아 및 인도양)을 통한 고대 해상 항로는 매우 긴 역사 동안 특별한 이름이 없었다. 현대적인 이름에도 불구하고, 해상 실크로드는 비단이나 아시아 수출품뿐만 아니라 매우 광범위한 지역에서 다양한 종류의 상품 교환을 포함했다.
선사 시대 해상 네트워크의 전신.
해상 비단길은 신석기 시대 링링오 비취 해상 무역 네트워크에서 발전했으며, 동남아시아의 오스트로네시아족에 의해 구축되었다. 남중국해 주변 3000킬로미터 지역을 아우르는 이 광범위한 고대 해상 무역 네트워크는 해상 실크로드보다 훨씬 이전에 존재했다. 이는 기원전 2000년부터 기원후 1000년까지 약 3,000년 동안 지속되었으며, 해상 비단길과 부분적으로 겹쳤다. 이 네트워크는 처음에는 타이완과 필리핀 북부의 원주민에 의해 구축되었다. 원료 연옥 (펑톈 비취)은 타이완 동부의 광산에서 채취되었으며, 필리핀에서 장식품과 도구로 가공되었다 (가장 주목할 만하고 가장 많은 것은 링링오로 알려진 두 개의 머리가 달린 팬던트와 반고리 귀걸이이다). 이 네트워크는 나중에 베트남 남부 (사후인 문화), 보르네오섬, 반도 말레이시아 동부, 캄보디아 동부, 태국 반도, 그리고 이 비취 장식품과 다른 무역 상품이 제조 및 교환되었던 동남아시아의 다른 지역 (또한 사후인-칼라나이 상호작용권으로 알려짐)을 포함했다. 타이완산 비취는 기원전 500년경 이후 사용이 줄어들었고, 비타이완산 비취와 다른 재료가 더 흔해졌다. 이러한 비취 유물의 분포는 특히 신석기 필리핀, 베트남 남부, 보르네오의 오스트로네시아족 간의 해상 무역과 공유된 물질 문화의 다른 증거와 함께 발견되었다.
섬 동남아시아 전역에서 발견되는 베트남 북부 동선 문화에서 유래한 의식용 청동 북 ()의 광범위한 분포는 이 선사 시대 동남아시아 해상 네트워크의 고대성과 밀도를 증명한다.
비취 유물 무역이 이루어지는 동안, 스리랑카와 남인도 간의 오스트로네시아 향신료 무역 네트워크 또한 동남아시아의 섬주민에 의해 기원전 1500년에서 600년 사이에 구축되었다. 이러한 초기 접촉은 빈랑 씹기, 코코넛, 단향, 길들인 바나나, 토란, 사탕수수, 정향나무, 그리고 육두구와 같은 오스트로네시아 작물 및 물질 문화를 남아시아에 도입하게 되었다. 또한 스리랑카와 남인도에서 여전히 사용되는 아웃리거 보트와 같은 오스트로네시아 항해 기술도 도입되었다. 북인도 디자인을 보여주는 반귀석과 유리 장식품은 태국의 카오 삼 카이오 ()와 반 돈 타 펫 () 고고학 유적지에서 오스트로네시아 사후인-칼라나이 상호작용권의 무역 상품과 함께 발견되었다. 두 유적지 모두 해안 정착지이며 비취 무역 네트워크의 일부로, 이 시기까지 오스트로네시아족의 해상 항로가 이미 남아시아에 도달했음을 보여준다. 녹두와 호스그램과 같은 남아시아 작물도 카오 삼 카이오에 존재하여 교환이 상호적이었음을 나타낸다. 기원전 1천년기 아프리카에서 바나나, 토란, 닭, 자색얌과 같은 오스트로네시아 길들인 동식물의 존재와 확산을 기반으로 한 아프리카와의 매우 초기 오스트로네시아 접촉에 대한 간접적인 증거도 있다.
해상 비단길의 서쪽 회로는 서아시아의 이전 해상 무역로에서 발전했다. 이들은 스리랑카, 인도의 말라바르 해안, 페르시아, 메소포타미아, 아라비아, 이집트, 아프리카의 뿔, 그리고 지중해의 그리스-로마 문명을 연결했다. 이 무역로 (처음에는 해안 근처의 단거리, 소규모에 불과했지만)는 신석기 시대부터, 적어도 메소포타미아의 우바이드 시대 ()부터 존재했다. 이들은 기원전 1천년기까지 서아시아의 도시 중심지 간의 정기적인 무역로가 되었다.
기원전 2세기경까지 동남아시아의 선사 시대 오스트로네시아 비취 및 향신료 무역 네트워크는 남아시아, 중동, 동아프리카, 지중해의 해상 무역로와 완전히 연결되어 오늘날 해상 비단길로 알려지게 되었다. 10세기 이전에는 주로 동남아시아 오스트로네시아 상인들이 독특한 널빤지 이음선 및 묶음돌기선 선박을 사용하여 항로의 동쪽 부분을 이용했지만, 페르시아 및 타밀족 상인들도 항로의 서쪽 부분을 항해했다. 이를 통해 한쪽 끝으로는 동아시아와 동남아시아, 다른 한쪽 끝으로는 유럽과 동아프리카까지 상품을 교환할 수 있었다.
오스트로네시아 해양제국들은 해상 비단길 동부 지역의 무역 흐름을 통제했는데, 특히 믈라카와 방카 해협, 말레이반도, 그리고 메콩강 삼각주 주변의 정치체들이 그러했다. 이 지역들을 통해 서아시아에서 번성하던 당나라 시장으로 고급 향료와 불교 유물이 전달되는 주요 오스트로네시아 무역선 항로가 교지 (통킹만에 위치)와 광저우시 (중국 남부)로 이어졌다 (후에 10세기에는 취안저우시도 포함되었다). 중국 기록들은 이 지역의 인도화 때문에 이 왕국들을 "인도"로 오인했다. 보조 항로들은 또한 타이만의 해안선을 따라 지나갔으며, 자와해, 술라웨시해, 반다해, 술루해를 거쳐 북부 필리핀과 타이완을 통해 주요 항로와 다시 연결되었다. 보조 항로들은 또한 동중국해와 황해로 제한적으로 계속 이어졌다. 인도와 이집트에서 동남아시아와 남아시아 항구의 유리세공사를 거쳐온 유리 유물들이 한반도의 무덤 ()에서 발견되었는데, 이는 해상 실크로드의 가장 북동쪽 확장 범위를 보여준다.
해상 실크로드 서부 지역의 주요 항로는 수마트라섬의 북단 (또는 순다 해협을 통해)에서 스리랑카, 남인도, 방글라데시, 그리고 몰디브로 인도양을 직접 횡단한다. 이곳에서 오만만 ( 페르시아만으로)과 아덴만 ( 홍해로)을 통해 아라비아해로 들어가는 항로로 분기된다. 보조 항로들은 또한 벵골만, 아라비아해의 해안선을 따라, 그리고 남쪽으로 동아프리카 해안을 따라 잔지바르, 코모로, 마다가스카르, 그리고 세이셸로 지나간다. 몰디브는 서부 항로를 통해 모험을 떠나는 오스트로네시아 선원들에게 주요 허브로서 특히 중요했다.
이 항로는 힌두교와 불교가 동쪽으로 일찍 확산되는 데 큰 영향을 미쳤다. 이 종교들이 남아시아와의 무역과 밀접하게 연결되면서 서기 4세기까지 초기 해상 비단길에서 산스크리트어가 무역 링구아 프랑카로 널리 채택되었다. 한나라와 당나라 시대 중국 기록 또한 초기 중국 불교 순례자들이 남아시아로 가는 길을 광저우시 항구 도시에서 무역했던 오스트로네시아 선박 (그들이 쿤룬포라고 불렀던)을 타고 예약했음을 보여준다. 중국 승려 완첸과 후이린이 쓴 책에는 적어도 서기 3세기부터 동남아시아에서 온 대형 무역선에 대한 상세한 기록이 담겨 있다.
오스트로네시아족은 이미 초기 시대부터 동아프리카와 아라비아반도까지 항해했다. 오스트로네시아족은 서기 1세기에서 서기 6세기 또는 7세기 사이에 아프리카 해안의 마다가스카르 섬에 식민지를 건설했다. 마다가스카르는 인근 아프리카, 아랍, 페르시아 무역항인 킬와 키시와니와 잔지바르 (탄자니아), 그리고 현대 소말리아, 케냐, 모잠비크의 본토 해안을 따라 있는 다른 항구들과 함께 해상 실크로드의 일부로 남아있었다. 15세기 후반과 16세기 초반의 포르투갈 탐험가들의 기록에 따르면, 인도네시아와 마다가스카르 간의 직접적인 해상 연결은 식민지 시대 직전까지 지속되었다.
서기 682년 팔렘방에 세워진 힌두교-불교 오스트로네시아 정치체인 스리위자야는 믈라카 해협과 순다 해협, 그리고 남중국해 엠포리움 주변의 무역을 지배하여 서아시아에서 번성하던 당나라 시장으로 고급 향료와 불교 유물 무역을 통제했다. 스리위자야는 주변 해양제국들을 정복하고 복속시키면서 부상했다. 이들 중에는 믈라유 왕국, 크다주, 타루마나가라, 그리고 마타람 왕국 등이 포함되었다. 이 정치체들은 동남아시아의 해상 교통로를 통제하고 향신료 제도의 향신료 무역뿐만 아니라 인도와 중국 간의 해상 무역로를 활용했다.
서기 7세기경, 아랍 다우 상인들도 이전 페르시아 상인들이 스리랑카로 개척했던 항로에 진출했는데, 이는 서아시아 전역에 걸친 이슬람교의 확산과 일치했다. 그들은 스리위자야와 광저우시로 더 깊이 동진하여 동남아시아 정치체로의 초기 이슬람교 확산을 이끌었다. 이 시기 동안, 페르시아어는 해상 및 육상 비단길 모두에서 지배적인 링구아 프랑카가 되었다.
필리핀의 부투안 배무덤에는 오스트로네시아 조선 전통의 묶음돌기선 잔해 11척 (개별적으로 서기 689년에서 988년까지 연대 측정됨)이 있으며, 중국, 캄보디아, 태국 (하리푼차이 및 사팅프라), 베트남, 그리고 멀리 페르시아까지의 많은 무역품과 함께 발견되어 중동까지 무역했음을 나타낸다.
10세기에서 13세기까지 해상 무역에서 경제적 번영이 있었는데, 이는 주로 송나라가 해상 항로를 항해할 수 있는 자체 무역선(정크)을 건조하기 시작했기 때문이다. 송나라 조정은 전통적인 중국 유교의 무역 경멸에도 불구하고 사적 무역에 대한 제한을 완화했다. 이는 부분적으로 송나라가 육상 비단길에 대한 접근권을 잃었기 때문이었다. 송나라 해상 기술은 동남아시아 오스트로네시아 선박을 관찰하여 개발되었다. 이전에 중국 선박은 본질적으로 내륙(강)에서 사용되었고 항해에 적합하지 않았다.
송나라는 난하이 ()라고 불리는 지역에 무역 원정대를 보내기 시작했으며, 이 지역은 여전히 대부분 스리위자야가 지배하고 있었고, 남쪽으로는 술루해와 자와해까지 진출했다. 이는 동남아시아에 "용뇌향" (장뇌)과 다른 이국적인 물품에 대한 중국의 수요를 충족시키기 위한 새로운 무역항 (예: 자와섬과 수마트라섬)의 설립으로 이어졌다. 취안저우시 또한 이 시기에 주요 중국 무역항이 되었으며, 기존의 광저우시 무역항과 합류했다. 두 항구는 동남아시아의 대응 항구들과 긴밀하게 연결되어, 역사가들은 이 지역의 독특한 무역 회로를 지중해 무역과의 유사성에서 "아시아 지중해"로 특징짓게 되었다. 그러나 송나라는 무역선이 해상에 머무를 수 있는 기간을 9개월로 제한하여 중국 무역선이 동남아시아에 도달할 수 있는 범위를 제한했다.
아랍과 타밀 상인들도 10세기부터 13세기까지 믈라카 해협을 통해 중국 항구와의 직접 무역 참여를 늘렸다. 1025년 타밀 촐라 제국의 라젠드라 1세가 스리위자야의 해협 항구에 대한 깜짝 해군 원정은 스리위자야가 타밀 무역 길드를 규제하거나 막으려 했기 때문에 발생했을 수도 있다. 촐라의 침략은 스리위자야의 믈라카 해협 항로 독점을 약 1세기 동안 종식시켰으며, 이 기간 동안 많은 스리위자야 도시가 촐라에 점령되었다. 스리위자야는 크게 약화되었고, 결국 1275년경 싱하사리 왕국에 복속된 후, 최종적으로 후계 해양제국인 마자파힛 제국 (1293–1527)에 흡수되었다.
13세기에 몽골 원나라가 중국을 침략했다. 이 시기 중국의 해운업은 원나라 정부와 오르톡 관계를 맺은 외국 무슬림 상인을 통해 국가에 의해 독점되었다. 그러나 송나라와 달리 원나라는 9개월 제한을 해제하여 중국 무역이 남아시아까지 진출할 수 있도록 했다. 원나라는 또한 일본, 마자파힛, 베트남 (오스트로네시아 참파, 그리고 비엣 대월)에 대한 해군 침공을 시도했다. 이 모든 시도는 실패했다. 중국 자체는 나중에 홍수, 가뭄, 기근으로 황폐해졌다. 동시에 흑사병이 유럽과 서아시아를 휩쓸고 있었다. 이 모든 요인들은 14세기에 해상 실크로드 무역의 침체를 가져왔다.
14세기 후반, 팔렘방 시국 (이슬람화된 스리위자야의 옛 수도)은 원나라를 전복한 명나라의 초대 황제인 홍무제에게 무역로 재건을 위해 사절을 보냈다. 팔렘방의 통치자는 힌두교-불교 마자파힛 제국으로부터 독립하여 도시의 옛 부를 되찾기를 희망했다. 마자파힛의 하얌 우룩은 봉신국의 행동에 분노하여 1377년 팔렘방에 징벌적인 해군 공격을 가했으며, 이로 인해 왕자들과 귀족들이 싱가푸라 왕국으로 흩어졌다. 싱가푸라는 차례로 1398년에 공격받고 약탈당했다. 팔렘방 출신이자 싱가푸라의 마지막 통치자였던 파라메스와르는 말레이반도 서해안으로 도피하여 15세기 초 이슬람 믈라카 술탄국을 세웠다.
같은 시기인 15세기 초, 명나라는 정화의 원정을 시작했는데, 이는 동남아시아의 "야만적인 왕"들이 명나라 조정에 "조공" (즉, 정기적인 무역로)을 다시 보내도록 강요하는 것을 목표로 했다. 이는 당시 "무역을 조공으로 여기는" 중화사상의 전형적인 모습이었다. 정화의 원정은 황실 자금의 고갈과 북방 침략의 위협으로 인해 선덕제가 원정을 중단하면서 단명했다. 그는 곧이어 해금 정책을 시행하고 해외 무역을 전면 금지했다. 그러나 궁극적으로 정화의 원정은 동남아시아 (믈라카)와 명나라 간의 무역 관계를 복원하는 목표에 성공했다. 15세기 중반경, 믈라카 술탄국은 믈라카 해협에 대한 효과적인 통제권을 얻었다. 이는 이미 내부 반란으로 고통받던 마자파힛의 영향력을 크게 약화시켰다. 믈라카로부터의 무역은 마자파힛의 멸망, 포르투갈의 믈라카 침공, 그리고 만주족의 침략으로 인한 명나라의 멸망 직전의 짧은 기간 동안 중국 항구에 계속 도착했다.
해상 실크로드는 15세기 식민지 시대에 붕괴되었고, 본질적으로 유럽 무역로로 대체되었다. 이전에 지배적이었던 동남아시아 무역선 (영어 용어 "junk"의 어원인 용선)의 건조는 17세기까지 완전히 중단될 때까지 쇠퇴했다. 그러나 중국산 정크선은 현대까지 살아남았다. 동남아시아의 향신료와 인도 및 중국의 직물에 대한 새로운 수요가 있었지만, 이들은 이제 지역 항구를 통하는 대신 유럽 시장으로 직접 연결되는 무역로와 연결되었다.
16세기에 대항해시대가 시작되었다. 포르투갈 제국이 믈라카를 점령하면서 무역 중심지는 아체 술탄국과 조호르 술탄국으로 이전되었다. 필리핀의 스페인 제국은 마닐라-아카풀코 갈레온 무역을 구축했는데, 이는 취안저우와 장저우에서 중국 자기와 비단, 그리고 라틴아메리카와 유럽 시장을 위한 향신료 (주로 말루쿠 향신료 제도에서)를 획득했다. 이 모든 것은 태평양을 가로질러 멕시코의 아카풀코와 스페인 아메리카 전역으로, 그리고 나중에는 스페인 보물 함대를 통해 멕시코의 베라크루스에서 스페인의 세비야로, 그리고 유럽 전역으로 무역되었다. 마닐라-아카풀코 갈레온 무역로는 태평양을 가로지르는 최초의 영구적인 무역로였다. 마찬가지로, 서인도 제도의 스페인 보물 함대는 역사상 최초의 영구적인 대서양 횡단 무역로였다. 둘 다 인도양 해상 실크로드를 완전히 우회했다.
해상 실크로드의 고고학적 증거로는 항로를 따라 회수된 수많은 난파선이 있으며, 이들 난파선은 멀리 떨어진 다양한 항구에서 조달된 무역품을 운반했거나 관련되어 있다. 이러한 초기 선박의 기원은 독특한 특징과 사용된 조선 기술 (예: 묶음돌기선 및 꿰맨 배 전통)의 조합으로 쉽게 식별할 수 있다. 여기에는 폰티안 선박 (), 푼줄하르조 선박 (), 부투안 배무덤 ( 사이의 여러 선박), 차우탄 난파선 (), 인탄 난파선 (), 카라왕 난파선 (), 그리고 치르본 난파선 () 등이 포함된다.
10세기 이전에 동남아시아에서 회수된 거의 모든 선박은 오스트로네시아 조선 전통에 속하며, 널빤지 이음선과 묶음돌기 기술의 변형 및 조합을 보여준다. 또 다른 초기 부분 난파선인 파크 클롱 클루아이 난파선 ()은 독특하게 못 박힌 장부이음을 사용하여 널빤지를 연결했다. 비록 이것이 페니키아와 이후 그리스-로마 조선 기술과 유사하지만, 이 선박 또한 오스트로네시아 선박으로, 동남아시아 나무에서 조달된 목재와 내부 표면에 묶음돌기 기술의 증거가 있다. 일부 저자들은 이를 페니키아 장부이음 조선 기술이 원래 지중해 외부에서 발전했다는 증거로 지적했다.
서기 10세기 이전에 동남아시아에서 발견된 난파선 중 오스트로네시아 선박이 아니며 초기 아랍 다우 조선 기술을 보여주는 것은 단 두 척뿐이다: 파놈-수린 선박 ()과 벨리퉁 난파선 (). 다우 선은 유사하게 널빤지 이음 기술을 사용하지만, 스티치가 내부 표면에서만 보이고 불연속적이라는 점에서 오스트로네시아 널빤지 이음 기술과 다르다. 또한 다우 선은 원래 묶음돌기 기술을 사용하지 않았지만, 나중에 벨리퉁 난파선과 같은 선박은 오스트로네시아 조선업자와의 접촉으로 이를 채택했다. 파놈-수린 선박의 주요 부품에 사용된 목재 중 일부는 서아시아 건축 방식에도 불구하고 동남아시아 나무에서 조달되었다. 마찬가지로, 일부 후기 오스트로네시아 선박은 서아시아 조선 기술의 요소 (예: 십자형 닻)를 보여주는데, 이는 선박이 원래 건조된 곳과 관계없이 선박의 상인과 선원들이 다국적 출신이었음을 시사한다.
중국은 송나라 ()까지 해상 실크로드를 항해하는 원양 선박을 건조하기 시작하지 않았다. 해상 실크로드에서 발견된 가장 오래된 중국 난파선은 명나라 시대의 투리앙 난파선 ()과 바카우 난파선 (). 중국산 선박 (정크) 또한 철 못과 클램프로 건조된 것으로 쉽게 식별할 수 있는데, 이는 나무 접합과 섬유 묶음으로만 건조된 오스트로네시아 및 서아시아 선박과 대조된다. 중국 선박의 다른 독특한 특징은 이전의 내륙 (강) 선박 기술에서 발전한 것으로, 평평한 바닥 디자인 (용골 없음), 중앙 방향키 (두 개의 측면 장착된 쿼터 방향키 대신), 그리고 선체를 방수 구획으로 나누는 것이다. 14세기와 15세기에 해상 실크로드가 끝나갈 무렵에는 중국과 오스트로네시아 조선 전통의 특징을 결합한 선박들도 나타나기 시작했으며, 심지어 인도까지 도달했다.
인도 선박은 서기 10세기 이전 해상 실크로드 동부 항로의 고고학적 맥락에서 마찬가지로 부재한다. 고다바야 난파선 ()은 인도양에서의 해상 네트워크의 가장 초기 증거이지만, 이는 남인도 해안을 따라 원자재의 지역 교환에만 관여했다.
고고학적 증거는 남중국해와 인도양의 무역선이 서기 10세기 이전에 오스트로네시아 널빤지 이음선과 묶음돌기선 선박, 그리고 아랍 다우 선박이었다는 것을 보여준다. 오스트로네시아 선박은 해상 비단길 역사의 대부분 기간 동안 장거리 해상 무역을 지배했다.
중국 도자기는 상대적으로 파괴되지 않고 정확하게 연대를 측정할 수 있다는 사실 때문에 해상 실크로드의 중요한 고고학적 표지물이다. 이들은 기원전 2세기에 고대 오스트로네시아 해상 네트워크를 통해 동남아시아에 처음 유입되었지만, 초기에는 중국의 주요 수출품이 아니었다. 당나라 (618-907 CE) 시대에 수출되기 시작하여 송나라 (960-1279 CE)와 원나라 (1279-1367 CE) 시대에 급격히 증가하다가 명나라 (1368-1643 CE) 시대에 감소했으며, 15세기에는 완전히 중단되었다. 동남아시아 무역망 전반에 걸친 이들의 분포는 지역 수요, 구매력, 무역 전문화의 차이를 반영하여 불균등하다. 중국 도자기의 가장 큰 집중은 믈라카 해협과 자와섬을 따라 발견되며, 술라웨시섬, 보르네오섬, 리아우 제도, 필리핀에서도 상당한 집중이 나타난다.
유럽중심주의와 중화사상의 로마와 중국 제국의 사치품과 이국적인 것에 대한 수요 (따라서 이름에 비단이 붙은 것)의 맥락에서 현대에 주로 이야기되지만, 무역선이 운반하는 상품은 지역과 항구의 수요에 따라 다양했다. 여기에는 도자기, 유리, 구슬, 보석, 상아, 향목, 금속 (원료 및 완제품), 직물 (비단 포함), 식량 (곡물, 와인, 향신료 포함), 향료, 동물 등이 포함되었다. 특히 상아는 동아프리카의 중요한 수출품이었으며 (아프리카 내륙을 통한 육상 무역로에서 유래), 치리쿠레 (2022)는 무역로의 서쪽 구간을 "해상 상아길"이라고 불렀다.
일부 초기 역사가들이 가정했던 것처럼 소규모 무역이나 고가치-저량 무역이 아니었다. 회수된 난파선이 운반하던 상품들은 그들이 상업자본주의에 참여했음을 보여준다. 매우 많은 양의 상품, 종종 대량 생산된 상품들이 이 경로를 따라 거래되었다.
무역로는 남중국해, 믈라카 해협, 인도양, 벵골만, 아라비아해, 페르시아만, 홍해를 포함한 수많은 바다와 대양을 아우른다. 해상 항로는 역사적인 동남아시아 해상 무역, 향신료 무역, 인도양 무역과 8세기 이후의 아랍 해군 무역망과 겹친다. 이 네트워크는 또한 동쪽으로 동중국해와 황해까지 확장되어 중국을 한반도와 일본 열도와 연결한다.
해상 실크로드는 그 이름이 유래한 육상 실크로드와는 여러 면에서 상당히 달랐으며, 따라서 단순히 육상 실크로드의 연장선으로 보아서는 안 된다. 해상 실크로드를 통과하는 상인들은 육상 경로와 같이 지역별 중계를 거치지 않고 해상 경로의 전체 거리를 이동할 수 있었다. 선박은 훨씬 더 많은 양의 상품을 운반할 수 있었고, 이는 각 교환마다 더 큰 경제적 영향을 미쳤다. 선박이 운반하는 상품 또한 캐러밴이 운반하는 상품과 달랐다. 해상 경로의 상인들은 날씨나 해적과 같은 다른 위험에 직면했지만, 정치적 불안정의 영향을 받지 않았고 단순히 분쟁 지역을 피할 수 있었다.
세계유산 등재 제안.
2017년 5월, 다양한 분야의 전문가들이 런던에서 "해상 실크로드"를 새로운 유네스코 세계유산으로 등재 제안을 논의하기 위한 회의를 개최했다.
정치적 활용.
고대 해상 비단길에 대한 학술 연구는 현대 국가들에 의해 정치적인 이유로 전유되고 신화화되었다. 특히 중화인민공화국은 2015년 시진핑이 인도네시아 방문 중 처음 제안한 일대일로 사업을 위해 해상 실크로드의 신화화된 이미지를 사용한다. 이는 동남아시아와 인도양의 항구 도시 간의 옛 무역로를 다시 연결하려는 시도이며, 중국 선원들이 이 경로를 개발하는 데 주요 역할을 했다는 잘못된 가정을 전제한다.
인도 또한 2014년에 시작된 프로젝트 마우삼으로 해상 실크로드를 신화화했는데, 이는 인도양 주변 국가들과의 옛 무역 관계를 다시 연결하려는 유사한 시도이다. 인도 또한 해상 실크로드에서 중심적인 역할을 수행한다고 묘사하며, 초기 인도 민족주의 역사가들은 인도의 무역 연결과 압도적인 일방적인 문화 확산을 대인도의 비전 아래 "인도 식민지화"로 묘사했다.
에이전트 지향 프로그래밍(Agent-oriented programming, AOP)은 소프트웨어 에이전트의 개념을 중심으로 소프트웨어의 구성이 이루어지는 프로그래밍 패러다임이다. 핵심에 (가변 파라미터를 가진 메서드를 제공하는) 객체를 두는 객체 지향 프로그래밍과 달리, AOP는 (인터페이스와 메시징 기능을 가진) 외부에 지정된 에이전트를 핵심에 둔다. 이는 객체의 추상화로 생각할 수 있다. 교환된 메시지는 수신 "에이전트"에 의해 해당 에이전트 클래스에 특정한 방식으로 해석된다.
역사적으로, 에이전트 지향 프로그래밍의 개념과 에이전트 개념을 중심으로 소프트웨어를 구성하는 아이디어는 1990년 요아브 쇼햄이 자신의 인공지능 연구에서 도입했다. 그의 에이전트들은 하나의 파라미터를 가진 하나의 메서드만을 가지므로 그의 패러다임에 특화되어 있다. 1990년 쇼햄의 논문에서 AOP와 OOP의 기본적인 차이점을 인용하면 다음과 같다:
쇼햄의 프로그래밍 패러다임을 구현하는 여러 AOP '프레임워크'가 있으며, 이를 에이전트 플랫폼이라고도 한다. 다음 예시들은 기본 에이전트가 헬로월드 프로그램으로 어떻게 프로그래밍되는지 보여준다.
JADE.
자바 플랫폼을 위한 프레임워크 중 하나는 JADE이다.
다음은 코드를 실행하는 에이전트의 매우 기본적인 예시이다.
JADE의 AOP 모델의 핵심은 API가 표준 FIPA 에이전트 통신 언어를 지원한다는 것이다.