把K₂(F₂[C₄×C₄])的计算归结为计算截断多项式环F₂C₄[t]/(t⁴)的相对K₂－群K₂(F₂C₄[t]/(t⁴),(t)). 运用Dennis-Stein符号及它们之间的关系进行细致的分析计算,给出了K₂(F₂[C₄×C₄])的一个极小生成元集并最终确定了K₂(F₂[C₄×C₄])=C³₄ ⊕ C⁹₂.

得到了二重随机序列{ξ_n,j;n,j≥1}随机和的重对数律, 其中{ξ_n,j;n,j≥1}是相互独立的且对任意的正整数n, {ξ_n,j;j≥1}有相同分布.

介绍高阶布尔(控制)网络, 并研究了其拓扑结构. 以矩阵的半张量积作为工具, 把高阶布尔网络的动态过程转化为2种标准离散事件动态系统的代数形式. 证明了高阶布尔网络和第1代数形式的一一对应关系, 并由此得到其拓扑结构(不动点、极限圈以及暂态期等). 还研究了高阶布尔网络系统与它第2代数形式的关系.

使用完全活化空间自洽场(CASSCF)和多组态的二级微扰理论(CASPT2)方法,对C₆H₅CN⁺离子去CN的光解离反应进行了研究.计算了1²B₁, 1²A₂, 1²B₂, 2²B₁ 和 1²A₁电子态的去CN解离势能曲线.通过对渐近产物的能量、构型、电荷和自旋密度布居的分析,得出结论:1²A₁, 1²B₁, 1²A₂, 2²B₁ 和 1²B₂的解离产物分别为C₆H⁺₅ (X¹A₁) + CN (X²Σ⁺)(第1解离限),C₆H⁺₅ (1³B₁) + CN (X²Σ⁺)(第2解离限),C₆H⁺₅ (1¹A₂) + CN (X²Σ⁺)(第3解离限),C₆H⁺₅ (1¹B₁) + CN (X²Σ⁺)(第4解离限)和 C₆H⁺₅ (X¹A₁) + CN (1²Π)(第5解离限).

以Li₂CO₃和V₂O₅为原料,用中热固相法制备了掺杂不同氟离子含量的锂离子电池正极材料Li_1+xV₃O_8-yF_y,采用XRD衍射对其结构进行表征,并通过充放电测试、循环伏安及电导率测试对其性能进行了研究.测试结果表明,中热固相法制得的Li_1+xV₃O_8-yF_y产品较纯,没有杂质相存在;当y = 0.1时产品的电化学循环性能最好,首次放电比容量达252.08 mAh/g,以0.2c倍率循环25次之后比容量仍保持在210.93 mAh/g,容量保持率达92.72%.

讨论了半透明不规则形状粒子Fraunhofer衍射积分的计算问题.借助于标量Kirchhoff理论,推导出关于衍射的3种新的相互等价的1D围线积分形式,直接摆脱了通常2D面积分中繁琐的区域划分的束缚.在此基础上求得投影截面为任意多角形粒子衍射的解析结果.

随着东北装备制造业基地建设,明确装备制造业竞争力水平及特征的重要性突显.采用偏离份额和竞争力指数法相结合,对7类装备制造业竞争力测评并对内部结构和影响因素进行分析.结果表明:1)辽宁有4个、吉林有2个、黑龙江有1个快速增长部门;辽宁有5个竞争优势部门,多于吉、黑2省;2)东北装备制造业中通用、专用、交通设备制造部门增长与竞争优势最显著;3)东北装备制造业竞争力结构特征为市场-技术、效益-结构、结构-创新;4)人才优势、技术创新和外商投资等影响因素作用仍不显著.

Q值结构对了解地壳的非弹性性质、地壳内部构造、热活动状态、地壳介质非均匀性以及断层分布有着重要的意义.编写了基于吸收特征时间t^*的三维Q值层析成像人机交互软件,可以方便快捷地计算地震体波(P波和S波)的振幅谱并通过拟合振幅谱得到反映地震波衰减的吸收特征时间t^*,并利用t^*资料通过三维Q值层析成像方法得到三维Q值结构.实际观测资料处理结果表明,文中给出的方法和软件是有效且可行的.

