Preparation of ultrafine Sb_2O_5 composite powder

ＰＲＥＰＡＲＡＴＩＯＮＯＦＵＬＴＲＡＦＩＮＥＳｂ＿２Ｏ＿３－Ｓｂ＿２Ｏ＿５ＣＯＭＰＯＳＩＴＥＰＯＷＤＥＲＤｕａｎ，Ｘｕｅｃｈｅｎ；Ｚｈａｏ，Ｔｉａｎｃｏｎｇ（ＤｅｐａｒｔｍｅｎｔｏｆＮｏｎｆｅｒｅｒｒｏｕｓＭｅｔａｌｌｕｒｇｙ．ＣｅｎｔｒａｌＳｏｕｔ...     

Symbolic Algorithmic Analysis of Rectangular Hybrid Systems

This paper investigates symbolic algorithmic analysis of rectangular hybrid systems.To deal with the symbolic reachability problem,a restricted constraint system called hybrid zone is formalized for the representation and manipulation of rectangular automata state-spaces.Hybrid zones are proved to be closed over symbolic reachability operations of rectangular hybrid systems.They are also applied to model-checking procedures for verifying some important classes of timed computation tree logic formulas.To ...     

大气气溶胶粒子粒径分布激光遥测研究进展

激光雷达具有探测距离远、灵敏度高、精度高、响应时间快、实时监测等优点,已成为大气气溶胶遥测的重要技术手段,对于改善人类生活质量、预防疾病、环境保护、气象研究、军事等领域有着极其重要的作用。对气溶胶粒子基本特性和激光遥测气溶胶粒子粒径分布反演的基本原理进行阐述。重点介绍了国内外利用激光雷达遥测气溶胶粒子最新进展,并对气溶胶粒子粒径分布激光遥测的发展趋势进行简要总结。     

变频式差胀涡流传感器的研究

为了满足汽轮发电机组状态监测系统中的差胀测试需要,研制了变频式差胀涡流传感器.介绍了变频式涡流传感器的工作原理,根据测出的位移与频率的关系,提出了一种线性化数学模型.设计了传感器测量电路,并对变频式差胀涡流传感器进行了相关性能测试.该传感器的优点是可以提供频率和电压2种信号输出,频率输出可以有效提高信号传输的抗干扰能力,便于数据采集和处理,而电压输出则可以直接得到位移量.现场实验结果表明:变频式差胀涡流传感器分辨率和精度高,抗干扰能力强,性能稳定可靠.     

Identification of nasopharyngeal carcinoma antigens that induce humoral immune response by proteomic analysis

A proteomics-based approach has been used to identify proteins that commonly elicit a humoral immune response in nasopharyngeal carcinoma (NPC). Sera from 19 newly diagnosed NPC patients and 19 healthy individuals were analyzed for IgG autoantibodies against NPC proteins resolved by 2-DE. Protein spots that exhibited selective reactivity with sera from NPC patients were identified by MS. Among nine identified proteins, cytokeratin 19 (CK19), Erb3 binding protein (EBP1), and Rho GDP dissociation inhibitor-beta (Rho-GDI-2) induced autoantibodies in more than 36.8% of NPC patients but not in healthy individuals. Furthermore, Western blot analysis and immunohistochemical staining were performed to determine the expression and localization of CK19, EBP1, and Rho-GDI-2 in NPC and normal nasopharyngeal mucosal tissues. Up-regulated CK19 and EBP1, but not Rho-GDI-2, were observed in NPC vs. normal tissue. Subcellular localization of the three proteins in NPC tissue was same as that in the normal tissue. Thus, overexpression of CK19 and EBP1 may be one of the mechanisms for their autoantibody development in NPC. To validate the findings of a proteomic analysis, occurrence of autoantibodies against these three proteins was detected by immunoprecipitation and Western blot analysis in additional 30 NPC patients, 23 other types of cancer patients and 20 healthy individuals. Results showed that frequency of autoantibodies against CK19, EBP1 and Rho-GDI-2 in NPC patients was significantly higher than that in other types of cancer patients and healthy individuals. We conclude that CK19, EBP1 and Rho-GDI-2 may have utility in NPC screening and diagnosis.     

Robust guaranteed cost control for singular Markovian jump systems with time-varying delay

This paper is concerned with the guaranteed cost control for continuous-time singular Markovian jump systems with time-varying delay. Without using the free weighting matrices method, a delay-range-dependent condition is derived in terms of strict linear matrix inequality (LMI), which guarantees that the singular system is regular, impulse free and mean-square exponentially stable with an H(∞) performance. Based on this, the existence condition of the guaranteed cost state feedback controller is proposed. A numerical example is given to illustrate the effectiveness and less conservatism of the proposed design method.     

环境信息新增令开始生效

近日，欧盟发布的新法规使公众能够更好地获得环境信息，同时对其所有的成员国都具有约束力。新法规能够增强欧盟现行有关环境法规的作用，并与1998年在奥尔胡斯公约上提出的环境信息要求保持一致。根据这项公约，公众有权获得所需的环境信息并参与制定相关的环境法规，当出现违反相关环境法规的行为时，公众可以依据此项公约提出诉讼。     

新西兰发布外科手术标准

最近，ISO和IEC联合发布了新版ISO/IEC17799：2005《信息技术-安全技术-信息安全管理规范》，该标准综合了信息领域的最新发展，以保持其作为国际标准规范。     

新型高性能超声波电机变频控制电路

针对行波型超声波电机(Ultrasonicmotor,简称USM)的特点设计了其速度控制电路,系统由压控振荡器(简称VCO)产生频率线性可调的脉冲信号,将该信号作移相处理,产生4路依次相差90°的方波信号来驱动两路推挽功放主电路。利用所设计的电路测得USM的变频调速特性。     

用Java实现对分布式数据库的访问控制

一、基于CGI的数据库访问 在Web上,一个典型的数据库应用程序应包括三个部分:Web浏览器、带有CGI程序的HTTP服务器和数据库服务器。Web客户程序向HTTP服务器发送一个用户请求,由此启动一个数据库查询程序。当HTTP服务器接收到用户的请求时,通过调用CGI程序,把用户输入的数据装配成适合于相应数据库系统专用的SQL语句,并发送给数据库服务器,由该服务器来执行这些SQL语句,最后的查询结果集由数据库服务器返回给CGI程序,CGI程序再将结果转换成HTML格式后传送给HTTP服务器,最后到达Web客户端。因为CGI是HTTP服务器和外部应用程序的标准接口,所以