摘要：本文定义了工作流网的精炼操作,研究了精炼工作流网的行为保持性质。结果表明精炼工作流网满足行为保持性质,即精炼工作流网的行为与原网和子网行为保持一致。在精炼工作流网行为保持性质的基础上,给出了基于原网语言和子网语言的精炼工作流网的语言刻画。本文结果有助于复杂工作流的设计、建模和验证。

摘要：将正交设计法和遗传算法相结合 ,既保留了遗传算法本身的优点 ,又可以较好地解决遗传算法在达到全局最优解前收敛慢的问题。

摘要：针对标准GAs在多维优化中存在的弊端，提出了一种改进GAs，在染色体基因解码方式、交换与变异算子、适应值函数设计等方面做了改进。通过对极难优化函数的优化计算，说明该算法有良好的全局搜索能力和较快的收敛速度。

摘要：电膜法海水淡化技术，是将海水经过纳米催化微电解、砂滤和微滤处理后，进行反渗透分离得浓缩卤水和淡水。采用该技术进行海水淡化，在设计的工况下，系统长时间出水稳定，淡化脱盐率维持在98％以上，水质符合《生活饮用水卫生标准》GB5749—2006。