变革性研究的成功因素

很多人可能没有意识到,科学家之间的非正式交流对于他们的学术认同和变革性知识的产生十分重要。——约翰·N·帕克波士顿,2013年美国科学促进会年会在这里举行,会议临近尾声的讨论议题是:变革性研究以及促进或阻碍它们的因素。     

基于ExSpect的排队系统建模与仿真

随着petri网理论与应用研究的不断发展,petri网已经成为排队系统建模和仿真的有力工具。介绍了基于petri网的可执行的规格说明语言Exspect及其软件,提出了基于Exspect的排队系统建模的方法,并进行了实例研究。     

入侵检测系统评估环境的设计与实现

入侵检测系统（IDS）的评估和开发都需要一个仿真网络环境。功能完整的IDS评估环境，不需经大的改动就可以直接用于IDS的测试开发，本文从IDS评估的角度，对这样的仿真网络环境进行了讨论，设计得到的评估环境也可用于IDS的开发过程。在给出IDS的性能指标之后，我们提出了IDS评估环境框架，并以该框架为基础，对评估环境中的网络流量仿真，主机使用仿真和网络攻击仿真等几个关键技术问题进行了深入研究，在文章的最后，给出了对我们单位开发的IDS进行测试的一些结果，测试在我们搭建的一个基本评估环境中进行。     

小议意愿逻辑的构建

意愿逻辑思想源于边沁 ,此后却未成体系。构建独立的意愿逻辑 ,首先要对其基本概念意愿算子W进行深入研究。意愿算子具有主观性 ,因而意愿逻辑是继认知逻辑等从“自然的”逻辑向“人类的”逻辑进一步拓展 ;意愿算子具有倾向性 ,与优先等概念相关 ,意愿逻辑就可借鉴吸取优先逻辑的成果 ;意愿算子还有因程度不同而形成的模态即意态问题 ,并由于倾向性 ,不能像真势模态逻辑那样归纳模态概念     

结构光测量中的定标

分析了ＤＬＴ定标模型的原理和方法，根据所涉及的应用场合和界定的条件，对ＤＬＴ模型进行了简化，由此只需进行二维测量和计算，就能准确有效地完成三维定标．对定标误差进行了理论分析和实验，提出了误差纠正模型及其相应算法，保证了系统的扫描精度．实验表明：提出的定标算法达到像素级精度．     

格子Boltzmann BGK模型中的矩方程

应用Chapman－Enskog展开和多重尺度技术求取二阶、四阶粘性系数及三阶色散系数；给出Navier－Stokes方程所要求的平衡态分布函数的高阶矩形式．     

新疆两种巨蟹蛛记述(蜘蛛目:臣蟹蛛科)

在新疆蜘蛛资源调查中,发现两种巨蟹蛛,即南疆巨蟹蛛和微缘小遁蛛,前者为一新种;后者在国内文献中仅见有名录,而未曾有过描述,本文一并予以报道。