Efficient identity-based online/offline encryption and signcryption with short ciphertext

The technique of online/offline is regarded as a promising approach to speed up the computation of encryption, because the most part of computation, such as pairing over points on elliptic curve and exponentiation in groups, can be pre-computed in the offline phase without knowing the message to be encrypted and/or recipient’s identity. The online phase only requires light computation, such as modular multiplication. In this paper, we propose two novel identity-based online/offline schemes: a full secure identity-based online/offline encryption scheme and an identity-based online/offline signcryption scheme. Compared to the other schemes in the literature, our schemes achieve the shortest ciphertext size in both offline and online phases and demonstrate the best performance in offline computation. Our schemes are applicable to devices with limited computation power. They are proven secure in the random oracle model.     

Optimization for limited angle tomography in medical image processing

This paper aims to reduce the problems of incomplete data in computed tomography, which happens frequently in medical image process and analysis, e.g., when the high-density region of objects can only be penetrated by X-rays at a limited angular range. As the projection data are available only in an angular range, the incomplete data problem can be attributed to the limited angle problem, which is an ill-posed inverse problem. Image reconstruction based on total variation (TV) reduces the problem and gives better performance on edge-preserving reconstruction; however, the artificial parameter can only be determined through considerable experimentation. In this paper, an effective TV objective function is proposed to reduce the inverse problem in the limited angle tomography. This novel objective function provides a robust and effective reconstruction without any artificial parameter in the iterative processes, using the TV as a multiplicative constraint. The results demonstrate that this reconstruction strategy outperforms some previous ones.     

对MMI质量流量计计量系统通信故障的处理

武汉石油化工厂计量办检测站于１９９５年５月投用了一套用于成品油水路出厂计量的质量流量计微机计量系统,运行两年多,工厂的成品油出厂损耗逐年下降（目前实际出厂损耗率已经控制在１０．１％以内,远远低于±０．３％的国家标准）,用户索赔情况日趋减少,取得了较好的经济效益和社会效益。其后,该系统的通信部分突发故障,计算机无法采集流量计的数据,造成系统停用。我们经过认真检测、分析,终于排除了故障,保证了成品油出厂计量。具体介绍如下,供交流。１系统简介 检测站毗邻我厂的长江码头,进出厂的油品管线均经过此地。按规…     

CORBA动态测试工具设计

在网络管理系统中CORBA技术被广泛应用在北向接口模块中,在测试这类模块时通常会针对不同的规范开发专门的测试程序,费时费力,且没有通用性。该文介绍了一个基于idl语法分析的动态测试工具,可动态测试不同规范的CORBA接口,大大提高了生产效率。     

Structural-symmetry-related sequence patterns of the proteins of beta-propeller family

It is still not very clear to what extent and how does the amino acid sequences of proteins determine their tertiary structures. In this paper, we report our investigations of the sequence-structure relations of the proteins in the beta-propeller fold family, which adopt highly symmetrical tertiary structures while their sequences appear "random". We analyzed the amino acid sequences by using a similarity matrix plus Pearson correlation method and found that the sequences can show the same symmetries as their tertiary structures only if we deduce the conditions of sequence similarity. This suggests that some key residues may play an important role in the formation of the tertiary structures of these proteins.     

Performance lower bounds in stochastic robust and adaptive control

The fundamental issues of capability of robust and adaptive control in dealing with uncertainty are investigated in stochastic systems. It is revealed that to capture the intrinsic limitations of adaptive control, it is necessary to use sup_t types of transient and persistent performance, rather than lim sup_t types which reflect only asymptotic behavior of a system. For clarity and technical tractability, a simple first-order linear time-varying system is employed as a vehicle to explore performance lower bounds of robust and adaptive control. Optimal performances of nominal, robust and adaptive control are explicitly derived and their implications are discussed in an information framework. An adaptive strategy is scrutinized for its achievable performance bounds. The results indicate that intimate interaction and inherent conflict between identification and control result in a certain performance lower bound which does not approach the nominal performance even when the system varies very slowly. Explicit lower bounds are obtained when disturbances are either normally or uniformly distributed     

低压长袋脉冲袋式除尘器设计与应用

以工业原料尤里卡沥青(EP)为对象，详细论述了低压长袋脉冲袋式除尘器的主要设计环节，着重分析了新型脉冲阀技术。指出了该技术在化肥行业原料干燥、风扫制备等方面的推广应用和发展趋势。     

中药知母有效组分——知母皂甙元“滋阴”作用的研究

本工作以~(123)I-心得静结合分析法及环核苷酸RIA法观察了知母中提取得到的知母皂甙元对甲亢模型(模拟“阴虚”)βAR-cAMP系统的作和,结果表现,知母皂甙元明显降低甲亢小鼠脑β受体的RT值,显著降低甲亢小鼠β受体-cAMP系统的反应性,重现了知母水煎剂的下调作用。体外竞争抑制实验表明,知母皂甙元和知母皂甙元半琥珀酸都不能抑制~(125)I-心得静与β受体的结合。     

基于土壤入渗模型的研究

土壤入渗过程是田间土壤水分循环的重要组成部分,是径流形成过程中最重要的一个环节。入渗模型研究在一定程度上反映了入渗规律,从土壤入渗入手,对土壤入渗模型进行了简单的研究,叙述了土壤入渗过程的影响因素、土壤入渗过程及目前的几种入渗模型,模型使用条件及其存在的问题做了简单的介绍,并提出了自己的一些看法。