A mixed integer nonlinear programming model with logical proposition constraints was developed for eip . the model could provide decision supports for eip design and management and was illustrated by a case study of zaozhuang eip 作者提出了一个引入逻辑表达式约束的eip混合整数非线性规划模型，求解结果可为eip的规划和管理提供决策参考。
Describes xquery primary expressions , path expressions , sequence expressions , arithmetic comparison and logical expressions , xquery construction , flwor expression , conditional and quantified expressions , and various expressions on sequence types 介绍xquery主表达式、路径表达式、序列表达式、算术比较和逻辑表达式、 xquery构造、 flwor表达式、条件和定量表达式以及序列类型的各种表达式。
In this paper , a fault - tolerant wormhole routing algorithm is presented to tolerate the disjointed convex faulty regions with distance two or no less , which do not contain any nonfaulty nodes and do not prohibit any routing as long as nodes outside faulty regions are connected in the mesh network 本文提出了一个二维mesh上容错的虫孔路由算法，它能容忍距离不小于2的不相交的凸型故障区域，且不禁止网络中任何连通节点之间的路由。该算法应用局部知识和形式化的逻辑表达式描述，使得路由算法容易实现。
