一个模糊软件可靠性模型的进一步确认

事实已经表明,概率方法在软件可靠性建模中遇到困难。本文介绍一个有效性业已初步确认的模糊软件可靠性模型。通过分析一个实际飞控软件的可靠性行为,进一步确认该模型的有效性。     

KM6氮系统仿真软件研究

介绍KM6氮系统正常工况仿真软件及选择软件平台的原则,针对系统模型非线性和高刚性的特点比较了不同的积分方法。     

硬件设计软件化—EDA新技术介绍

本文从EDA技术的发展历史着手，对电子产品的传统设计方法和EDA方法进行了总结性的比较，提出了利用大规模可编程器件，通过硬件描述语言和EDA软件工具来设计电子系统的思想方法，真正达到硬件设计的软件化。     

KM6-DCS底层网TF-CP5412软件适应性的探讨

德国 WERUM 公司为了限制用户独机使用 TF-CP5412软件,在软件上采用了电子注册的加密技术。但实际使用中发现,当在同一机器上对硬盘进行格式化之类的操作后,重装软件时该软件会认为用户已换机使用,用户只能再向 WERUM 公司购买新的软件。而在实际应用当中,用户很可能会由于各种原因需要对硬盘进行格式化类的操作,这样就不得不为了继续正常使用 CP5412而付出昂贵的重复性投资。为解决上述问题,我们对该软件的加密机制进行了一系列实验和分析,并找出了解决方法。     

中巴地球资源卫星数据管理系统-电子综合化技术在航天器上的应用

本文对中巴地球资源卫星成功在轨运行、圆满完成任务的星载数据管理系统做了全面的剖析,从系统结构、功能等方面阐述了数据管理系统的专业技术及其先进性与系统构成配置的灵活性,对作为飞行器公用平台重要组成部分的数据管理系统的技术发展做了进一步的探讨。     

计算机软件容错技术

论述了软件容错的原理及其在当今系统中的重要性；通过Ａｄａ语言的块结构程序示例，讨论了其在防御系统中的应用以及对未来应用的设想。     

气体渗碳过程中表面碳浓度增长规律及传递系数β的探讨

从动力学角度研究了气体渗碳过程蝇表面碳浓度增长的规律；得出了气体渗碳过程属于界面反应和扩散的混合控制型的结论；讨论了碳传递系数β     

多处理器容错执行软件分析和设计

介绍了多处理器容错执行软件（ＭＴＥ）的设计及其结构特点；阐述了ＭＴＥ软件如何通过任务转移实现系统容错功能及对应用软件的简化，以提高应用软件的维护性和质量。     

四川川大智胜软件股份有限公司

“四川川大智胜软件股份有限公司”（Wisesoft Co.,LTD）是由四川大学一批技术创新带头人创立的一个以软件开发和系统集成为主业，以实时软件和计算机图像图形技术为特色的高科技企业，公司注册资金2200万元。