ARM指令中合法立即数的判断方法

ARM指令集指令数量多且在不断地扩展,对数量众多的ARM指令进行了合理分类,介绍了ARM指令的两种格式,重点分析了ARM数据处理类指令的第2操作数的编码格式;对于第2操作数是立即数的指令（立即数寻址指令）,提出了一种判断合法立即数的方法,并对一些情况下立即数寻址指令中如涉及不合法立即数,ARM汇编器无法编译该条指令的问题,给出了有效的解决方法。     

基于IGS方法的最佳分类数研究*

针对选择Gap Statistic(GS)方法估计聚类数能够得到数据集的粗略分类,但不能进一步对数据集进行细分类这一问题,对GS方法进行改进;将Gap统计量引入到ISODATA算法中,提出了IGS模型;实证表明,IGS模型不仅可以实现数据的细分类,而且通过IGS模型估计数据集的最佳分类数准确率明显高于原GS模型。     

基于风险最小化的多粒度三支决策模型

为减小传统的二支决策中直接接受或拒绝决策带来的决策风险,分析问题决策的多粒度空间,研究了基于风险最小化的多粒度三支决策模型.在三支决策风险代价分析基础上,为寻求最优的粒度空间,结合不同属性特征在粒度空间中具有不同决策权重的特点,以粒化重要度和粒化决策权重为启发式信息,从多个不同的粒度层次出发,寻求风险最小的决策行动.最后针对不承诺选项中一些急需决策的现实问题,给出了基于风险控制的二支决策转化方法,并进行了具体的实例应用.     

局部有限BL-代数的素逆演绎系统及性质

在BL-代数中引入逆演绎系统及素逆演绎系统的概念,并在局部有限BL-代数中研究了素逆演绎系统的基本性质及逆演绎系统和通常理想之间的关系;其次,讨论了BL-代数中逆演绎系统和同余关系之间相互决定的关系;最后,证明了由素逆演绎系统诱导的商代数为线性BL-代数,进而证明了在局部有限BL-代数中一个逆演绎系统是素逆演绎系统当且仅当由其诱导的商代数是线性的BL-代数。     

基于TOF三维传感器的单视角重建

三维TOF测距成像对高速机动目标的测量、隐蔽物体探测、非视域目标成像探测具有重要的研究意义.基于TOF三维传感器,设计一种可剔除孤立散点的空间点滤波方法,运用优化的Delaunay三角剖分法实现目标物体单视角三维重建.     

抛物方程非特征柯西问题的分数次Tikhonov方法

讨论了一个不适定的抛物方程的非特征柯西问题,为了解决这个问题,采用了分数次Tikhonov正则化方法,并提出先验和后验两种参数选取规则下的稳定误差估计。     

变分不等式的惯性次梯度外梯度算法

在实Hilbert空间中提出求解单调变分不等式的惯性次梯度外梯度算法，其中变分不等式的可行集是一个光滑凸函数的水平集.新算法应用惯性加速技巧，迭代过程中对映射F赋值一次，并只需向两个半空间作投影两次.在适当的假设下，证明该算法的弱收敛性.新算法改进和推广相关文献中的相应结果.     

一起无励磁分接开关事故分析

对一起由无励磁分接开关(OCTC)误操作引起的变压器事故进行分析,阐述了事故现象、吊罩检查结果、事故原因等方面内容,同时介绍了一种笼型无励磁分接开关(DEETAPRDU)的工作原理。总结事故经验教训,指出无励磁分接开关用户在管理上和技术上存在的问题,为日后用户对分接开关的操作和管理提供经验借鉴。     

大容量宽带卫星通信系统的下行高效传输方法

针对基于非再生式星上处理的大容量宽带卫星通信系统下行链路采用频分复用(FDM)传输方式效率低、性能差的问题,提出并论证了两种特殊的连续波时分复用(CWTDM)方法——分帧交织叠接相加法(AFO)和准正交时分复用(QOTDM)法。首先,两种方法均先将待传输的各路基带复信号采样量化;然后,AFO方法对量化信号进行分帧叠接相加后加上帧头构成复用帧进行下行传输,QOTDM方法采用样点交织的时分复接再添加同步序列后转化为连续信号进行传输。AFO方法对信号复接、分接的处理简单;QOTDM方法复接时只需每路缓存一个样点,有利于实现更大容量的星上交换。与FDM下行传输方式相比,这两种方法的功率效率更高、链路特性更好。仿真结果表明,相较FDM传输方式,QOTDM方法的256个载波下的信干比可提高10dB,子信道隔离度可达到实用要求。     

基于关键用户的非均衡热传导与物质扩散算法

物质扩散和热传导算法作为2个经典的基于网络结构的算法被普遍用于信息过滤.然而，现有的算法将所有的用户等同看待，没有区分不同用户的贡献，也没有移除恶意用户，从而导致性能不理想.针对这一问题提出基于关键用户的非均衡热传导与物质扩散算法（core-UHM），用以解决教育资源库中的高质量资源检索问题.算法的背后思想主要是基于信息领域中的帕累托法则，也即是20%的用户主导着整个系统中80%的交互.基于关键用户不仅能够保证资源的质量，同时也大大节省了计算开销.通过在真实的学术搜索日志数据集上的实验，证明了算法的有效性.