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

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

态势评估中的作战群体类型识别

针对类型识别所处理的情报和使用的知识的不确定性,尤其是情报与知识在观点上的不明确性,提出了基于证据理论的情报表示及组合方法,并给出了群体类型的模板表示方法,进而提出了基于组合情报与模板模糊匹配的作战群体类型识别方法。该方法可应用于各个层次的兵力聚合过程,以辅助各个指挥层次的军事决策,提高决策的速度及效率。     

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种事故的特点采用数学方程进行描述、量化，从数学模型角度论述事故发生的必然性、随机性和可预防性，以及不安全的绝对性和安全的相对性的辩证关系。同时根据数学模型提出了完整的、科学的事故预防基本对策。     

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

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

证据理论合成规则的改进

D-S证据理论是一种有用的不确定性推理方法，由于证据合成公式存在不足，影响了证据理论的应用．该文提出了一种证据理论合成的改进方法，该方法不仅能处理相互冲突的证据，把支持证据冲突的概率按各个命题的平均支持程度加权进行分配，还能根据证据携带的信息量决定聚焦的权重，使合成结果符合实际情况．     

铜管乐器演奏的呼吸技巧

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

浅析"陷阱取证"在民事诉讼中的应用

陷阱取证是法学理论和司法实践中一个非常复杂的问题，“陷阱取证”在民事诉讼中的应用应根据民事案件“陷阱取证”的涵义、种类和特点以及它与民事诉讼中的非法证据排除规则之间的关系进行分析。     

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

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