Effect of strain rate on the dynamic compressive mechanical behaviors of rock material subjected to high temperatures

Strain rate is not only an important measure to characterize the deformation property, but also an important parameter to analyze the dynamic mechanical properties of rock materials. In this paper, by using the SHPB test system improved with high temperature device, the dynamic compressive tests of sandstone at seven temperatures in the range of room temperature to 1000 °C and five impact velocities in the range of 11.0–15.0 m/s were conducted. Investigations were carried out on the influences of strain rate on dynamic compressive mechanical behaviors of sandstone. The results of the study indicate that the enhancement effects of strain rates on dynamic compressive strength, peak strain, energy absorption ratio of sandstone under high temperatures still exist. However, the increase ratios of dynamic compressive strength, peak strain, and energy absorption ratio of rock under high temperature compared to room temperature have no obvious strain rate effects. The temperatures at which the strain rates affect dynamic compressive strength and peak strain most, are 800, and 1000 °C, respectively. The temperatures at which the strain rates affect dynamic compressive strength and peak strain weakest, are 1000 °C, and room temperature, respectively. At 200 and 800 °C, the strain rate effect on energy absorption ratio are most significant, while at 1000 °C, it is weakest. There are no obvious strain rate effects on elastic modulus and increase ratio of elastic modulus under high temperatures. According to test results, the relationship formula of strain rate with high temperature and impact load was derived by internalizing fitting parameters. Compared with the strain rate effect at room temperature condition, essential differences have occurred in the strain rate effect of rock material under the influence of high temperature.     

Effects of apparent image velocity and complexity on the dynamic visual field using a high-speed train driving simulator

Train driving is a highly visual task. The visual capabilities of the train driver affects driving safety and driving performance. Understanding the effects of train speed and background image complexity on the visual behavior of the high-speed train driver is essential for optimizing performance and safety. This study investigated the role of the apparent image velocity and complexity on the dynamic visual field of drivers. Participants in a repeated-measures experiment drove a train at nine different speeds in a state-of-the-art high-speed train simulator. Eye movement analysis indicated that the effect of image velocity on the dynamic visual field of high-speed train driver was significant while image complexity had no effect on it. The fixation range was increasingly concentrated on the middle of the track as the speed increased, meanwhile there was a logarithmic decline in fixation range for areas surrounding the track. The extent of the visual search field decreased gradually, both vertically and horizontally, as the speed of train increased, and the rate of decrease was more rapid in the vertical direction. A model is proposed that predicts the extent of this tunnel vision phenomenon as a function of the train speed.Relevance to industryThis finding can be used as a basis for the design of high-speed railway system and as a foundation for improving the operational procedures of high-speed train driver for safety.     

Usability of a cloud-based collaborative learning framework to improve learners’ experience

Computer-Supported Collaborative Learning (CSCL) is concerned with how Information and Communication Technology (ICT) might facilitate learning in groups which can be co-located or distributed over a network of computers such as Internet. CSCL supports effective learning by means of communication of ideas and information among learners, collaborative access of essential documents, and feedback from instructors and peers on learning activities. As the cloud technologies are increasingly becoming popular and collaborative learning is evolving, new directions for development of collaborative learning tools deployed on cloud are proposed. Development of such learning tools requires access to substantial data stored in the cloud. Ensuring efficient access to such data is hindered by the high latencies of wide-area networks underlying the cloud infrastructures. To improve learners’ experience by accelerating data access, important files can be replicated so a group of learners can access data from nearby locations. Since a cloud environment is highly dynamic, resource availability, network latency, and learner requests may change. In this paper, we present the advantages of collaborative learning and focus on the importance of data replication in the design of such a dynamic cloud-based system that a collaborative learning portal uses. To this end, we introduce a highly distributed replication technique that determines optimal data locations to improve access performance by minimizing replication overhead (access and update). The problem is formulated using dynamic programming. Experimental results demonstrate the usefulness of the proposed collaborative learning system used by institutions in geographically distributed locations.     

