a state-adaptive access control model for web-based idrs system

Huazhong Univ Sci & Technol, Natl Tech Univ Ukraine, Huazhong Normal Univ, Harbin Inst Technol, IEEE Ukraine Sect, I& M/CI Joint Chapter

语义Web中的自动推理和主动规则终止性分析

语义Web是现有Web的一个语义延伸，目标是使Web的应用具有一定的智能，能够进行更准确的信息搜索和一定的决策支持，帮助用户自动完成一些任务。语义Web的实现需要人工智能、数据库等领域的技术支持，需要对已有的技术进行改进和扩展，也需要对现有技术本身如ECA规则进行更深入的研究从而进一步将其扩展到语义Web。自动推理技术是语义Web实现的基础之一，而ECA规则可以为系统增加反应性行为能力，本文围绕自动推理和ECA规则，主要进行了如下研究：（1） 一阶逻辑推理技术对语义Web的推理支持。分析了语义Web语言需要的表达能力，对现有描述逻辑工具、一阶逻辑工具的能力进行了考察。现有的描述逻辑工具不足以处理应用所需要的更丰富的语言成分、任意的一阶逻辑规则等，而一阶逻辑自动定理证明工具和有限模型查找工具有分别都有较好的研究成果。把语义Web的推理问题化成可满足性判定问题后，本文给出了一阶逻辑定理证明器和有限模型查找器形成的并发过程进行可满足性判定的方法。这样既可以解决描述逻辑工具的不足，并可弥补定理证明器对可满足的公式推理的不完备性。（2） ECA规则(主动规则)的终止性分析。终止性是主动规则最重要的行为性质，不终止是由于主动规则的级联触发造成的，意味着定义错误。终止性检查通常是不可判定的。有效的静态分析方法是主动规则得以实际应用的保证。静态分析的关键是合适的数据库状态描述，本文给出用约束表示数据库状态的方法，通过模拟规则执行，使用约束求解进行条件计算和重复状态检查，判断主动规则集合是否终止。用约束精确表示了数据库状态，在规则处理中考虑了执行语义，从而得到更精确的终止性结论。

语义Web服务组合一致性验证及案例研究

语义Web和Web服务是当前热门的应用技术，而两者的结合——语义Web服务将在未来几年具有极大的应用前景。语义使得~Web~服务的自动发现和自动组装变得非常容易、高效，但是随之而来的问题是如何确保自动组装的~Web~服务组合在本体知识库的状态下是一致的，并且在执行过程中也始终保持一致。 本文介绍了一种基于路径的语义Web服务组合验证方案，通过对服务组合中的单个Web服务进行输入、输出、前置条件和执行效果（IOPE）进行语义标注，旨在找出组合执行过程中在任何结点处可能存在的不一致性。文章定义了显式不一致性和隐式不一致性，首先提出了语义Web服务前置条件和执行效果的正规化表示方法，然后介绍了顺序和并发执行的多个Web服务之执行效果自动化累积算法，接下来给出了基于路径的一致性验证算法。文章还给出了实现该验证方案的平台架构，给出了相关实验过程和结果。 文章还完整地介绍了中科院某研究所本体的构造和扩充过程，定义了研究生毕业申请服务组合，并介绍了服务的IOPE标注，最后运用验证方案对该组合进行验证，给出了验证结果。

Web-based spatiotemporal visualization of marine environment data

