认证测试理论的扩展和应用

通过在串空间中加入新的密码原语,重新定义认证测试的前提条件、扩展认证测试理论,使其能够分析有签名运算的密码协议。通过对基于Diffie—Hellman密钥交换的安全协议进行合理的假设,使其参数项具有现时值的性质,从而可以直接使用扩展的认证测试理论进行分析。使用扩展后的认证测试分析一个包含签名和Diffie—Hellman密钥交换的密码协议,得出该协议满足认证特性。     

基于正则表达式的测试数据自动生成技术

软件测试是提高软件可靠性、保证软件质量的重要手段。数据自动生成是测试自动化的重要组成部分。提出一种基于正则表达式的测试数据自动生成技术,生成的数据应该具有随机性、可控制、可定义、有意义、无错误等特性,特别是对大字段／专有类型等特殊类型的支持,可以解决目前测试数据自动生成存在的问题,具有良好的扩展性。     

Applying eco-visualisations of different interface formats to evoke sustainable behaviours towards household water saving

The shortage of water resources is a global issue. This study attempts to utilise eco-visualisation interface design to affect users’ water-usage behaviour. Three interface proposals were designed in this study: numeric, water droplet (abstract symbol), and swimming fish (animated image). These three different interface formats range from abstract to figurative and from neutral to affective. A total of 93 subjects were divided into three groups and randomly performed designated dishwashing tasks twice. One of the tasks was completed without the assistance of any interface, whereas the other involved applying one of the three interface formats with eco-visualisations. In this study, the Self-Assessment Manikin scales, the System Usability Scale, and the Questionnaires for User Interaction Satisfaction were used to measure the emotional dimensions and perceived usability and to record the differences in water usage volume. The results indicated that the emotional valence evoked by the animated image interface was significantly higher than that by the numeric interface. The effect of the numeric interface formats on the subjects focused on emotional arousal, whereas other interfaces emphasised emotional valence. With the aid of the eco-visualisations of interface design, the evoked emotional response and enhanced usability could help improve sustainable behaviours towards water saving.     

Investigation of point-to-point performance test of touch trigger probes on coordinate-measuring machines

A major factor contributing to the total measuring error of coordinate measuring machines (CMMs) is the performance of the probing sub-system. Probing test methods are typically used to detect errors due to the probing sub-system. The probe performance evaluation method specified in the ANSI B89 standard is investigated in this paper. The sampling plan associated in the probe performance evaluation was tested by using experimental probing data from a CMM. Research findings indicate that the performance of touch trigger probes is overestimated due to a systematic bias in the vertical direction of the best-fit reference ball center in the probe performance test. A two-latitude sampling plan synthesis method based on a pretravel model for touch trigger probes is proposed in this paper. The proposed method can be used to accurately identify the reference ball center in the performance test of touch trigger probes.     

Kinematic analysis of 3SPS+1PS bionic parallel test platform for hip joint simulator based on unit quaternion

As a novel parallel hip joint simulator, the 3SPS+1PS bionic parallel test platform with 4 degrees of freedom including three rotations and one translation is proposed. SPS denotes the spherical-prismatic-spherical leg and PS denotes the prismatic-spherical leg where only the prismatic joint is actuated and hence underlined. By means of the unit quaternion method, the formulae for solving the inverse/forward displacement, the inverse/forward velocity and the inverse/forward acceleration kinematics are derived. Using the unit quaternion to represent the position and orientation of a moving platform, singularities caused by Euler angles can be avoided. Combining the topological structure characteristics of the 3SPS+1PS bionic parallel test platform and letting the three-dimensional (3-D) motion of a human hip joint as its output movement, the displacement trajectories of three active legs are constructed based on the inverse displacement kinematics. The forward kinematic tests whose data are recorded by a 3-D orientation capture system are carried out on the developed parallel hip joint simulator. Moreover, the results of the forward kinematic tests prove that the 3SPS+1PS bionic parallel test platform can approximately represent human hip joint motion and provide more reliable experimental data for hip joint prostheses in clinical application.     

Physiological responses to simulated firefighter exercise protocols in varying environments

For decades, research to quantify the effects of firefighting activities and personal protective equipment on physiology and biomechanics has been conducted in a variety of testing environments. It is unknown if these different environments provide similar information and comparable responses. A novel Firefighting Activities Station, which simulates four common fireground tasks, is presented for use with an environmental chamber in a controlled laboratory setting. Nineteen firefighters completed three different exercise protocols following common research practices. Simulated firefighting activities conducted in an environmental chamber or live-fire structures elicited similar physiological responses (max heart rate: 190.1 vs 188.0 bpm, core temperature response: 0.047°C/min vs 0.043°C/min) and accelerometry counts. However, the response to a treadmill protocol commonly used in laboratory settings resulted in significantly lower heart rate (178.4 vs 188.0 bpm), core temperature response (0.037°C/min vs 0.043°C/min) and physical activity counts compared with firefighting activities in the burn building.

Practitioner Summary: We introduce a new approach for simulating realistic firefighting activities in a controlled laboratory environment for ergonomics assessment of fire service equipment and personnel. Physiological responses to this proposed protocol more closely replicate those from live-fire activities than a traditional treadmill protocol and are simple to replicate and standardise.     

模拟抗原（Ac-NK16-Ahx-3）免疫反应抗体ELISA检测方法研究

为满足实验室单克隆抗体的制备研究,本实验特对实验室常用的制备单抗的模拟抗原（Ac-NK16-Ahx-3）进行ELISA间接法检测,进而建立一种高效的检测方法。通过对不同稀释度待测抗体的免疫吸附测定,检测出它的最终灵敏度为0.078mg/mL,最佳二抗稀释倍数为300倍,其最佳拟合曲线为y=-0.0732x＋0.6875,R2=0.8619。并且,通过统计学方法进行统计分析,确定出各实验组的相关性及变异系数,从而排除实验中的操作误差,最终可确定最佳的实验条件,并保证实验的准确性。     

Model test of helical angle effect on coal loading performance of shear drum

The work presented in this paper focuses on improving coal loading performance of shear drum.Employing the similarity theory,we carried out a dimensional analysis of the correlation parameters which in...