无源光网络标准发展及关键技术研究

无源光网络(Passive Optical Network,PON)作为当今接入网的主要技术解决方案,具有带宽使用效率高、传输距离远、抗干扰能力强等特点.通过研究PON技术的发展动态,本文首先归纳了各种PON技术的产生背景和应用特点,整理出各技术间的连接关系及主要标准;其次介绍了PON技术的帧结构,并对带宽、波长、传输模式等PON技术的主要参数进行了汇总;然后将国内外研究热点进行划分,围绕媒体访问控制协议、帧结构、动态带宽分配算法、节能机制等关键技术,阐述了其研究现状及在PON中的重要作用;最后对PON技术的发展趋势进行了展望.     

Protecting local access telecommunications networks: Toward a minimum-cost solution

The problem of designing fibre-optic networks for local-access telecommunications generates (at least) three non-trivial subproblems. In the first of these subproblems one must determine how many fibre-optic cables (fibres) are required at either end of a street. In the next subproblem a minimum-cost network must be designed to support the fibres. The network must also provide distinct paths from either end of the street to the central exchange(s). Finally, the fibre-optic cables must be placed in protective covers. These covers are available in a number of different sizes, allowing some flexibility when covering each section of the network. In this paper we describe a dynamic programming (DP) formulation for finding a minimum-cost (protective) covering for the network (the third of the subproblems). This problem is a generalised set covering problem with side constraints and is further complicated by the introduction of fixed and variable welding costs. The DP formulation selects covers along each arc (in the network), but cannot exactly model the fixed costs and so does not guarantee optimality. We also describe an integer programming (IP) formulation for assessing the quality of the DP solutions. The cost of the networks constructed by the IP model is less than those designed using the DP model, but the saving is not significant for the problems examined (less than 0.1%). This indicates that the DP model will generally give very good solutions. Furthermore, as the problem dimensions grow, DP gives significantly better solution times than IP.     

Proving termination of GHC programs

A transformational approach for proving termination of parallel logic programs such as GHC programs is proposed. A transformation from GHC programs to term rewriting systems is developed; it exploits the fact that unifications in GHC-resolution correspond to matchings. The termination of a GHC program for a class of queries is implied by the termination of the resulting rewrite system. This approach facilitates the applicability of a wide range of termination techniques developed for rewrite systems in proving termination of GHC programs. The method consists of three steps: (a) deriving moding information from a given GHC program, (b) transforming the GHC program into a term rewriting system using the moding information, and finally (c) proving termination of the resulting rewrite system. Using this method, the termination of many benchmark GHC programs such as quick-sort, merge-sort, merge, split, fair-split and append, etc., can be proved. This is a revised and extended version of Ref. 12). The work was partially supported by the NSF Indo-US grant INT-9416687 Kapur was partially supported by NSF Grant nos. CCR-8906678 and INT-9014074. M. R. K. Krishna Rao, Ph.D.: He currently works as a senior research fellow at Griffith University, Brisbane, Australia. His current interests are in the areas of logic programming, modular aspects and noncopying implementations of term rewriting, learning logic programs from examples and conuterexamples and dynamics of mental states in rational agent architectures. He received his Ph.D in computer science from Tata Institute of Fundamental Research (TIFR), Bombay in 1993 and worked at TIFR and Max Planck Institut für Informatik, Saarbrücken until January 1997. Deepak Kapur, Ph.D.: He currently works as a professor at the State University of New York at Albany. His research interests are in the areas of automated reasoning, term rewriting, constraint solving, algebraic and geometric reasoning and its applications in computer vision, symbolic computation, formal methods, specification and verification. He obtained his Ph.D. in Computer Science from MIT in 1980. He worked at General Electric Corporate Research and Development until 1987. Prof. Kapur is the editor-in-chief of the Journal of Automated Reasoning. He also serves on the editorial boards of Journal of Logic Programming, Journal on Constraints, and Journal of Applicable Algebra in Engineering, Communication and Computer Science. R. K. Shyamasundar, Ph.D.: He currently works as a professor at Tata Institute of Fundamental Research (TIFR), Bombay. His current intersts are in the areas of logic programming, reactive and real time programming, constraint solving, formal methods, specification and verification. He received his Ph.D in computer science from Indian Institute of Science, Bangalore in 1975 and has been a faculty member at Tata Institute of Fundamental Research since then. He has been a visiting/regular faculty member at Technological University of Eindhoven, University of Utrecht, IBM TJ Watson Research Centre, Pennsylvania State University, University of Illinois at Urbana-Champaign, INRIA and ENSMP, France. He has served on (and chaired) Program Committees of many International Conferences and has been on the Editorial Committees.     

