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.     

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

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

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

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

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.     

Probabilistic Strength Estimates and Reliability of Damaged Parallel Wire Cables

Cable reliability analysis involves the combined evaluation of cable capacity and cable load in a probabilistic manner. Assessment of cable capacity is only possible through visual inspections of the wires, field sampling, laboratory analysis of the degraded wire populations, and analytical techniques. In addition to a brief presentation of cable mechanics and deterministic models that approximate cable strength, this paper discusses inspection methodologies and statistical methods of estimation of the sizes of the degraded wire populations, and wire properties, leading to cable capacities. These capacities are described by probability distributions. The paper also discusses fundamentals of reliability analysis as they apply to bridge cables. Load criteria of present standard specifications (such as AASHTO or other international codes) are not applicable to long-span suspension bridges. The paper discusses criteria of bridge loading and reliability indices for bridge cables. More work is needed in the evaluation of loading for long-span bridges.     

民族特色词语的英汉互译

语言在其发展演变过程中,逐步具有了鲜明的民族文化色彩。阐述了民族特色词语的可译性,并提出了具体的翻译方法。     

金属包覆平板波导模式特性的有限元法分析

采用有限元法（FEM）分析了具有复数折射率的金属包覆介质波导的模折射率与模场分布情况。计算了具有损耗层的6层介质平板波导模折射率，并与解析解比较，二者有较好的一致性；分析了金属包覆3层平板波导中TM模折射率与波导芯厚度的变化关系，计算了金属包覆5层平板波导中TM模折秧经与金属层厚度的变化关系，并结合对模场分布的分析对模式进行了定性判断，给出了其模式演变过程。     

Effect of Organic Additives on Electrochemical Surface Precipitation and Polymorphism of CaCO3

The inhibition effect of three organic additives on the precipitation and polymorphism of CaCO₃ deposited on gold surfaces was investigated using electrochemical and microscopic techniques. Additives, two polyacrylic acid (PAA) polymers with different molecular weights (Mw 2100, Mw 30,000), and 1,2,4,5‐benzenetetracarboxylic acid (BTCA), were either added to the solution before or during deposition. In the presence of 100 ppm of one of the three additives in solution, almost no scale was observed on the surface for at least 24 hours. In the presence of lower concentrations of PAA Mw 2100, only distorted calcite crystals were obtained while with PAA Mw 30,000 the polymorph was spherical vaterite. A mixture of calcite and vaterite was observed with the BTCA additive. Addition of the polymers inhibits further nucleation and growth even if added after partial deposition of CaCO₃ while BTCA has no effect once nucleation has started. The results indicate that the inhibit ion effect of the PAA polymers is due to adsorption on the electrode surface while the effect of BTCA is related to chelation of calcium ions in solution.     

The Challenge of the Market

Identifying markets for new or improved products for minor crops threatened with extinction is one critical component of any strategy intended to enhance prospects for sustainable production and use. Typically, however, activities linked to the sustainability of these commodities avoid addressing questions associated with assessing their commercial potential. After a brief review of this avoidance syndrome, this article presents a sample of practical, low-cost procedures to help evaluate the market prospects and procedures for crops like quinoa, while citing references to other methodological materials covering similar topics.