共 50 条
- [41] Scheme inclusion verification algorithm in algebraic model of programs with constants Programming and Computer Software, 2007, 33 : 299 - 306
- [42] An algebraic-numeric algorithm for the model selection in kinetic networks COMPUTER ALGEBRA IN SCIENTIFIC COMPUTING, PROCEEDINGS, 2007, 4770 : 433 - +
- [43] Algebraic representation and model solving algorithm for CP-nets Moshi Shibie yu Rengong Zhineng, 6 (725-732):
- [45] On the use of Buchberger criteria in G2V algorithm for calculating Gröbner bases Programming and Computer Software, 2013, 39 : 81 - 90
- [48] Using the EM algorithm to estimate the state space model for OMAX PROCEEDINGS OF INTERNATIONAL CONFERENCE ON NOISE AND VIBRATION ENGINEERING (ISMA2014) AND INTERNATIONAL CONFERENCE ON UNCERTAINTY IN STRUCTURAL DYNAMICS (USD2014), 2014, : 3209 - 3221
- [50] Estimate model of delay in autolever system and its algorithm design DCABES 2004, Proceedings, Vols, 1 and 2, 2004, : 727 - 730