概率实时时态认知逻辑模型检测中抽象技术的研究

概率实时时态认知逻辑PTACTLK模型检测面临着与传统模型检测同样的挑战,即状态空间爆炸问题.抽象是缓解状态空间爆炸问题的最为有效的方法之一.为了缓解概率实时时态认知逻辑模型检测中的状态空间爆炸问题,我们给出了一种抽象技术:对于PTACTLK中的实时部分PTACTL,采用抽象离散时钟赋值,把概率实时解释系统的无限状态空间转化成有限形式;对于PTACTLK中的认知算子K,给出了抽象状态关于智体认知等价的定义.定义了概率实时解释系统的抽象模型,给出了抽象模型上概率实时时态认知逻辑的语义,并证明了由抽象技术演绎得到的抽象模型是原始模型的上近似.最后通过一个通信协议来说明抽象技术的有效性.     

面向语义的解释型测试程序集

通过对国内外研究工作的分析,提出了面向语义的解释型测试程序集描述方法。该方法采用具有完备性、独立性和灵活性的语义集合对具体的测试需求进行抽象,构建通用性较强的测试程序集,并为可扩展性提供了相应的接口。     

时态约束下的数据挖掘问题及算法

对于一个大型数据库而言,为了提高挖掘效率,必须考虑减少数据库的扫描次数,同时使内存需求量保持在一个适当的水平上.把时态约束应用到事务数据库的挖掘中,可以获得更好的效率.本文首先利用时态区间代数操作实现原始数据库的过滤和挖掘时态区间的合并;然后在定义项目序列集操作的基础上,提出一个称为TISS-DM的发现频繁项目序列集的高效算法;最后讨论了这个算法的效率.     

布鲁姆过滤器代数运算探讨

 本文探讨布鲁姆过滤器的代数运算和集合查询的关系,定义布鲁姆过滤器的"并","交","异或","补","差"代数运算,从理论和实验两方面分析布鲁姆过滤器的代数运算和集合代数运算并集,交集,异或集,补集,差集的元素查询关系.理论分析和实验结果表明,布鲁姆过滤器的"并","交"运算能够支持集合并集交集的元素查询,这一结论可以简化利用布鲁姆过滤器进行的系统设计.     

模拟和数字电路中的抽象原则

电气工程与计算机科学是诸多应用抽象原则概念解决问题的学科之一,电气工程是有目的的应用描述电磁现象的麦克斯韦方程(或抽象)并创建一个新的抽象层,称为模拟电路层或数字电路层。集总电路和数字电路中不断应用抽象原则,有效的解决了电气系统中复杂的问题。     

抽象事件的时间戳

调试分布式应用系统要比调试顺序程序困难得多,原因之一是分布式应用系统要比顺序程序复杂得多,为了处理分布式应用系统的复杂性,提出了对分布式应用系统的事件进行抽象的高度方法,这种方法让用户有从不同的层次观察分布式应用系统的行为,对分布式应用系统调试和抽象时,抽象事件（事件集）之间的先于关系起着重要作用。而逻辑时钟用来一事件间的先于关系,本文给出了一种由事件的时间戳计算抽象事件（事件集）时间戳的方法,这     

基于WIA—PA协议的网关一致性测试

首先介绍了WIA—PA网关,然后抽象出了WIA—PA网关测试集,根据抽象测试集设计出一种通用的WIA—PA网关测试系统,最后介绍了WIA—PA网关的测试流程。     

SCA中CORBA与硬件抽象层技术研究

为了彻底分清SCA中两个容易混淆的关键技术,即CORBA和硬件抽象层技术,采用比较研究的方法,将两者从基本定义、体系结构、应用和实现方法等几个方面进行了深入研究,得出了CORBA和硬件抽象层在一定的应用范围内均可被认为是一种中间件技术;CORBA属于SCA软件架构的一部分,而硬件抽象层则归属为SCA的硬件结构部分;硬件抽象层组件是不能被CORBA直接调用的功能组件等结论,两者都具有屏蔽各种平台问的差异和编程语言不同的特点。     

基于抽象状态机的网格系统设计和分析

基于可执行规范的实现-测试同步开发模式可以将错误尽早消灭在各个开发阶段的初期．其理论基础是抽象状态机ASM，实现工具是支持．NET的AsmL．本文首先介绍了基于可执行规范的实现-测试同步开发模式、ASM起源和定义，然后采用ASM描述了网格高层次系统语义，并举例说明了采用AsmL生成有限状态机分析模型语义的方法步骤．本文认为基于ASM的网格系统设计和分析值得学术界和工业界的共同关注．     

雷达系统软件跨平台的一种实现

论述了雷达系统软件中操作系统抽象层存在的必要性，并给出其在雷达系统中的实现，即采用操作系统扩展（OSE）技术来实现应用软件的平台无关，通过对不同操作系统的核心功能的重新定义、优化和封装，得出一个共用的面向应用开发的屏蔽平台差异的操作系统抽象层，同时在这个抽象层中结合雷达系统软件的特点提供了适用于雷达系统软件的底层功能，用以支持雷达系统软件跨平台，提高关键应用的效率，缩短项目的开发时间。     

基于构造类别代数的变异分析

