المؤلفون: LI Hongguang, LIU Yaoqi, ZHOU Yiqing, SHI Jinglin

المصدر: Dianxin kexue, Vol 40, Pp 1-12 (2024)

مصطلحات موضوعية: satellite Internet, MBSE, simulation modeling, simulation platform, integration verification, Telecommunication, TK5101-6720, Technology

وصف الملف: electronic resource

Relation: https://doaj.org/toc/1000-0801

URL الوصول: https://doaj.org/article/f3b1043f8fae4368a2f6e00dc6e50574

المؤلفون: Sarah Walsh, David Murphy, Maeve Doyle, Joseph Thompson, Rachel Dunwoody, Masoud Emam, Jessica Erkal, Joe Flanagan, Gianluca Fontanesi, Andrew Gloster, Joe Mangan, Conor O'Toole, Favour Okosun, Rakhi Rajagopalan Nair, Jack Reilly, Lána Salmon, Daire Sherwin, Paul Cahill, Daithí de Faoite, Umair Javaid, Lorraine Hanlon, David McKeown, William O'Connor, Kenneth Stanton, Alexei Ulyanov, Ronan Wall, Sheila McBreen

مصطلحات موضوعية: Space Science, CubeSats, EIRSAT-1, Fly Your Satellite!, Assembly Integration & Verification

Relation: 2381/12624083.v1; https://figshare.com/articles/conference_contribution/Assembly_Integration_and_Verification_Activities_for_a_2U_CubeSat_EIRSAT-1/12624083

الاتاحة: https://figshare.com/articles/conference_contribution/Assembly_Integration_and_Verification_Activities_for_a_2U_CubeSat_EIRSAT-1/12624083

المؤلفون: Laudisio, Fulvio

المساهمون: Laudisio, Fulvio, Naletto, Giampiero

مصطلحات موضوعية: Euclid NISP AIV AIT Assembly Integration Verification, Settore ING-IND/05 - Impianti e Sistemi Aerospaziali

Relation: numberofpages:261; http://hdl.handle.net/11577/3426230

الاتاحة: http://hdl.handle.net/11577/3426230

المؤلفون: Grundmann, Jan Thimo, Biele, Jens, Dachwald, Bernd, Grimm, Christian, Lange, Caroline, Ulamec, Stephan, Ziach, Christian, Spröwitz, Tom, Ruffer, Michael, Seefeldt, Patric, Spietz, Peter, Toth, Norbert, Kawaguchi, J., Mori, O., Rittweger, Andreas, Bibring, Jean-Pierre, Braukhane, Andy, Boden, Ralf, Chujo, Toshihiro, Dumont, Etienne, Jahnke, Stephan Siegfried, Jetzschmann, Michael, Kato, H, Krüger, Hans, Lange, Michael, Martelo Gomez, Antonio, Massonett, Didier, Mimasu, Yuya, Okada, T., Sagliano, Marco, Sasaki, Kaname, Schröder, Silvio, Sippel, Martin, Skoczylas, Thomas, Wejmo, Elisabet

مصطلحات موضوعية: Funktionsleichtbau, Small Solar System Body Lander, MASCOT, Systementwicklung und Projektbüro, Systemanalyse Raumtransport, Systemanalyse Raumsegment, Philae, MASCOT2, Nutzerzentrum für Weltraumexperimente (MUSC), Solar Power Sail, Avioniksysteme, Land und Explorationstechnologie, AIM, Concurrent Assembly Integration Verification, Ryugu, Navigations- und Regelungssysteme, Mechanik und Thermalsysteme, Constraints-Driven Engineering, Small Spacecraft, AIDA, Model-Based Systems Engineering

وصف الملف: application/pdf

URL الوصول: https://explore.openaire.eu/search/publication?articleId=od______1640::7a680eeba9d6035bc72edbd5b3880266
https://elib.dlr.de/118803/

المؤلفون: Chen, Chien-Chih

Thesis Advisors: Jin-Hua Hong, David Chang, Ming-Chao Chiang, Ing-Jer Huang

مصطلحات موضوعية: microprocessor, cache transfer operation, page fault, operating system, integration verification, external interrupt

وصف الملف: application/pdf

الاتاحة: http://etd.lib.nsysu.edu.tw/ETD-db/ETD-search/view_etd?URN=etd-0910112-214712

المؤلفون: 張文賢, Chang, Wen-Hsien

المساهمون: 施吉昇, Shih, Chi-Sheng, 臺灣大學:資訊工程學研究所

مصطلحات موضوعية: 元件介面, 整合驗證, 介面定義語言, 元件整合, 網路服務, 正規驗證, component interface, integration verification, interface definition language, component integration, web service, formal verification

وصف الملف: 1073574 bytes; application/pdf

Relation: U0001-0302200920322400; http://ntur.lib.ntu.edu.tw/handle/246246/185384; http://ntur.lib.ntu.edu.tw/bitstream/246246/185384/1/ntu-98-R95922039-1.pdf

الاتاحة: http://ntur.lib.ntu.edu.tw/handle/246246/185384
http://ntur.lib.ntu.edu.tw/bitstream/246246/185384/1/ntu-98-R95922039-1.pdf