为了研究Caliban的肿瘤抑制机制,通过酵母双杂交的方法筛选得到了4个新的Caliban相互作用蛋白:Bip2、Uba2、RpS27A和CG7182.它们的功能涉及转录调节、肿瘤抑制和泛素化修饰等过程.通过免疫共沉淀证实了Bip2与Caliban在体外结合,并发现在果蝇体内过表达Bip2可以抑制 p 53 的转录.这些结果为研究Caliban的肿瘤抑制功能提供了基础.

基于InSAR目标三维重建原理对分布式卫星SAR干涉测高系统模型及工作原理进行了分析,给出了完整的目标位置三维重建闭合形式解;并对影响三维重建精度的主要误差源——基线矢量误差和干涉相位误差进行了详细分析;最后通过仿真分析了基线矢量误差和干涉相位误差特性,从而为系统参量定标及其校正提供了基础.

研究了二维频域成像算法,提出一种基于RD域分块的改进距离徙动成像算法,并将该算法与近似算法和一般逆变标算法进行了点阵目标仿真和运算效率比较.当测绘带较宽且距离徙动较大时,该算法聚焦性能优于近似算法和一般逆变标算法.通过比较还可看出该算法运算效率高于逆变标算法.最后用实测数据仿真验证了该算法是可行的.

针对空间有效载荷测试数据和遥测数据量大、判据复杂等特点,提出一种基于CLIPS专家系统的数据自动判读方法.该方法采用CLIPS专家系统语言实现了对复杂规则的描述引入有限状态机实现了对随载荷工作状态变化遥测量的动态判读.采用从频繁模式中挖掘关联规则技术设计了判读知识的辅助获取算法,通过CLIPS自身的推理机制提高了判读速度.满足了有效载荷地面集成测试及在轨运控中对数据判读的要求,提高了判读的效率和准确度,并成功应用于某卫星科研实践.

针对自由漂浮状态的空间机器人模型不确定性及其动力传动机构的摩擦死区非线性,将一种自适应模糊小脑模型关联控制(FCMAC)补偿策略用于轨迹跟踪及补偿问题.利用模糊神经网络并引入GL矩阵及其乘法算子"."分别对执行机构中的摩擦死区及系统模型不确定部分进行自适应补偿,其补偿误差及外界扰动通过滑模控制器来消除.基于Lyapunov理论证明了闭环系统跟踪误差的有界性.仿真表明控制器可以达到较高精度,且能满足实时性要求.

提出了802.11s无线Mesh网络中协作多样性感知的路由度量,并提出了适应无线Mesh网络特点的协作式路由协议(CDARP)与协作媒体访问控制协议(CMAC).通过构建协作虚拟节点、计算协作链路度量,CDARP-CMAC能够选择最合理的路径进行协作数据传输.实验结果表明,与最优路径的协作机制相比,CDARP-CMAC协议提高了网络有效吞吐量5%~13%;同时降低了数据包丢包率5%~10%.

基于多核系统,对4种视频特征的提取程序分别研究了并行算法和性能优化方法.实验结果表明,通过的并行化和性能优化,当使用8个核时,这4种视频特征提取程序的处理速度平均提高到原始串行程序的17倍.此外,对实验结果进行了深入的性能分析,寻找和剖析了多核系统的性能瓶颈,为进一步提高多核系统的性能提供了依据和建议.

奇完全数的存在性问题是一个著名的数论难题. 研究了不被3整除的奇完全数相异素因子个数,证明:如果n是奇完全数,则ω(t)≥16,其中ω(n)表示为奇完全数n相异素因子的个数.

利用同源序列克隆技术在印度芥菜幼苗中分离出2个重金属ATP酶cDNA片段BjHMA 3 和BjHMA 4 ;实时荧光定量PCR表明BjHMA 3和BjHMA4 在所有的组织器官中均有表达,其中在根中表达量最高,叶片中表达量最少;重金属Zn或Cd胁迫均能增强二者在叶片中的表达,表明BjHMA不仅参与植物的生长发育过程,而且在重金属稳态和耐性中具有重要作用.

用改进威胁模型规划后的电势理论划出实用的三维航迹.对有地形威胁和雷达、火力威胁的各种情况进行了分类、分析,并推出计算公式.通过限定搜索范围为包含起始点和目标点之间的矩形区域,不但减少了计算的复杂度,而且保证飞行路线收敛于目标点.用坡度限制平滑算法和用曲率限制平滑算法对上述航迹的法向加速度和曲率进行约束,得到符合飞行器机动性的飞行路线.