在通信协议的一致性测试中,可以使用构造类别代数来对协议进行形式化的描述.本文将变异分析引入构造类别代数中,设计了应用于构造类别代数的几类变异算子,并且提出了使用变异分析对基于构造类别代数描述的协议进行一致性测试的基本步骤.这种方法为基于构造类别代数的协议测试提出了一个新的方向.     

作战效能灵敏度分析的区间方法

以区间数学为理论基础,提出了作战效能灵敏度分析的区间方法.可在不进行求导数运算的条件下,通过区间运算获得作战效能随武器装备的技术战术性能和作战使用方式改变而变化的情况.在强非线性情况下,区间灵敏度分析方法对参数变化范围的选取比差分法或摄动法的要求要低.通过数值算例表明了用区间方法进行作战效能灵敏度分析的可行性和有效性.     

A path integral time-domain method for electromagnetic scattering

A new full wave time-domain formulation for the electromagnetic field is obtained by means of a path integral. The path integral propagator is derived via a state variable approach starting with Maxwell's differential equations in tensor form. A numerical method for evaluating the path integral is presented and numerical dispersion and stability conditions are derived and numerical error is discussed. An absorbing boundary condition is demonstrated for the one-dimensional (1-D) case. It is shown that this time domain method is characterized by the unconditional stability of the path integral equations and by its ability to propagate an electromagnetic wave at the Nyquist limit, two numerical points per wavelength. As a consequence the calculated fields are not subject to numerical dispersion. Other advantages in comparison to presently popular time-domain techniques are that it avoids time interval interleaving and it does not require the methods of linear algebra such as basis function selection or matrix methods     

一种精确计算容差网络的新算法

论述了应用Markov区间迭代法对含有容差的网络进行节点电压分析。文中首先介绍Markov区间选代法的基本方法，然后把这种方法应用于容差网络的节点电压计算，并把计算结果与Hansen迭代法进行比较。结果表明，这种方法具有较高的计算精度，它不仅能够用于电路的分析而且也能够用于容差网络的故障诊断。     

超声多普勒血流自小波相关分析及STFT方法的对比研究

论文阐述了短时傅里叶变换(STFT)在分析长时间非平稳随机血流信号时产生的误差,提出了一种用于超声多普勒血流信号分析的自小波相关分析(AWCA)方法.小波变换灵活可变的时频窗,在分析多普勒血流信号时更具有优势.文中给出了超声多普勒血流仿真信号,并用此信号进行了相应的短时傅里叶与自小波相关的结果分析.对比分析结果表明,自小波相关分析方法不仅适合于分析具有非平稳性的多普勒血流信号,而且能够提供更好的位置和频率分辨特性.     

微分代数方法在静电电子透镜任意高阶像差分析中的应用

微分代数是计算机数值分析领域中的一个非常有效的方法,它以非标准分析理论为基础,可以实现任意高阶微分的准确计算.本文根据微分代数方法的基本原理,将其引入到静电电子透镜的任意阶像差分析的计算中.通过计算例子,可以看出微分代数方法的计算结果非常精确,精度仅受限于机器精度和算法误差.同时结合微分代数方法可以很方便地计算到任意高阶像差的特性,给出了所研究的透镜的全部五阶像差的分布图形.     

实验数据处理中曲线拟合方法的探讨

本文介绍了实验数据处理工作中具有指数函数关系的曲线拟合方法,即:线性差分法、最小二乘法及单纯形法,并探讨其适用性。在本报告的附录中还列出了最小二乘法曲线拟合方法中计算回归系数的实用BASIC程序以及步长可变单纯形法的BASIC程序。     

基于函数逼近方法的BOC信号跟踪策略研究

通过分析二进制偏移调制的裂谱性能与其自相关的伪峰特性,根据二进制偏移调制(BOC)信号跟踪同步中存在的模糊问题.提出一种利用变间隔的自互相关值来消除伪峰的方法.该方法考虑了通道数量、性能损失以及鉴相区间线性程度等多个参数,求出方差最小意义下的较优码鉴相函数,以便完成无模糊跟踪.在相同相关器数目的条件下,所提出的方法能得到更加线性的鉴相区间、较少的鉴相性能损失,无模糊的环路跟踪性能.     

系统状态变量分析和系统时域分析的关系

本文通过把因果微分定理推广成矢量表示式,使用时域分析中的等效激励法求解状态矢量和系统输出,给出了状态变量分析中的时域计算公式的简捷推导;我们通过推导状态矢量与用0阶到n-1阶导数组成的输入输出矢量之间的关系式,用状态不跳变原理导出了输出初值跳变的计算公式,给出了冲激匹配法和等效零输入激励不变法的本质;最后,本文通过分析推导证明了状态变量分析中的时域计算公式与时域分析计算公式的一致性。     

Periodic steady-state analysis of an autonomous power electronicsystem by a modified shooting method

This paper proposes a new periodic steady-state analysis method for an autonomous power electronic system by solving a periodic steady-state condition and a switch condition simultaneously for finding periodic initial values. The method utilizes switching operations, which are a characteristic feature of a power electronic circuit, to express variations of state transitions due to a variation of the period. There is no need to include the period as an unknown variable. This modification eliminates two disadvantages in the conventional method-one is failure of finding solutions for one fixed state variable due to a wrong initial value outside its operation range, and the other is that an initial time does not coincide with a starting time of a circuit topological mode