Investigating the Social Dimensions of Transport Disadvantage II: From Concepts to Methods through an Empirical Case Study

This article is the second of two papers that review the field of spatially sensitive social scientific research into the links between social status and transport disadvantage. The first paper undertook a comprehensive review of the social scientific and transport planning literature to mark the level of development in the field and identify conceptual and methodological issues and constraints in this field of inquiry. The present article supports the advancement of socially and geographically sensitive transport research by opportunities for the development of more sophisticated spatial analytical methodologies. The approach we present is able to account for factors not previously addressed in either social or transport planning research, in particular the temporal dimensions of transport service accessibility. The article articulates the methodology through an empirical case study of socio-spatial transport disadvantage within the Gold Coast City. The article demonstrates that there are important theoretical and practical lessons to be gained for researchers and policy makers in addressing the social dimensions of transport and infrastructure provision. Further, the article argues that an attentiveness to new ways of combining and representing social and transport data-sets can promote policy relevant empirical social inquiry. The article also contributes in a productive way to the empirical knowledge of Australia's sixth-largest metropolitan area, which is often overlooked by urban scholars.     

一种考虑不同期合闸的行波合闸保护新方法

当线路末端故障时，行波在线路末端的反射情况比较复杂，反向电流行波的极性有可能与正向电流行波的极性相反，而此时测距结果又与线路无故障时相同。因此，会造成行波测距式与行波极性比较式合闸保护的不正确动作。根据行波的折、反射理论，分析出当线路无故障时正向电流行波仅在线路末端发生反射，且电流行波的反射系数为-1，而当线路存在故障时，正向电流行波将在故障点发生反射，无论故障是否在线路末端，电流行波的反射系数都不会是-1。根据这一特征，提出了一种新的行波合闸保护方法。从原理上保证了在各种情况下保护都可以正确动作，大量的电磁暂态仿真结果也证明了这一点。     

浅谈水文过河缆道建设施工过程中的质量控制

应用水文过河缆道测验在传统水文测验中是一种行之有效的测验手段。本文主要结合黄河水文近年来开展的水文测报水平升级活动和现代化建设过程中取得的成功经验,分析说明水文过河缆道建设施工过程中的质量控制措施和方法。     

房屋建筑结构无损检测方法的分析与展望

通过对现有的结构无损检测方法的总结和分析,讨论了各种方法的优缺点.并结合现场测试的要求,展望结构检测技术的发展方向与趋势.     

A novel dynamic survivable routing in WDM optical networks with/without sparse wavelength conversion

In this paper, we study the dynamic survivable routing problem, both in optical networks without wavelength conversion and in optical networks with sparse wavelength conversion, and propose a novel hybrid algorithm for it based on the combination of mobile agents technique and genetic algorithms (GA). By keeping a suitable number of mobile agents in the network to cooperatively explore the network states and continuously report cycles (that are formed by two disjoint-link routes) into the routing tables, our new hybrid algorithm can promptly determine the first population of cycles for a new request based on the routing table of its source node, without the time consuming process associated with current GA-based lightpath protection schemes. We further improve the performance of our algorithm by introducing a more advanced fitness function that is suitable for both the above networks. Extensive simulation studies on the ns-2 network simulator show that our hybrid algorithm achieves a significantly lower blocking probability than the conventional survivable routing algorithms for all the cases we studied.     

水生生物环境诊断(AOD)技术应用研究

介绍一种新型的毒性试验方法——水生生物环境诊断(AOD)技术，该方法将冷冻浓缩和生物测试技术有机地相结合，较好地解决了低毒性水体的毒性测试问题。应用本项技术以红鳍鱼为受试生物，分别对湖北武汉马伧湖、墨水湖、广东深圳河、长江干流寸滩等几个断面、丹江口水库白河、丹江河口、老灌河等不同水体进行AOD测试，所得48hr-LC\-50结果与实际水质状况基本相符。     

农业重组微生物生物安全研究进展

综述了近年来农业重组微生物的研究现状和进展 ,详细介绍农业重组微生物环境释放的监控方法以及对环境的冲击作用 ,对一些有关生物安全研究的热点问题进行了探讨     

Accelerating filtering techniques for numeric CSPs

Search algorithms for solving Numeric CSPs (Constraint Satisfaction Problems) make an extensive use of filtering techniques. In this paper¹ we show how those filtering techniques can be accelerated by discovering and exploiting some regularities during the filtering process. Two kinds of regularities are discussed, cyclic phenomena in the propagation queue and numeric regularities of the domains of the variables. We also present in this paper an attempt to unify numeric CSPs solving methods from two distinct communities, that of CSP in artificial intelligence, and that of interval analysis.     

Putting it all together – Formal verification of the VAMP

In the verified architecture microprocessor (VAMP) project we have designed, functionally verified, and synthesized a processor with full DLX instruction set, delayed branch, Tomasulo scheduler, maskable nested precise interrupts, pipelined fully IEEE compatible dual precision floating point unit with variable latency, and separate instruction and data caches. The verification has been carried out in the theorem proving system PVS. The processor has been implemented on a Xilinx FPGA. A shorter version of this article with the title “Instantiating uninterpreted functional units and memory system: functional verification of the VAMP” appeared in [8]. The work reported here was done while all the authors were with Saarland University.