灾害中生活类物资的供应分析——以汶川地震重灾区物资供应为例

救灾生活类物资在供应中面临着优化运输路线、降低运输成本、缩短运输时间3个难题。文章采用相关机会多目标规划模型,以汶川地震为例,总结并完善了自然灾害救助中的多物资的协作供应模式,为突发性重大灾害中多物资的协作供应的组织、实施、管理提供参考支持。     

浅析P2P技术在校园网络中的应用

随着网络与信息资源的飞速发展,P2P文件共享系统等分布式网络应用已经成为人们获取网络资源信息的重要途径本文围绕P2P技术的结构模式及其特点进行了分析,并举例说明P2P网络应用。     

一种消除阶梯效应的图像分解新模型

针对TV-L1分解模型在进行图像分解时所得到的结构部分有阶梯效应的问题,本文提出一种改进的图像分解模型即GJTV-L1模型。该模型首先得到结构部分的切向量场,由切向量场可得到结构部分的法向量场,然后拟合法向量场得到重构图像,即结构部分。通过仿真实验,验证了GJTV-L1模型和算法的合理性及有效性。     

A general topology-based framework for adaptive insertion of cohesive elements in finite element meshes

Large-scale simulation of separation phenomena in solids such as fracture, branching, and fragmentation requires a scalable data structure representation of the evolving model. Modeling of such phenomena can be successfully accomplished by means of cohesive models of fracture, which are versatile and effective tools for computational analysis. A common approach to insert cohesive elements in finite element meshes consists of adding discrete special interfaces (cohesive elements) between bulk elements. The insertion of cohesive elements along bulk element interfaces for fragmentation simulation imposes changes in the topology of the mesh. This paper presents a unified topology-based framework for supporting adaptive fragmentation simulations, being able to handle two- and three-dimensional models, with finite elements of any order. We represent the finite element model using a compact and “complete” topological data structure, which is capable of retrieving all adjacency relationships needed for the simulation. Moreover, we introduce a new topology-based algorithm that systematically classifies fractured facets (i.e., facets along which fracture has occurred). The algorithm follows a set of procedures that consistently perform all the topological changes needed to update the model. The proposed topology-based framework is general and ensures that the model representation remains always valid during fragmentation, even when very complex crack patterns are involved. The framework correctness and efficiency are illustrated by arbitrary insertion of cohesive elements in various finite element meshes of self-similar geometries, including both two- and three-dimensional models. These computational tests clearly show linear scaling in time, which is a key feature of the present data-structure representation. The effectiveness of the proposed approach is also demonstrated by dynamic fracture analysis through finite element simulations of actual engineering problems.

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.

安徽省地震会商系统软件界面设计研究

基于ARCGis9.2的安徽省地震会商系统不仅需要强大的技术功能,还需要友好和一目了然的界面,这样不仅让会商报告者思路清晰,也能使会商观众更加清晰了解地震预报会商内容,从而为决策者更好应对不同地点和不同大小的地震发生可能性做出科学的决策;引入flash8作为软件系统的界面,用flash调用各个模块,无论从界面和功能上都较好的解决了这一问题。     

基于VB开发试题库系统

系统以英语教育为背景进行设计,旨在提供一个适合形成性测试和阶段性测试的自动组卷系统,能快速方便地提供各种要求的试卷,帮助教师把握教学的进度,及时地反馈教学中的问题,以使改进教学方法和调整教学重点。     

Output feedback variable structure control of uncertain linear systems in the presence of actuator dynamics

A new output feedback variable structure control scheme is developed based on a novel passivity idea. This scheme may practically stabilize a class of higher‐relative‐degree uncertain linear systems, and realize output tracking and disturbance attenuation as well. The controller is composed of linear filters and a single relay, without employing real‐time exact differentiators. Under this framework, we also explain how actuator dynamics affect the closed loop behavior. A simulation example shows the simplicity and efficiency of this method. Copyright © 2009 John Wiley and Sons Asia Pte Ltd and Chinese Automatic Control Society     

Controller design for flexible structure vibration suppression with robustness to contacts

Model-based feedback control of vibration in flexible structures can be complicated by the possibility that interaction with an external body occurs. If not accounted for, instability or poor performance may result. In this paper, a method is proposed for achieving robust vibration control of flexible structures under contact. The method uses robust linear state feedback, coupled with a state estimation scheme utilizing contact force measurement. Uncertain contact characteristics are modelled by a sector-bounded non-linear function, such that state feedback gains can be synthesized using a matrix inequality formulation of the Popov stability criterion. A separation theorem is used to establish a robust H₂ cost bound for the closed loop system. Experimental results from a multi-mode flexible structure testbed confirm that vibration attenuation and stability can be maintained over a broad range of contact characteristics, in terms of compliance and clearance.     

一种新结构的DM-multipath与动态负载平衡

对于存储设备,Linux 在多路径 I/O方面主要有两种类型的解决方案：位于I/O调度器之上的顶层方案(BIO映射器)和位于底层的子系统具体方案(如IDE,SCSI)。因为实施它们的所在存储堆栈中的位置不同,每种方案各有优势。通过与第一种方案比较,介绍具体硬件子系统之上的另一种解决方案,新结构中重点实现移动内核当前多路径层——多路径设备映射器 (dm-multipath)到I/O调度层之下,这种方案能够有效地支持动态的负载平衡。