With long-term marine surveys and research, and especially with the development of new marine environment monitoring technologies, prodigious amounts of complex marine environmental data are generated, and continuously increase rapidly. Features of these data include massive volume, widespread distribution, multiple-sources, heterogeneous, multi-dimensional and dynamic in structure and time. The present study recommends an integrative visualization solution for these data, to enhance the visual display of data and data archives, and to develop a joint use of these data distributed among different organizations or communities. This study also analyses the web services technologies and defines the concept of the marine information gird, then focuses on the spatiotemporal visualization method and proposes a process-oriented spatiotemporal visualization method. We discuss how marine environmental data can be organized based on the spatiotemporal visualization method, and how organized data are represented for use with web services and stored in a reusable fashion. In addition, we provide an original visualization architecture that is integrative and based on the explored technologies. In the end, we propose a prototype system of marine environmental data of the South China Sea for visualizations of Argo floats, sea surface temperature fields, sea current fields, salinity, in-situ investigation data, and ocean stations. An integration visualization architecture is illustrated on the prototype system, which highlights the process-oriented temporal visualization method and demonstrates the benefit of the architecture and the methods described in this study.

Sensitive, selective and label-free protein detection using a smart polymeric transducer and aptamer/ligand system

We have demonstrated a smart polymeric transducer and aptamer/intercalating dye system that allows the label-free detection of protein with high sensitivity and selectivity.

SYNTHESIS AND CHARACTERIZATION OF A CROSSLINKING POLYETHYLENIMINE AS SMART GENE CARRIER AND EFFECTS OF PEGYLATION DEGREE

A smart biodegradable cationic polymer (CBA-PEI) based on the disulfide bond-containing cross-linker cystamine bisacrylamide (CBA) and low molecular weight branched polyethylenimine (1800-Da, PEI1800) was successfully synthesized by Michael addition reaction in our recent study. Furthermore, a series of copolymers (CBA-PEI-PEG) with different PEGylation degree were obtained by the mPEG-SPA (5000-Da) reacting with CBA-PEI at various weight ratios directly. The molecular structures of the resulting polymers CBA-PEI and CBA-PEI-PEG were evaluated by nuclear magnetic resonance spectroscopy (H-1-NMR) and capillary viscosity measurements, all of which had successfully verified formation of the copolymers. The polymer/DNA complexes based on CBA-PEI and CBA-PEI-PEG were measured by dynamic light scattering and gel retardation assay. The results showed that the particle size and zeta potential of complexes were reduced with increasing amount of PEG grafting, even no particle formation. The particle size of CBA-PEI/DNA complexes was in range of 103.1 to 129.1 nm, and the zeta potential was in range of 14.2 to 24.3 mV above the 2:1 weight ratio. In the same measure condition, the particle size of CBA-PEI-PEG complexes was reduced to a range of 32.2 to 55 nm, and the zeta potential was in range of 9.3 to 13.8 mV at the 2:1 weight ratio.

Screening of genes expressed in vivo after infection by Vibrio anguillarum M3

Aims: Genes uniquely expressed in vivo may contribute to the overall pathogenicity of an organism and are likely to serve as potential targets for the development of new vaccine. This study aims to screen the genes expressed in vivo after Vibrio anguillarum infection by in vivo-induced antigen technology (IVIAT). Methods and Results: The convalescent-phase sera were obtained from turbot (Scophthalmus maximus) survived after infection by the virulent V. anguillarum M3. The pooled sera were thoroughly adsorbed with M3 cells and Escherichia coli BL21 (DE3) cells. A genomic expression library of M3 was constructed and screened for the identification of immunogenic proteins by colony immunoblot analysis with the adsorbed sera. After three rounds of screening, 19 putative in vivo-induced (ivi) genes were obtained. These ivi genes were catalogued into four functional groups: regulator/signalling, metabolism, biological process and hypothetical proteins. Three ivi genes were insertion-mutated, and the growth and 50% lethal dose (LD50) of these mutants were evaluated. Conclusions: The identification of ivi genes in V. anguillarum M3 sheds light on understanding the bacterial pathogenesis and provides novel targets for the development of new vaccines and diagnostic reagents. Significance and Impact of the Study: To the best of our knowledge, this is the first report describing in vivo-expressed genes of V. anguillarum using IVIAT. The screened ivi genes in this study could be new virulent factors and targets for the development of vaccine, which may have implications for the development of diagnostic regents.

Screening of genes expressed in vivo after infection by Vibrio anguillarum M3

