关于随机集值映象的不动点定理

我们得到几个随机集值映象的不动点定理，它推广了Ｍ．Ｓ．Ｋｈａｍ的结果［５］，文中所使用的方法与其它作者不同     

Electronic locking devices based on microcontrollers and chaotic maps using Model-Matching Control

In this work a real-time communication system using Arduino® microcontrollers, applied to electronic locking devices, is implemented. Model-Matching Control is used to achieve synchronization between transmitter and receiver Arduino® microcontrollers using only one transmission channel. Model-Matching Control is fed with dynamics from both Arduinos. Transmitter Arduino® is used also to generate in real-time an encrypted chaotic code key based on the Chen map. Receiver Arduino® recover in real-time the chaotic code key that is a binary signal key of an electronic locking device and where wireless communication is made between the two Arduinos using Bluetooth modules. System evaluation in terms of performance, randomness, and time complexity, are shown, as well as experimental results and some discussions are presented.     

一种基于EPID的安全OA系统

文章对OA系统中存在的安全问题进行了讨论,引人了一种新的基于远程匿名身份认证EPID模式,它能通过保存设备拥有者私密信息的硬件设施进行身份鉴定。一个嵌入EPID私密的硬件设备可以向远程机构证实它的有效性,而不必暴露自己的身份和其他私密信息。可以撤消一个签名的EPID私钥,即使不知道密钥的身份。同时,把EPID和其它的一些方法进行了对比。     

Hydrodynamics and liquid phase axial mixing in orifice pipe reactor

Two phase flow in a horizontal pipe, with orifice plates placed at regular intervals as obstructions, was studied for the effect of phase velocities on flow patterns, fractional phase hold-ups, pressure drop and liquid phase axial dispersion. Radioactive technetium-99m (as an aqueous solution of sodium pertechnatate) was used as tracer. A pulse injection technique with two point measurements was employed. Three different orifice diameters were used (8 mm, 16 mm, and 20 mm) in a pipe diameter of 32 mm. The orifice spacing was 500 mm in all cases. Superficial gas (air) velocity was varied over a range from 0.02 m/s to 1.0 m/s and superficial liquid (water) velocity from 0.03 m/s to 0.85 m/s. Different flow patterns under different flow conditions were identified and a generalised flow map is presented. Variations in hold-ups and pressure drop with flow patterns have been explained. Rational correlations have been developed for fractional phase hold-ups and pressure drop. A preliminary comparison of two phase gas-liquid flow in a horizontal pipe with orifice obstructions (to be called orifice pipe reactor), as a gas-liquid contacting device, is made with a conventional bubble column reactor. Recommendations have been made for future work.     

基于本体的文档互操作度量模型

为客观、自动化地评价各种文档在不同情况下实际达到的互操作能力,提出利用本体技术建立文档互操作性度量模型。在准确、形式化地描述文档概念及其关联的基础上,综合考虑各种影响互操作性的度量因素,通过度量函数对不同文档系统间的互操作性进行计算,通过量化的结果为互操作性测评提供客观依据。基于本体的形式化描述,实现了一个面向办公文档领域的原型系统以自动化地进行文档互操作性度量,验证了度量模型构建方法的有效性和模型的实用性。     

Flow Regime Maps for Flow of Liquid Through Downcomer in a Turbulent Bed Contactor

The provision of a downcomer to classical turbulent bed Contactor (TBC) increases the gas treating capacity of the equipment. When the downcomer is provided, it is expected that all the liquid passes through the downcomer only without any liquid flow through the distributor. In the present study, the operational regime for the flow of liquid only through the downcomer is experimentally evaluated for various geometric parameters and particle characteristics. It is observed that the preferred operational regime without dumping and weeping increases with an increase in Archimedes number and downcomer diameter, and decreases with an increase in static bed height and downcomer weir height. Correlations are proposed to satisfactorily predict experimentally observed operational regime.     

Flood hazard maps in the European context

The implementation of the EU Floods Directive by water authorities across Europe has generated a lack of consistency in the present situation, especially regarding the scales adopted, the hydrological scenarios and the elements represented on flood hazard and risk maps. From the EU-funded project HYTECH, this article presents a general overview of Floods Directive implementation in eight European countries, highlighting the differences between them, with particular attention to flood hazard maps. For the implementation cycle that started at the beginning of 2016, a minimization of such differences is necessary in order to manage flood risk in a better and more integrated way.     

基于覆盖技术的异步时序电路设计

该文根据动态卡诺图的原理,提出了异步时序电路设计的新方法-基于覆盖技术的异步时序电路设计法。该方法采用α,β覆盖,不仅可通过卡诺图直接得出整个电路的次态方程,而且与传统的异步时序电路设计方法相比,成本更低、功耗更低、延时更少。     

基于空时显著性感知的运动目标检测方法*

从视觉系统生理结构出发,对Itti视觉注意力模型进行了改进,融入运动特征,提出了一种基于视觉空时显著性感知的运动目标检测方法。首先提取图像的空间特征,形成空间显著图;然后利用相邻帧图像的全局运动、局部运动和相对运动,确定运动目标与背景的运动差异,形成运动显著图,并且对各显著区的空间特征和运动特征进行融合形成空时显著图,检测出运动目标。理论分析和实验结果表明,该方法能快速、准确地发现目标,减少目标的截获时间,提高目标跟踪性能。     

基于身份认证密钥协商的分析与改进

针对标准模型下可证明安全的基于身份认证密钥协商协议给出了一种有效攻击,指出其无会话密钥托管的协议存在安全缺陷.当密钥生成器(PKG)被恶意控制时,协商的会话密钥仍能被计算出来.为了抵抗这种攻击,给出了一种改进的基于身份认证密钥协商协议. 改进的协议在标准模型下是可证明安全的,具有无会话密钥托管的属性.