一种基于熵源分离模型的可重构安全原语

在信息爆炸时代,信息的安全问题受到了广泛关注。在物联网设备的加密协议中,物理不可克隆函数(PUF)与真随机数发生器成为加密协议中基本的安全原语,提供了轻量级的解决方案。文章提出了一种熵源分离模型,能够分离环形振荡器中抖动(真随机数发生器的熵)和工艺偏差(PUF熵)引起的延时。基于该模型,在FPGA上设计了一种可重构的双工作模式电路,通过改变模式可分别生成PUF和真随机数。相较于FPGA上独立设计的PUF和真随机数发生器,该结构具有资源开销小、面积利用率高、功耗低等优势。实验结果表明,生成的PUF稳定性高、唯一性强、均匀性好;真随机数序列均通过了NIST测试,具有高随机性和不可预测性。     

基于双解码路径DD-UNet的脑肿瘤图像分割算法

针对医学图像中病灶区域尺度不一、边界模糊和周围组织强度不均匀所导致的分割精度降低问题,提出了一种基于双解码器的脑肿瘤图像分割模型。为了增强特征的表征力,提出了高阶微分残差模块并使用不同空洞率的扩张卷积用于提取特征编码,提高了网络模型的分割性能;引入上下文语义信息感知模块(multi scale dilation, MSD),从不同的目标尺度中提取更多的精细信息,提高了对结构细节信息的捕获能力,同时减少了编解码器之间的特征差异;在空间解码路径中使用选择性聚合空间注意力模块(spatial aggregation attention module, SAAM),增加了对有效空间特征的权重比例,减少了无效的特征干扰。在脑肿瘤数据集上进行了实验验证,实验结果表明,所提算法的Dice系数、平均交并比、敏感性、特异性、准确率等指标分别为：93.35%、90.71%、91.15%、99.94%、96.75%。     

基于改进3D UNet的前列腺MR图像分割

针对前列腺磁共振 (magnetic resonance, MR)图像边缘模糊、对比度较低,灰度值分布不均衡而导致分割精度较差的问题,提出了一种结合双路径注意力(dual path attention,DPA) 和多尺度特征聚合(multi-scale feature aggregation,MFA) 模块的改进3D UNet网络模型。首先,对数据集进行重采样和裁剪处理以适应模型输入。然后,在3D UNet网络的编码器各层引入DPA 并添加残差连接,加强特征的 编码能力。同时,在网络解码器中加入MFA模块,以充分利用空间上下文信息,增强语义信息。最后,在公开数据集PROMISE12上进行验证,所提出的模型的Dice系数为89.90%,Hausdorff 距离为9.37 mm。相比较于其他模型,所提出模型的分割结果更优,且参数量和运算量更少。     

Aperture-Adjustable and Repairable Metal-Based MOFs Catalysis Membrane for Water Purification

Precise adjustment of the pore size, damage repair, and efficient cleaning is all challenges for the wider application of inorganic membranes. This study reports a simple strategy of combining dry-wet spinning and electrosynthesis to fabricate stainless-steel metal–organic framework composite membranes characterized by customizable pore sizes, targeted reparability, and high catalytic activity for membrane cleaning. The membrane pore size can be precisely customized in the range of 14–212 nm at nanoscale, and damaged membranes can be repaired by targeted treatment in 120 s. In addition, advanced oxidation processes can be used to quickly clean the membrane and achieve 98% flux recovery. The synergistic actions of the membrane matrix and the selective layer increase the adsorption energy of active sites to oxidant, shorten the electron transfer cycle, and enhance the overall catalytic performance. This study can provide a new direction for the development of advanced membranes for water purification and high-efficiency membrane cleaning methods.     

3D Printing Thermally Stable High-Performance Polymers Based on a Dual Curing Mechanism

High-performance polymers are an important class of materials that are used in challenging conditions, such as in aerospace applications. Until now, 3D printing based on stereolithography processes can not be performed due to a lack of suitable materials. There is report on new materials and printing compositions that enable 3D printing of objects having extremely high thermal resistance, with Tg of 283 °C and excellent mechanical properties. The printing is performed by a low-cost Digital Light Processing printer, and the formulation is based on a dual-cure mechanism, photo, and thermal process. The main components are a molecule that has both epoxy and acrylate groups, alkylated melamine that enables a high degree of crosslinking, and a soluble precursor of silica. The resulting objects are made of hybrid materials, in which the silicon is present in the polymeric backbone and partly as silica enforcement particles.     

