Delamination Analysis for Laminated Composites. II: Numerical Verification

A validation of the delamination analysis models developed in a companion paper is provided through comparisons of predictions with finite‐element and elasticity solutions. The models are applied to the analysis of composite compression specimens reinforced with end tabs. An elasticity solution for the gage section of the specimens is developed. A comparison of the characteristic roots shows that the predictions of the models include the material and geometric parameters that control the behavior, and the roots corresponding to the basic stretching and bending modes are accurately predicted. The stress distribution at the interface between tabs and specimen is in good agreement with a finite‐element simulation. The interlaminar shear and peel stresses show an exponential increase with a maximum intensity at the free edges of the tabs. The behavior of previously tested specimens is explained; and practical guidelines for specimen design are provided to avoid unwanted extraneous modes of failure. The influence of the deformation modes associated with each model is investigated. An assessment of the accuracy and level of complexity is presented.     

Service life planning and performance requirements

Service life planning comprises a model for the determination of a reasonable expected service life for buildings and components, and it establishes a routine for the assessment of design alternatives. A design option is considered reasonable when it meets or exceeds performance requirements over time that have been drawn up specifically for the specific project. Due to this assessment reference, there is a very evident link to the concept of performance-based building. Any stakeholder involved in the value chain or in the design process of the building, as well as regulators and building users, can express performance requirements. Identified requirements, both in relevance and in quality, will vary with the stakeholder and his/her perspective of interest. As building sector manufacturers develop most products with reference to standards rather than with reference to specific requirements, there is no direct link from user requirements to the product design. Instead, the building designer has the responsibility to ensure performance requirements are met by the performance of products integrated into the design. As these design decisions also have to be made at the material and component level, a performance-based building would benefit from an established rationale that enables the communication of performance requirements across the relevant system levels in the relevant design processes. A path for the connection of the established concepts of service life planning and performance-based building is presented. The aim is to identify key elements that need to be developed for the successful linkage of performance-based building with service life planning.     

Interpreting the negative mood-helping literature via "mega"-analysis: A contrary view.

"Mega"-analysis was developed by M. Carlson and N. Miller (see record 1987-31249-001) as an extension of traditional meta-analytic procedures for conducting integrative reviews of existing research literatures. One such mega-analysis was conducted by Carlson and Miller to synthesize the literature on the relation between negative mood states and helping. That analysis found no support for a theoretical account (negative state relief) that had been confirmed previously by using various experimental approaches. In an attempt to reconcile the discrepancy, the logic and methods used in Carlson and Miller's mega-analysis of the negative mood-helping literature were examined, and several serious problems were found. These problems are discussed, and data are presented to show that the results of that mega-analysis, and perhaps all mega-analyses, should not be viewed with confidence. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

Phosphate sorption approach for determining phosphorus requirements of wheat in calcareous soils

Five field experiments involving P application rates from 0 to 66 kg P ha^–1 were conducted on irrigated wheat at Tandojam, Pakistan. The soils belonged to two great soil groups, Torrifluvent and Camborthid. All soils were calcareous. Olsen-P contents ranged from 3.5 to 6.3 mg P kg^–1. Phosphate sorption curves were developed for soils from control (no P) plots at each site. Concentrations of P in solution established by fertilization in the field as estimated from the sorption curves ranged from 0.008 to 0.16mg P L^–1. Actual grain yields were converted to relative grain yields and plotted against corresponding concentrations of P in solution. Yield response to P application was obtained in each experiment. Control plot yields ranged from 57 to 89% of maximum yield of respective experiments. Phosphorus requirements of wheat were 0.032 mg L^–1 for 95% yield as determined from a composite yield response curve. Predicted quantities of P required to attain 0.032 mg P L^–1 ranged from 18 to 29 kg P ha^–1. The results of the study suggest that the P sorption approach can be used as a rational basis for making P fertilizer recommendations for various soil-crop combinations.     

标准模型下群签名的批验证协议*

首次对标准模型下群签名的批验证协议进行了研究。利用小指数测试技术和双线性对映射的特殊性质,为目前效率较高的两个群签名方案按照多人签署相同消息和不同消息这两种情况,分别设计了相应的批验证协议。相较于单独验证,认证效率大大提高。     

悬挂式重力补偿系统精密跟踪方法

介绍了一种用于研究空间机器人微重力条件下的工作特性的悬挂系统——悬挂式重力补偿系统,并给出了悬挂模块的动力学模型.通过数值求解与仿真,运用非线性规化求出了一定条件下的最优控制参数;用正交试验寻优、基于时间最优控制的试凑法证明了优化模型的解正确性.该研究为空间机器人地面试验系统模拟微重力环境下精密跟踪运动提供了最优控制方法.     

一种在线测算交流永磁同步电机定子电感参数的方法

本文介绍了一种采用准电流定向控制在线测算交流永磁同步电机定子电感参数的新方法,该方法利用通用的PWM调制的电压型逆变器在电机定子d轴上施加了一个正负交替的小电压,与d轴上获得的正负交替的小电流一起推算出定子电感参数。该法具有测试时间短和电机无需堵转的特点。它所涉及到的数学计算简单易于数字编程实现。MATLAB仿真结果证明了该方法的可行性和正确性。     

虚拟维修模型的校验方法研究

介绍了虚拟雏修与建模仿真的关系,分析了虚拟维修模型校验的特点,研究了虚拟维修模型校验的方法,分别应用置信区间法、假设检验法、Bayes法、TIC法、频谱分析法从静态性能和动态性能两个方面对模型实施校验,从而为虚拟维修模型准确性、实时性提供了较为可靠的验证方法.为虚拟维修模型的校验提供一套系统的理论和方法,有利于虚拟维修模型得到更好应用.     

一种时间相关安全协议的自动验证工具

设计并实现了一个时间相关安全协议的自动验证工具。工具以一种时间相关安全协议逻辑TCPL为基础,以XML语言为描述方式,采用构造分层逻辑树的方法,完成了对安全协议目标的自动验证。实现结果表明,该工具简化了安全协议的证明过程,提高了效率,具有较好的实用性。