Aims: Genes uniquely expressed in vivo may contribute to the overall pathogenicity of an organism and are likely to serve as potential targets for the development of new vaccine. This study aims to screen the genes expressed in vivo after Vibrio anguillarum infection by in vivo-induced antigen technology (IVIAT). Methods and Results: The convalescent-phase sera were obtained from turbot (Scophthalmus maximus) survived after infection by the virulent V. anguillarum M3. The pooled sera were thoroughly adsorbed with M3 cells and Escherichia coli BL21 (DE3) cells. A genomic expression library of M3 was constructed and screened for the identification of immunogenic proteins by colony immunoblot analysis with the adsorbed sera. After three rounds of screening, 19 putative in vivo-induced (ivi) genes were obtained. These ivi genes were catalogued into four functional groups: regulator/signalling, metabolism, biological process and hypothetical proteins. Three ivi genes were insertion-mutated, and the growth and 50% lethal dose (LD50) of these mutants were evaluated. Conclusions: The identification of ivi genes in V. anguillarum M3 sheds light on understanding the bacterial pathogenesis and provides novel targets for the development of new vaccines and diagnostic reagents. Significance and Impact of the Study: To the best of our knowledge, this is the first report describing in vivo-expressed genes of V. anguillarum using IVIAT. The screened ivi genes in this study could be new virulent factors and targets for the development of vaccine, which may have implications for the development of diagnostic regents.

黄海纤毛虫的丰度和生物量

海洋浮游纤毛虫是在海洋中浮游生活的一类单细胞原生动物，主要是指寡毛类纤毛虫(Oligotrich ciliates)，隶属原生动物界(Protozoa)、纤毛门(Ciliophora)、寡毛纲(Oligotrichea)，分属于Oligotrichina 和Tintinnina两个亚纲。它们个体微小，粒径在5-200 µm之间，是微型浮游动物和海洋微食物环(Marine Microbial Food Web)的重要组成部分。 2006年4月至2007年12月，在黄海(包括胶州湾)采样分析海洋浮游纤毛虫的种类组成(砂壳纤毛虫)、丰度和生物量，分析纤毛虫在这一海区的季节变化和空间变化。 纤毛虫丰度和生物量的研究方法为：Rosette采水器(胶州湾用Niskin采水器)采集水样，取1 L水样，加Lugol’s试剂固定(终浓度1%)，Utermöhl方法100倍镜检。测量虫体的体长、体宽，按最接近的几何形状(圆柱体、球体和圆锥体)计算体积。生物量由体积乘转换系数(0.19 pgC/µm3)得到，砂壳纤毛虫的肉体体积按照壳体积的1/3近似。 本文的结果表明，胶州湾各站纤毛虫平均丰度于6月达到全年最高值6065 ind./L，12月为全年丰度最低值843 ind./L。平均生物量8月达全年最高值(18.5 µg C/L)，6月为全年最低值(0.6 µg C/L)。砂壳纤毛虫种丰富度于8月达到最高值，共发现25种砂壳纤毛虫，1月种类最少(6种)。湾内站位的纤毛虫平均丰度比湾外的高(6月和8月除外)。砂壳纤毛虫在纤毛虫总丰度中的比例较小，平均为25%，范围为8-57%，分别于1月和8月达到最低和最高值。 两次冷水团大面调查结果表明，4月表层纤毛虫平均丰度(1490 ind./L)要高于10月(972 ind./L)。10月表层纤毛虫生物量0.14-5.33 µg C/L，14194站、15694站和15894站生物量较高，为4.08-5.33 µg C/L。无壳纤毛虫优势种Laboea strobila在两个航次中均呈现斑块分布，4月航次丰度0-10000 ind./L，10月航次丰度11-350 ind./L；砂壳纤毛虫优势种Ptychocylis obtusa仅在4月航次发现，最大丰度2895 ind./L，10月航次未发现。4月航次砂壳纤毛虫有百乐拟铃虫(Tintinnopsis beroidea)，丰度为0-1920 ind./L；卡拉直克拟铃虫(Tintinnopsis karajacensis)，丰度很小(10-93 ind./L)。10月航次砂壳纤毛虫优势种Tintinnidium primitivum，丰度为35-700 ind./L；也出现了尖底类瓮虫(Amphorellopsis acuta)和网纹虫(Favella spp.)，但丰度不大(0-210 ind./L)；运动类铃虫(Codonellopsis mobilis)、筒状拟铃虫(Tintinnopsis tubulosoides)和Eutintinnus sp.丰度也较低(35-105 ind./L)；Craterella torulata丰度为0-120 ind./L，主要分布于15694站。10月航次已经出现了温跃层，位于30 m左右水层，纤毛虫主要分布于温跃层之上。 六次黄海断面航次表明：温跃层在5月已经出现，到12月消失。在有温跃层的5月、6月、8月、9月，纤毛虫主要分布于温跃层(30 m左右)之上。其中8月份航次纤毛虫丰度最高，表层平均丰度3103 ind./L。12月份纤毛虫丰度最低，表层平均丰度406 ind./L。纤毛虫生物量春夏季为0.02-5.5 µg C/L，冬季为0.04-1.99 µg C/L。小型无壳纤毛虫占优势，砂壳纤毛虫东方拟铃虫(Tintinnopsis orientalis)、筒状拟铃虫、运动类铃虫、Craterella torulata和Tintinnidium primitivum几乎在各个航次均有分布。

