氮流量比对磁控溅射(CoCrFeNi)Nx高熵合金薄膜的组织和性能的影响

采用直流磁控溅射法制备(CoCrFeNi)N_x高熵薄膜,研究了氮流量比对薄膜的力学性能和电磁性能的影响。结果表明,在不同氮流量比条件下制备的(CoCrFeNi)N_x薄膜,都具有致密的组织、简单的FCC结构并呈现(200)择优取向。随着氮流量比从10%提高到30%,薄膜的硬度和弹性模量随之增大,其最大值达到14 GPa和212 GPa;电阻率基本上呈增大的趋势,最大值达到138 μΩ?cm;饱和磁化强度和磁导率随之减小,薄膜饱和磁化强度最高为427.43 emu/cm³。薄膜的矫顽力约为0。     

Modal Pure Type Systems

We present a framework for intensional reasoning in typed -calculus. In this family of calculi, called Modal Pure Type Systems (MPTSs), a propositions-as-types-interpretation can be given for normal modal logics. MPTSs are an extension of the Pure Type Systems (PTSs) of Barendregt (1992). We show that they retain the desirable meta-theoretical properties of PTSs, and briefly discuss applications in the area of knowledge representation.     

软件实现主备倒换的设计

提出了一种软件实现通信系统主备倒换的改进机制,并且适用于多模软基站通信系统。一方面,数据同步和链路切换不再同时进行,数据同步放在了预倒换阶段,从而大大缩短了主备倒换时间;另一方面,备倒主(备状态切换为主状态)先于主倒备进行,即不允许出现软件双备的情况,保证系统在任何情况下都有可用的主控板。并且该机制适用于未来基站的发展趋势——多模软基站通信系统,针对于正常倒换和异常倒换两类情况,通过倒换条件判断,预倒换、备倒主、主倒备的顺序完成主备倒换来实现主备之间的快速可靠切换。并且该机制对倒换失败的情况做了恰当的处理。     

软分离性的进一步研究

给出软Urysohn空间和软T5空间的定义,解释了相关文献中Shabir和Naz提出的例10是错误的,并且给出了注5的一个正确的例子,给出几种软分离性之间的关系。     

Bayesian analysis of the patterns of biological susceptibility via reversible jump MCMC sampling

In some biological experiments, it is quite common that laboratory subjects differ in their patterns of susceptibility to a treatment. Finite mixture models are useful in those situations. In this paper we model the number of components and the component parameters jointly, and base inference about these quantities on their posterior probabilities, making use of the reversible jump Markov chain Monte Carlo methods. In particular, we apply the methodology to the analysis of univariate normal mixtures with multidimensional parameters, using a hierarchical prior model that allows weak priors while avoiding improper priors in the mixture context. The practical significance of the proposed method is illustrated with a dose-response data set.     

t分布下基于核函数的最大后验概率分类方法

针对多元正态分布不能适应样本数据严重拖尾现象的问题,提出t分布下的多分类识别方法。利用核技术将样本数据扩展到高维特征空间中,采用贝叶斯分类器得到最大后验概率,进而得到分类结果。由于可以调整t分布中的自由度参数v,因此更容易满足数据样本的不同拖尾情况,具有较好的稳健性。在5个国际标准UCI数据集和3个人脸数据集上进行了大量实验,实验结果表明,该方法有较好的分类效果,具有可行性。     

破碎刚体三角网格模型的断裂面分割

针对基于断裂面匹配的破碎刚体复原,提出了一种分割断裂面的方法。首先,根据相邻三角片法矢的夹角,将碎块外表面以棱边为界限分割成多张曲面;然后,根据曲面法矢的扰动大小和扰动图像,经过二次分割,将曲面区分为原始面和断裂面。实验结果表明,所提方法能够正确快速地提取出形状较复杂碎块的断裂面。     

燃气报警器报警点漂移模型研究

根据燃气报警器报警点年漂移试验 ,探讨了报警点漂移原因及改进措施 ,建立了报警点漂移的正态分布模型 ,并经用 χ2 检验法进行了检验。依据行业标准CJ- 30 5 7,结合燃气报警器的加严试验结果 ,提出了报警器最佳标定点。     

实例分析关系模式的规范化与反规范化

规范化是减少数据冗余、设计合理的数据库的重要手段,是数据库课程的重点。由于涉及到关系数学理论,仅做理论讲解,很难使学生理解,尤其是高职层次的学生。本文通过一个关系模式不断分解、规范化的实例,采用逐步深入的方法解决数据库设计中存在的问题,使学生既掌握数据库设计的技能,也加深对函数依赖、规范化理论的理解。