开互模拟的一条泛公理

π-演算公理化中较难处理的是有关局部化算子的等式, 传统的方法是使用带条件的推导规则或使用“区别”. 提出一条关于π-演算局部化算子的泛公理, 并证明它可在开互模拟的公理化中取代“区别”的作用. 本方法的好处是在公理化过程中我们只要处理一个互模拟, 而无须处理一族互模拟.     

平凡的R-关系对两类半群的刻划

运用“平凡的R-关系”这一条件,刻划了两类周期半群,给出了它们的性质特征。     

创新环境保护工作的对策思考

全面巩固和提升环境质量水平，是太原市建设环境友好型社会和构建和谐社会的一项重大历史任务。因此，实现“十一五”环保工作目标，要以污染治理化解环境压力、以资源节约优化持续发展、以环境友好促进社会和谐的总体思路来指导全市的环境保护工作。要认真分析影响环境质量改善的关键因素．认清差距，创新工作思路，创新工作方式．突出重点，综合整治。     

诺奖空白对创新的启示

不管我们对我国诺贝尔科学奖的空白找出多少种理由自我排遣,大家还是不得不承认:现在的中国在这些科学领域里,与世界先进水平确实存在着不小的差距。诺奖空白让国人清醒地认识到,没有这个智力竞赛场上的突破,中华儿女在奥运会上奖牌的强国“成色”,就依然显得不足,而所谓世界大     

非线性似变分不等式组的Mann迭代算法

引入了对称上强制的定义,提出了非线性似变分不等式组问题的Mann迭代算法,并证明了该算法在一定条件下的收敛性,使笔者提出的算法比文献[1]更具普遍性.     

几类完全4-部图的邻强边染色

得到了几类完全4-部图的邻强边色数.     

提高新形势下思想政治工作的层次和水平

党中央反复强调，“思想政治工作要增强时代感，提高针对性和实效性。”要“加强有说服力的思想政治工作一。这对我们做好新时期的思想政治工作具有很强的指导性。     

水平法与加和法在经济统计中的应用比较

统计分析方法的选择和应用对于获得准确的社会经济信息至关重要；水平法与加和法是统计研究中的两种常用方法，它们有各自的优点和局限性，在应用时应认真比较和慎重选择。     

q-致光滑Banach空间中带误差项的Mann迭代过程

在q(>2)一致光滑实Banach空间中,运用新的数学分析技巧,给出一类非Lipschitz及非值域有界的Φ强增生映射和Φ强伪压缩映射的带误差项Mann迭代序列的收敛定理,推广并概括了目前一些相应结果.