F—析取ω —语言

关于ω—语言的讨论,基本上者是从文法与自动机的角度([1],[2],[3]).但近年来,许多人从代数学的角度来研究ω—语言的特性([4],[5]).本文从语言的句法么半群出发.作为[5]中讨论的析取ω—语言的拓广,定义了 f—析取ω—语言,讨论了这类语言的若干特性.     

电脑刺绣机针杆及挑线机构设计

以电脑刺绣机原始针杆机构和挑线机构为研究对象,在保持原有针杆运动规律和挑线杆运动规律的前提下,运用机构创新设计理论,分析电脑刺绣机针杆机构和挑线机构的可能选型.为研制新型电脑刺绣机针杆机构和挑线机构奠定了理论基础.     

基于图像处理技术的束流剖面监视系统

 介绍了在兰州重离子加速器上利用荧光靶图像获取装置测量并计算束流剖面参数的方法，并建立了图像获取、处理、束流参数计算的实时测量软件系统。该系统具有可靠性好、测量直观、界面友好等优点。     

高考预效度的混合估计

用传统的预测效度估计法估计高考预测效度，其估计值往往偏低。为此，本文应用回归分析中混合估计理论提出了高考预测效度的混合估计。这种估计是预测效度的无偏估计，并解决了预测效度估计值偏低的问题。     

Pb-Sn-Bi三元系α相固溶体的点阵参数

应用X射线衍射法测定了Pb-Sn-Bi三元系Pb基α相固溶体的点阵参数,发现点阵间距与成分呈线性变化,对两批实验数据分别进行回归分析,得到点阵参数-浓度关系的统一解析式: α=0.49495X_(Pb)+0.47813X_(Sn)+0.50629X_(Bi)。其F检验置信度大于99.9％,残余标准差σ=6.4×10~(-5) nm,分析点阵畸变的影响因素表明尺寸效应是控制固溶体点阵行为的主要因素。     

关于π—正则半群的Green关系

给出了π－正则半群上一类广义的Ｇｒｅｅｎ关系中，若干关系类都含有唯一的幂等元的若干特征。     

THE EXISTENCE OF SOLUTIONS OF SYSTEMS OF NONLINEAR HAMMERSTEIN TYPE INTEGRAL EQUATIONS

This paper makes use of the theory of characteristic values and characteristic functions and the theoryof topological degree in studying the solutions of systems of Hammerstein-type equations;where G is a bounded closed set in R~ , and mes G ≠0.Equations (1) can be rewritten as the following operator equationSuppose that P is a cone in C~no:     

基于WAP的手机黄页系统设计与实现

采用WAP和MS.NET移动开发技术,给出了手机黄页系统的设计方法、实现过程及关键技术。