一般光路中的分数傅里叶变换的分析方法

在分数傅里叶变换的基本性质的基础,通过引入一个定标因子,通过两次切变操作来旋转ＷＤＦ,给了分数傅里叶变换的一种新的分析该方法可以将原有的分数傅里叶分析从对称光路扩展到的一般的光路。     

软件开发的KFFEITO模型及其实用性

本文提出了能快速研究计算机应和新产品满足市场需求的中小型软件开发模型,即“核心功能优先、由里向外扩展”的软件开发模型。     

具有排除体积的两维高分子链的静态标度律

运用四位置模型对具有排除体积的两维高分子链进行ＭｏｎｔｅＣａｒｌｏ模拟和标度分析,为了提高长链的抽样效率,还提出了被称为“链段伸展法”的抽样方法。对单个自避行走链的模拟结果表明,两维ＳＡＷ链有育明显不同于夫规飞行链以及三维ＳＡＷ链的特点。     

基于min型表现外延的反馈外延外包络

相对于max型表现外延,给出min型表现外延的定义,利用min型表现外延构造了概念关于因素的min型反馈外延.研究了min型反馈外延与概念外延以及复杂因素min型反馈外延与简单因素min型反馈外延之间的关系,得到了与min型反馈外延相关的一些重要性质.定义了min型反馈外延外包络,给出一种从概念外延"内部"对概念外延进行逼近的方法.     

无粘结预应力沉淀池实测伸长值偏大原因分析

针对在实际施工过程中，某无粘结预应力沉淀池预应力束实测伸长值比理论计算伸长值偏大，超过规范规定范围的情况，进行了分析和测试，提出了导致实测伸长值偏大的原因。     

Modal extension rule

Modal logics are good candidates for a formal theory of agents. The efficiency of reasoning method in modal logics is very important, because it determines whether or not the reasoning method can be widely used in systems based on agent. In this paper, we modify the extension rule theorem proving method we presented before, and then apply it to P-logic that is translated from modal logic by functional transformation. At last, we give the proof of its soundness and completeness.     

一类非线性广义系统结构稳定的李亚普诺夫判据

非线性广义系统的结构稳定性的研究有实际意义,基于李亚普诺夫方程,研究了一类非线性广义系统平衡点稳定的问题·用李亚普诺夫方法研究了此类非线性广义系统的结构稳定问题,在此基础上,得到了这类非线性广义系统结构稳定和李亚普诺夫方程的解的关系·最后,给出了这类非线性广义系统结构稳定的充要条件,并且用简单的数值算例说明了定理的可行性·     

矩阵的扩充与紧支撑正交小波

从矩阵的扩充出发给出了尺度因子a=4时紧支撑正交小波的一种构造方法，同时说明了补空间Wj在a=4时可以进一步分解为三个子空间的正交直和，实现Wj的细致化．     

市电频率的谱分析测量法

频率测量在电力工业中极具实用价值．笔者研究表明，利用相继两次DFT分析可以精确得出周期信号(如市电信号)各频率分量的频率、幅度与相位．这一方法的测量精度远优于其它方法，并可适用于一切具有分立谱线的时域变量的测量．     

可拓数学与矛盾问题

本文对可拓数学建构中的几个核心问题进行了初步探讨，分析了可拓数学在研究对象、基本模型、集合基础、逻辑基础等几个方面的特点。