一种高效的无证书多重签名方案*

为了满足多个人对同一份文件签名的高效性,将无证书密码体制与多重签名方案相结合,提出一种高效的无证书多重签名方案。该方案有效地削弱了可信第三方的权力,并且被证明了在适应性选择消息攻击下是存在性不可伪造的,其安全性基于CDH问题的困难假设。与现有方案相比,该方案需要计算的双线性对计算次数少,降低了系统开销。     

一种针对C程序缓冲区溢出的检测方法*

为了增强对程序缓冲区溢出漏洞的检测,提出一种利用CCured和BLAST对C程序进行分析的检测方法。首先利用CCured对C语言源程序进行运行时检测的代码插桩;然后用BLAST提供的自定义安全属性语言对这些插桩代码进行相关约束描述;最后让BLAST根据约束描述文件对代码插桩后的程序进行模型检测,就可以尽可能地找出C语言程序中潜在的缓冲区溢出漏洞。     

金属真空弧离子源引出强流离子束的数值模拟

为了引出更高强度、更高亮度的铀离子束,以满足重离子研究中心(Gesellschaft für SchwerionenforschungmbH,GSI)重离子同步加速器的需求,本文用三维的计算机程序KOBRA3-INP对金属真空弧离子源(Metalvapor vacuum arcion source,MEVVA)引出强流铀离子束在引出系统和后加速系统中的动力学特性进行了研究,讨论了离子源发射束流密度对引出束性能的影响.结果表明,束流损失主要发生在引出系统和后加速系统之间的漂移区;在假设漂移区束流被空间电荷中和的情况下,模拟结果和实验结果符合;在发射束流密度为180-230 mA/cm2范围内,经后加速的束流强度变化不大.     

谐振式光纤陀螺全数字闭环方案

谐振式光纤陀螺是一种新型的惯性传感仪器,与传统机械陀螺和其他光学陀螺相比具有很多理论上的优势.数字信号处理电路的谐振式光纤陀螺全数字闭环是采用双频率数字锯齿波相位调制技术对光路进行了相应的调制和解调.对光信号中夹杂的大量白噪声以及数字信号处理中由于有限位数的A/D引入的量化噪声进行综合考虑,提出了用比信号带宽高很多的采样率对含有噪声的信号进行过采样,加上后续的数字信号处理,低位数A/D和高位数A/D的检测效果几乎一样.数字调制的精度影响了系统的精度,使用平均法用低位的D/A可以实现很大的调制动态范围.经过基于文中设计的数字系统的实验,得到了和理论仿真类似的解调曲线,证明了文中提出的数字闭环方案的可行性.     

微流道交流电水力泵的数值模拟及优化

描述了微通道内交流电水力泵(EHD)的工作原理,并用IntelliSuite(R)的Microfluidic模块对电水力泵进行数值模拟.并分析了影响电水力泵速度场分布的因素,包括流体电导率、驱动交流电频率和相位、电极维度以及电极间隙和数量等.通过数值模拟不同参数下的电水力泵,比较驱动压力大小,最后给出优化的设计结果,为给电水力泵设计参数的选择提供依据.本文对流道长度为5mm,宽0.4mm,厚度0.4mm的电水力泵做了优化设计的数值模拟,最后得到驱动电极宽度为0.01mm,电极间距为0.02mm.     

Functional and comparative study of lingual papillae in four species of bear (Ursidae) by scanning electron microscopy

The eight current species of bear (Ursidae) are widely distributed throughout Europe, Asia, and America. They are mainly encountered in the northern hemisphere, except for the spectacled bear and the sun bear, which are also found in the south of the equator. Adaptations of the masticatory apparatus (teeth, tongue, and musculature) to diet are one of the factors that imply the greatest structural changes in the cranium. This diet may be carnivorous, herbivorous, melliferous, or insectivorous, with one type of food predominating according to the time of year. The way in which food is eaten determines the morphology of the lingual surface; generally speaking, all bears put their mouth to the food, which, initially, they lick or they let the food stick to their tongue, as occurs when insects are eaten. As in all mammals, a distinction can be made between mechanical and gustatory papillae and the development and distribution of which depend on the species and their eating habits. In this study of the complete tongues of four species of adult bears, we describe the morphology of the lingual surfaces, the different types of papillae, their characteristics, and topographic distribution. It was seen that there were five main types of lingual papillae: filiform, conical, fungiform, foliate, and vallate. Morphology of the microgrooves and pores was similar to that observed in other mammals. In general, there were no great differences among the four species of bears studied, perhaps due to the similarity in the kind of food they consume in captivity.     

Structural studies of pulsed-laser deposited nanocomposite metal-oxide films

Pulsed laser deposition in vacuum has been used to develop metal-oxide nanocomposite films with well controlled structural quality. Results for the copper–aluminium oxide (Cu:Al₂O₃) system are used to illustrate the main morphological and structural features of these films. High resolution transmission electron microscopy (TEM) analysis shows that the films consist of Cu nanocrystals with average dimensions that can be controlled between 2 nm and 10 nm embedded in an amorphous Al₂O₃ matrix. It is observed that the in-plane shape of the nanocrystals evolves from circular to elongated, and the number of nanocrystals per unit area decreases as their size increases. This evolution is explained in terms of nucleation at the substrate surface and coalescence during the later stages of growth. The thermal stability of the films has been studied by in situ TEM annealing and no transformation could be observed up to about 800 °C when partial crystallization of the Al₂O₃ starts.     

Singly ionized double-donor complex in vertically coupled quantum dots

ABSTRACT: The electronic states of a singly ionized on-axis double-donor complex (D2+) confined in two identical vertically coupled, axially symmetrical quantum dots in a threading magnetic field are calculated. The solutions of the Schrodinger equation are obtained by a variational separation of variables in the adiabatic limit. Numerical results are shown for bonding and antibonding lowest-lying artificial molecule states corresponding to different quantum dot morphologies, dimensions, separation between them, thicknesses of the wetting layers, and magnetic field strength.     

Gauging food and nutritional care quality in hospitals

ABSTRACT: BACKGROUND: Food and nutritional care quality must be assessed and scored, so as to improve health institution efficacy. This study aimed to detect and compare actions related to food and nutritional care quality in public and private hospitals. METHODS: Investigation of the Hospital Food and Nutrition Service (HFNS) of 37 hospitals by means of structured interviews assessing two quality control corpora, namely nutritional care quality (NCQ) and hospital food service quality (FSQ). HFNS was also evaluated with respect to human resources per hospital bed and per produced meal. RESULTS: Comparison between public and private institutions revealed that there was a statistically significant difference between the number of hospital beds per HFNS staff member (p = 0.02) and per dietitian (p < 0.01). The mean compliance with NCQ criteria in public and private institutions was 51.8% and 41.6%, respectively. The percentage of public and private health institutions in conformity with FSQ criteria was 42.4% and 49.1%, respectively. Most of the actions comprising each corpus, NCQ and FSQ, varied considerably between the two types of institution. NCQ was positively influenced by hospital type (general) and presence of a clinical dietitian. FSQ was affected by institution size: large and medium-sized hospitals were significantly better than small ones. CONCLUSIONS: Food and nutritional care in hospital is still incipient, and actions concerning both nutritional care and food service take place on an irregular basis. It is clear that the design of food and nutritional care in hospital indicators is mandatory, and that guidelines for the development of actions as well as qualification and assessment of nutritional care are urgent.