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

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

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.     

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

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

等腰三角形的模式识别

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

家庭理财系统的开发及实现

划分了家庭理财软件的功能模块,完成了数据库设计,并实现了家庭理财系统的建立.     

低温等离子体处理模式对冷藏南美白对虾中假单胞菌的抑菌效果及机理研究

摘 要：目的 探究低温等离子体(cold plasma, CP)处理模式对冷藏南美白对虾中常见荧光假单胞菌(Pseudomonas fluorescens)的抑菌效果及其作用机制。方法 通过CP直接处理和循环处理P. fluorescens,研究了两种处理模式下臭氧含量动态变化对P. fluorescens的生长曲线、细胞活力,生物膜形成、细胞壁、细胞膜完整性和南美白对虾菌落总数及假单胞菌数等指标的影响。结果 两种处理模式在CP处理3 min或3 cycles后,包装内臭氧含量达到最高值,分别为(850±10) mg/m3和(874±20) mg/m3。CP循环处理模式使得臭氧含量随处理循环数递增,因此获得更长的臭氧存在时间从而具有更大的抑菌能力。P. fluorescens生长曲线表明CP处理使得菌体延迟期变长且对数生长期推迟。此外,CP处理后的P. fluorescens细胞活力显著下降(P<0.05),CP-1 min,CP-3 min和CP-3 cycles组的细胞活力分别为33.03%、5.90%和4.82%。同时相比CP-3 min组,CP-3 cycles组的P. fluorescens生物膜OD值下降27.61%。碱性磷酸酶(alkaline phosphatase, AKP)活性和核酸蛋白泄漏量结果表明,细胞壁和细胞膜完整性受损可能是P. fluorescens失活的直接原因。对虾保鲜测试结果证实,贮藏第6 d,CP-3 cycles组虾体中的菌落总数和假单胞菌数相比CP-3 min组分别降低了58.02%和79.54%。结论 CP循环处理模式通过延长对臭氧与对虾的暴露时间,提高了对P. fluorescens的灭活效果,同时还具有更优越的保鲜能力。本研究为开发基于CP技术的新型保鲜技术应用提供了理论参考。 关键词：低温等离子体;荧光假单胞菌;抑菌机制;保鲜     

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.     

Ultrafast Switchable Passive Radiative Cooling Smart Windows with Synergistic Optical Modulation

Switchable passive radiative cooling (PRC) smart windows can modulate sunlight transmission and spontaneously emit heat to outer space through atmospheric transparent window, presenting great potential in building energy conservation. However, realizing stable and on-demand control of the cooling efficiency for PRC materials is still challenging. Herein, an electro-controlled polymer-dispersed liquid crystal (PDLC) smart window showing PRC property is designed and prepared by adding mid-infrared emitting reactive monomers into the conventional PDLC matrix. It is found that not only the electro-optical properties but also the PRC efficiency of PRC PDLC film are tunable by regulating the content of the mid-infrared emitting components, film thickness, and micromorphology. This advanced PRC PDLC material achieves a near/sub-ambient temperature when the solar irradiance is below 400 W m⁻² and can dynamically manage daytime cooling efficiency. Importantly, its PRC efficiency is capable of being tuned in an on-demand and ultrafast millisecond-scale way, whose controllable transparency enables multistage heat regulation. This study is hoped to provide new inspiration in the preparation of advanced optical devices and energy-efficient equipment.