非线性自治系统不稳定性的一个判断方法

给出非线性自治系统不稳定性的一个简便的判据：从对应的特征方程的系数符号不尽相同，即可系统的零解是不稳定的。     

球对称动态黑洞Dirac场的量子热效应

用新的方法研究了球对称动态黑洞的热效应 .从Dirac四分量方程出发 ,经广义Tortoise坐标变换 ,直接导出黑洞的事件视界面方程及温度函数 ,并最终获得了Dirac粒子的热谱公式 .     

旋量与张量、旋标架与零标架的对比研究

严格证明了关于零矢量、零标架、旋量及旋标架的11个性质，对旋量与张量、旋标架与零标架进行了比较研究，表明旋量对于研究黑洞的零曲面性质是比张量更为优越的工具．     

一类线性变换的核分解问题

在一个多项式可分解为多个互质的多项式的基础上 ,对一类线性变换的核分解问题了研究 ,进一步阐明了它在线性空间分解中的应用     

一类具有奇异跳动的随机环境中的随机游动

引入了一类具有奇异跳动的半直线上随机环境中的随机游动模型,该模型是对半直线上一维紧邻或有界跳幅的随机环境中随机游动模型的推广。利用经典马氏链的常返、暂留准则并结合适当的不等式构造出在固定环境情形下状态的常返、暂留的几个判别准则,并在状态常返的情形下进一步研究了状态的正常返与零常返性。通过将环境随机化,利用环境序列的极限理论得到了这类随机环境中的随机游动状态常返、暂留的判别准则及正常返与零常返的判别准则,所得结论是一些文献结果的推广。     

一类热方程扰动系统的能控性

研究了一类热方程扰动系统的能控性问题.首先得到了系统的逼近能控性;然后采用变分方法对系统线性化,再结合解映射的性质,应用推广的隐函数定理,证明系统的局部零能控性;最后给出系统零能控的结论.     

一种多敏感空指针引用错误的静态检测方法

空指针引用错误是一种常见的、难以发现和避免的程序错误。针对该错误,结合传统静态分析方法和符号执行方法,提出一种过程内流敏感、路径敏感和过程间上下文敏感的多敏感静态分析方法。对全局指针、局部指针以及函数的指针类参数进行建模,对指针指向地址进行简化分类。在函数间传递指针的指向状态,在函数内遍历路径,使用约束求解的方式判定路径可达性,当函数分析结束后,在退出点进行指针状态信息合并,以减少漏报和误报。在此基础上,使用人工标注错误触发条件的方式进一步提高分析效率,减少漏报和误报。实验证明,该方法能够高效地检测出各类空指针引用错误。     

低压供电系统中零线断线故障的防护措施

分析了零线断线造成电压偏移而对设备和人身安全带来的严重后果, 提出了重复接地等有效的故障保护措施.     

Vaidya-Bonner空时中Dirac粒子和标量粒子的能级比较

用旋量零标架方法推导出Vaidya-Bonnet空时中Dirac粒子的能级方程;从Hamilton-Jacobin方程出发,通过广义Tortoise变换推导出该时空中标量粒子的能级方程;发现Dirac粒子和标量粒子在该空时中的能量分布在视界附近有着明显的不同,但在远离视界处即r→∞时是相同的,都等于它的静止质量,两类粒子的能级方程则有明显区别。     

半直线上独立随机环境中可逗留的随机游动的常返性

文章主要讨论半直线上独立随机环境中可逗留的随机游动的常返性与非常返性,进一步研究了常返性中的正常返和零常返准则,并推广了文献[4,6]中的有关结果。