测量农药和乙酰胆碱酯酶抑制物的光学式生物传感器

乙酰胆碱酯酶（ＡＣｈＥ）是调节生物神经功能的一种酶，多种化合物，如有机磷和多种重金属离子，是乙酰胆碱酯酶活性的抑制成分，利用实验室自己合成的有色酶底物，２－（２－ａｃｅｔｏｘｙ－５－ｍｅｈｙｌ－ｐｈｅｎｙｌａｚｏ）－Ｎ－ｍｅｔｈｙｌ－１，３－ｔｈｉａｚｏｌｉｕｍｍｅｔｈｏｓｕｌｆａｔｅ（ＡＭＰＴ），它的溶液是黄色，在ＡＣｈＥ酶的作用下，ＡＭＰＴ水解，其溶液转变为兰色的ＨＭＰＴ溶液（２－（２－ｈｙｄ     

KBASE－P知识库系统的设计与实现

当前的实用知识库系统研究是将知识库查询语言嵌入到一个过程语言中．ＫＢＡＳＥ－Ｐ是一个通用的知识库程序设计语言．ＫＢＡＳＥ－Ｐ以ＫＢＡＳＥ作为查询语言，以ＦＤ－ＰＲＯＬＯＧ（我们开发的一个ＰＲＯＬＯＧ扩充）为过程性的宿主语言执行１／Ｏ和ＤＢ更新操作（用扩充的内部谓词）．由于良好的设计和实现，查询语言与宿主语言之间的阻抗不匹配问题相对较小．因而，ＫＢＡＳＥ－Ｐ是一个比较实用的知识库程序设计语言．ＫＢＡＳＥ－Ｐ系统支持逻辑程序设计语言（ＫＢＡＳＥ－Ｐ语言）的程序开发，提供了文本编辑、文件管理、谓词管理、事实操作、Ｄａｔａｌｏｇ查询、ＳＱＬ查询等功能．本文详细介绍了ＫＢＡＳＥ－Ｐ系统的设计和实现．     

1999年上半年各国发射成功的地球静止轨道通信卫星轨道位置分布

卫星名称所属国家或组织发射时间轨道位置电星－６美国２月１５．２２日２６７°Ｅ日本通信卫星－６日本２月１６．０７日１２０°Ｅ阿拉伯卫星－３Ａ阿拉伯卫星组织２月２６．９５日２６°Ｅ彩虹１－４俄罗斯２月２８．１７日３４°～３５°Ｅ亚洲卫星－３Ｓ亚洲卫星公司３月２１．０１日１０５．５°Ｅ印度卫星－２Ｅ印度４月２．９２日８３°Ｅ欧洲通信卫星－Ｗ３欧洲通信卫星组织４月１２．９５日７°Ｅ联合卫星－１加拿大５月２０．９４日２６９°Ｅ阿斯特拉卫星－１Ｈ卢森堡６月１８．０８日１９．２°Ｅ　　　　注：５月５日发射的美…     

环境卫星一号(ENVISAT-1)卫星系统

环境卫星一号（ＥＮＶＩＳＡＴ－１）卫星系统分类号Ｖ４７．２欧空局（ＥＳＡ）于１９９１年７月成功地发射了第一颗欧洲遥感卫星（ＥＲＳ－１），该卫星的成功运行吸引了不断壮大的用户群的极大的兴趣。为保证数据提供的连续性，ＥＳＡ又于１９９５年４月成功地发射了Ｅ...     

测量痕量农药和重金属离子的光纤生物化学酶传感器

乙酰胆碱酯酶（ＡＣｈＥ）是调节生物神经功能的一种酶传感器。多种化合物，如有机磷和多种重金属离子，是乙酰胆碱酯酶活性的抑制成分。利用实验室自己合成的有色酶底物，２－（２－ａｃｔｏｘｙ－５－ｍｅｔｈｙｌ－ｐｈｅｎｙｌａｚｏ）－Ｎ－ｍｅｔｈｙｌ－１，３－ｔｈｉａｚｏｌｉｕｍ ｍｅｔｈｏｓｕｌｆａｔｅ（ＡＭＰＴ），它的溶液是黄色。在ＡＣｈＥ酶的作用下，ＡＭＰＴ水解，其溶液转变为兰色的ＨＭＰＴ溶液（２－（２     

聚苯胺修饰蜡浸石墨电极电催化氧化抗坏血酸的研究

