External equality and absolute equality coincide in finite CCS and <Emphasis Type="Italic">π</Emphasis> calculus without summation

External equality and absolute equality are defined model independently by Fu. It is interesting and important to know whether these two equalities coincide or not. There are some results in Fu’s paper for this issue. It is relatively easy to prove the coincidence if the summation operator is in the language, otherwise it is harder. In fact Fu proposed it as an open problem whether the two equalities coincide in some languages without summation. In this paper, the proofs of the coincidence in finite CCS and π calculus without summation are given.     

Reputation-based collaborative spectrum sensing scheme in cognitive radio networks

Collaborative spectrum sensing is proposed to improve the detection performance in cognitive radio (CR) networks. However, most of the current collaborative sensing schemes are vulnerable to the interference of the malicious secondary users (SUs). In this paper we propose a reputation-based collaborative spectrum sensing scheme to improve the security of cooperative sensing by mitigating the impacts of misbehaviors. The fusion center calculates the reputation rating of each SU according to their history reports to weight their sensing results in the proposed scheme. We analyze and evaluate the performance of the proposed scheme and its advantages over previous schemes in expansibility and integrity. Simulation results show that the proposed scheme can minimize the harmful influence from malicious SUs.     

Development and application of thermal mathematical model of iron ore pellet bed in grate

Based on the analysis of heat transfer mechanics, physical and chemical change of pellet drying and preheating process in grate, the mathematical model is established and solved by three-diagonal matrix algorithm. With Visual Basic 6.0 a simulation software is developed. The model is verified by measurements at a domestic pellet plant, and the temperature distribution of pellet bed is gained. Meanwhile, the influence of different operation parameters on the pellet thermal process is studied. The results can be taken as a basis of practical production control and the grate optimizing design.     

Asymptotic field of mode Ⅱ dynamic growing crack in visco-elastic material

A mechanical model of visco-elastic material is established in order to investigate viscous effect in dynamic growing crack-tip field of mode Ⅱ. It is shown that in stable creep growing phase, elastic deformation and viscous deformation are equally dominant in the near-tip field, the stress and strain have the same singularity, namely, (σε) ∝r^-1/(n-1). The asymptotic solutions of separatied variables of stress, stain and displacement in crack-tip field are obtained by asymptotic analysis, and the results of numerical value of stress and strain in crack-tip field are obtained by shooting method. Through numerical calculation, it is shown that the near-tip fields are mainly governed by the creep exponent n and Mach number M. By the asymptotic analysis to the crack-tip field, the fracture criterion of mode Ⅱ dynamic growing crack of visco-elastic materials is put forward from the point of view of strain.     

The precautionary principle in maritime affairs

Since the 1980s, the precautionary principle has been drawing more and more international attention. This became particularly clear during the series of Conferences on the Protection of the North Sea, which addressed marine environmental protection, and initiated the application of the principle into maritime affairs. Although a unified concept of the precautionary principle is lacking, some typical formulations have been concluded in regional treaties and international documents, and components of the principle can be summarised (Part I and Part II). The precautionary principle has been adopted by international documents involving different fields of law of the sea, and been addressed by international courts and tribunals (Part III). While the precautionary principle is still not part of customary international law (Part IV), its increasing level of worldwide acceptance suggests that it will become a customary international law in the future.     

Simulation of the mean zero-up-crossing wave period using artificial neural networks trained with a simulated annealing algorithm

The aim of this work was to develop a predictive model to forecast the mean zero-up-crossing wave periods (T _z ) for 3-hourly sea states at a location in the Pacific using artificial neural networks (ANNs). Seven multilayer ANNs were trained with a simulated annealing algorithm. The output of each trained ANN was used to estimate each of the seven parameters of a new distribution called the hepta-parameter spline proposed for the conditional distribution of T _z , given some mean zero-up-crossing wave periods and significant wave heights. After estimating the parameters of the distribution, the model was used to simulate and predict future values of T _z . Forecasting a sea state and developing the joint distribution of sea state characteristics with the help of the simulated characteristics are also discussed in this article.     

