Topology optimization of a coupled thermal-fluid system under a tangential thermal gradient constraint

This paper presents a continuous adjoint approach for topology optimization of a coupled heat transfer and laminar fluid flow system under tangential thermal gradient (TTG) constraints. In this system, the thermal gradient along the boundary of multiple heat sources needs to be controlled. The design goals are to minimize the temperature of the domain, the fluid power dissipation and the TTG along the boundary of the heat sources. The first two goals are combined into a single cost function with weight variables. The TTG is constrained in one of two forms, an integral form where the integral of TTG squares along the boundaries of heat sources is constrained, or a point-wise form where TTG is constrained point-wise. A gradient-based approach is developed to obtain the optimized designs. A salient feature of our approach is the use of the continuous adjoint approach to derive gradients of both the cost function and two forms of TTG constraints. Numerical examples demonstrate that the continuous adjoint approach leads to successful topological optimization of the constrained thermal-fluid system. The use of TTG constraint is effective in lowering the TTG along the heat source boundaries. The resulting designs exhibit clear black/white contrast.     

多种类病毒相互作用下网络信道破坏程度估计

在多种类病毒的相互作用下,网络信道破坏程度呈现较强的非线性特点,不能准确约束病毒在相互作用下的破坏性.传统的网络破坏程度估计的过程中,仅仅以单一病毒破坏程度叠加的方式去计算参数,计算具有较强的主观性,没有准确描述不同病毒的破坏作用,对评估结果误差影响较大.为解决上述问题,提出一种基于粒子滤波算法的多种类病毒相互作用下网络信道破坏程度估计方法,利用欧式距离方法对全部病毒进行分类,获取不同类型病毒的网络信道破坏程度值.通过粒子滤波算法对单一个体约束的优势,将每一个不同类型的病毒看作一个粒子,并进行训练.根据训练结果,利用粒子滤波算法对当前时刻网络信道破坏程度进行估计,完成整体评估.实验结果表明,利用改进算法进行多种类病毒相互作用下网络信道破坏程度估计,能够有效提高估计的准确率.     

Recover Fault Services via Complex Service-to-Node Mappings in Wireless Sensor Networks

With the motivation of seamlessly extending wireless sensor networks to the external environment, service-oriented architecture comes up as a promising solution. However, as sensor nodes are failure prone, this consequently renders the whole wireless sensor network to seriously faulty. When a particular node is faulty, the service on it should be migrated into those substitute sensor nodes that are in a normal status. Currently, two kinds of approaches exist to identify the substitute sensor nodes: the most common approach is to prepare redundancy nodes, though the involved tasks such as maintaining redundancy nodes, i.e., relocating the new node, lead to an extra burden on the wireless sensor networks. More recently, other approaches without using redundancy nodes are emerging, and they merely select the substitute nodes in a sensor node’s perspective i.e., migrating the service of faulty node to it’s nearest sensor node, though usually neglecting the requirements of the application level. Even a few work consider the need of the application level, they perform at packets granularity and don’t fit well at service granularity. In this paper, we aim to remove these limitations in the wireless sensor network with the service-oriented architecture. Instead of deploying redundancy nodes, the proposed mechanism replaces the faulty sensor node with consideration of the similarity on the application level, as well as on the sensor level. On the application level, we apply the Bloom Filter for its high efficiency and low space costs. While on the sensor level, we design an objective solution via the coefficient of a variation as an evaluation for choosing the substitute on the sensor level.     

探讨计算机网络专业学生的实训教学课程设置

计算机网络专业的学生的实训内容通常是与今后的工作相关联的,这种关联的程度越高,说明实训的效果越好,也可以从一个侧面说明教学越成功。所以,实训项目不应该是凭空设想的,也不应该是几年如一日的照搬照抄的,应该是符合市场需求的,与时俱进的。     

Test frame updating in CPM testing of Prolog programs

Category Partition Method (CPM) is a general approach to specification-based program testing, where test frame reduction and refinement are two important issues. Test frame reduction is necessary since too many test frames may be produced, and test frame refinement is important since during CPM testing new information about test frame generation may be achieved and considered incrementally. Besides the information provided by testers or users, implementation related knowledge offers alternative information for reducing and refining CPM test frames. This paper explores the idea by proposing a call patterns semantics based test frame updating method for Prolog programs, in which a call patterns analysis is used to collect information about the way in which procedures are used in a program. The updated test frames will be represented as constraints. The effect of our test frame updating is two-fold. On one hand, it removes “uncared” data from the original set of test frames; on the other hand, it refines the test frames to which we should pay more attention. The first effect makes the input domain on which a procedure must be tested a subset of the procedure’s input domain, and the latter makes testers stand more chance to find out the faults that are more likely to show their presence in the use of the program under consideration. Our test frame updating method preserves the effectiveness of CPM testing with respect to the detection of faults we care. The test case generation from the updated set of test frames is also discussed. In order to show the applicability of our method an approximation call patterns semantics is proposed, and the test frame updating on the semantics is illustrated by an example.

基于ASP.NET的水稻分子育种信息平台管理系统

为实现水稻生物学数据的共享、交流和利用,基于ASP.NET,结合国内外水稻分子育种研究的现状和需求,构建了水稻分子育种信息平台.系统平台设计了基因库、QTL库和Ontology等多个子库和模块,并针对生物学数据的特点,采用B/S架构,运用存储过程和分页技术等多重手段,实施了客户端和服务器端双重安全屏障.对系统的实现技术、实现方案和优化设计等进行了详细的讨论和阐述.     

扭曲的涡旋光束在海洋湍流中的传输因子

基于扩展惠更斯-菲涅尔原理和维格纳分布函数(Wigner distribution function,WDF)二阶矩,推导了部分相干扭曲涡旋光束(partially coherent twisted vortex beam,PCTVB)在海洋湍流中传输时的M2因子和角扩展θ(z)。通过数值模拟方法详细研究了海洋湍流对光束M2因子和角扩展θ(z)的影响,结果表明温度方差耗散率ΧT和温度盐度贡献比w越大、动能耗散率ε和各向异性因子ξ越小时对PCTVB的M2因子和角扩展θ(z)的影响越大。此外研究发现,相较于非扭曲涡旋光束(PCVB),PCTVB有更好的抗海洋湍流的能力,且增大拓扑荷数m以及扭曲因子绝对值｜μ｜后,PCTVB的M2因子和角扩展θ(z)显著减小,光束的抗海洋湍流能力增强。并且增大束腰宽度w0和波长λ,以及减小初始相干长度δηη(η=x,y)同样可以增加光束抗海洋湍流的能力。本文的数值研究结果对海洋光通信具有重要意义。     

Editorial: Machine Learning and Intelligent Communications (MLICOM 2018)

Mobile Networks and Applications -     

Infrared target tracking based on proximal robust principal component analysis method

Applied Intelligence - Infrared target tracking plays an important role in both civil and military fields. The main challenges in designing a robust and high-precision tracker for infrared...     

Data-driven physical law learning model for chaotic robot dynamics prediction

Applied Intelligence - A robot control system is a multivariable, nonlinear automatic control system, as well as a dynamic coupling system. To address the difficult problem of data prediction under...