以蜡浸石墨电极为基体电极在盐酸溶液中恒电位电解得到聚苯胺修饰蜡浸石墨电极（ＰＭＰＧＥ）该电极在醋酸－醋酸钠缓冲溶液中（ｐＨ＝４．４）对抗坏血酸（ＡＡ）的氧化具有良好的电催化反应，峰电位Ｅｐａ＝＋０．２０Ｖ（ｖｓ．ＳＣＥ，在下同）１．５次微分峰电流与抗坏血酸浓度在１０＾－１０＾－６ｍｏｌ／Ｌ范围内呈线性关系，可用于ＡＡ的定量分析，本文研究了膜厚度对电催化作用的影响和ＡＡ在ＰＭＰＧＥ上的电化学行为。     

新闻公告

新闻公告煤航引进ＩＮＴＥＲＧＲＡＰＨ全数字摄影测量系统１０月２８日，中煤航测遥感局现代测绘工程公司与ＩＮ－ＴＥＲＧＲＡＰＨ公司在西安签定合同，购买ＩＮＴＥＲＧＲＡＧＨ整套的数字摄影测量系统（Ｉｍａｇｅｓｔａｔｌ（）ｎ）。６０年代，国际摄影测量界完成了...     

汞有机化合物为中性载体的氯离子选择电极的研制

以汞有机化合物（μ－（４．５－二甲基－３，６－双（辛氧基）－１．２－苯）双（三氟乙酸）二汞（ＥＴＨ９００９）为活性物质，季铵盐为添加剂，研制了氯离子中性载体电极，比较了膜相中季铵盐的含量对电极性能的影响，结果表明用２．０％ＥＴＨ９００９，３３．０％ＰＶＣ粉，６５．０％ＤＯＳ及１０．０ｍｏｌ％ＴＤＤＡＣｌ（相对于ＥＴＨ９００９）制成的电极，对氯离子响应的斜率为－５８．０±１．０ｍＶ，测定了是极对常见     

锅炉计算机控制系统设计

１　系统的硬件构成本系统硬件由工业控制机和工业数据采集控制卡组成,如图１所示。１．１　主机　主板：研华ＰＣＡ－６１５９Ｌ（ＰＥＮＴＩＵＭ－Ｓ１６６ＣＰＵ）　显示卡：Ｔｒｉｄｅｎｔ９６８５　内存：１６ＭＢ１．２　显示器　ＳＡＭＰＯ２０″彩色显示器１．３　打印机　ＥＰＳＯＮＬＱ－１６００Ｋ　针式打印机１．４　Ｉ／Ｏ卡（基于ＩＳＡ总线）１．４．１　Ａ／Ｄ数据采集卡：选用台湾ＡＤＬｉｎｋ公司的ＡＣＬ－８１１３卡　２５Ｋ采样速率　３２路单端输入　１２位采样精度　５００Ｖ光电隔离　多种电…     

中文网页荟萃(一)

中文网页荟萃（一）１．ＣＨＩＮＡＮＥＴ由邮电部建立的中国网ＣＨＩ－ＮＡＮＥＴ是我国４家互联网接驳机构之一，也是中文信息资源聚集的站点。设有中国政府、电信、文化、经济、法律、教育、科技等分类信息查询栏目，还有每日天气、国内外站点、北京信息等内容。ｈｔｐ...     

Wheat production forecasting for a predominantly unirrigated region in Madhya Pradesh )India)

The area under wheat was estimated and a forecast of production made in a predominantly un-irrigated region (36 per cent irrigated wheal crop, geographical area 5-61 Mha) of Madhya Pradesh (India) using digital data from LISS-I (Linear Imaging Self Scanner) onboard Indian Remote Sensing Satellite (IRS-IB), for the crop season 1991-92. A stratified sampling approach based on 5 km by 5 km sample segments, 10 per cent sampling fraction in conjunction with supervised maximum likelihood (MXL) classification was used for wheat acreage estimation. Yield forecasts were based on an optimal combination of forecasts from two different methodologies, viz., wheat yield-spectral relationship and time series analysis using ARIMA (Auloregressive Integrated Moving Average) approach. In the former, a two-year (1989-90, 1990-91) pooled regression relating LISS-I derived Near Infrared/Red (NIR/R) radiance ratio to district wheat yields was developed and used to forecast wheat yields for the year 1991-92 based on classified wheat pixels. In the latter case, historical district-wise wheat yield data of 35 years was used to develop appropriate ARIMA models and used to forecast 1991-92 yields. The relative deviation of remotely-sensed-based forecasted production, acreage and yield from the post-harvest estimates released later by the State Department of Agriculture were — 15.8, — 1002 and — 601 per cent, respectively. The acreage and yield meet the accuracy of 85 per cent at 90 and 95 per cent confidence levels, respectively.     

基于容错学习的GSW-型全同态层次型IBE方案

