纵横资讯

科技部部长徐冠华：加强自主创新，开拓生物经济发展的新局面；李学勇：注重优质高产高效生态安全五大需求；马颂德：全社会都来参与清洁能源行动；程津培：必须扭转对外来技术过度依赖的局面；刘燕华：加强国际合作共同探索风险管理；国家“十五”重大科技成就网络展在科技部网上开通；我国自主研制的仿人机器人取得重大突破；……[编者按]     

关于Quarter可层化空间

对第二纲的仿紧Quarter可层化空间进行了研究，证明了这类空间含有σ闭离散的稠密子集. 同时给出了实数集的子集是消去拓扑半群，但是不是Quarter可层化空间.     

Bisimulation Lattice of Asymmetric Chi Calculus with Mismatch

This paper carries out a systematic investigation into the bisimulation lattice of asymmetric chi calculus with a mismatch combinator. It is shown that all the sixty three L-bisimilarities collapse to twelve distinct relations and they form a bisimulation lattice with respect to set inclusion.The top of the lattice coincides with the barbed bisimilarity.     

八烷基氮杂对环仿三氟甲基磺酸盐的合成

从四氮杂对环仿（ｔｅｔｒａａｚａｐａｒａｃｙｃｌｏｐｈａｎｅ）合成得到四烷基氮杂对环仿，再以三氟甲基磺酸甲酯作甲基化试剂，合成得到２种未见文献报道的八烷基氮杂对环仿三氟甲基磺酸盐，提供了新的人工模拟酶有机化合物。     

无机硅质仿大理石板材的研制

提出了以硅酸盐水泥为主要原料,在无机添加剂 MFG 的作用下制成无机硅质仿大理石的基本原理,较详细地介绍了无机硅质仿大理石板材的生产原材料、生产工艺、产品性能及经济分析.     

仿形磨削的运动质量研究

提出了径向仿形磨削的可行性依据,即被加工型面上每点对应的仿形压力角都应小于其极限压力角;推导出加工中仿形压力角及仿形机构允许的极限压力角表达式;进而提出提高仿形运动质量的措施。     

广义双拟变分不等式的推广

本文在ψ－单调概念下考查了仿紧设置时广义双拟变分不等式的解的存在性问题，其结果推广了文〔１，２，５，６〕中的相应结论。     

计算机控制仿形铣系统

本文介绍一种采用新型三维靠模仪，在微计算机系统（１６位）控制下，以宽调速 电机驱动的新型仿形铣控制系统，可以实现包括三向仿形等２８种不同的工作方式， 加工精度高，加工圆截面的圆度误差不大于±１５μｍ，在Ｘ４４５０铣床上试验成功。 该系统已为生产所采用。 文中讨论系统的构成，仿形工作原理，主机和 ＰＣ间的通讯，程序组织和实验结 果等．     

乘积空间的广义仿紧性

高国士在文[2]中证明了,若X是紧空间,Y是可数仿紧、可数中紧或可数弱仿紧,则X×Y也分別是可数仿紧、可数中紧或可数弱仿紧。本文在X为T_2空间的条件下推广了上述结果,若X为局部紧可数仿紧,Y是可数仿紧、可数中紧或可数弱仿紧,则X×Y也分别是可数仿紧、可数中紧或可数弱仿紧的。     

论引进技术设备的仿设研制

引进国外先进技术设备,有目的、有选择地进行仿设研制是将国外先进技术转化为我国需要和适用的技术,并在此基础上进行创新的捷径.