可组合的描述符泄露类型检查

应用程序通过操作系统的系统调用对文件描述符进行操作并管理文件资源。如果应用程序对资源描述符的管理出现错误并发生描述符泄漏,会严重影响系统的可用性。据此,提出了一种检查程序是否会导致描述符泄漏的类型系统,给出了描述符操作方法的语义和类型约束,证明了类型系统的可靠性定理。此外,还初步讨论了该类型系统在并发程序下的扩展。     

Practical chosen-ciphertext secure Hierarchical Identity-Based Broadcast Encryption

We focus on practical Hierarchical Identity-Based Broadcast Encryption (HIBBE) with semantic security against adaptively chosen-ciphertext attacks (CCA2) in the standard model. We achieve this goal in two steps. First, we propose a new HIBBE scheme that is secure against chosen-plaintext attacks (CPA). Compared with the existing HIBBE scheme that is built from composite-order bilinear groups, our construction is based on prime-order bilinear groups. The much better efficiency of group operations in prime-order bilinear groups makes our proposed HIBBE scheme more practical. Then, we convert it into a CCA2-secure scheme at the cost of a one-time signature. Instead of extending one user hierarchy in the Canetti–Halevi–Katz approach from CPA-secure (\(l+1\))-Hierarchical Identity-Based Encryption [(\(l+1\))-HIBE] to CCA2-secure \(l\)-HIBE, our construction merely adds one on-the-fly dummy user in the basic scheme. We formally prove the security of these two schemes in the standard model. Comprehensive theoretical analyses and experimental results demonstrate that the proposed HIBBE schemes achieve desirable performance.     

Robust image hashing using non-uniform sampling in discrete Fourier domain

This paper proposes a robust image hashing method in discrete Fourier domain that can be applied in such fields as image authentication and retrieval. In the pre-processing stage, image resizing and total variation based filtering are first used to regularize the input image. Then the secondary image is obtained by the rotation projection, and the robust frequency feature is extracted from the secondary image after discrete Fourier transform. More sampling points are chosen from the low- and middle-frequency component to represent the salient content of the image effectively, which is achieved by the non-uniform sampling. Finally, the intermediate sampling feature vectors are scrambled and quantized to produce the resulting binary hash securely. The security of the method depends entirely on the secret key. Experiments are conducted to show that the present method has satisfactory robustness against perceptual content-preserving manipulations and has also very low probability for collision of the hashes of distinct images.     

高职院校计算机专业现状分析及对策——以黄冈职业技术学院计算机专业为例

该文也就高职院校计算机专业改革进行若干的设想,从课程体系、学生结构、教师知识结构等方面的改革进行分析总结。     

在ASP.NET 2.0中自动化构建数据访问层

使用ASP.NET2.0所提供的BuildProvider类,将自动化构建的数据访问层源代码编译到程序集中,使得开发者利用Ob-jectDataSource控件,可以简单、快速地实现三层架构的Web应用。     

等腰三角形的模式识别

本文应用语言模式识别的方法,对三角形语言识别模式中的等腰三角形的语言识别模型进行识别。取三角形的三条边作为特征因子集,主要根据三角形的特点建立隶属函数并给出建立隶属函数的理论依据。     

Amine Coordinated Electron-Rich Palladium Nanoparticles for Electrochemical Hydrogenation of Benzaldehyde

Electrocatalytic hydrogenation (ECH) is a burgeoning strategy for the sustainable utilization of hydrogen. However, how to effectively suppress the competitive hydrogen evolution reaction (HER) is a big challenge to ECH catalysis. In this study, amine (NH₂ R)-coordinated Pd nanoparticles loaded on carbon felt (Pd@CF) as a catalyst is successfully synthesized by a one-step solvothermal reduction method using oleylamine as the reducing agent. An exceptional ECH reactivity on benzaldehyde is achieved on the optimal Pd@CF catalyst in terms of a high conversion (89.7%) and selectivity toward benzyl alcohol (89.8%) at −0.4 V in 60 min. Notably, the Faradaic efficiency for producing benzyl alcohol is up to 90.2%, much higher than that catalyzed by Pd@CF-without N-group (41.1%) and thecommercial Pd/C (20.9%). The excellent ECH performance of Pd@CF can be attributed to the enriched electrons on Pd surface resulted from the introduction of NH₂ R groups, which strengthens both the adsorption of benzaldehyde and the adsorbed hydrogen (H_ads) on Pd, preventing the combination of H_ads to form H₂, that is, inhibiting the HER. This study gives a new insight into design principles of highly efficient electrocatalysts for the hydrogenation of unsaturated aldehydes molecules.     

Macrophage Membrane-Coated Nanoparticles Sensitize Glioblastoma to Radiation by Suppressing Proneural–Mesenchymal Transformation in Glioma Stem Cells

Radiotherapy is identified as a crucial treatment for patients with glioblastoma, but recurrence is inevitable. The efficacy of radiotherapy is severely hampered partially due to the tumor evolution. Growing evidence suggests that proneural glioma stem cells can acquire mesenchymal features coupled with increased radioresistance. Thus, a better understanding of mechanisms underlying tumor subclonal evolution may develop new strategies. Herein, data highlighting a positive correlation between the accumulation of macrophage in the glioblastoma microenvironment after irradiation and mesenchymal transdifferentiation in glioblastoma are presented. Mechanistically, elevated production of inflammatory cytokines released by macrophages promotes mesenchymal transition in an NF-κB-dependent manner. Hence, rationally designed macrophage membrane-coated porous mesoporous silica nanoparticles (MMNs) in which therapeutic anti-NF-κB peptides are loaded for enhancing radiotherapy of glioblastoma are constructed. The combination of MMNs and fractionated irradiation results in the blockage of tumor evolution and therapy resistance in glioblastoma-bearing mice. Intriguingly, the macrophage invasion across the blood-brain barrier is inhibited competitively by MMNs, suggesting that these nanoparticles can fundamentally halt the evolution of radioresistant clones. Taken together, the biomimetic MMNs represent a promising strategy that prevents mesenchymal transition and improves therapeutic response to irradiation as well as overall survival in patients with glioblastoma.