基于八叉树的软体压力模型精确碰撞检测

目前已经有多种基于物理的软体模型模拟算法,但计算量大与算法复杂是这些方法的主要缺陷。基于闭合压力模型的特点,精确计算模型的体积,通过克劳修斯-克拉佩龙状态方程计算模型内部的气体压力,运用牛顿第二定律计算模型的实时运动位置,同时运用八叉树技术实现模型的精确碰撞检测。经验证,算法可以在满足实时性的同时得到高质量的模拟绘制结果。

Development of a multivariate empirical model for predicting weak rock mass modulus

Estimating weak rock mass modulus has historically proven difficult although this mechanical property is an important input to many types of geotechnical analyses. An empirical database of weak rock mass modulus with associated detailed geotechnical parameters was assembled from plate loading tests per- formed at underground mines in Nevada, the Bakhtiary Dam project, and Portugues Dam project. The database was used to assess the accuracy of published single-variate models and to develop a multivari- ate model for predicting in-situ weak rock mass modulus when limited geoteehnical data are available. Only two of the published models were adequate for predicting modulus of weak rock masses over lim- ited ranges of alteration intensities, and none of the models provided good estimates of modulus over a range of geotechnical properties. In light of this shortcoming, a multivariate model was developed from the weak rock mass modulus dataset, and the new model is exponential in form and has the following independent variables： （1） average block size or joint spacing, （2） field estimated rock strength, （3） dis- continuity roughness, and （4） discontinuity infilling hardness. The multivariate model provided better estimates of modulus for both hard-blocky rock masses and intensely-altered rock masses.

CFD modeling of methane distribution at a continuous miner face with various curtain setback distances

Knowledge of the airflow patterns and methane distributions at a continuous miner face under different ventilation conditions can minimize the risks of explosion and injury to miners by accurately forecasting potentially hazardous face methane levels. This study focused on validating a series of computational fluid dynamics(CFD) models using full-scale ventilation gallery data that assessed how curtain setback distance impacted airflow patterns and methane distributions at an empty mining face(no continuous miner present). Three CFD models of face ventilation with 4.6, 7.6 and 10.7 m(15, 25, and 35 ft) blowing curtain setback distances were constructed and validated with experimental data collected in a full-scale ventilation test facility. Good agreement was obtained between the CFD simulation results and this data.Detailed airflow and methane distribution information are provided. Elevated methane zones at the working faces were identified with the three curtain setback distances. Visualization of the setback distance impact on the face methane distribution was performed by utilizing the post-processing capability of the CFD software.

Towards a Formalized Ontology-Based Requirements Model

The goal of this paper is to take a further step towards an ontological approach for representing requirements information. The motivation for ontologies was discussed. The definitions of ontology and requirements ontology were given. Then, it presented a collection of informal terms, including four subject areas. It also discussed the formalization process of ontology. The underlying meta-ontology was determined, and the formalized requirements ontology was analyzed. This formal ontology is built to serve as a basis for requirements model. Finally, the implementation of software system was given.

A metrics suite for coupling measurement of software architecture

To better evaluate the quality of software architecture,a metrics suite is proposed to measure the coupling of software architecture models,in which CBC is used to measure the coupling between components,CBCC is used to measure the coupling of transferring message between components,CBCCT is used to measure the coupling of software architecture,WCBCC is used to measure the coupling of transferring message with weight between components,and WCBCCT is used to measure the coupling of message transmission with weight in the whole software architecture. The proposed algorithm for the coupling metrics is applied to the design of serve software architecture. Analysis of an example validates the feasibility of this metrics suite.

The simulation of electrostatic coupling intra-body communication based on the finite-element method

In this paper, investigation has been done in the computer simulation of the electrostatic coupling IBC by using the developed finite-element models, in which a.the incidence and reflection of electronic signal in the upper arm model were analyzed by using the theory of electromagnetic wave;b.the finite-element models of electrostatic coupling IBC were developed by using the electromagnetic analysis package of ANSYS software;c.the signal attenuation of electrostatic coupling IBC were simulated under the conditions of different signal frequencies, electrodes directions, electrodes sizes and transmission distances. Finally, some important conclusions are deduced on the basis of simulation results.

SOFT CONTROL ON COLLECTIVE BEHAVIOR OF A GROUP OF AUTONOMOUS AGENTS BY A SHILL AGENT

This paper asks a new question： how can we control the collective behavior of self-organized multi-agent systems？ We try to answer the question by proposing a new notion called ＇Soft Control＇ which keeps the local rule of the existing agents in the system. We show the feasibility of soft control by a case study. Consider the simple but typical distributed multi-agent model proposed by Vicsek et al. for flocking of birds： each agent moves with the same speed but with different headings which are updated using a local rule based on the average of its own heading and the headings of its neighbors. Most studies of this model are about the self-organized collective behavior, such as synchronization of headings. We want to intervene in the collective behavior （headings） of the group by soft control. A specified method is to add a special agent, called a ＇Shill＇, which can be controlled by us but is treated as an ordinary agent by other agents. We construct a control law for the shill so that it can synchronize the whole group to an objective heading. This control law is proved to be effective analytically and numerieally. Note that soft control is different from the approach of distributed control. It is a natural way to intervene in the distributed systems. It may bring out many interesting issues and challenges on the control of complex systems.