On the monotonicity of (LDL) logic programs with set

LDL is one of the recently proposed logical query languages, which incorporate set, for data and knowledge base systems. Since LDL programs can simulate negation, they are not monotonic in general. On the other hand, there are monotonic LDL programs. This paper addresses the natural question of “When are the generally nonmonotonic LDL programs monotonic?” and investigates related topics such as useful applications for monotonicity. We discuss four kinds of monotonicity, and examine two of them in depth. The first of the two, called “ω-monotonicity”, is shown to be undecidable even when limited to single-stratum programs. The second, called “uniform monotonicity”, is shown to implyω-monotonicity. We characterize the uniform monotonicity of a program (i) by a relationship between its Bancilhon-Khoshafian semantics and its LDL semantics, and (ii) with a useful property called subset completion independence. Characterization (ii) implies that uniformly monotonie programs can be evaluated more efficiently by discarding dominated facts. Finally, we provide some necessary and/or sufficient, syntactic conditions for uniform monotonicity. The conditions pinpoint (a) enumerated set terms, (b) negations of membership and inclusion, and (c) sharing of set terms as the main source for nonuniform monotonicity.     

Cross-Layering Approaches in Wireless Ad Hoc Networks

Wireless ad hoc networks are temporary formed, infrastructureless networks. Due to the unstable channel conditions and network connectivity, their characteristics impose serious challenges in front of network designers. The layering approach to network design does not fit the ad hoc environment well. Therefore, various cross-layering approaches, where protocol layers actively interact, exchange inherent layer information and fine tune their parameters according to the network status are becoming increasingly popular. This paper presents an in-depth analysis of the latest cross-layering approaches for wireless ad hoc networks supported by several examples. A special emphasis is put on the link and network layer related cross-layer designs. Several link adaptation and efficient service discovery schemes are elaborated through analytical and simulation studies. Their performance shows the potentials of the cross-layering for boosting system characteristics in wireless ad hoc networks. Liljana Gavrilovska currently holds a position of full professor at Faculty of Electrical Engineering, University “St. Cyril and Metodij” – Skopje, Macedonia. She is chief of Telecommunications Laboratory and teaches undergraduate courses in telecommunication networks, data transmission and switching and traffic theory, and graduate courses in wireless, mobile and personal networks, teletraffic engineering and planning, and broadband multiservices networks. In 2000 she joined the Center for PersonKommunikation, Aalborg University, Denmark, as a visiting professor and during 2001--2002 she held a position of associate research professor at the same university. Currently she holds a part-time position of associated research professor with Center for Teleinfrastructur (CTIF). Prof. Gavrilovska was involved in several EU (ACTS ASAP, IST PACWOMAN, MAGNET, TEMPUS) and national/international projects. She published numerous conference and journal papers and participated in several workshops. At the moment she is working on the book “Ad Hoc Networking Towards Seamless Communications” together with prof. R. Prasad. Her research interests include wireless and personal area networks, ad hoc networking, networking protocols, traffic analysis, QoS, and optimization techniques. She is a senior member of IEEE and serves as a Chair of Macedonian Communication Chapter.     

高效离心风机的设计研究

该文在总结国内外高效离心风机的设计经验基础上,掌握和利用已有的经验,遵循一系列离心风机优化准则,成功的完成了高效机车用牵引电机通风机的设计.性能样机经台架试验,比原风机的性能有较大幅度的提高,效率达到86%,在国内同样风机中效率是较高的.     

Forming the optimal union of multiple databases

Many organizations, best illustrated by libraries, have access to hundreds of databases possessing varying degrees of complimentary and overlapping records. While users may receive positive marginal benefits from data duplications, all databases and their services cannot be supported because of resource limitations. This paper attempts to conceptualize the problem of database collection in an environment of multiple databases, with differential content and performance characteristics, diverse users, and limited resources. It defines the database collection problem as a constrained zero-one integer programming problem and solves for the optimal combination or union of databases. Several extensions are shown, where special conditions are imposed on the relationships between databases and/or their availability.     

多目标决策问题非支配解集的一种序列逼近方法

在多目标优化中,对非支配解集的估计是一项非常重要的工作.本文给出一种序列逼近非支配解集的方法.     

基于混合遗传算法的树状注水管网拓扑优化

以投资最小为目标函数,以井间隶属关系的惟一性、连接注水井数量等限制为约束条件,建立了树状注水管网拓扑优化数学模型.根据模型特点,将优化问题分为分配层和几何层,分别采用遗传算法和非线性优化方法进行求解.并对遗传算法的操作过程进行了改进,调整了适应函数,采用随机多父辈适应函数值加权交叉和多种变异操作,结合了模拟退火算法,并给出了初温的确定方法,改进了选择复制操作,从而形成了混合遗传算法.该算法能够有效地提高收敛速度,避免早熟收敛.利用算例说明了该方法的有效性.     

Bridge design with reserve and residual reliability constraints

System reliability is evolving as an important design method for selecting components and topology. It should be used to investigate the original intact structure behavior as well as providing sufficient reserve capacity under likely accident and damage scenarios. Highway bridges are an area of special concern since effort to optimize the cost of construction may not provide adequate redundant capacity. The paper describes an example in which a typical girder bridge structure is optimized (both size and girder spacing) to achieve target system performance. System reliability constraints are imposed on the behavior of the intact structure under highway loads. Also, residual system reliability constraints are imposed to control safety under specified accident scenarios corresponding to damage and “lost” members due to corrosion, fatigue, fire or accidental collisions. An optimal design framework for controlling safety under all these life cycle situations is thus provided.     

基于改进PSO算法的结构损伤检测

结构的损伤检测常转化为求解约束优化问题,针对粒子群算法容易出现早熟问题,增大算法后期的粒子位置的改变量,从而增加粒子位置的差异,因而能够增强其在求解约束优化问题时抵抗局部极小的能力。两层刚架单损伤和多损伤识别的数值结果和收敛曲线表明了改进后的粒子群算法优于传统的带惯性因子的粒子群算法。三层框架结构的4种损伤工况的试验研究进一步说明了该算法应用于结构损伤检测领域的有效性。     

Design optimization of 3D steel structures: Genetic algorithms vs. classical techniques

In this paper an elitist genetic algorithm (GA) developed by the authors is compared with common commercial solutions for complex structural optimization. After its prior validation on two-dimensional (2D) structures, the GA was tuned and improved in order to obtain structural elements with minimum weights that satisfy the ultimate limit states of the applicable building code. Subsequently, the same spatial structures were optimized using a commercial structural analysis program. Finally, the cost and weight improvements obtained using the GA, although at a higher computational cost, are discussed.     

Structural reliability optimization using an efficient safety index calculation procedure

The objective of this paper is to conduct reliability-based structural optimization in a multidisciplinary environment. An efficient reliability analysis is developed by expanding the limit functions in terms of intermediate design variables. The design constraints are approximated using multivariate splines in searching for the optimum. The reduction in computational cost realized in safety index calculation and optimization are demonstrated through several structural problems. This paper presents safety index computation, analytical sensitivity analysis of reliability constraints and optimization using truss, frame and plate examples.