部分线性模型的渐近性

考虑Ｙｉ＝Ｘ＾ｔｉβ＋ｇ（ｔｉ）＋εｉ，１≤ｉ≤，忱里Ｘｉ是一固定设计点列，ｔｉ是独立同分布随机变量并且服从［０，１］上均匀分布。     

偏振小孔干涉仪

偏振小孔干涉仪是一种可实用的新型干涉仪。它综合小孔衍射技术、偏振技术和共光路设计为一体,具有条纹对比度可调、抗干扰能力强和非接触检验等优点,可广泛用于各种光学元件及其胶合层的检验。目测精度达1/10λ,计算机条纹处理精度可调。     

液化气罐焊接质量的控制

本文对液化气罐体焊缝和热影响区在高温冶金反应、结晶动力学及热循环的作用下,产生的一次结晶和二次结晶的组织形态、性能特征作了分析。实践表明,焊接夹杂和气孔是引起罐体焊缝裂纹或导致爆炸的主要原因。为此,作者提出,为了保证液化气罐焊接质量,必须从冶金和工艺两方面采取有效措施,迅速建立焊接质量监控系统,对焊接检验手段要进一步完善。     

基于OBDD时序电路设计的验证

依据有序二叉判定图（OBDD）和计算树逻辑（或称分支时态逻辑）CTL（Computational Tree Logic)的基本原理，分析了基于OBDD和CTL的验证数据电路设计的基本原理，并在此基础上，给出了时序电路等价验证的方法。     

Applying Petri-Net-Based Reduction Approach for Verifying the Correctness of Workflow Models

0 IntroductionTobadaseyd’s o nintfhoer mflaotiwonof s ywsotrekmss t hhraovueg hbe tehne doervgealnoipzead-tion rather than based ontasks .Duetothistrend,work-flowand business process technology has been applied tovarious applications such as ERP, groupwares , E-mar-ketplaces , E-business etc . When business processes areapplied to these applications ,business processes are de-fined by process designers and business process instancesare executed by workflowengines or workflow manage-ment sys…     

Strict Stability of Impulsive Differential Equations

In this paper, we will extend the strict stability to impulsive differential equations. By using Lyapunov functions, we will get some criteria for the strict stability of impulsive differential equations, and we can see that impulses do contribute to the system＇s strict stability behavior. An example is also given in this paper to illustrate the efficiency of the obtained results.     

企业培训管理现状分析

对近年来有关我国企业培训管理现状的研究进行了文献述评，归纳出我国企业管理现存的主要问题，如培训投入较少、业务管理水平低下、专业人才缺乏等，对提高企业培训的有效性提出了几点建议。     

有些“洋”面料不安全

不久前，山东出入境检验检疫局在一批从韩国进口的货值75600美元的羊皮服装革中检测出严重超标的偶氮染料——联苯胺，该批货物目前已要求作退运处理，防止了有毒、有害物质的传入。     

拓扑线性空间中的Drop定理和Phelps引理以及Ekeland变分原理

将Phelps引理, Ekeland变分原理, Pareto有效性定理推广到拓扑线性空间,同时证明了这三个定理与郑喜印证明的拓扑线性空间中的Drop定理彼此等价．     

维修性验证中组合序贯试验方案的确定

本文给出了分布未知时两个百分位要求的组合序贯试验方案。