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

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

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

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

Spectroscopic study on the photophysical properties of chlorine substituted tetraphenylporphyrin-histidine and its zinc(Ⅱ)complexes

As the structural analogues of (bacterio)chlorophylls in photosynthetic organisms, porphyrins play an important role in building up artificial photosynthetic systems[13]. In natural photosynthetic pigment-protein complexes,certain amino acid residuals modulate the reactions ofcharge transfer and energy transfer via coordination andother types of interactions with chlorophyll molecules.For instance, in higher-plant photosynthetic reaction cen-ter PSⅡ, the oxidization-reduction system consistin…     

一种适合于B/S和C/S应用的经济型实体鉴别公钥密码器

针对我国电子政务发展的需求,提出一种适合于B/S和C/S应用的经济型实体鉴别公钥密码器方案,研究出相关密码算法,并论证了其安全性.与采用现有公钥密码算法的密码器相比,这种密码器能有效降低对硬件运算能力的需求,从而降低造价,若在居民身份卡系统等社会信任服务系统中推广,可为国家节省大量资金.     

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

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

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

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

位置伺服系统计算机输入输出信号的处理

主要介绍直流电机位置伺服系统计算机控制输入输出信号的处理，可逆计数器的使用及数的读取方法，输出数字信号的转换．     

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

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

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

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

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

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