印度离岸软件外包的法律保障及对我国的启示

随着经济全球化的发展,软件外包成为现代服务业的重要组成部分。离岸软件外包由于成本和技术的优势获得各国青睐。我国被认为是全球软件及信息服务离岸外包主要的接包国之一,但由于法律与政策等相对滞后,目前我国的软件外包在很多方面还不能与全球最大软件外包承包国印度抗衡。通过对印度离岸软件外包相关法律制度的考察,可以从其知识产权保护、税收等方面的具体立法中获得启示,从而对完善我国离岸软件外包立法发挥重要借鉴作用。     

高速SpaceWire协议IP的可靠性增强方法

针对航天高速SpaceWire总线系统对协议IP的高可靠性要求,提出一种用于静态随机访问存储器(SRAM)型现场可编辑逻辑门阵列(FPGA)的增强三模冗余(TMR)方法。该方法对传统三模冗余和部分三模冗余做了改进,将需要进行三模冗余的原设计分为一般单元集和可靠性薄弱的关键单元集,对一般单元集中的每个单元做三模冗余,对关键单元集中的每个单元做顺序四模冗余。给出了顺序四模冗余的可靠度计算式和表决器的布尔表达式。建立了系统可靠性的马尔科夫模型并基于模型开展了可靠性仿真。仿真结果表明增强三模冗余系统的可靠性不仅明显优于传统三模冗余系统,而且优于部分三模冗余系统,使系统可靠性得到有效提高。     

钛合金裂纹产生原因及改进工艺

针对某型号发动机壳体组件水力试验后进口段荧光线性缺陷问题,通过对缺陷进行宏观观察、金相组织检查、断口分析、材料成分分析和硬度检查,确定了缺陷类型产生原因。运用Procast铸造仿真模拟软件开展了针对性的改进工艺研究。结果表明:进口段荧光线性缺陷为裂纹,呈典型的准解理断裂特征。表层脆而硬的富氧层是导致壳体开裂的诱因,其形成与补焊有关。基于仿真模拟的改进工艺成功将缺陷转移至冒口,减少铸件内部缺陷数量,降低补焊量;使用氩气保护箱改善气体保护效果,提高补焊质量。改进措施实施后,铸件、零件以及组件的荧光检查均一次合格,并且顺利通过地面试车考核,解决荧光线性缺陷问题,消除了薄弱环节,提高了发动机的可靠性。     

一种基于固态功率控制器的过流保护方法研究

在当前过流保护设计调研的基础上,介绍了一种自恢复保护功能器件(固态功率控制器)与熔断器配合的过流保护系统设计,并给出了两者之间的过流保护时序,根据时序要求提出了固态功率控制器与熔断器两者的过流保护参数整定方法。建立了固态功率控制器及熔断器的模型,在模型的基础上进行了仿真分析,并完成了试验验证,通过仿真分析、试验验证证明了此设计的正确性,可为后续各航天器型号过流保护设计提供参考。     

多靶场联合战试训体系结构研究

通过借鉴外军靶场试验训练体系结构,概括了多靶场联合战试训体系结构的内涵和构成,从多靶场联合战试训系统体系结构设计、应用体系结构设计、对象模型开发和网关设计与实现要求等方面,探讨了联合战试训体系结构逻辑靶场建设方法.在此基础上提出了通过拓展靶场职能、整合试验与训练资源,实现多靶场试验资源、试验空间和试验能力的联合应用,建设战试训一体化联合靶场的发展思路.     

与-或/异或型逻辑函数的化简

本文提出求找逻辑函数系中独立函数的新方法,揭示了它的实质;同时利用“异或”的特殊性质,提出了“与-或/异或”型逻辑函数的化简方法。为数字系统中该类型逻辑函数的化简提供了理论依据及完整方法,同时也为模块的逻辑设计提供新的途径。     

2~2值时序逻辑电路的研究及应用

本文讨论了由两位二值触发器构成具有2~2值功能触发器及移位寄存器的方法,给出了它们的时序状态表或流程图。最后还讨论了2~2值移位寄存器在伪随机序列及数据加密中的初步应用。     

Xilinx SRAM型FPGA抗辐射设计技术研究

针对Xilinx SRAM型FPGA在空间应用中的可行性，分析了Xilinx SRAM型FPGA的结构，以及空间辐射效应对这种结构FPGA的影响，指出SRAM型的FPGA随着工艺水平的提高、器件规模的增大和核电压的降低，抗总剂量效应不断提高，抵抗单粒子效应，尤其是单粒子翻转和单粒子瞬态脉冲的能力降低。分析了FPGA综合后常见的Half-latch在辐射环境中的影响并结合实际工程实践给出了解决上述问题的一些有用办法和注意事项，如，冗余设计、同步设计、算术逻辑运算结果校验、白检等。最后还提出一种基于COTS器件的“由顶到底”的星载信号处理平台结构，分析了这种结构在抵抗辐射效应时的优势。有关FPGA抗辐射的可靠性设计方法已经在某卫星通信载道中成功应用，并通过了各种卫星环境试验，该技术可以为有关航天电子设备设计提供参考。     

多层模糊逻辑控制器的设计

本文提出一种适合于多输入多输出(MIMO)系统的多层模糊逻辑控制器(MLFLC),该控制器由若干个多输入单输出(MISO)模糊控制器构成,每个MISO模糊控制器由许多单输入单输出(SISO)模糊控制器组成.该控制器采用互补型隶属函数,具有一组零控制面,只要使量化因子满足一定的条件,控制系统就是渐近稳定的.最后将上述控制器用于二节机械手中进行仿真试验,验证了上述算法的可行性和有效性.     

MP＊中的等值完全析取范式

讨论中介逻辑命题演算扩张系统ＭＰ＊中在等值意义下的完全析取范式的存在性和唯一性。引入ＭＰ＊中等值全板范式的概念,并用分步构造法证明这种范式在等值意义下是存在的,且是唯一的。