扩展π演算对时间相关移动并发系统的建模与推演

针对π演算难于对时间相关移动并发系统进行建模和推演,提出了一种采用扩展π演算p-π对时间相关移动并发系统进行形式化建模与推演的方法。该方法首先采用区间动作前缀和瞬时动作前缀分别描述系统的时间相关行为和交互行为,并通过操作算子将子进程进行复合,然后利用操作规则构造出系统的时间相关标记迁移系统和可接受的执行路径,最后基于上述迁移系统和执行路径完成对系统性质的推演。对移动车辆控制系统的分析表明,所提方法可对时间相关移动并发系统进行有效建模和推演,保证时间相关移动并发系统的可靠性。     

D-π-A有机光电材料电子态能级调控的密度泛函研究

应用密度泛函理论计算了4个D-π—A有机分子的前线轨道能级和电子跃迁光谱。结果表明,在电子给体三苯胺基上引入额外的电子基团,可以有效地提高最高占据分子轨道能级,由此缩小了最高占据分子轨道和最低未占据轨道之间的能级差,导致由电子态跃迁产生的吸收光谱发生了红移。     

单侧π-理想

设H为局部有限维Hopfπ-代数,证明了H的对偶空间H0是Hopfπ-余代数.在此基础之上,讨论了局部有限维Hopfπ-代数H的单侧π-理想与局部有限维Hopfπ-余代数H0的单侧π-余理想之间的对偶关系.     

圆周率计算方法发展史

通过实验获取、几何算法、分析算法和电子计算机的使用四个阶段,对圆周率的计算方法进行介绍与分析,向读者阐明圆周率的发展史。     

斜π-Armendariz环

对于环R的自同态α,引入了α-π-Armendariz环这一概念,给出了例子,并对这一类环的扩张进行了研究。     

有限群的π-拟正规嵌入子群

设G是有限群,称G的子群H在G中π-拟正规嵌入,如果对于|H|的每个素因子p,H的Sylowp-子群也是G的某个π-拟正规子群的Sylow p-子群.利用子群的π-拟正规嵌入性,得到了有限群G为p-幂零群的一些充分条件:设G是有限群,P是G的一个Sylow p-子群,其中p是|G|的一个素因子且使得(|G|,p-1)=1.若P的所有极大子群皆在NG(P)中π-拟正规嵌入且NG(P)’也在G中π-拟正规嵌入,则G为p-幂零群.推广并加深了一些已知结果.     

Hopf π-余模余代数的对偶

给出了π-H-余模余代数和π-珟H-模代数的定义。证明了局部有限维的π-H-余模余代数的对偶是一个π-H＊-模代数。     

GPP环

定义GPP环：环R称为左GPP环若对任意a∈R，都存在n使得Ra^n是投射左R模。我们指出GPP环和π－正则环的关系并给出GPP环的刻划。     

有限群的广义Frattini子群

定义一类极大子群的交Δπ(G),它是Δ(G)的推广.给出了类似于Δ(G)的基本性质,并给出了Δπ(G)π-幂零性,π-超可解性与群G的π-幂零性,π-超可解性的充要条件.     

Faure序列的一种构造方法

在伪 MonteCarlo方法中,经常用Faure序列去计算偏差(Discrepancy),对于Fau re序列构造的生成矩阵C3.本文证明C3=chol(pascal(m)),其中pascal(m)是m阶Pascal矩阵,而chol(pascal(m))是pascal(m)的Cholesky分解,用上述结论并结合Matlab的优化软件给出Faure序列的一种构造方法.