基于几何特征和力学特性的自适应网格生成算法

为获得适合有限元分析的满意网格划分,提出了平面域的基于几何特征和力学特性相结合的自适应网络生成方法,实现了应力集中区的网格局部加密及平稳变密度的网格自动剖分,通过实例表明本方法实用性强、效果良好。     

Industrial Robot Navigation and Obstacle Avoidance Employing Fuzzy Logic

This paper proposes a novel conceptual approach based on fuzzy logic to solve the local navigation and obstacle avoidance problem for industrial 3-dof robotic manipulators. The proposed system is divided into separate fuzzy units, which control individually each manipulator link. The fuzzy rule-base of each unit combines a repelling influence, which is related to the distance between the manipulator and the nearby obstacles, with the attracting influence produced by the angular difference, between the actual and the final manipulator configuration, to generate a new actuating command for each link. It can be considered as an on-line local navigation method for the generation of instantaneous collision-free trajectories. The strategy has been successfully applied to manipulators in different simulated workspace environments providing collision-free paths. Some of the simulation results obtained are included.     

网络化财务信息查询系统的设计

为适应高校经济体制改革的需要 ,必须建立网络化的财务查询系统 ,以促进学校经济的管理方法更有效 ,管理决策更优化。通过对该系统总体方案和结构设计的描述 ,介绍了基于IDC技术、采用B/S结构的网络化财务查询系统的设计构想和程序设计原理。     

局域网防火墙的设计与实现

本文设计与实现了局域网防火墙。首先阐述了防火墙的原理,然后分析防火墙系统总体设计,最后论述防火墙的设计与实现,并详述其具体实现的各个模块。     

A TLP approach for BGP based on local speculation

With the explosive growth of Internet, the low efficiency of BGP has seriously influenced its usability. In this work, a TLP （thread level parallelism） approach with local speculation is proposed to improve the BGP performance. The thread partition is locally performed on each separated sub-module at route processing, and the speculation strategy is implemented to guarantee the memory consistency and sequential commit. Experiments on Intel Quad-core server show that this approach reaches an average speedup of 1.46 under single peer, multi-peers and route flapping. It is also shown that the packet throughput can be improved greatly under multiple sessions by taking advantage of TLP.     

运用EXCEL函数进行拉丁方设计

拉丁方设计是科学试验和加工工艺研究中经常用到的试验设计方法,本文通过对拉丁方设计中的配对设计进行实质的分析,提出了运用EXCEL进行拉丁方设计的方法。结果认为,灵活利用Excel的随机函数如RAND、RANDOMBETWEEN等和排序按钮可以快速地进行拉丁方设计。     

Sustainability education based on NetLogo modeling environment： Taking climate change simulation as an example

Sustainable development becomes more and more important in China, and sustainability education should be paid more attention to correspondingly. The concept of sustainability and necessity of sustainability education were introduced and analyzed respectively in the paper. As a technical tool of implementing sustainability education, NetLogo modeling environment was discussed in detail, including its features, functions and advantages. To present NetLogo＇s power in sustainability education, the example of climate change simulation was elaborated and operated. The simulation results show that NetLogo brings reasonable and interesting and vivid education.     

时思寺古建筑群个案探究——景宁县大漈乡古建筑调研

建筑是对人类历史与文明的反映,一个国家的建筑史就是一个国家文明的发展史。与西方国家相比我国存世的古建筑资源相对贫乏。景宁县周边村落的这些古老的建筑是我国存世不多的古建筑其中的一部分,如何去研究开发它们,保护好它们,让它们能继续地存活下来,需要我们去努力。     

The Local Artificial Boundary Conditions for Numerical Simulations of the Flow Around a Submerged Body

We consider in this work the numerical approximations of the two-dimensional steady potential flow around a body moving in a liquid of finite constant depth at constant speed and distance below a free surface. Several vertical segments are introduced as the upstream and the downstream artificial boundaries, where a sequence of high-order local artificial boundary conditions are proposed. Then the original problem is solved in a finite computational domain, which is equivalent to a variational problem. The numerical approximations for the original problem are obtained by solving the variational problem with the finite element method. The numerical examples show that the artificial boundary conditions given in this work are very effective.     

Local Encoding Transformations for Optimizing OBDD-Representations of Finite State Machines

Ordered binary decision diagrams are the state-of-the-art representation of switching functions. In order to keep the sizes of OBDDs tractable, heuristics and dynamic reordering algorithms are applied to optimize the underlying variable order. When finite state machines are represented by OBDDs the state encoding can be used as an additional optimization parameter. In this paper, we analyze local encoding transformations which can be applied dynamically. First, we investigate the potential of re-encoding techniques. We then propose the use of an XOR-transformation and show why this transformation is most suitable among the set of all encoding transformations. The presented theoretical framework establishes a new optimization technique for OBDDs.