关于随机集值映象的不动点定理

我们得到几个随机集值映象的不动点定理，它推广了Ｍ．Ｓ．Ｋｈａｍ的结果［５］，文中所使用的方法与其它作者不同     

广义Foster定理

利用Ｍａｘｗｅｌｌ方程组导出了适用于有耗网络的广义Ｆｏｓｔｅｒ定理，得到了一些有关电抗斜率以及Ｑ值的有用公式及结论。     

用载文南定理计算感应电机和变压器的特性曲线

感应电机和变压器激磁电路的参数是非线性的.为准确求取它们的特性曲线,需要的计算量很大.应用本文引入的方法可以避免大的计算量又可得到准确的特性曲线.     

On formalism and stability of switched systems

In this paper,we formulate a uniform mathematical framework for studying switched systems with piecewise linear partitioned state space and state dependent switching.Based on known results from the the...     

基于“倒叙”的“采样定理”教学研究

针对"采样定理"在不同专业教学中的弊端,阐述教学中的课程分析和教学对象研究,以及在实践中寻求到的一种基于"倒叙"的教学方法。在此基础上,根据专业特点和课程特点,阐述侧重点不同的教学思路,合理的问题穿插和有效的计算机辅助教学手段,以及取得的良好的教学效果。     

Fuzzy度量空间上映射的又一个不动点定理

继文献〔1〕之后证明了Fuzzy度量空间上映射的又一个不动点定理，使文献〔2〕的§1（3，4）的定理成为本文的特例。     

具有少量基本回路布尔网络的不动点

近来作为自然和人造非线性动态网络的一种紧凑模型,布尔网络的研究受到广泛关注.不动点和吸引子是预测布尔网络长期行为的关键.本文针对具有少量基本回路的布尔网络,提出了确定不动点的算法.我们的方法是基于构成反馈顶点集的变量所满足的一组方程.作为应用,我们还给出了检验这类布尔网络全局稳定性的充要条件.     

基于贝叶斯的软件错误定位方法

为提高基于程序切片和覆盖信息的传统错误定位技术的效率,提出一种基于程序动态切片和贝叶斯相结合的错误定位方法。针对程序执行轨迹计算动态切片,减少搜索空间;在切片后覆盖信息的基础上,利用贝叶斯公式计算相关语句的可疑度;根据语句可疑度降序排列语句,依次检查直到找出真正的错误语句。实验结果表明,该方法能够在一定程度上提高软件错误定位的效率与精度。     

一种关于目标罚参数的精确罚函数法

罚函数法是一种将约束优化问题转化为无约束问题的重要方法.对于一般的约束优化问题,通过加入新参数,给出了一种改进的精确罚函数和这种罚函数的精确罚定理证明,提出了求解这种罚函数的算法.实验表明该算法是有效的.     

基于多值属性分量的XACML策略匹配算法

针对多值属性分量的XACML策略和策略请求之间的匹配需求,分析多值属性策略匹配中策略规则与请求匹配时两者的对应属性关系,依据属性之间的包含关系和权限蕴含关系,给出3个关于策略匹配的定理并加以证明。根据策略匹配的定理,提出多值属性匹配算法。最后进行实验验证,结果表明该算法能够提高多值属性分量策略的匹配效率。