基于类型系统的完整性信息流控制

构造了一种实现完整性信息流控制的安全类型系统.首先,为π-演算建立具有完整性安全等级的安全类型.然后,建立该安全类型的子类规则和类型规则,这些规则实现了系统的完整性策略及对系统行为的限制.最后,证明该类型系统的类型合理性,表明满足初始安全策略的系统经过不断的演进、交互,系统的安全属性依然可被满足.所建立的完整性信息流控制机制可通过静态类型检验高效实现.     

基于灰色关联方法的目标类型识别

针对目标类型识别问题,在分析影响目标类别因素的基础上,引入了利用灰色关联理论进行目标类型识别的原理,建立了目标类型识别的模型和方法。实例验证该模型能有效地解决目标类型识别的问题。     

如何使用ILASⅡ的统计功能

ILAS是我国用户数最多、推广面最广、实用性最强、联网性能最佳的图书馆自动化系统,如何有效地对各类数据进行统计,是用户经常提出的问题。就ILAS的统计类型和如何使用ILAS的统计功能以及使用ILAS统计应注意的问题进行了论述。     

图式理论对第二语言阅读的指导作用

图式理论研究发现,第二语言阅读受到三种图式类型的影响,即内容图式、外形图式和语言图式.内容图式指读者的文化背景和认识世界的知识层次;外形图式常常被认为是语篇图式,包括语篇的组织形式和修辞结构,其知识涉及到不同的语篇类型和风格,也涉及到如何理解不同语言的语篇类型以及其中对不同语篇组织、语言结构、词汇、语法的不同处理方法;语言图式包括认识词语及其在句子中组合方式所需要的解码特征.通过阐述三种图式类型,论证了图式理论对第二语言阅读的指导作用.     

Remote sensing of spatial patterns of urban renewal using linear spectral mixture analysis: A case of central urban area of Shanghai (1997―2000)

It is very important to integrate remote sensing with urban geography that the spectral mixture analysis technique is applied to urban land cover evolvement and its eco-environmental effect. Urban land cover is mainly composed of complicated artificial materials, which is the key factor to limit the development of the spectral mixture analysis technique. There are two main aspects in which the technique of spectral mixture analysis is applied to urban geography： one is to calculate vegetation fraction; the other is to build quantitative model of the urban impervious surface obtained from the combination between high albedo fraction and low albedo fraction. The technique of spectral mixture analysis is firstly applied to study urban renewal pattern, scale and mode which happened in Shanghai City from 1997 to 2000,     

计算机病毒

对计算机病毒作了概要的描述性探讨.使用户对计算机病毒本身有一个较为深刻的理解和认识,从而为计算机病毒防范提供理论指导.     

安全理论基本假说

通过大量事故案例及对现有安全理论的分析，将所有事故分为3类：自然事故、随机事故和人为事故，根据这3种事故的特点采用数学方程进行描述、量化，从数学模型角度论述事故发生的必然性、随机性和可预防性，以及不安全的绝对性和安全的相对性的辩证关系。同时根据数学模型提出了完整的、科学的事故预防基本对策。     

高校计算机实验室安全现状分析与管理对策

分析计算实验室安全事故类型及形式,并提出加强实验室安全管理的对策。     

铜管乐器演奏的呼吸技巧

铜管乐器是泛音乐器,是靠气息推动唇肌产生震动而发音的;呼吸运用的好坏将直接影响演奏效果。要深入掌握科学的呼气及吸气方法,加强训练,提高实际演奏的发声水平。     

3S技术在江汉平原湿地监测中的应用

文章以江汉平原湿地监测为例，就3S技术在湿地监测中的应用做了说明。文章在简述江汉平原自然地理概况、江汉平原湿地3S技术监测意义的基础上，分析了进行湿地3S监测的技术方法与流程路线，建立了相应的湿地类型解译标志，并就湿地监测过程中的一些技术问题进行了讨论。