关于算子格的主带的闭性质

证明了由格同态生成的主带在算子范数下是闭的,并对一般算子生成的主带之闭性进行讨论,得到一些等价条件和充分条件.     

液压支架虚拟设计

通过建立液压支架虚拟样机及满足并行设计要求的变型样机,模拟了液压支架的运动过程,分析液压支架在运动过程中的受力情况,并按照MT3122000试验规范的加载方式,分析了整机及关键零部件的强度,从而帮助设计人员优化设计参数.     

格蕴涵代数不等式

针对逻辑代数中的不等关系提出格蕴涵代数不等式的概念,讨论了格蕴涵代数中3类最基本的一元格蕴涵不等式,得到一些性质及推论.对3类不等式的可解情况,给出了它们的可解条件,在此基础上讨论了解集所具有的特征.     

Intrusion Detection Method for Program Vulnerability via Library Calls

Library function call sequence is the direct reflection of a program＇s behavior. The relationship between program vulnerability and library calls is analyzed, and an intrusion detection method via library calls is proposed, in which the short sequences of library call are used as signature profile. In this intrusion detection method, library interposition is used to hook library calls, and with the discussion of the features of the library call sequence in detail, an algorithm based on information-theory is applied to determine the appropriate length of the library call sequence. Experiments show good performance of our method against intrusions caused by the popular program vulnerabilities.     

中国南方海相震旦系-中三叠统层序划分与对比

在对中国南方不同地区海相震旦系-中三叠统基干剖面和辅助剖面详细观测研究的基础上,对震旦系-中三叠统进行了系统的层序划分对比,共识别出13个超层序和99个三级层序,讨论了13个超层序的特征,建立了中国南方海相震旦系-中三叠统的层序格架.总体上看各超层序在整个中国南方不同盆地、不同相带的剖面上可以完全对比,但同一个超层序内所包含的三级层序个数及完整性有所不同.对于三级沉积层序来说,半数以上可以得到化石带较为准确的年代控制并在同一个构造分区甚至整个中国南方进行对比,部分层序甚至还可以在三级层序的体系域层次进行对比.表明从整个中国南方来看二级相对海平面升降变化更具有一致性,而三级相对海平面的变化规律在不同盆地、不同相带有所差异.     

从层序地层学到高分辨率层序地层学

简要回顾了层序地层学的发展历史 ,将层序地层学划分为初期阶段、地震地层学和现代层序地层学三个阶段。总结了层序地层学的主要成就和存在的问题。扼要介绍了高分辨率层序地层学的理论基础和关键定义 ,并展望了其发展前景     

琼东南盆地第三纪高分辨率层序地层划分特征

通过对南海北部琼东南盆地第三纪地震、测井曲线和岩相资料的3综合分析，进行了高分辨率层序地层划分。盆地充填序列按古构造运动面划分为5个超层序，分别与盆地演化的阶段性相当。在其内部可进一步划分为19个Ⅲ级层序和42个Ⅳ级层序。并以基准面旋回为基础，长周期基准面旋回为周期，短周期为成因地层单元，论述了不同结构和叠加样式的短期旋回型式及在中长期旋回中的分布规律，基准面变化与层序发育特征、层序分布模式、沉积体系类型和盆地充填演化序列，以及与油气储盖组合的关系。     

大开口对船舶板架稳定性和极限承载力的影响

选取典型船舶板架，采用ANSYS系统，对开口和不开口的板，分别进行了特征值屈曲分析和极限承压屈曲分析，同时，运用便于简化处理的相当梁系法，将加筋板架，近似看作由带附连翼板的交叉梁系构成，转换以后，给出了一套工程近似计算方法，经分析比较，得知：板的屈曲模式所对应的屈曲压力并不一定是最低的，高应力区出现了梁（桁）腹板平面外的失稳，大开口边缘构件的倾向刚度大大削弱，纵桁的理论论界应力降低。     

富丽华贵的丽格海棠

丽格海棠(Rieger Begonia),又称玫瑰海棠,为秋海棠科秋海棠属的多年生草本花卉,是球根海棠和野生秋海棠的杂交品系.丽格海棠的根为须根系;茎枝肉质、多汁;单叶互生,心形,叶色多为绿色,也有的为棕色;花形多样,多为重瓣,花色有红、橙、黄、白等,变化繁复,令人叹为观止.丽格海棠不形成种子,可通过扦插或组织培养繁殖.     

网络最优化中的一个扩容算法

提出了网络最小割集与网络瓶颈的关系。提出了解决网络瓶颈问题的一个优化容算法，并分析了算法复杂性，算法通过在给出了容量的网络中全局正向分段引入虚拟发点，构造扩容网络搜索全部最小割集；对于指定的网络最大流量，算法反向逐级计算各个最小割集弧组相应的调整量，通过增加调整最来重新布局各弧的容量，逐级回代直至恢复原网络拓扑结构，从而改善网络的通行能力，解决网络瓶颈问题。