APPLICATION OF d-ELECTRON ALLOY DESIGN THEORY TO DEVELOPMENT OF HOT CORROSION RESISTANT Ni-BASE SINGLE CRYSTAL SUPERALLOYS——Ⅰ Characterization of Phase Stability

为应用d-电子合金设计理论(或新相分计算法(New PHACOMP))设计发展新型抗热腐蚀单晶高温合金,首先对高Cr抗热腐蚀IN738LC系列合金Ni—16Cr—9.5Al—4.0Ti-8.0Co—0.55Nb—0.06Zr—0.05B—0.47C-Ta—W—Mo(at-％)的相稳定性进行了综合评价得出抑制σ相析出的稳定性临界条件为Mdt<0.991或Mdγ<0.93同时证明这两个临界电子参数具有等价性,可以用Mdt代替Mdγ简化合金设计过程.这一结果可适用于其它高Cr系列抗热腐蚀镍基合金的d-电子合金设计     

形式化方法在机载电子硬件研制中的应用研究

详细设计规范是机载电子硬件适航性设计流程中的关键文档.通过对形式化方法特点分析,给出基于模型检验的设计规范提取步骤,以提高设计的正确性和完整性.以ARINC429总线传输模块设计为例,基于形式化方法完成正向设计过程.试验结果表明,基于形式化方法的设计流程能够有效帮助制定详细设计规范并在后期提高验证效率,进而缩减研制周期.     

群机器人多目标搜索中的合作协同和竞争协同

群机器人进行多目标搜索时,通过任务分工形成多个子群,各子群分别针对一个意向目标协同搜索,故围绕子群协同中存在的合作关系和竞争关系提出控制策略.为进行合作协同,建立子群发言人的动态遴选机制,不同子群的发言人进行通信,交换所属各子群的最优信息,引导本子群的搜索行为;为进行竞争协同,引入承包机制,按子群的优势地位高低决定是承包还是放弃对某些目标的搜索.两类协同控制的仿真结果表明,合作协同扩大了机器人的感知范围,竞争协同降低了空间冲突机率.二者综合作用,明显提高了群机器人的搜索效率.     

基于测地距离的KPCA人脸识别

针对人脸检测数据集中的信息均为高维特征向量且人脸识别易受表情变化影响等问题,本文提出一种基于测地距离的KPCA人脸识别方法,该方法利用非线性方法提取主成分。先采用KPCA方法把人脸数据映射到高维空间,进而在高维空间中提取人脸的主成分,其中核函数为多项式核函数;然后引入测地距离替换原来的欧氏距离进行相似度量,其能更准确地测量出两像素点间的实际距离,使得人脸识别率受表情变化影响小。该方法不但可以实现降维,而且还能达到有效提取特征的目的。在ORL人脸库上的实验结果表明,该方法的识别率明显优于PCA、KPCA等方法的识别率。     

基于特征映射的微博用户标签兴趣聚类方法

针对现有的用户兴趣聚类方法没有考虑用户标签之间存在的语义相关性问题,提出了一种基于特征映射的微博用户标签兴趣聚类方法。首先,获取待分析用户及其所关注用户的用户标签,选取出现频数高于设定阈值的标签构建模糊矩阵的特征维;然后,考虑标签之间的语义相关性,利用特征映射的思想将用户标签根 据其与特征维标签之间的语义相似度映射到每个特征维下,计算每个特征维所对应的特征值;最后,利用模糊聚类得到了不同阈值下的用户兴趣聚类结果。实验结果表明,本文提出的基于特征映射的微博用户标签兴趣聚类方法有效地改善了用户兴趣聚类效果。     

激光打印机重影的解决与预防

近来,办公所用的激光打印机有重影现象（如右图）,十分影响美观和阅读。激光打印机打印时为什么会出现重影？该如何解决与预防呢？以下笔者对此略做介绍     

远程控制很简单

使用“51MyPC”可摆脱一系列复杂的网络设置,让远程控制变得很简单（下载地址：https：／／www．51mypc．com/xiazai．php）.     

多态π演算的互模拟等价关系及其公理化

类型系统在分布式系统理论中有着非常重要的作用。在为π演算引入多态类型系统后,需要对新的环境下进程的等价关系进行研究。在多态类型系统下,环境只能得知进程中通道的抽象类型,而无法得知通道的具体类型,此时环境的区分能力被削弱,所得到的互模拟关系更为粗糙。本文在以往文献研究的基础上给出了多态π演算互模拟的一个公理系统,并证明了公理系统的一致性和完备性。     

商用PC的未来

对于商用PC的未来,过去的很长一段时间有三个典型的问题,是我经常从客户以及媒体那里听到的,第一个问题是商用PC会不会成为同一种形态？另外一个问题是,如果云计算环境出现的话,商用PC会不会成为特别廉价的设备？还有一个就是,商用PC会不会在未来被智能手机和平板电脑所替代？     

光测在模型自由飞试验中的应用

主要讨论了采用光测设备测量模型自由飞的轨迹问题.针对模型自由飞的特点,综合利用两台小型激光电视测量系统(OKA)、GPS、全站仪(TCRA1101)等现有设备,设计了安全、可靠的模型自由飞跟踪、测量方案;利用方向余弦交会算法,对测量的模型自由飞数据进行处理,并采用两种不同的方法进行了测量精度检查,结果表明测试精度满足测试要求.