一种改进的实信号IFFT算法

由于重量轻、体积小、功耗低、功能强的小卫星工作在无人干预的低温 ,高辐射的空间环境中 ,因此星上计算机系统必须满足集成度高、寿命长、可靠性高、抗辐射能力强的要求。针对立体测绘小卫星的特点 ,我们设计了满足上述要求的集集中控制与分布控制优点于一身的星上计算机系统 ,对其可靠性进行了分析 ,并对提高其可靠性应采取的关键技术进行了简要的论述。     

思维的数学基础──罗素“悖论”真是悖论吗？

作者认为，客现世界由物质组成；时间和空间是物质存在的基本形式，是不可分割的整体；人类思维中的任何抽象、思辩、描述、表达，…等等，都不可能是超时空的。但作为研究客观世界抽象规律的数学，其基础却尚未反映出这一本质属性。这可能正是离散与连续关系所蕴含的矛盾至今不能解决的基本原因。也是“集合论”体论的根源所在。因此，“悖论”之所以为体论，根源就在于思维基于绝对时空背景下的惯性；悖论的意义也在于其揭示了当前数学基础的绝对时空性质。     

超几何分布与二项分布的有机联系

用普遍联系的观点从五个方面阐述了超几何分布与二项分布之间的密切联系。     

基于语言偏好的群体决策的软解法

群体决策模型用于支持系统或专家系统，面临的两个问题是：自然语言与机器语言的匹配以及模型解与决策者意向交融．本文在许多学者大量工作的基础上，试图提出群决策的软化求解模型．主要提出两方面的结果：一是多准则语言偏好的综合；二是采用模糊匹配方法和语言变量的软算法将个人语言偏好聚集为群体可接受决策解．最后给出实例计算以说明操作步骤．该模型可用于人－机交流式ＧＤＳＳ或小群（７～１２人）会议支持系统的软件设计     

知识封装及知识型复杂系统

本文描述了复杂系统综合集成的一种新的方法--知识封装及其在知识封装上建立知识型复杂系统的过程, 探讨了知识在复杂系统中的作用及其介入的深度。采用知识封装后, 无法符号化的问题求解模块可以统一在知识系统的框架下进行处理。最后通过两个示例来说明如何对问题求解模块进行知识封装。     

组合函数的相等实现——Ⅱ.分离变量法

在献〔１〕中，给出了求解组合函数相等实现后种图形解法，本用这种方法讨论可分离函数及不可分离函数的实现问题。     

轮式分页输纸中的摩擦问题

本文着重研究了输纸轮与纸面间以及纸与纸间的静、动摩擦特性。分析了分页输纸的力学条件,并通过各种结构输纸胶轮和国产纸张的实验证明了正压力与摩擦系数之间存在着非线性关系。得出了一系列曲线。指出:利用非线性摩擦特性是分页输纸的理论基础,为设计简单的张簧式给纸盒提供了科学依据。经“OA”设备的OCR和OMR使用证明分页输纸稳定可靠。     

离散大系统的多级控制

本文使用反馈控制和广义逆矩阵研究离散大系统的多级控制问题,即在局部控制器上加所谓“校正”控制器,达到中性关联作用,使整个系统的性能指标为极小,且得到较小的性能指标偏差的上界。     

多涡卷混沌系统在图像水印加密上的应用研究

提出了一种基于多涡卷混沌系统对含有版权信息的原始水印图像进行双重加密的方法.首先将混沌系统与DNA编码及DNA计算相结合设计了一种包含置乱操作的原始水印图像加密方案,分析其加密直方图、相邻像素相关性等统计特性.在离散小波变换结合奇异值分解算法(DWT-SVD)的基础上,把加密后的水印图像嵌入到载体图像中.通过实现水印信息的加密、嵌入和提取,对含有水印的载体图像的攻击以及对攻击后的水印进行峰值信噪比和归一化相似度的评价,整体实现了基于DWT和混沌加密的数字水印系统.