基于时间Petri网的AADL模型

随着嵌入式系统设计日益复杂,对系统的描述也提出了越来越高的要求,特别是实时性能。因此如何描述实时性能逐渐受到重视。在嵌入式系统中,线程的时间属性影响着系统的实时性,因此在设计早期利用AADL描述线程,但是AADL只是一种半形式化的语言,不够精确,并可能产生二义性。因此,把AADL模型转化为时间Pe砸网,但是时间Petri网不能很好地表示AADL的时间属性。故在研究AADL模型的时间属性的基础上,针对时间Petri考虑区域值延时与固定延时,并把固定延时当作区域值时延的一种特殊情况。最后给出针对AADL模型转化为时间Petri网的相应规则。     

K-means: Clustering by gradual data transformation

Traditional approach to clustering is to fit a model (partition or prototypes) for the given data. We propose a completely opposite approach by fitting the data into a given clustering model that is optimal for similar pathological data of equal size and dimensions. We then perform inverse transform from this pathological data back to the original data while refining the optimal clustering structure during the process. The key idea is that we do not need to find optimal global allocation of the prototypes. Instead, we only need to perform local fine-tuning of the clustering prototypes during the transformation in order to preserve the already optimal clustering structure.     

基于GDAL的ESRI Shapefile格式文件处理

随着遥感应用技术的不断发展,对ESRI Shapefile格式图像文件的处理需求变得日益紧迫。目前能对它进行处理的软件有很多,但是这些软件运行时占用大量系统资源,而直接将商业软件嵌入到自主开发的软件中也是不可取的。因此,能够在自主开发的遥感图像处理软件中实现对ESRI Shapefile格式文件的操作已经变得非常重要。通过对ESRI Shapefile格式的影像数据结构特征分析,提出基于GDAL实现ESRI Shapefile格式文件到png文件格式的转换和处理方法,包括地理信息获取、坐标系统转换和文件格式转换。通过试验验证了该方法的可行性。     

实时数据仓库中一种改进的数据流更新算法

为实现数据仓库中数据的高效集成,针对数据偏斜分布现象,提出一种改进的数据流更新算法EH-JOIN。该算法对传统散列连接方法进行改进,利用索引将部分频繁使用的主数据存储在内存中,解决了高速数据流下的磁盘频繁访问问题。实验结果表明,与MESHJOIN算法和R-MESHJOIN算法相比,EH-JOIN算法的服务速率在磁盘存储关系集保持适当大小时分别提高了96%和81%,在内存大小不同时提高了57%和48%。     

基于线性动态系统稀疏编码的异常事件检测

线性动态系统模型结合稀疏编码实现异常事件检测。线性动态系统可有效地捕捉动态纹理在时间和空间的转移信息,描述视频的时空小块。然而,线性动态系统属于非欧氏空间,无法直接用传统的稀疏编码进行异常检测。基于约束凸优化公式,将相似性变换与稀疏编码结合,可实现线性动态系统稀疏编码的优化求解。实验表明,所提出的方法具有更好的性能。     

Bezier曲线到AH-Bezier曲线的升阶算法

关于曲线升阶,已有的结论往往限于同类曲线之间。为了突破这一限制,考虑不同类曲线间的升阶,关注代数多项式空间中的Bezier曲线到代数双曲多项式空间中的AH-Bezier曲线的升阶。研究从基函数入手,利用Bezier和AH-Bezier共有的求导降阶的特点,结合矩阵分块的思想,先给出AH-Bezier基到Bernstein基的转换矩阵,进而推出控制顶点的升阶公式,最后给出升阶算法。结果表明,任意n次Bezier曲线可以通过该算法升到n＋3阶（等同于n＋2次）的AH-Bezier曲线。算法实现了Bezier到AH-B＆#233;zier曲线模型的精确转换。     

Thermal Expansion of Solid Solutions in the ZrTiO4—In2O3—M2O5 (M = Sb, Ta) System

Axial and dilatometric thermal expansions and phase transformations were studied for solid solutions having the α-PbO₂ structure in the ZrTiO₄—In₂O₃—M₂O₅ (M = Sb, Ta) system with nominal formulas of Zr _x Ti _y In _z Sb _z O₄ and Zr _x Ti _y In _z Ta _z O₄ where x + y + 2 z = 2. With increased substitution of z , the cell volume increased, the difference in the b parameters at room temperature between those quenched from 1400° and 1000°C decreased, and the thermal expansion decreased. The axial thermal expansion of ZrTi _y In _z · Ta _z O₄ with z = 0.3 was almost identical with that of HfTiO₄, and those with z = 0.4 and z = 0.45 were smaller than that of HfTiO₄. Unit-cell volumes of these compound were compared with those of single oxides to make it clear that the unit-cell volume of ZrTiO₄ was small anomalously and to distinguish the normal and abnormal substitution systems. These results were explained by the working hypothesis proposed for these compounds.     

Direct Measurement of Transformation Zone Strains in Toughened Zirconia

Residual strains responsible for crack tip shielding have been measured within transformation zones surrounding cracks in Mg-PSZ. Two techniques were used for strain measurement: moiré interferometry and high-resolution image matching. Both methods provide maps of differential in-plane displacements within the specimen surface intersected by the crack, the latter method with the higher resolution. The results are compared with finite-element analysis to assess surface relaxation effects, and the measured strains are used to evaluate the crack tip shielding stress intensity factor. Calculations based on the assumption that the unconstrained transformation strain is hydrostatic dilatation yielded results that were significantly smaller than the measured toughness increases.     

Crystallization and phase transformation kinetics of poly(1-butene)/MWCNT nanocomposites

Poly(1-butene)/MWCNT nanocomposites were prepared by simple melt processing technique. Crystallization, crystal-to-crystal phase transformation and spherulitic morphology were studied using differential scanning calorimetry (DSC), wide angle X-ray diffraction (WAXD) and optical microscopy (OM). The non-isothermal crystallization exhibited higher values of Z_t derived from Avrami theory and lower values of F(T) obtained from Avrami-Ozawa analysis, while the isothermal crystallization revealed a significant increase in crystallization temperatures and lower crystallization half times compared to pristine PB. The observed changes in the crystallization kinetics were ascribed to the enhanced nucleation of PB in the presence of MWCNT. The nucleating activity calculated from the non-isothermal crystallization data revealed that the MWCNTs provide an active surface for the nucleation of PB. The optical micrographs exhibited significantly smaller crystallites with disordered morphology for the nanocomposites compared to the well defined spherulitic morphology for pristine PB. The rate of phase transformation from kinetically favored tetragonal to thermodynamically stable hexagonal form was noticeably enhanced as evidenced by the reduction in the half time for phase transformation from 58 h to 25 h for PB reinforced with 7% MWCNT.     

Expression of green fluoscrescent protein gene in Sclerotinia sclerotiorum

Protoplasts of the pathogenic plant fungus,Sclerotinia sclerotiorum,were transformed using the pPGF plasmid,which contains green fluorescent protein gene,under the control of Aspergillus nidulans regulatory sequences. The pPGF plasmid was introduced by PEG/CaCl2 treatment. Positive transformants were harvested with hygromycin B (HYG) resistance as selective marker,and then were observed with green fluorescence phenomena in response to blue light,which suggested that GFP gene was cloned into genome DNA of S. sclerotiorum. The transformants were verified mitotically stable by Southern blotting analysis and passage culturing. This study is developed as an initial step for further research into infection mechanisms of S. sclerotiorum to plants and interactions with bio-control fungus.