基于Petri网的信息系统开发风险管理与决策方法

认为信息系统是企业信息化的一个重要组成部分 ,在开发过程中出现的各种不确定因素导致企业信息系统建设中存在着多种风险 ,对这些风险的管理和控制是信息系统开发管理的一个重要步骤 ;提出了信息系统开发的风险管理和决策模型 ,通过引入模糊Petri网的有关概念 。

线性Volterra积分微分方程解的稳定性与有界性

通过构造非正定的、导数非负的Liapunov泛函,得到一些保证线性Volterra积分微分方程解的稳定性与有界性的充分条件,推广了文献[1～2]中相应的结果.

软件保护算法的几点改进

为保护程序设计者的权益 ,探讨了软件有限使用和注册算法的改进 .在使用期限的改进算法中 ,放弃了常用的以软件安装日期为依据的计数方法 ,改进为以用户的前一次使用日期为依据的计数方法 ,使保护算法更为合理且不易被猜测 .在注册码算法的改进中 ,给出了一个很有实用价值的“一机一码”算法 ,结合实现过程的多级移位加密处理 。

关于积分概念的学习与教学

学习积分时 ,掌握各类积分的概念、运用积分解决实际问题是至关重要的。重视引导学生分析和认识积分概念的形成、扩展过程 ,提出问题 ,寻找解决问题的思路 ,将有助于学生构建积分知识 ,更深刻地理解“微元法” ,熟练地利用各种积分解决实际问题。

关于隐函数存在定理的教学

本文把获得隐函数存在定理的思维过程展现给学生 ,探索在传授知识的过程中 。

Volterra方程有界性与稳定性定理的推广

该文构造新的Liapunov泛函,得到判定Volterra积分微分方程的解有界、零解稳定的充分条件,推广文[1]—[3]中相应的结果。