针对传统的基于身份的加密（IBE）方案不能够对密文直接进行计算这一功能上的缺陷,提出了一个新的IBE方案。该方案利用Gentry等提出的同态转化机制,结合Agrawal等构造的层次型IBE方案,构造了一个具有全同态性质的层次型IBE方案。与Gentry等提出的全同态加密（GSW）方案(GENTRY C,SAHAI A,WATERS B. Homomorphic encryption from learning with errors:conceptually-simpler,asymptotically-faster,attribute-based. CRYPTO 2013:Proceedings of the 33rd Annual Cryptology Conference on Advances in Cryptology. Berlin:Springer,2013:75-92)和Clear等提出的全同态IBE（CM）方案(CLEAR M,MCGOLDRICK C. Bootstrappable identity-based fully homomorphic encryption. CANS 2014:Proceedings of 13th International Conference on Cryptology and Network Security. Berlin:Springer,2014:1-19)相比,该方案构造方法更加自然,空间复杂度由立方级降低到平方级,效率更高。在当前云计算背景下,有助于基于容错学习（LWE）的全同态加密方案从理论向实践转化。通过性能分析并在随机预言机模型下验证了所提方案具有完全安全下的选择明文攻击（IND-ID-CPA）安全性。     

Authors' reply to comment on "stability of fuzzy control systems with bounded uncertain delays"

For comment see ibid., p.285-6 (2004). The authors reply to a comment on their paper (Z. Yi and P.A. Heng, see ibid., vol.10, p.92-7, 2002) by agreeing with the comment.     

Modulating cell-cell communication with a high-throughput label-free cell assay

A high-throughput label-free cell assay for modulating cell-cell communication is demonstrated with the Epic? system, a resonant waveguide grating sensor platform. Natural killer (NK) cells are known to be able to recognize abnormal cells (e.g., cancer cells and cells presenting intercellular adhesion molecule 1 [ICAM1] through cell surface receptors) and kill them. In this study, the effect of effecter cells NK92MI on two kinds of target cells, cervical cancer cells (HeLa) and Chinese hamster ovarian cells overexpressing ICAM1 (CHO-ICAM1), was examined. Living target cells' response to NK92MI cells was monitored in real time and measured as wavelength shift in picometers. The authors showed that the detectability of target cell response is affected by multiple factors: the ratio of effecter cells to target cells (E/T), the interaction time of the two types of cells, and the target cell type. For example, with the effecter cells NK92MI and the same incubation time of 16 h, a minimal E/T ratio of 1 is required to detect HeLa cell response, whereas an E/T of 0.5 is sufficient to detect CHO-ICAM1 cell response. The authors confirmed that NK92MI cell-mediated target cell cytotoxicity results in negative optical signals and is associated with apoptosis mainly through caspase pathways. Distinct optical signals could be generated with the pretreatment of the target cells with various known pharmaceutical reagents, making the assay useful for discovering new chemicals that may affect cell-cell communications.     

VOCs在线检测质谱仪单光子电离源的研制

该文介绍了两个不同结构的真空紫外单光子电离源(SPI),电离源与自制的飞行时间质谱仪(TOFMS)连接实现了对挥发性有机物的在线检测。在搭建的SPI-TOFMS上比较了两个电离源的电离效率之间的差异。虽然轴向SPI本质上不是一个纯粹的单光子电离源,但可明显看出,其电离效率比径向SPI要高约50%。同时还考察了仪器的部分性能指标。在质荷比(m/z)为92位置,质量分辨率达767;在1谱/s分析速度下,检测限低于20×10-9(v/v)。实验结果证明该仪器能够用于挥发性有机物的在线检测。     

Homogeneous Lyapunov functions and necessary conditions for stabilization

We provide necessary conditions for the stabilization of nonlinear control systems with the additional requirement that a time-invarianthomogeneous Lyapunov function exists for the closed-loop system.The authors gratefully acknowledge research support from the Belgian Programme on Interuniversity Poles of Attraction, initiated by the Belgian State, Prime Minister's Office for Science, Technology, and Culture, and from the EC-Science Project SC1-0433-C(A). The first author is Charge de recherches F.N.R.S, on leave from CESAME, Université Catholique de Louvain, Belgium. He acknowledges partial support from the following organizations: National Science Foundation under Grant ECS-9203491, Air Force Office of Scientific Research under Grant F-49620-92-J-0495, Belgian American Educational Foundation, and North Atlantic Treaty Organization. The scientific responsibility rests with the authors.     

Design schemes of dynamic rerouting networks with destination tag routing for tolerating faults and preventing collisions