Intra-habitat heterogeneity of microbial food web structure under the regime of eutrophication and sediment resuspension in the large subtropical shallow Lake Taihu, China

Planktonic microbial community structure and classical food web were investigated in the large shallow eutrophic Lake Taihu (2338 km(2), mean depth 1.9 m) located in subtropical Southeast China. The water column of the lake was sampled biweekly at two sites located 22 km apart over a period of twelve month. Site 1 is under the regime of heavy eutrophication while Site 2 is governed by wind-driven sediment resuspension. Within-lake comparison indicates that phosphorus enrichment resulted in increased abundance of microbial components. However, the coupling between total phosphorus and abundance of microbial components was different between the two sites. Much stronger coupling was observed at Site 1 than at Site 2. The weak coupling at Site 2 was mainly caused by strong sediment resuspension, which limited growth of phytoplankton and, consequently, growth of bacterioplankton and other microbial components. High percentages of attached bacteria, which were strongly correlated with the biomass of phytoplankton, especially Microcystis spp., were found at Site 1 during summer and early autumn, but no such correlation was observed at Site 2. This potentially leads to differences in carbon flow through microbial food web at different locations. Overall, significant heterogeneity of microbial food web structure between the two sites was observed. Site-specific differences in nutrient enrichment (i.e. nitrogen and phosphorus) and sediment resuspension were identified as driving forces of the observed intra-habitat differences in food web structure.

基于web的遥操作系统时延分析

采用预测控制算法给出了一种带有时延补偿器的新的控制结构,分别在前向通道和反馈通道设计补偿器对网络时延进行补偿.实验结果表明:带有预测器及补偿器的新的控制结构可以改善系统的动态性能,并且能够保证系统在具有时延和数据丢失的环境下的稳定性.

基于Petri网的Web数据库访问的建模研究

本文针对多用户访问Web数据库的过程进行了分析并提出改进思路,然后利用带抑止弧的扩充Petri网对改进后的访问过程进行建模。

基于web的远程控制机器人研究

Internet连接了全球的计算机 ,它为人们提供了分享数据、图片、影像甚至实时影像的机会 ,但与远程地点的真实交互还是离不开象机器人这样的智能设备 .Web技术与机器人控制技术的结合 ,促成了基于 web的远程控制机器人概念的诞生 .本文将就基于 web的远程控制机器人的发展历程、研究现状、主要技术与实现、发展趋势及应用前景等做综合的介绍 .