期刊文献+

三角函数的SCADE Suite实现方法 被引量:2

Implementation of Trigonometric Function by SCADE Suite
下载PDF
导出
摘要 利用SCADE Suite实现三角函数的泰勒级数展开法,进行了建模、仿真、比较。对于嵌入式编程,很多时候由于系统的限制,需重新实现三角函数而不是使用编译器自带的三角函数。实现三角函数,多数会应用迭代算法,而对于手工编程下的迭代等算法,编程人员都比较熟悉,但是对于使用模型方式来实现循环、迭代还是一种比较新的技术,多数软件开发人员并不熟悉,通过本文可以了解这一技术,并解决建模方式下实现三角函数及反三角函数等类似较复杂算法的难点。 In this paper, implementing trigonometric function with Taylor by SCADE Suite. Simultaneously, finishing modling, simulation, and comparing. For the arithmetic of iteration, programmer is familiar with the means of manual-coding, but it is a new technology for modling. By this paper, researching this technology in a practical project and giving a conclusion.
作者 林枫
出处 《计算机系统应用》 2012年第3期228-231,共4页 Computer Systems & Applications
关键词 三角函数 SCADE 泰勒级数 迭代 模型 trigonometric function SCADE Suite Taylor iteration model
  • 相关文献

参考文献5

二级参考文献17

共引文献41

同被引文献11

  • 1WANG Hai-feng, LIU Shuo, GAO Chun-hai. Study on model-basedsafety verification of automatic train protection system [ C] //Proc ofthe 2nd Asia-Pacific Conference on Computational Intelligence and In-dustrial Applications. [S. 1.] :IEEE Press,2009:467-470. 被引量:1
  • 2中华人民共和国国家军用标准GJB142-2004-Z,军用软件安全性分析指南[S].北京:总装备部军标出版发行部,2004. 被引量:1
  • 3CHO C B,CH0I D H,QUAN Zhong-hua, et al. Modeling of CBTCCarbome ATO functions using SCADE [ C] //Proc of the 11th Interna-tional Conference on Control, Automation and Systems. [ S. 1.] :IEEEPress,2011:1089-1093. 被引量:1
  • 4CHENG Yun, LI Xiao-hui, XUE Song, et al. The position and speeddetection sensors based on electro-magnetic induction for maglev train[C] //Proc of the 29th Chinese Control Conference. [ S. 1.] : IEEEPress,2010:5463-5468. 被引量:1
  • 5HOU Ming-xin,NI Feng-lei, JIN Ming-he. The application of real-timeoperating system QNX in the computer modeling and simulation[ C]//Proc of the 2nd International Conference on Artificial Intelligence,Management Science and Electronic Commerce. [ S. 1.] :IEEE Press,2011:6808-6811. 被引量:1
  • 6ESTEREL Technologies. SCADE suite [EB/OL]. ( 2012-11-01)[2013- 03- 07]. http://www. esterel-technologies. com/products/scade-suite/. 被引量:1
  • 7樊晓光,褚文奎,张凤鸣.软件安全性研究综述[J].计算机科学,2011,38(5):8-13. 被引量:22
  • 8章晓春,金平,孙全艳.SCADE平台下的图形化设计和代码自动生成[J].软件,2011,32(5):74-77. 被引量:6
  • 9胡钢伟,李振水,高亚奎.SCADE软件开发方法研究[J].系统仿真学报,2008,20(S2):286-288. 被引量:13
  • 10林枫.基于SCADE的形式化验证技术研究[J].测控技术,2011,30(12):71-74. 被引量:10

引证文献2

二级引证文献5

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部