Dynamic Simulation of a Smart Crank and Slider Mechanism

In this paper, a smart crank and slider mechanism is analyzed mostly from a dynamic view. By means of dynamic explicit finite element method, 3D nonlinear structure is simulated. It is proved that the mechanism can effectively accomplish smart movement prescribed. And in order to ensure reciprocal movement with higher frequency, measures should be taken to avoid over heating of parts. Compared with internal energy, kinetic energy of total rigid body is dominating, and Y direction equivalent rigid velocity is much higher than X direction velocity. Equivalent rigid velocity of all parts is consistent with respective movement condition. For both energy and velocity, slider effect is dominating. Three direction equivalent inertia force oscillates. Force amplitude in Y -direction is comparitively the greatest.     

Analysis of cost estimation disclosure in environmental impact statements for surface transportation projects

Reliability in cost estimates in publicly funded projects is more important today than ever with increased governmental funding to infrastructure projects and associated accountability requirements, but surface transportation projects, large and small, in the United States have a legacy of cost overruns. The problems with these overruns start with the cost estimation process before projects begin. Studies have shown that early cost estimations reflect best-case scenarios rather than realistic expectations, and have attributed technical, economic, psychological, and political reasons for underestimation. The primary objectives of this research were to determine how costs have been presented and updated in environmental impact statements, to identify endemic technical problems with cost estimation during the environmental review of surface transportation projects, and to develop recommendations for improving cost estimation and disclosure. Cost estimation methods were analyzed from the documents of 100 projects, including draft environmental impact statements, final environmental impact statements, and records of decision. The study concluded that the lack of guidance on how to include cost estimation in environmental review revealed itself in the level of detail and attention given to estimating costs. Agencies omitted or included various aspects of cost estimation randomly. Professional organizations should fill the gap of the need for specific guidance to cost estimation for environmental review so it can evolve as a state of the practice.     

Modeling adoption timing of autonomous vehicles: innovation diffusion approach

Autonomous vehicles (AVs) are expected to act as an economically-disruptive transportation technology offering several benefits to the society and causing significant changes in travel behavior and network performance. However, one of the critical issues that policymakers are facing is the absence of a sound estimation of their market penetration. This study is an effort to quantify the effect of different drivers on the adoption timing of AVs. To this end, we develop an innovation diffusion model in which individuals’ propensities to adopt a new technology such as AVs takes influence from a desire to innovate and a need to imitate the rest of the society. It also captures various sources of inter-personal heterogeneity. We found that conditional on our assumptions regarding the changes in market price of AVs over time, their market penetration in our study region (Chicago metropolitan area) will eventually reach 71.3%. Further, model estimation results show that a wide range of socio-demographic factors, travel pattern indicators, technology awareness, and perceptions of AVs are influential in people’s AV adoption timing decision. For instance, frequent long-distance travelers are found to make the adoption decision more innovatively while those who have experienced an accident in their lifetime are found to be more influenced by word of mouth.     

Development of knowledge based body structure concept design model

The purpose of this study is to propose a concept design process for an automotive body structure using technical information on the major joints and members of vehicles. First, in order to collect the technical information on major joints and members, 17 vehicles were selected using benchmark data. The collected technical information for the selected vehicles was the cross sectional shapes of each joint and member which were used for the analysis of joint stiffness, crashworthiness and static stiffness of the member to make a database along with cross section properties. This study applied a ‘What If Study’ technique to perform a concept design of an automotive body using the analyzed information and selected cross section meeting the design objectives. The criteria for the selection of the cross section were defined by subdividing the defined design objectives of an automotive body structure and constraints into members and joints. In order to configure an analysis model of an automotive body structure using the selected cross section, a shape parametric model was used and static stiffness, dynamic stiffness and crashworthiness were assessed to evaluate the configured automotive body structure. The evaluation result showed that the crashworthiness and static/dynamic stiffness were improved compared to an existing body structure. In addition, the weight of the body structure was reduced. Through this study, the process that can rapidly and effectively derive and evaluate the concept design of an automotive body structure was defined. It is expected that, henceforth, this process will be helpful for the study of automotive body structures.