基于本体的环境信息系统框架

为了解决环境信息学研究和应用中所遇到的数据异构、系统互操作和信息检索等问题,将信息学中本体和语义网研究领域的最新成果引入环境信息学,提出和设计了一个基于本体的环境信息系统框架。该框架以本体技术为核心,采用双层本体结构,提供语义级的信息共享和系统互操作,实现了环境信息服务和环境智能信息检索功能,具有很强的可扩展性。     

Petri网的分享合成操作

通过引入Fork算子，建立Petri网的一种新的合成操作一分享合成，分享合成探作与传统的共享合成操作相比更适合于描述信息系统的建模。在分享合成时，子网中任何与分享库所无关的变迁序列在合成后保持不变，分享合成对于子网内由分享库所引发的变迁序列也保持不变。分享合成实际上增加了分享库所引发变迁序列发生的机会，使得到达输出集的机会增加。最后介绍了Petri网分享合成操作在信息系统安全管理中的应用。     

利用Petri网模拟基于属性的不确定性推理

本文主要介绍了如何使用Petri网来实现基于属性的不确定推理。并且在一般Petri网的基础上进行改进，分别使用了模糊Petri网和模糊着色Petri网来进行实现。并且用一个具体的例子显示了Petri网的运行过程。     

一类拟牛顿算法的收敛性

根据一类基于新拟牛顿方程Bk 1sk=yk*的修改BFGS类算法,采用广义W olfe线搜索模型(GW搜索模型):f(xk 1)≤f(xk) δkαgTkdk和g(xk 1)Tdk≥m ax{,σ1-(kα‖dk‖)p}gTkdk,其中0<δ≤σ<1,p∈(-∞,1),得到一类修正的BFGS算法(M BFGS),证明了M BFGS算法的全局收敛性和超线性收敛性.数值试验结果表明M BFGS算法是有效的.     

球面网壳动力稳定临界力简化计算

球面网壳动力稳定临界力简化估算公式是针对跨度30m-60m，矢跨比1／10-1／6的单层球面网壳，对于其它类型的网壳结构要具体分析。     

具有相伴单位元的结合超代数的上同调

同调与上同调理论在数学中占有很重要的地位。结合代数的上同调理论是十分丰富的,但是超代数的上同调理论还需要进一步的研究。本文结合超代数上同调群的定义,研究得到了具有相伴单位元1的结合超代数的上同调群的一些较好的性质。     

给定西洛子群的正规化子与有限群的结构

探讨了群G的Sylow P-子群和Sylow q-子群的正规化子是超可解群（幂零群），且研究了在G中的指数是素数的幂的{P，q}-可解群G的结构．     

Superresolution measurement on the minute fluctuation of cell membrane

A wide variety of the physical properties of cell membrane reflect life-cycle processes, including me- tabolism, respiration, photosynthesis, signal transduc- tion, transmembrane transport, and so on. So it is sig- nificant to investigate the elastic prop…     

落叶松体细胞胚胎发生的研究进展

落叶松体细胞胚胎发生属于间接体细胞胚胎发生途径，主要包括三个步骤：胚性培养物诱导、继代与增殖及其体胚成熟和萌发。供体植物的基因型及其培养基的成分等是影响落叶松体细胞胚胎发生的重要因素。体细胞胚胎发生是一种有效的大规模克隆繁殖方法，并且在许多有重要经济价值的树种中都取得了很大进展，目前已从30多种松柏类植物诱导出体细胞胚。落叶松体细胞胚胎发生的应用大多数集中于胚性培养物的超低温保存、原生质体培养、转基因等技术，并对落叶松体细胞胚胎发生的研究趋势作了展望。     

IPv4/IPv6过渡策略及IPv6试验网设计与实现

首先阐述了IPv4所暴露出的问题,其次介绍IPv4到IPv6的过渡策略,最后详细介绍了基于Windows IPv6试验网的设计与实现