结合试飞特点,开展专用测试设备计量确认

根据我院专用测试设备计量确认现状及需求，对开展试飞专用测试设备计量确认工作的要求，步骤、确认原则，以及编定计量确认方法进行了必要的讨论分析。     

Three-Dimensional Solution and Experimental Confirmation for the Electric Resistivity Testing of Surface-Breaking Defects in Green-State Powder Metallurgy Compacts

This paper investigates electrostatic voltage distributions around a surface-breaking flaw due to an injected current of known strength. The direct 3-D solution of the voltage behavior over the flawed surface is obtained numerically by the use of a boundary integral formulation. A novel iteration method is applied to solve the resulting electrostatic integral equation for the unknown surface voltage distribution. In addition to investigating the sensitivity of different flaw sizes to the observed surface voltage distribution, important issues such as suitable probe spacing and current flow orientation are studied. For sufficiently small surface-breaking flaws, a simple image source model is developed to evaluate the voltage response of hairline cracks. The model is tested by comparing it with the developed numerical solution. Experiments aimed at establishing the validity of the modeling approach show remarkable agreement with the theoretical model.     

我国耐火材料矿物资源状况与发展问题的讨论

介绍了我国耐火资源的现状和开发利用状况,包括我国耐火资源储量分析、耐火资源的行业配置、耐火矿物资源消耗状况以及耐火矿物资源利用情况。对合理利用耐火资源,走可持续发展道路提出建议;通过改进原料产品生产工艺,提高耐火矿物资源的利用效能;合理使用耐火材料,降低耐火资源的消耗。     

Application of the Soil and Water Assessment Tool for six watersheds of Lake Erie: Model parameterization and calibration

The Soil and Water Assessment Tool (SWAT), a physically-based watershed-scale model, holds promise as a means to predict tributary sediment and nutrient loads to the Laurentian Great Lakes. In the present study, model performance is compared across six watersheds draining into Lake Erie to determine the applicability of SWAT to watersheds of differing characteristics. After initial model parameterization, the Huron, Raisin, Maumee, Sandusky, Cuyahoga, and Grand SWAT models were calibrated (1998-2001) and confirmed, or validated (2002-2005), individually for stream water discharge, sediment loads, and nutrient loads (total P, soluble reactive P, total N, and nitrate) based on available datasets. SWAT effectively predicted hydrology and sediments across a range of watershed characteristics. SWAT estimation of nutrient loads was weaker although still satisfactory at least two-thirds of the time across all nutrient parameters and watersheds. SWAT model performance was most satisfactory in agricultural and forested watersheds, and was less so in urbanized settings. Model performance was influenced by the availability of observational data with high sampling frequency and long duration for calibration and confirmation evaluation. In some instances, it appeared that parameter adjustments that improved calibration of hydrology negatively affected subsequent sediment and nutrient calibration, suggesting trade-offs in calibrating for hydrologic vs. water quality model performance. Despite these considerations, SWAT accurately predicted average stream discharge, sediment loads, and nutrient loads for the Raisin, Maumee, Sandusky, and Grand watersheds such that future use of these SWAT models for various scenario testing is reasonable and warranted.     

Explaining IS continuance in environments where usage is mandatory

Several research efforts over the last decade have attempted to explain user acceptance in mandated environments. This research is an attempt in the same direction. It addresses users’ satisfaction in mandated environments to further contribute to our understanding of how we can manage mandated use of information systems (IS) effectively beyond initial adoption. To better explain users’ IS continuance a revised post-acceptance model is proposed and empirically tested using the structural equation modelling technique. The results demonstrate the reliability and validity of the proposed measurement model and further demonstrate that confirmed expectations and ease of use perceptions explain 61% of the users’ satisfaction in this setting. Our findings have important implications for the management of users in mandated environments as well as for further research in the area of mandated use. To that end, we offer directions for future research.     

Extending the two‐stage information systems continuance model: incorporating UTAUT predictors and the role of context

This study presents two extensions to the two‐stage expectation‐confirmation theory of information systems (IS) continuance. First, we expand the belief set from perceived usefulness in the original IS continuance model to include three additional predictors identified in the unified theory of acceptance and use of technology, namely effort expectancy, social influence and facilitating conditions. Second, we ground the IS continuance model in the context of transactional systems that involve transmission of personal and sensitive information and include trust as a key contextual belief in the model. To test the expanded IS continuance model, we conducted a longitudinal field study of 3159 Hong Kong citizens across two electronic government (e‐government) technologies that enable citizens' access to government services. In general, the results support the expanded model that provides a rich understanding of the changes in the pre‐usage beliefs and attitudes through the emergent constructs of disconfirmation and satisfaction, ultimately influencing IS continuance intention. Finally, we discuss the theoretical and practical implications of the expanded model.     

SMB色谱模型数值计算的时空守恒元解元方法

为了探寻出一种求解SMB色谱模型的快速数值求解方法,并试图通过比较得出时空守恒元/解元(CE/SE)方法确实是快速数值求解方法,因而采用该方法对SMB色谱模型进行数值求解,并在数值方法的计算效率和精确度两个方面与有限差分法和正交配置有限元法进行了比较,最终得出了CE/SE方法是具有高计算效率和高精确度特性的快速数值求解方法.通过两个实例的模拟仿真,结果表明了该方法在高计算效率和高精确度方面的优越性.     

A novel user identification scheme with key distribution preserving user anonymity for distributed computer networks

Recently, Yang et al. proposed an efficient user identification scheme with key distribution, in which it is possible for the user to anonymously log into a system and establish a secret key shared with the system. Mangipudi and Katti later demonstrated a Deniable-of-Service (DoS) attack on the Yang et al. scheme and then proposed an improvement to withstand such an attack. However, this paper demonstrates an identity disclosure attack to show that neither schemes’ claimed user anonymity requirement can be achieved. We further propose a novel user identification scheme with key distribution preserving user anonymity for distributed computer networks. The proposed scheme not only withstands the attacks mentioned above, but also achieves the following: (i) user anonymity, (ii) key distribution, (iii) mutual authentication, and (iv) key confirmation. The performance of our scheme is of greater efficiency than that of previously proposed schemes in terms of communication costs and computational complexities.     

THEIL不等系数法在水下自航器仿真模型验证中的应用

该文讨论了ＴＨＥＩＬ不等系数法在水下自航器仿真模型验证使用时的有关问题，提出两种模型验证方案，通过数字仿真的方法讨论了ＴＨＥＩＬ不等系数对初值的不确定，随机测量噪声，不同验模方这杂的适用性。     

闸刀远方操作位置检查方案探析

针对集中监控模式下500 kV变电站无人值守运行管理中闸刀远方遥控操作后位置"双确认"的检查,文章提出了双位置遥信判断、视频监控辅助判断、压力传感器辅助判断、激光感应器辅助判断等方案,并就各种方案的技术经济性及可行性进行了简单探讨。提出了适合安徽500 kV变电站闸刀远方操作后位置检查的方案,有助于提高远方操作的准确性。