Petri网建模工具的面向对象设计

Petri网建模环境的开发有利于Petri网应用理论的验证和实现。介绍一个Petri网建模工具的面向对象设计方法 ,并且主要给出了该建模工具的结构组成、建模工具条、Petri网图形元素的构造方法以及Petri网点火机制的计算机实现方法。成果为基于Petri网的系统分析方法的研究提供了一个灵活可用的辅助工具。     

新旧《全国普通高等学校体育教育本科专业课程方案》的比较研究

运用文献资料和对比分析等方法,对新方案进行分析研究.研究表明:新方案在培养目标、培养规格、课程设置等方面,与旧方案相比较,均具有显著性变化和新的内涵,只有通过认真研读,才能准确地把握其精神实质,并在此基础上加强宣传,以确保新方案的贯彻实施.     

我国中小学推行体育校本课程开发的立论基础

实施“三级课程管理”是新一轮基础教育课程改革的重要举措,为我国中小学推行体育校本课程提供了前提条件.文章以此为逻辑起点,在对体育校本课程开发相关概念进行界定的基础上,对体育校本课程开发的理论依据进行了探讨,结论是在我国中小学实施体育校本课程开发有其充分的立论基础.     

关于数学与应用数学专业课程设置与教学方法的调查报告

在当前高等院校数学专业课程设置上,大学生对现行课程设置满意度不高,他们希望加强实用性、应用性课程,希望有更多类型的选修课可供选择.在数学方式、方法上他们要求改变传统的教学方式,提倡师生互动教学方式和计算机辅助教学,传统的闭卷考试的单一考核方式也受到大学生们的质疑.     

实验室智能排课的研究

针对目前实验室排课的具体情况,提出实现实验室排课的智能化的理论方法.通过分析实验室排课的资源集和约束条件,推导出实验室排课需求集(RCRL),从而提出了一种实验室智能排课的求解算法-AICRL.     

Coincidence and reproducibility in the EHT black hole experiment

This paper discusses some philosophical aspects related to the recent publication of the experimental results of the 2017 black hole experiment, namely the first image of the supermassive black hole at the center of galaxy M87. In this paper I present a philosophical analysis of the 2017 Event Horizon Telescope (EHT) black hole experiment. I first present Hacking's philosophy of experimentation. Hacking gives his taxonomy of elements of laboratory science and distinguishes a list of elements. I show that the EHT experiment conforms to major elements from Hacking's list. I then describe with the help of Galison's Philosophy of the Shadow how the EHT Collaboration created the famous black hole image. Galison outlines three stages for the reconstruction of the black hole image: Socio-Epistemology, Mechanical Objectivity, after which there is an additional Socio-Epistemology stage. I subsequently present my own interpretation of the reconstruction of the black hole image and I discuss model fitting to data. I suggest that the main method used by the EHT Collaboration to assure trust in the results of the EHT experiment is what philosophers call the Argument from Coincidence. I show that using this method for the above purpose is problematic. I present two versions of the Argument from Coincidence: Hacking's Coincidence and Cartwright's Reproducibility by which I analyse the EHT experiment. The same estimation of the mass of the black hole is reproduced in four different procedures. The EHT Collaboration concludes: the value we have converged upon is robust. I analyse the mass measurements of the black hole with the help of Cartwright's notion of robustness. I show that the EHT Collaboration construe Coincidence/Reproducibility as Technological Agnosticism and I contrast this interpretation with van Fraassen's scientific agnosticism.     

一种新型多DSP并行计算结构及其应用

传统的雷达信号处理系统的设计方法是针对特定应用的,因此系统的通用性差,而具有超级计算机体系结构的通用高速实时雷达信号处理系统有望解决这一问题。该系统的关键部件为担负具体计算任务的处理结点。首先提出了一种新型的、由5片ADSP-2106x构成的多DSP并行计算结构。它具有运算能力强、I/O带宽大、通信手段多样、能灵活地改变拓扑结构、可扩展、通用性强等特点。并且以此并行计算结构为核心设计实现了通用高速实时雷达信号处理系统的处理结点。     

基于邻域熵的自适应多尺度边缘检测方法

提出了一种基于邻域熵的自适应调整滤波尺度的多尺度边缘检测方法,该方法根据当前像素点所处邻域内像素点的灰度分布的有序性,定义了邻域内灰度分布的邻域熵,以判定该邻域内是否存在边缘。同时分析了后选边缘的宽度,以定量调整边缘检测中的滤波尺度参数。实验结果和抗噪性能分析表明,这种方法可以得到令人满意的结果,特别是对图像中弱边缘的检测效果比较理想。     

计算机网络系统正常工作模式和故障模式分析

提出了考虑网络节点可靠性时,计算机网络系统正常工作模式和故障模式分析方法.通过比较不考虑节点可靠性和考虑节点可靠性条件下,计算机网络系统正常工作模式和故障模式变化,说明在计算机网络系统可靠性与安全性分析时,考虑节点可靠性的必要性.     

一个基于专家系统的入侵检测系统的实现

入侵检测系统是传统被动方式的网络安全检测手段的重要补充,它是一种主动、实时、自动检测入侵行为的工具和手段.本文论述了两种入侵检测方法--异常行为检测方法和比较学习检测方法的基本原理,同时根据这两种网络安全检测方法,采用专家系统技术,构筑了一个实际的网络监控系统的具体实现,并给出了该网络监控系统的结构图.