安全性和正确性折中的软件系统开发方法

主要分析和研究如何在软件当前的现实下寻求功能正确性和安全性的折中策略，来解决商业软件长期以来带有“bug”和安全性问题．对功能正确性和安全性的折中方案，亦有详细的分析，最后还提出将软件开发的折中技术融入软件工程以取得实际的效果．     

一类新的非线性混合拟变分包含的灵敏性分析

研究了一类新的非线性混合拟变分包含的灵敏性问题，通过使用预解算子及不动点技巧，证明了这类含参数的变分包含的解的存在唯一性及连续性，推广了近期有关文献的一些结果。     

谈谈多媒体英语教学

文章介绍综合利用软件，创造良好的多媒体英语教学环境的方法和多媒体在英语课堂上的使用，以及多媒体英语教学需要注意的问题。     

地基基础-坝体体系动力特性及地震反应分析的有限元与无限元耦合法

编制了有限元及有限元—无限元耦合计算程序，利用其分析了广西源口拱坝在有限域及无限域地基下的动力特性与动力响应，并与常规刚性地基下坝体的动力特性、动力响应进行比较，得出结论：1．弹性地基下拱坝自振频率减小、动位移最大值增大；2．耦合分析法具有较高的精度和显著的经济性，是工程应用中值得推广的一种分析方法。     

烟气分析在转炉冶炼过程中的应用研究

介绍转炉烟气分析控制系统,研究转炉烟气和炉气在冶炼过程中的变化规律,并开发烟气定碳模型。结论表明,在转炉冶炼过程中利用烟气成分的变化规律,可进行转炉炉况判断、终点判断和了解炉内反应过程。开发的烟气定碳模型对于含碳量低于0.12%的炉次,其控制精度为±0.02%,命中率为90%。     

化学分析在火灾原因技术鉴定中的应用

采用化学分析方法对火灾现场中的微量油品、特殊物质和混凝土等痕迹物证的化学分析鉴定,对火灾原因和火灾责任的认定起关键作用.     

环境污染治理的经济分析模型

环境污染的治理是化工、制造等企业的一项重要经济活动，如何进行有关的决策分析是困扰企业的一个难题．在分析环境成本性态的基础上，设计了排污费和排污权交易两种制度下的经济分析模型，为企业进行相关决策提供了理论框架和依据、     

开关型磁阻电动机的振动分析

针对SR电动机存在的振动和噪声问题,分别应用实验模态分析法和计算模态分析法研究了SR电动机的动力特性,得到了SR电动机定子的固有频率和主振型,计算值与实验测量值吻合较好,所得数据可为制定抑制SR电动机的振动和噪声方案提供参考.     

后张法预应力混凝土T梁静载试验

简要叙述了后张法T梁静载试验的方法，步骤，并通过一元线性回归分析对试验结果进行了验证。     

计算复特征灵敏度的代数法

对于复特征灵敏度分析问题，文中给出了一种代数法求解公式。从理论分析的角度来说，所提出的方法既适全于单频，也适合于重频。为了说明算法的数值稳定性，文中给出了严格的数学证明。