安徽建筑工业学院数理系 作品数:386 被引量:1,022 H指数:14 相关作者: 陈邦考 俞能福 张学勇 唐玲 唐震 更多>> 相关机构: 安徽大学物理与材料科学学院 安徽大学计算机科学与技术学院 合肥工业大学管理学院 更多>> 发文基金: 国家自然科学基金 安徽省高校省级自然科学研究项目 安徽省自然科学基金 更多>> 相关领域: 理学 自动化与计算机技术 文化科学 机械工程 更多>>
分担一个值的亚纯函数的唯一性 2010年 利用Nevanlinna值分布理论,研究了涉及微分多项式的亚纯函数的唯一性问题,所得到的结论推广和改进了张晓宇和林伟川等人的结论。 别荣军关键词:亚纯函数 分担值 唯一性 基于序列匹配和极值理论对地震趋势的研究 2011年 通过分析造成地震发生的各种因素之间的关系,提出了将极值理论和地震时间序列匹配相结合用于地震趋势研究的基本思想。针对传统地震时间序列匹配算法的不足,提出了将基于形态的时间-震级二维相似性匹配算法和极值理论相结合对未来地震趋势进行分析的方法。该方法采用时间-震级二维相似性匹配的方法寻找最佳地震匹配区域,用极值理论对该区域地震活动的复发周期和发震概率及其概率阈值进行数据处理,从而获得对该地区未来一段时间的地震趋势做出判断。以安徽及周边地区为例,阐述了应用该方法进行研究的一般步骤。 邱剑锋 谢娟 李炜 汪继文 周健关键词:粗粒度 细粒度 极值理论 基于三角Bézier-like的过渡曲线构造 被引量:8 2013年 在形状调配过程中,过渡曲线的连续性往往是很难保证的.首先给出三角Bézier-like曲线的定义,然后从过渡曲线满足一定拟连续性的角度出发,利用三角Bézier-like曲线的端点性质,研究形状参数曲线的参数拟连续特征保持问题.给出了线性混合过程中一阶和二阶参数拟连续保持条件,从而得出一般的三角Bézier-like曲线在形状调配中参数拟连续的保持方法.同时构造出2种过渡曲线(C-形状和S-形状)的使用方法.在工程设计中,该方法对机器人的行走、道路的设计和某些造型的软件设计具有一定的指导意义. 刘华勇 段小娟 张大明 李璐图元的子句时新性 2008年 为了给出消息子句的测试关系,选择主体角色进程演算为π演算的一个子集,以该子集刻画并发密码协议系统,事件图为其指称语义模型,由图元的前缀、非确定选择和并发合成运算得到,对于图元及其组合运算来说,图元的子句时新性质确定了主体角色消息语句的子句测试关系,且出现在图元中的消息事件满足通信关系和前驱关系约束.由图元生成的事件图涵盖了由子句测试关系构造的未知主体角色串,且通过定义图元互模拟刻画事件图的互模拟等价关系可实现并发密码协议系统安全性验证. 王焕宝 张佑生关键词:图元 时新性 事件图 密码协议 氧化锌中中性氮杂质第一性原理研究 被引量:6 2012年 以第一性原理计算为基础,研究了氧化锌中中性氮杂质的原子和电子结构、缺陷形成能等.根据计算结果,氮杂质为深受主,因此对氧化锌的P型导电性没有贡献.在各种中性氮杂质中,替代氧位的氮有最低的形成能和最浅的受主能级,在富氧条件下替代锌位的氮的形成能次之.氮间隙在四面体位置不稳定,会自动弛豫到kick-out结构.尽管氮可能会占据八面体问隙位置,但由于形成能过高因此其浓度会较低.同时还讨论了各种掺杂情形下的电荷密度分布,得到了自洽的结果. 李平 邓胜华 李义宝 张莉 刘果红 黄静关于正项级数高斯判别法的一个注记 被引量:1 2007年 对无穷级数的高斯判别法给出了一个注记,推广了高斯判别法,得到了一个更精细的判别法则。 徐松林关键词:正项级数 注记 Sr_(1-x)La_xFe_(12-y)Co_yO_(19)铁氧体的结构与磁性 被引量:4 2008年 采用陶瓷法制备了La3+、Co2+取代的Sr1-xLaxFe12-yCoyO19各向异性烧结锶铁氧体材料。实验发现,随着取代量y的增大,样品Sr1-xLaxFe12-yCoyO19(x=0.18,x>y)的晶格常数a基本保持不变,晶格常数c逐渐减小,而磁感应矫顽力Hcb和比饱和磁化强度σs显著增大,内禀矫顽力Hcj先增大后减小。结果表明样品Sr1-xLaxFe12-yCoyO19(x=0.18,x>y)具有良好的磁性能。 黄凯 刘先松关键词:M型锶铁氧体 磁性能 局部可分度量空间的强序列覆盖cs映像 被引量:2 2010年 借用序列的cs网构造适当的Ponomarev系以研究局部可分度量空间的映像,给出了局部可分度量空间的强序列覆盖cs映像和局部可分度量空间的商强序列覆盖cs映像的内在刻画,同时还将得到拓扑空间是局部可分度量空间强序列覆盖cs映像的一个较为简洁方便的充分条件. 孙秀华 吕诚关键词:度量空间 CS映射 商映射 CS网 具有强迫项的一阶中立型非线性微分方程的振动性 2007年 中立型微分方程广泛应用在细胞中酶反应动力学、遗传问题、控制工程等领域,本文讨论具有强迫项的一阶中立型非线性微分方程的振动性:[x(t)-P(t)x(t-τ)]′+∑ from i=1 to m Qi(t)fi(x(t-σi))=e(t).推广了无强迫项的中立型微分方程的情形,获得了方程振动的充分性判定准则,为中立型泛函微分方程的振动性研究提供了一个新的理论判据. 姚志健关键词:中立型 振动性 最终正解 强迫项 初论有限时间破产时罚金折现期望 2010年 在经典风险模型下引进有限时间破产时罚金折现期望的概念.就利息力为常数的情形,给出有限时间破产时罚金折现期望满足的积分-微分方程. 王后春 操和友关键词:破产概率 POISSON过程 积分-微分方程