平面周期物体的Lau效应

基于部分相干理论中交叉谱密度函数的概念研究了平面周期物体的Lan效应文章导出了平面物体Lau像光强分布式,求得了平面周期物体的Lau像光强分布及其Lau成像条件,并进行了实验验证,给出了实验结果.     

关于读图教学中学生读图能力培养的探讨

本文针对读图教学中学生普遍存在的空间想象力差，读图能力差，作图能力差的实际情况，就如何提高学生的读图能力提出自己的见解。     

On Generation and Implicit Partial Operations in Locally Presentable Categories

In a locally presentable category seen as a concrete category of structures, we describe the subobjects (resp. the regular, strong subobjects) generated by a subset, first in terms of closure under certain types of implicit partial operations, and then in syntactic terms. This characterizes in particular the locally presentable categories in which various sorts of monos and epis coincide.     

煤矿排水设备选型设计的计算机优化程序

本文介绍了在矿井服务年限内,利用能耗低、装置效率高的原则,编制了煤矿排水系统方案设计和初步设计的全部电算优化程序.重点介绍了程序的组成、功能、粗框图;目标函数的选择;技术数据的处理及必要的说明.本程序简称为〈PS—WP CAD〉.是在APPLEⅡ型微机上调试通过的,并经过不同的矿井实例上机计算,效果均良好.     

分子格范畴中商对象的构造

本文依据分子格的直积分解和满广义序同态的性质,证明了由满广义序同态诱导的分子格上的等价关系作的商集也可成为分子格,给出了分子格范畴中商对象的具体构造。     

对象式系统动态测试工具OODT研究

针对对象式系统的特点，提出了一种新的测试模型，并以此模型设计了动态测试工具OODT。该工具依据使用事件（USE CASE）生成对象式系统测试过程中的对象关联图（即执行路径）和LOG文件，LOG文件记录执行路径关键点信息。以此实现被测试路径的动态跟踪与执行结果的分析，因此OODT是支持系统的动态测试与测试覆盖率分析的有效工具。     

论人的主体性问题及意义

主体性问题是近代西方哲学的基本问题,对它的论证和研究,构成了认识论的主要内容。本文通过对主体性问题产生、形成的历史必然性,以及主体性原则的内在本质和基本特点的论述,对主体性问题在正确处理人与自然关系问题上给我们带来的正反两方面的启示进行了探讨。     

序列图像中动目标定位

给出了一种新的动目标定位方法，它可以快速准确地从复杂背景中确定动目标的位置和大小，此法充分利用序列图像特性，采用减影法提取动目标，由于实际情况中噪声无法避免，故提出了快速中值滤波方法以有效地滤除大量噪声，为了快速准确地定位目标，事先采用了映算法，然事提出了一种区域生长分割算法ＲＧＳＡ（ＲｅｇｉｏｎＧｒｏｗｉｎｇ Ｓｅｇｍｅｎｔａｔｉｏｎ Ａｌｇｏｒｉｔｈｍ）定位动目标，ＲＧＳＡ还适用于多目标情况，     

基于C＋＋语言的持久程序设计语言XDPC＋＋

本文讨论了ＸＤＰＣ＋＋语言特性，ＸＤＰＣ＋＋是支持类型完全和类型正交的对象持久性的Ｃ＋＋，语言超集，本文还讨论了引入持久性对Ｃ＋＋程序设计风格及安全性的影响。     

分散式网络化控制系统研究

该文提出了面向敏捷制造的分散式网络化控制系统（DNCS）的概念，建立了包括过程维、功能维和方法维的三维模型；基于现场智能节点，提出了一种DNCS的实现策略，以克服传统的集散控制系统（DCS）、可编程逻辑控制系统（PLC）等的弱点，实现控制系统功能的分散化；为实现DNCS分散式智能的优化与协调，该文利用面向对象方法和多代理（Agent) 理论，建立了DNCS的控制模型；对分散式控制单元的组建机制，各类Agent的结构及其之间的关系进行了研究。