{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T14:36:45Z","timestamp":1742913405775,"version":"3.40.3"},"publisher-location":"Cham","reference-count":23,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030774738"},{"type":"electronic","value":"9783030774745"}],"license":[{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2021]]},"DOI":"10.1007\/978-3-030-77474-5_4","type":"book-chapter","created":{"date-parts":[[2021,6,3]],"date-time":"2021-06-03T04:04:50Z","timestamp":1622693090000},"page":"54-65","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Design and Implementation of Virtual Reality Geometric Modeling in Apla+VR"],"prefix":"10.1007","author":[{"given":"Jiewen","family":"Huang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jinyun","family":"Xue","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zhen","family":"You","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zhehong","family":"Zhou","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2021,6,4]]},"reference":[{"key":"4_CR1","unstructured":"Zhao, Q.P.: Overview of virtual reality. Sci. China (Series F: Inf. Sci.) 39(1), 2\u201346 (2009)"},{"issue":"1","key":"4_CR2","first-page":"48","volume":"13","author":"Y Boas","year":"2013","unstructured":"Boas, Y.: Overview of virtual reality technologies. Interact. Multimedia Conf. 13(1), 48\u201369 (2013)","journal-title":"Interact. Multimedia Conf."},{"key":"4_CR3","doi-asserted-by":"publisher","unstructured":"Xue, J.Y., Huang, J.W., You, Z.: Research on virtual reality modeling mechanism based on apla language[J\/OL]. J. Huazhong Univ. Sci. Technol. (Nat. Sci. Ed.) 1\u20137 (2020). https:\/\/doi.org\/10.13245\/j.hust.210209","DOI":"10.13245\/j.hust.210209"},{"key":"4_CR4","doi-asserted-by":"crossref","unstructured":"Pavao, A.C., Pouzada, E.V.S., Mathias, M.A.: Electromagnetic field visualization through VTK software. In: Proceedings of the 2001 SBMO\/IEEE MTT-S International Microwave and Optoelectronics Conference. Belem: IEEE, pp. 21\u201324 (2001)","DOI":"10.1109\/SBMOMO.2001.1008710"},{"key":"4_CR5","volume-title":"3ds MAXScript Scripting Language Complete Learning Manual","author":"W Hua","year":"2006","unstructured":"Hua, W.: 3ds MAXScript Scripting Language Complete Learning Manual. Ordnance Industry Press, Tianjin (2006)"},{"key":"4_CR6","unstructured":"3ds Max HELP GUIDES. [EB\/OL] (2020) https:\/\/help.autodesk.com\/view\/3DSMAX\/2021\/ENU\/.Autodesk"},{"key":"4_CR7","unstructured":"Digital protection of Nefertari's tomb. [EB\/OL]. https:\/\/www.nefertaritomb.com\/vr-nowadays"},{"key":"4_CR8","volume-title":"ZBrush Character Creation: Advanced Digital Sculpting","author":"S Scott","year":"2011","unstructured":"Scott, S.: ZBrush Character Creation: Advanced Digital Sculpting, 2nd edn. Sybex Inc, U.S (2011)","edition":"2"},{"key":"4_CR9","unstructured":"Zhang, J.H., et al.: Research on the 3D digital protection of ancient buildings and cultural relics based on 3D laser scanning\u2014taking the Dacheng hall of Confucian temple in Leshan, Sichuan as an example. Mapp. Spatial Geographic Inf. 39(07), 42\u201344 (2016)"},{"key":"4_CR10","unstructured":"Li, Q., Cheng, X.J.: Accuracy test and analysis of self-positioning handheld 3D laser scanner. Bull. Surveying Mapping, (10), 65\u201368+96 (2016)"},{"key":"4_CR11","unstructured":"Ames, A.L., Nadeau, D.R., Moreland, J.L.: VRML2.0 SourceBook. Wiley, New York (1997)"},{"key":"4_CR12","unstructured":"Pieper, S., et al.: The NA-MIC Kit: ITK, VTK, pipelines, grids and 3D slicer as an open platform for the medical image computing community. In: 3rd IEEE International Symposium on Biomedical Imaging: Nano to Macro, pp. 698\u2013701 (2006)"},{"key":"4_CR13","unstructured":"Li, J.J.: Realization of 3D modeling and interactive system for indoor architecture based on Unity3D. China University of Mining and Technology (2014)"},{"key":"4_CR14","first-page":"163","volume":"2014","author":"J Blaha","year":"2014","unstructured":"Blaha, J., Gupta, M.: Diplopia: a virtual reality game designed to help amblyopics. IEEE Virtual Reality (VR) 2014, 163\u2013164 (2014)","journal-title":"IEEE Virtual Reality (VR)"},{"key":"4_CR15","unstructured":"Xue, J.Y.: PAR method and its supporting platform. In: Prof of the 1st International Workshop on Asian Working Conference on Verified Software. [s.n.], pp. 159\u2013169 (2006)"},{"issue":"6","key":"4_CR16","doi-asserted-by":"publisher","first-page":"553","DOI":"10.1007\/BF02946498","volume":"13","author":"JY Xue","year":"1998","unstructured":"Xue, J.Y.: Formal derivation of graph algorithmic programs using partition-and-recur. J. Comput. Sci. Technol. 13(6), 553\u2013561 (1998). https:\/\/doi.org\/10.1007\/BF02946498","journal-title":"J. Comput. Sci. Technol."},{"key":"4_CR17","unstructured":"Gries, D., Xue, J.Y.: The Hopcroft-Tarjan planarity algorithm, presentation and improvements. Technical Report, 88\u2013906, Computer Science Department, Cornell University (1988)"},{"key":"4_CR18","volume-title":"Radl\u2192Apla Program Generation System and its Reliability Research","author":"WP Xie","year":"2009","unstructured":"Xie, W.P.: Radl\u2192Apla Program Generation System and its Reliability Research. Jiangxi Normal University Library, Nanchang (2009)"},{"key":"4_CR19","volume-title":"Development of Apla to C++ Automatic Program Conversion System","author":"L Yong","year":"2002","unstructured":"Yong, L.: Development of Apla to C++ Automatic Program Conversion System. Jiangxi Normal University Library, Nanchang (2002)"},{"key":"4_CR20","volume-title":"Design and Implementation of Apla\u2192C# Automatic Program Conversion System","author":"ZK Zuo","year":"2004","unstructured":"Zuo, Z.K.: Design and Implementation of Apla\u2192C# Automatic Program Conversion System. Jiangxi Normal University Library, Nanchang (2004)"},{"key":"4_CR21","volume-title":"Apla-Java Automatic Program Conversion System Supporting Generic Programming","author":"HH Shi","year":"2004","unstructured":"Shi, H.H.: Apla-Java Automatic Program Conversion System Supporting Generic Programming. Jiangxi Normal University Library, Nanchang (2004)"},{"key":"4_CR22","doi-asserted-by":"publisher","first-page":"70","DOI":"10.1007\/978-3-030-02450-5_5","volume-title":"Formal Methods and Software Engineering: 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, 12\u221216 November 2018, Proceedings","author":"J Xue","year":"2018","unstructured":"Xue, J., Zheng, Y., Qimin, H., You, Z., Xie, W., Cheng, Z.: PAR: a practicable formal method and\u00a0its supporting platform. In: Sun, J., Sun, M. (eds.) Formal Methods and Software Engineering: 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, 12\u221216 November 2018, Proceedings, pp. 70\u201386. Springer International Publishing, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-030-02450-5_5"},{"key":"4_CR23","unstructured":"Dijkstra, E.W.: A Discipline of programming. Prentice Hall, New Jersey (1976)"}],"container-title":["Lecture Notes in Computer Science","Structured Object-Oriented Formal Language and Method"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-77474-5_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,9,1]],"date-time":"2024-09-01T03:34:24Z","timestamp":1725161664000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-030-77474-5_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021]]},"ISBN":["9783030774738","9783030774745"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-77474-5_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2021]]},"assertion":[{"value":"4 June 2021","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"SOFL+MSVL","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Workshop on Structured Object-Oriented Formal Language and Method","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Singapore","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Singapore","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2020","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"1 March 2020","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"1 March 2020","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"sofl2020","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/formal-analysis.com\/icfem\/2020\/sofl_msvl\/index.html","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"easychair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"24","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"13","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"0","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"54% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"2","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"No","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Due to the Corona pandemic this event was held virtually.","order":10,"name":"additional_info_on_review_process","label":"Additional Info on Review Process","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}