Generalized logic and the representation of rings

Following the progression towards weaker logics, a number of authors have considered the notion of a sheaf over a quantale or, equivalently, a quantale valued set. In this paper, we use ideas from enriched category theory to motivate the definition of a quantic sheaf. Given a localic subquantale of Q, a quantic sheaf over Q gives a sheaf in the usual sense. As an application, we derive a series of sheaf representations for commutative rings including the familiar Pierce representation.     

A quadratically convergent O(\sqrt n L)-iteration algorithm for linear programming

Recently, Ye, Tapia and Zhang (1991) demonstrated that Mizuno—Todd—Ye's predictor—corrector interior-point algorithm for linear programming maintains the O( L)-iteration complexity while exhibiting superlinear convergence of the duality gap to zero under the assumption that the iteration sequence converges, and quadratic convergence of the duality gap to zero under the assumption of nondegeneracy. In this paper we establish the quadratic convergence result without any assumption concerning the convergence of the iteration sequence or nondegeneracy. This surprising result, to our knowledge, is the first instance of a demonstration of polynomiality and superlinear (or quadratic) convergence for an interior-point algorithm which does not assume the convergence of the iteration sequence or nondegeneracy.Supported in part by NSF Grant DDM-8922636 and NSF Coop. Agr. No. CCR-8809615, the Iowa Business School Summer Grant, and the Interdisciplinary Research Grant of the University of Iowa Center for Advanced Studies.Supported in part by NSF Coop. Agr. No. CCR-8809615, AFOSR 89-0363, DOE DEFG05-86ER25017 and ARO 9DAAL03-90-G-0093.Supported in part by NSF Grant DMS-9102761 and DOE Grant DE-FG05-91ER25100.     

Theoretical study of the ring‐closing reaction of 5′‐AMP to cAMP and H2O in the gas phase

The ring‐closing reaction of 5′‐adenosine monophosphate (5′‐AMP) to generate cyclic 3′, 5′‐adenosine monophosphate (cAMP) and H₂O was theoretically investigated at the B3LYP/6‐31G**level. It was found that the ring‐closing reaction of 5′‐AMP may proceed in a synchronous way or in a stepwise way. For the latter, the reaction is a multichannel elimination reaction including inner H transfer. The potential energy surface of Path 3 is lowest in all the ring‐closing reaction paths. In addition, H shuttling reaction with the participation of a water molecule to act as a shuttle were also studied at the same level. The calculations indicate that the participation of a water molecule facilitates hydrogen transfer reaction. Our present calculations rationalized all the possible reaction channels. © 2005 Wiley Periodicals, Inc. Int J Quantum Chem, 2005     

Useful dual Diels-Alder behavior of 2-azetidinone-tethered aryl imines as azadienophiles or azadienes: a beta-lactam-based stereocontrolled access to optically pure highly functionalized indolizidine systems

Imines derived from 4-oxoazetidine-2-carbaldehydes have been found to be versatile Diels-Alder reagents in that they exhibit two reactivity patterns. 2-Azetidinone-tethered imines undergo diastereoselective reaction with Danishefsky's diene in the presence of different Lewis acids. The effect of the amount of catalyst on the conversion rate as well as on the product ratio has been studied. Under standard reaction conditions, indium(III) chloride and zinc(II) iodide provided the best yields, and indium(III) triflate the highest diastereoselectivity in the Lewis acid promoted aza-Diels-Alder cycloaddition. Treatment of the aforementioned imines with cyclopentadiene, 2,3-dimethyl-1,3-butadiene or 3,4-dihydro-2 H-pyran led to cycloadducts arising from inverse electron-demand condensation involving the beta-lactam-tethered aryl imine as the heterodiene component. In addition, the first methodology for preparing indolizidines from beta-lactams has been developed. This process involves amide bond cleavage of the beta-lactam ring in the aza-Diels-Alder cycloadducts with concomitant cyclization. Full chirality transfer occurs when the reaction is performed with an enantiomerically pure substrate.