函数空间映射的一个注记

对于拓扑空间Y,连续映射f∶X′→X可诱导函数空间映射f#Y∶YX→YX′,其中f#Y(g)=g f,g∶X→Y.文献[1]证明了:若f∶X′→X为上纤维化,则f#Y∶YX→YX′是纤维化.本文将证明:其逆命题也成立.     

任职经济责任审计系统设计与实现

该系统严格遵照国家干部经济责任审计的有关准则与规定，能够对企事业单位、行政单位等不同部门各个层次的领导干部，从内控制度、管理、经营、财务等多方面、多角度、全方位地进行跟踪审计，客观公正、实事求是地对有关报表数据进行科学分析，恰如其分地认定干部实绩和经济责任。     

中外优秀男子百米跑运动员速度结构和技术特征比较分析

针对近年来我国短跑项目的低弥状态，通过中外优秀男子100米跑运动员的速度结构和技术特征进行分析认为：最大速度是制约我国男子100米跑的关键因素，而加速距离短是影响最大速度的主要因子．且我国男子短跑运动员保持最大速度的能力差及最大速度出现的时机不合理。     

逻辑代数的集合图方法

本文提出了一种新的逻辑代数分析方法，集合图法。它兼具代数法与图解法的功能，与传统的卡诺图法相比，具有一些独到的特点。     

集成系统中工艺卡片填写与工序图绘制的研究

利用VBA实现CAD和CAPP系统集成，讨论了基于Word平台进行工艺卡填写，并在此基础上进行工艺卡填写和工序图并行输出的一般问题。工艺文件的填写是在CAPP数据库的支持下，直接读取CAD所提供的CAPP工艺数据文件，经推理机推理自动生产工艺过程；工序图绘制是在特征图表级和参数化绘图原理的基础上进行的。     

浅析地籍测量及成图方法

对目前我国地籍测量试点区测图方法进行了有代表性的具体归纳,并对其成图精度进行了比较,在此基础上分析了各种成图方法之优劣及各自适用范围,以便各种测量方法在成图过程中发挥最佳效益。     

泛Loeb可测集的S-饱和性

在 K-饱和的非标准模型中,研究了泛 Loeb 可测集 m(A),pns(~*X),cpt(~*X),fin(~*X),ns(~*X)的 S-饱和性.当 A 是紧致 Hausdorff 空间 X 的子集时,得到了 st~(-1)(A)是标准集的充分条件.     

一类带限制集值型投入产出方程的存在性定理

引入了一类带限制的集值型投入产出方程.通过利用某些非线性分析方法,得到了一些存在及连续相依性结果.     

一类4阶Feigenbaum映射的拟极限集

讨论一类4阶Feigenbaum映射的拟极限集及其Hausdorff维数, 并证明对任意t∈(0,log_3^1/2+12), 总存在一类具有简单轨 的4阶非单谷Feigenbaum映射， 它有一个以t为Hausdorff维数的拟极限集.     

EBJ-120TP型掘进机的技术特点

介绍了EBJ-120TP型掘进机的主要技术参数、结构及其技术特点。