查询词典 computative
- 与 computative 相关的网络例句 [注:此内容来源于网络,仅供参考]
-
It is important for the application of formal approach and formal specification in all stages of software development to study and design automatic refinement from Z to high-levellanguage: Insure complete formalization in all stages of software development; Avoid antilogy in refinement due to mistaken operation or computative mistake and insure consistency and integrity of system; Due to avoiding manual operation in refinement process, it is feasible to bulid a compile environment that Z specification automatic refine and form high-level programme, this will accelerate the promotion and application of Z in industry.
Z到高级语言自动求精的研究与设计对于形式化方法及形式规格说明应用于软件开发的各个阶段具有非常重要的意义:确保了从需求分析阶段开始的软件开发周期的完全形式化;避免了人工的误操作或演算错误导致的求精前后不一致,保证了系统的一致性和完整性;由于求精过程避免了手工操作,因而Z规格说明自动精化为程序代码的编译环境可以建立,这将会加速Z规格说明在工业界的推广应用。
-
Because I cannot get the Chinese website of a lot of high quality is linked, so this problem cannot computative.
由于我无法得到很多高质量的中文网站链接,所以这个问题无法推算。
-
The computative results of welding temperature field and transverse displacement field are in accord with the experimental results.
焊接温度场和位移场的计算结果与实测结果相吻合。
-
With this computative, predict 2010, market dimensions will achieve a RMB 280 billion yuan.
以此推算,预计到2010年,市场规模将达到人民币2800亿元。
-
Statistical estimation is computative be already economy scientific important method.
统计估计推算是既经济又科学的重要方法。
-
The computative methods and relative parameters are studied.
进而研究了数值计算方法和有关要素的确定方法。
-
Wang Jun rich expresses, according to this data computative, indulging person is very few.
王俊博表示,按照此数据推算,沉迷的人很少。
-
If press 20% tax rate computative, academic admiral produces the revenue income of 2 billion yuan of above.
若按20%税率推算,理论上将产生20亿元以上的税收收入。
-
If be its rise and fall to fall,draw on one piece of graph, slightly computative can see,.
假如为它的起起落落画上一张曲线图,稍加推算就可以看出,。。。
-
The article discussed statistic to estimate computative meaning, value, the principle that estimation should follow, the requirement that should have reachs the specific means with computative estimation.
本文论述了统计估计推算的涵义、重要性,估算应遵循的原则,应具备的条件及估计推算的具体方法。
- 推荐网络例句
-
It goes back to what I told you...
现在回到我告诉过你的。。。
-
With a supporter in Mr Charest and an admirer in Mr Dumont, Mr Harper may be encouraged to call an election himself.
由于在沙雷那边有个支持者,杜蒙那边有个崇拜者,鼓励哈珀为自己举行一次选举。
-
Come to a "Chronicle" in.
来个"纪事"的。