为了加快工作票的生成速度和保证操作过程的安全性，提出了一种基于规则的工作票描述语言自动生成算法。
To speed up the generating procedure of work order and guarantee the operation safety, a rule-based algorithm for the automatic generation of work order description language is presented.
研究神经网络模型的结构和算法的分离与结合理论及结合神经网络结构描述语言实现底层代码的重用。
The separation of structure and algorithm in NN simulating model and how to reuse the code of NN through language description are introduced.
该软件完成对硬件描述语言实现的密码算法IP核进行功耗分析。
The simulation software conducts the power analysis of cryptographic algorithm IP core which is described by hardware language.
本文利用时序状态转换系统作为中介，提出一种把过程描述语言的项转换成z规格的机械算法。
In this paper, a mechanical algorithm is proposed for translating description of process description language to Z specification, and temporal status transition system is used as intermediary.
本文利用时序状态转换系统作为中介，提出一种把过程描述语言的项转换成z规格的机械算法。
In this paper, a mechanical algorithm is proposed for translating description of process description language to Z specification, and temporal status transition system is used as intermediary.
应用推荐