适用于无线体域网的动态口令认证协议

无线体域网中传输的是与生命高度相关的敏感数据，身份认证是信息安全保护的第一道防线。现有的基于人体生物信息的身份认证方案存在信息难提取、偶然性大和误差性大的问题，基于传统密码学的认证方案需较大计算资源和能量消耗，并不适用于无线体域网环境。为此，在动态口令和非对称加密机制基础上，提出一种适用于无线体域网的动态口令双向认证轻量协议，并对其进行形式化分析。通过理论证明、SVO逻辑推理及SPIN模型检测得出：该协议满足双向认证，且能够抵御重放攻击、伪装攻击、拒绝服务器攻击和口令离线攻击，具有较高安全性。     

A hierarchical simple particle swarm optimization with mean dimensional information

To reduce the negative influence of the overemphasis of gbest the dimensional information of particle is introduced to be a new example. This additional information source is incorporated into simple PSO to establish a simpler position model. Another two simpler position updating models, cognition only model and social only model, based on the simple PSO algorithm are presented as well. Time hierarchy strategy is extended from probability hierarchy, both aiming to make full use of advantages of three models. Three models are used with time or probability hierarchy to update each particle’s position. Thus, two proposed algorithms THSPSO and PHSPSO are finally obtained. Experiments are conducted on fifteen benchmark functions. The results demonstrate the two proposed algorithms both have excellent performances for basic functions compared with other popular PSO variants. Probability hierarchy strategy is more effective than time hierarchy strategy in general.     

Characterisation of coarse composite sphalerite particles with respect to flotation

The flotation response of a typical zinc-lead (Zn/Pb) ore, with respect to coarse composite (sulphide/non-sulphide) particles is reported. The flotation tests were carried out on a selected feed particle size range (−600 + 75 μm, at P₈₀ of 390 μm) and the recovery of Zn composite particles analysed on a size by size basis. The best results were achieved with the use of 75 g/t sodium isopropyl xanthate (SIPX), obtaining a Zn recovery of 77%, with a significant improvement at the coarse end of the particle size distribution. Computerised scanning electron microscope (QEMSCAN) was used to characterise value mineral grain size and degree of liberation, as well as gangue and sphalerite association in particles reporting to both concentrate and tailings. A new characterisation function (Locking ratio, LR) was developed based on the data from the automated mineralogical analysis to characterise particles into two-phase composites with different degree of locking texture (simple and complex). The function, which is based on the mode of occurrence of sphalerite, grain size, proportion and composition of the constituent minerals in each particle, was used to study the flotation response of the particles with different degrees of locking. The results highlight the difference in recoverability of the sphalerite bearing particles with different degrees of locking, with simple locking texture giving higher recovery than complex locking texture, for the same overall liberation.     

追求平常的好建筑--关于陈凌的设计

建筑师陈凌有着丰富的国内外建筑教育和工作实践经历。文章指出,在陈凌看来，建筑师的工作就是运用建造技术手段营造“平常的好建筑”，它们应该是平易近人的场所。文章以陈凌设计的亚运新新会所、卡尔生活馆、风华天成项目等作品为例，进一步阐述了陈凌所坚持的“平常的好建筑”的理念，包括简约精致的造型开放的街区，生活行为与空间的统一，以及建筑与生态环境的和谐等方面。     

上海交银金融大厦

本文通过对位于上海CBD浦东小陆家嘴金融贸易开发区的交银金融大厦立面造型、建筑空间、功能分区、室内装饰等各方面进行了深入介绍与分析.     

壁板,墙肢平面外承载能力计算：井塔塔身设计问题之三

在结构计算中验算壁板、墙肢平面外承载能力，是井塔有别于一般高层建筑结构的特殊要求。该文为考虑壁板宽高比对平面外承载能力的影响，引进标准壁板概念，完善了井塔壁板平面外承载能力计算方法。并将该方法推广于墙肢和带壁柱墙肢平面外承载能力计算。还研究了墙肢、壁板扣除翼缘及壁柱截面的内力转换问题。文中在叙述一般方法后，给出了一个完整的工程算例。     

Why Parents Drive Children to School: Implications for Safe Routes to School Programs

Problem: Rates of walking and bicycling to school have declined sharply in recent decades, and federal and state governments have committed funds to reverse these trends. To increase rates of walking and biking to school will require understanding why many parents choose to drive their children to school and how well existing programs, like Safe Routes to School, work.

Purpose: We aimed to understand why many parents choose to drive their children even short distances to school, and what implications this has for programs to increase walking and biking to school.

Methods: We used data from a telephone survey to explore why parents drive their children to school.

Results and conclusions: We found that 75% of parents driving their children less than 2 miles to school said they did this for convenience and to save time. Nearly half of parents driving their children less than 2 miles did not allow their child to walk to school without adult supervision. Accompanying a child on a walk to school greatly increases the time the household devotes to such a trip. Few Safe Routes to School programs effectively address issues of parental convenience and time constraints.

Takeaway for practice: Safe Routes to School programs should take parental convenience and time constraints into account by providing ways children can walk to school supervised by someone other than the parent, such as by using walking school buses. To be effective, such programs need institutional support. Schools should take a multimodal approach to pupil transportation.

Research support: This research was funded by the Active Living Research program of the Robert Wood Johnson Foundation and the U.S. and California Departments of Transportation through the University of California Transportation Center.     

上海新国际博览中心

本文介绍了析国际博览中心项目的设计概念及工程概况。     

煤岩的改进广义弹粘塑性模型分析

根据煤岩加速蠕变阶段的力学特性，用非线性牛顿体代替线性牛顿体，对煤岩的广义弹粘塑性模型进行改进，并导出改进模型的本构方程和简单应力状态下的蠕变方程。利用蠕变方程对试验结果进行曲线拟合计算，获取相应的煤岩流变力学参数。将理论分析与试验结果对比，从而验证了该模型的优越性。     

Evaluating the precision of eight spatial sampling schemes in estimating regional means of simulated yield for two crops

We compared the precision of simple random sampling (SimRS) and seven types of stratified random sampling (StrRS) schemes in estimating regional mean of water-limited yields for two crops (winter wheat and silage maize) that were simulated by fourteen crop models. We found that the precision gains of StrRS varied considerably across stratification methods and crop models. Precision gains for compact geographical stratification were positive, stable and consistent across crop models. Stratification with soil water holding capacity had very high precision gains for twelve models, but resulted in negative gains for two models. Increasing the sample size monotonously decreased the sampling errors for all the sampling schemes. We conclude that compact geographical stratification can modestly but consistently improve the precision in estimating regional mean yields. Using the most influential environmental variable for stratification can notably improve the sampling precision, especially when the sensitivity behavior of a crop model is known.