AADL 测试模型的构造研究

目前,结构分析和设计语言AADL在任务关键嵌入式系统领域有着良好的应用.为了保障任务关键软件的质量,文章提出基于AADL测试模型对AADL设计模型进行测试,以发现设计模型中存在的错误.研究给出了体现系统拓扑结构的AADL测试模型的形式定义及由AADL构造该测试模型的算法,基于该测试模型可以对AADL设计模型中构件交互的输入、输出端口序列和连接的正确性进行测试,并以飞行控制系统的AADL设计模型为例,阐释了研究成果.     

导电涂料的研制

为了获得性能优良的导电涂料 ,采用对比试验和正交试验的方法对导电涂料进行了研究 ,分别对导电涂料的电阻、硬度、耐冲击强度、柔韧性等性能进行了测试 ,经过试验 ,确定了无机导电涂料的最佳配方为 :石墨 10 0g ,铅酸钡 10g ,三氧化二锑 5g ,二氧化钛 35g ,碳化硅 10g ,硅酸盐溶胶 170g。以此配方研制出了一种成本较低、生产工艺简单、具有良好的导电、导热性能的无机导电涂料。     

Lattice-based key exchange on small integer solution problem

In this paper, we propose a new hard problem, called bilateral inhomogeneous small integer solution （Bi-ISIS）, which can be seen as an extension of the small integer solution problem on lattices. The main idea is that, instead of choosing a rectangle matrix, we choose a square matrix with small rank to generate Bi-ISIS problem without affecting the hardness of the underlying SIS problem. Based on this new problem, we present two new hardness problems： computational Bi-ISIS and decisional problems. As a direct application of these problems, we construct a new lattice-based key exchange （KE） protocol, which is analogous to the classic Diffie- Hellman KE protocol. We prove the security of this protocol and show that it provides better security in case of worst-case hardness of lattice problems, relatively efficient implementations, and great simplicity.     

Crystallization behavior,mechanical properties,and environmental biodegradability of poly(β‐hydroxybutyrate)/cellulose acetate butyrate blends

The miscibility, crystallization behavior, tensile properties, and environmental biodegradability of poly(β‐hydroxybutyrate) (PHB)/cellulose acetate butyrate (CAB) blends were studied with differential scanning calorimetry, scanning electron microscopy, wide‐angle X‐ray diffraction, and polarizing optical microscopy. The results indicated that PHB and CAB were miscible in the melt state. With an increase in the CAB content, the degree of crystallinity and melting temperature of the PHB phase decreased, and this broadened the narrow processability window of PHB. As the elongation at break increased from 2.2 to 7.3%, the toughness and ductility of PHB improved. From the degradation test, it could be concluded that degradation occurred gradually from the surface to the inside and that the degradation rate could be adjusted by the addition of the CAB content. © 2003 Wiley Periodicals, Inc. J Appl Polym Sci 89: 2116–2122, 2003     

膜生物反应器在废水处理中的应用

膜生物反应器 (MembraneBio -Reactor ,MBR)是一种传统活性污泥法的改进技术 ,它应用于给水和废水处理的研究发展过程。介绍了膜生物反应器的发展状况、结构形式、优点和应用领域。     

Derivation and analysis of a filtered backprojection algorithm for cone beam projection data

The authors address the problem of three-dimensional image reconstruction from cone beam projections. Modifying a result due to A.A. Kirillov (Soviet Math. Dokl., vol. 2, p.268-9, 1961), the authors derive an inversion formula for the case where the cone vertices form an unbounded curve. For the special case in which the cone vertices form a circle, an approximate reconstruction formula is developed and shown to be essentially equivalent to the practical cone-beam algorithm of L.A. Feldkamp et al. (1984). For this approximate inverse, the authors derive the resulting spatially varying point spread function, examine the effect of bandlimiting due to sampling, and compare the resulting image quality as a function of the radius of the circle formed by the cone vertices.     

Fast‐moving coin recognition using deep learning

Multimedia Tools and Applications - Deep learning has made essential contributions to the development of visual object detection and recognition. Identifying fast-moving objects from the viewpoint...     

Image super-resolution using supervised multi-scale feature extraction network

Multimedia Tools and Applications - Image super-resolution using deep convolutional networks have recently achieved great successes. However, previous studies have failed to consider the spatial...     

基于粒子群优化BP神经网络的超声波缺陷位置预测

海洋设备的无损检测对于保障设备安全使用至关重要,由于设备所处的海洋环境特殊,要实现对海洋设备缺陷位置的准确估计难度较大.论文提出了一种基于粒子群优化BP神经网络(PSO-BP)预测设备缺陷位置的方法.通过模拟了海洋检测环境,用钢板作为实验对象,用超声波探伤仪对缺陷钢板进行了数据采集,获取了水下钢板的实时数据.通过粒子群算法对BP网络进行优化后对数据进行分析,对比缺陷出现的实际位置和预测位置,证明了粒子群优化的BP神经网络对于超声波检测的缺陷出现位置具有较好的预测效果.     

Performance evaluation of anti-radiation based on the gamma degradation process

In the environment of space radiation, the high-energy charged particles or high-energy photons acting on a spacecraft can cause either temporary device degradation or permanent failure. The traditional probability model is difficult to obtain reliable estimation of unit radiation resistance performance with small samples. Considering that different products will change differently after high-energy particle radiation, we construct a model based on the gamma degradation process. This model can efficiently describe the law of unit radiation resistance variation with the total radiation dose levels under the effect of the total dose and displacement damage. Finally, the proposed model is used to assess the anti-radiation performance of the N-channel power MOSFET device STRH60N20FSY3 produced by STM to obtain average unit radiation resistance, survival probability, survival function, etc.