In fault-tolerant multistage interconnection design, the method of providing disjoint paths can tolerate faults, but it is complicated and hard to choose a collision-free path in disjoint paths networks. A network with disjoint paths can concurrently send more identical packets from the source node to increase the arrival ratio or backtrack a packet to the source and take the other disjoint path, but these two methods might increase the collision ratio. In contrast, a dynamic rerouting method finds an alternative path that tolerates faults or prevents collisions. In this paper, we present methods of designing dynamic rerouting networks. This paper presents (1) three design schemes of dynamic rerouting networks to tolerate faults and prevent collisions; (2) design schemes that enable a dynamic rerouting network to use destination tag routing to save hardware cost in switches for computing rerouting tags; (3) a method to prevent a packet from re-encountering the faulty element again after rerouting to reduce the number of rerouting hops and improve the arrival ratio; and (4) simulation results of related dynamic rerouting networks to realize the factors which influence the arrival ratio including the fault tolerant capability and the number of rerouting hops. According to our proposed design schemes and according to our analysis and simulation results, a designer can choose an applicable dynamic rerouting network by using cost-efficient considerations. This paper was partially supported by the National Science Council NSC-92-2213-E-324-006- and NSC-94-2213-E-035-050-; and the partial part of the preliminary version of this paper was published by the conference ISPA 2005 [5].     

Managing data caches using selective cache line replacement

As processor performance continues to improve, more demands are being placed on the performance of the memory system. The caches employed in current processor designs are very similar to those described in early cache studies. In this paper, a detailed characterization of data cache behavior for individual load instructions is given. It will be shown that by selectively allocating cache lines according the characteristics of individual load instructions, overall performance can be improved for both the data cache and the memory system. This approach can improve some aspects of memory performance by as much as 60 percent on existing executables. This work was supported by National Science Foundation Grants CCR-94-03651, CCR-92-13651, CCR-92-13627, MIP-92-57259, and generous grants from the SUN Microsystems and Tektronix corporations.     

Improvement of the Umkehr ozone profile by the neural network method: analysis of the Belsk (51.80°N, 20.80°E) Umkehr data

Vertical profiles of atmospheric ozone by the neural network (NN) method are compared with those obtained by the standard Umkehr inversion algorithm – UMK92. Both methods used the same input, the so-called N values, derived from Umkehr measurements at Belsk (51.80°N, 20.80°E), Poland, by the Dobson spectrophotometer No 84. The vertical profiles of ozone from satellite observations, Microwave Limb Sounder (MLS) overpasses for the period 2004–2009, and from ozonesoundings performed at the nearby aerological station, Legionowo (52.4° N, 21.0° E), for the period 2000–2009 provide a reference data set for the NN model building. The NN methodology appears to be a promising tool for extracting information about the vertical ozone profile from ground-based Umkehr measurements, despite some limitations of the NN method itself, such as the results being limited to the analysed station, sensitivity to errors in the reference data sets, and lack of possibility to determine the actual retrieval errors. Accuracy of the NN ozone profiles is better for all Umkehr layers than that by the standard Umkehr inversion algorithm when NN and UMK92 profiles are compared with the reference profiles. It is especially pronounced for comparisons with the ozonesonde profiles for layers 4 and 1, where the absolute error changes from 10.6 Dobson units (DU) (UMK92) to 4.4 DU (NN) and from 6.6 DU (UMK92) to 3.5 DU (NN), respectively (1 Dobson unit is equal to 2.69 × 10²⁰ molecules/m²). The mean (over all Umkehr layers) correlation coefficient between NN-MLS, and NN-ozonesonde profiles is 0.75 and 0.85, respectively. The corresponding correlation coefficients for the comparison with UMK92 profiles are lower, i.e. 0.61 and 0.64, respectively.     

Action transducers and timed automata

Thetimed automaton model of [LyV92, LyV93] is a general model for timing-based systems. A notion oftimed action transducer is here defined as an automata-theoretic way of representing operations on timed automata. It is shown that two timed trace inclusion relations are substitutive with respect to operations that can be described by timed action transducers. Examples are given of operations that can be described in this way, and a preliminary proposal is given for an appropriate language of operators for describing timing-based systems.A preliminary version of this paper appeared in W.R. Cleaveland, editor,Proceedings CONCUR'92, Stony Brook, New York. LNCS 630, pages 436–455. Springer, 1992.Supported by ONR contracts N00014-85-K-0168 and N00014-91-J-1988, by NSF grant CCR-8915206, and by ARPA contracts N00014-89-J-1988 and N00014-92-J-4033.Supported by ESPRIT BRA 7166 CONCUR2 and by the HCM network EXPRESS. Part of the work on this paper was done while the author was at the Ecole des Mines, CMA, Sophia Antipolis, France, and at CWI, Amsterdam, The Netherlands.