共 50 条
- [41] Bounded STL Model Checking for Hybrid Systems (Invited Talk) PROCEEDINGS OF THE 9TH ACM SIGPLAN INTERNATIONAL WORKSHOP ON FORMAL TECHNIQUES FOR SAFETY-CRITICAL SYSTEMS, FTSCS 2023, 2023, : 1 - 1
- [42] Voxelization of STL model based on dual-level octree Jisuanji Jicheng Zhizao Xitong/Computer Integrated Manufacturing Systems, CIMS, 2014, 20 (07): : 1553 - 1560
- [43] Optimization of STL model and layer shape for laser cladding forming The International Journal of Advanced Manufacturing Technology, 2019, 100 : 599 - 608
- [46] Optimization and application of STL model slicing algorithm in rapid prototyping ADVANCED DESIGNS AND RESEARCHES FOR MANUFACTURING, PTS 1-3, 2013, 605-607 : 669 - 672
- [47] Support generation algorithm based on the vertical slice of STL model Yi Qi Yi Biao Xue Bao, 2007, 2 (212-216):
- [49] Research on CAD/CAM Integration Methods Based on the STL Model PROCEEDINGS OF THE 5TH INTERNATIONAL CONFERENCE ON ELECTRICAL ENGINEERING AND AUTOMATIC CONTROL, 2016, 367 : 1201 - 1207
- [50] Trajectory Generation For Glazing Spray Gun Based On STL Model MECHANICAL STRUCTURES AND SMART MATERIALS, 2014, 487 : 617 - 620