1) problem formulation tool
问题公式化工具
2) quantified Boolean formula problem
量化布尔公式问题
3) Tool and resource issues
工具与资源问题
4) concrete conditions
具体问题
1.
Try to discuss a concrete analysis of concrete conditions in environmental monitoring and analysis;
试论环境监测分析中的具体问题具体分析
5) engineering optimization
工程优化问题
1.
Comparison of neural network and evolutionary algorithm on engineering optimization
工程优化问题中神经网络与进化算法的比较
6) formal tool
形式化工具
1.
It must depend on formal tool which helps to check the validity of service combination.
在目前对于服务组合的研究中,对于用业务流程执行语言(BPEL)和WSCL等标准语言来描述的服务来说,语言本身缺乏对组合正确性进行检验的支持,必须借助相关的形式化工具来完成对服务组合的检验。
补充资料：问题
①要求解答的题目：考卷上有六个问题｜我提一个问题，请大家思考。②需要研究解决的疑难和矛盾：交通问题｜不成问题｜没问题｜写什么是一个问题，怎么写又是一个问题。③关键；重点：问题在于廉政｜问题在于资金。④意外事故：出问题｜发生问题。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条