Abstract
The matfun toolkit of the scientific computing software Matlab contains more than 40 commonly used matrix computing related functions, which have important applications in artificial intelligence, big data and other fields. This paper makes use of the modeling, simulation and verification language MSVL to imitate all basic functions in the matfun function library, and gives several representative function algorithms and implementation details. Finally we use these functions to design and implement a practical application.
The research is supported by the National Natural Science Foundation of China under Grant No. 61133001, 61572386, 61420106004 and 91418201.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Moszkowski, B.C.: Executing Temporal Logic Programs. Cambridge University Press, Cambridge (1986)
Duan, Z.: Temporal Logic and Temporal Logic Programming. Science Press, Beijing (2005)
Duan, Z., Tian, C., Zhang, L.: A decision procedure for propositional projection temporal logic with infinite models. Acta Informatica 45(1), 43–78 (2008)
Duan, Z., Yang, X., Koutny, M.: Framed temporal logic programming. Sci. Comput. Program. 70(1), 31–61 (2008)
Duan, Z., Tian, C.: A practical decision procedure for propositional projection temporal logic with infinite models. Theor. Comput. Sci. 554, 169–190 (2014)
Zhang, N., Duan, Z., Tian, C.: Model checking concurrent systems with MSVL. Sci. China Inf. Sci. 59(11), 1–3 (2016)
Zhang, N., Duan, Z., Tian, C.: A mechanism of function calls in MSVL. Theor. Comput. Sci. 654, 11–25 (2016)
Peng, Y., Duan, Z., Zhang, N.: Design and Implementation of MSVL Compiler Based on Normal Form. Xidian University (2022)
Pseudo-inverse Matrix. https://www.jianshu.com/p/609fa0cce409
Xu, D., Meng, X.: Matlab Function Library Query Dictionary. Document (2006). https://ww2.mathworks.cn/help/matlab/index.html
Singular Value Decomposition. https://zhuanlan.zhihu.com/p/29846048
Golub, G.H., Van Loan, C.F.: Matrix Computations, Sections 6.5.2-6.5.3, 4th edn., pp. 335–338. Johns Hopkins University Press, Baltimore (2013)
Higham, N.J.: The scaling and squaring method for the matrix exponential revisited. SIAM J. Matrix Anal. Appl. 26(4), 1179–1193 (2005)
Matrix Computations. Posts and Telecom Press (2014)
Golub, G.H., Van Loan, C.F.: Matrix Computation, p. 384. Johns Hopkins University Press, Baltimore (1983)
Moler, C.B., Van Loan, C.F.: Nineteen dubious ways to compute the exponential of a matrix. SIAM Rev. 20, 801–836 (1978). Reprinted and updated as Nineteen Dubious Ways to Compute the Exponential of a Matrix, Twenty-Five Years Later? SIAM Review 45, 2003, pp. 3–49
Givens Transform. https://www.cnblogs.com/reasno/p/9643529.html
Matlab Document. https://ww2.mathworks.cn/help/matlab/index.html
Linear Algebra and Its Application. China Machine Press (2020)
Detailed Explanation of the Principle of Principal Component Analysis (PCA). https://zhuanlan.zhihu.com/p/37777074
Author information
Authors and Affiliations
Corresponding authors
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2023 The Author(s), under exclusive license to Springer Nature Switzerland AG
About this paper
Cite this paper
Feng, X., Zhang, N., Duan, Z. (2023). Implementation of Matlab matfun Toolkit Based on MSVL. In: Liu, S., Duan, Z., Liu, A. (eds) Structured Object-Oriented Formal Language and Method. SOFL+MSVL 2022. Lecture Notes in Computer Science, vol 13854. Springer, Cham. https://doi.org/10.1007/978-3-031-29476-1_4
Download citation
DOI: https://doi.org/10.1007/978-3-031-29476-1_4
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-031-29475-4
Online ISBN: 978-3-031-29476-1
eBook Packages: Computer ScienceComputer Science (R0)