网络化制造中基于STEP-NC的编程方法

STEP-NC是由欧美提出的新的数控接口标准，目的是取代旧的数控标准ISO6983。本文首先分析了STEP-NC的两种应用标准：ISO14649（ARM）和STEPAP238（AIM），并且分析了Part21和Part28的应用领域及Part21文件格式和其中的信息产生方法。然後介绍了ST-Developer环境下ROSEC＋＋颠库编程接口及其应用程序的早、晚编联方式，并且以此为基础设计了整个程序的编程流程，重点介绍了工艺规划设计。最后给出了在C＋＋编程环境下利用ROSE库函数写入形成STEP AP238文件的方法。     

Model Validation for Bridge-Road-Vehicle Dynamic Interaction System

The dynamic response of highway bridges subjected to moving truckloads has been observed to be dependent on (1) dynamic characteristics of the bridge; (2) truck configuration, speed, and lane position on the bridge; and (3) road surface roughness profile of the bridge and its approach. Historically, truckloads were measured to determine the load spectra for girder bridges. However, truckload measurements are either made for a short period of time [for example, weigh-in-motion (WIM) data] or are statistically biased (for example, weigh stations) and cost prohibitive. The objective of this paper is to present results of a 3D computer-based model for the simulation of multiple trucks on girder bridges. The model is based on the grillage approach and is applied to four steel girder bridges tested under normal truck traffic. Actual truckload data collected using a discrete bridge WIM system are used in the model. The data include axle loads, truck gross weight, axle configuration, and statistical data on multiple presence (side by side or following). The results are presented as a function of the static and dynamic stresses in each girder and compared with code provisions for dynamic load factor. The study provides an alternate method for the development of live-load models for bridge design and evaluation.     

Dynamic vulcanisation of EPDM/PE-based thermoplastic vulcanisates studied along the extruder axis

Simple blending and dynamic vulcanisation of EPDM/PE blends using the resol/SnCl₂ system was studied in an extruder using a series of sampling devices. The melting of the PE pellets occurs just in front of and in the first kneading zone. Upon complete melting of the PE phase, the EPDM/PE blends reach very quickly their final morphology. Crosslinking of the EPDM phase to high levels occurs already when the PE phase is not yet fully molten. The higher the EPDM content, the higher the viscous dissipation, the higher the melt temperature and, consequently, the higher the crosslinking rate. For the EPDM/PE (50/50; w/w) TPV a transition from continuous via co-continuous to fully dispersed EPDM is observed, which is driven by crosslinking. Although the degree of crosslinking of the EPDM rubber is very high, this does not prevent phase inversion of the blend. The EPDM/PE interface is rather blurred, because PE crystalline lamellae are growing into the EPDM domains, probably because of the high compatibility between PE and EPDM (60 wt% of ethene). This study shows that dynamic vulcanisation in extruders proceeds quite differently from that in batch kneaders, where melting, mixing and crosslinking are separated in time. In extruders mass and heat transport, melting of the thermoplastic, morphology development (including dispersion and phase inversion), distribution and dissolution of (crosslinking) chemicals and crosslinking of the rubber do not occur as independent phenomena, but mutually and/or continuously interact.