开互模拟的一条泛公理

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

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

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

一样的足球不一样的精彩

2006年德国世界杯正迈着轻盈的脚步向我们走来，四年等一回的足坛盛宴，让亿万球迷翘首以待。在欣赏这场精彩好戏的同时，不妨品尝一下我们为您精心挑选的足球“甜点”吧!     

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

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

Bi_2O_3-SiO_2系统高温熔体研究进展

Bi_2O_3-SiO_2系统是一类重要的无机硅酸盐系统,其晶体材料具有光学、光电、电导、声光、压电等性能。本文综述了目前对于Bi_2O_3-SiO_2系统高温熔体的认识,分析了Bi_2O_3熔体的相变。Bi_2O_3-SiO_2系统高温熔体的液相状态、相平衡及熔体结构,最后阐明了该领域研究热点、可能的应用以及需要进一步研究开发的课题。     

工程图学GAI中的3D交互动画及其制作技术

本文讨论了3D技术在图学教育CAI中的应用状况,介绍了Shockwave3D技术的开发环境和技术特点,讨论了Shockwave3D对于制作CAI 3D交互动画的优势,简介了在Director中几种常见的CAI元素和3D交互动画的创作方法,最后给出一个截交线的课件实例.     

包含式完全正则(T*3(1/2))是相对可乘的

本文讨论包含式完全正则空间（T31/2^＊）关于相对积拓扑的可乘性问题．     

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

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

饮食与胎儿

Omega-3脂肪酸是健康饮食的重要部分——特别是对那些想要生一个聪明、善于交际的孩子的孕妇来说,Omega-3脂肪酸的摄入尤为重要——有句玩笑话说得好“:我吃海鲜——意思是我不挑食,看到食物就想吃”。遗憾的是,近来一般意义上的均衡饮食并不包含足够的海鲜食品,即使是富含不饱     

稀土过渡族氧化物的合成及Moessbauer效应的研究

本文报道了利用高温灼烧方法合成稀土这渡族氧化物固溶体EuFeO3，EuFeo.sMno.2O3，利用X－射线衍射与Moessbauer效应技术，分析了其结构特征及超精细相互作用。