基于LabVIEW的瞬变电磁数据采集及预处理

采用瞬变电磁法勘探到的信号中包含大量的强干扰信号,如不剔除强干扰信号,反演得到的计算结果误差较大。针对该问题,提出了一种基于LabVIEW的瞬变电磁数据采集及预处理系统的设计方案。该系统采用数据采集卡USB2089采集二次涡流场信号,并将其转换为计算机能处理的数字信号,然后通过LabVIEW平台的功能流程、功能算法剔除数字信号中的强干扰信号,从而实现对瞬变电磁数据的有效采集。仿真结果表明,该系统可剔除瞬变电磁数据中的强干扰信号,保证了数据采集的准确性。     

基于MAXQ3108+DS8102的三相智能电能表设计

针对目前市场上采用电磁式电流互感器作为电流传感器的三相智能电能表计量精度普遍易受外部强磁场干扰的不足,采用美信半导体公司提出的MAXQ3108+DS8102芯片组,解决方案设计了一款采用锰铜分流器作为电流传感器的三相智能电能表,解决了锰铜分流器采样电流方式下各相电压、电流信号与数据采集MCU电气隔离的技术瓶颈,并详细阐述了信号采集与测量的过程;样机测试结果表明:文中设计的三相智能电表能够有效抑制外部强磁场干扰,有功电能计量精度满足IEC62053标准中有功0.5S级相关技术指标要求。     

一种类间测试顺序改进算法

确定类的测试顺序是面向对象程序测试中的关键步骤。描述对象关系图模型,提出一种基于对象关系图的类间集成测试顺序改进算法,与Tai和Traon等人提出的算法相比,该算法需要的测试桩较少、效率较高。在Redflag4系统下用Kylix3(C++)对算法进行实现。理论分析和初步实验证明了该算法的可行性和有效性。     

行为时态逻辑TLA定理系统证明及公平性研究

行为时态逻辑TLA(temporal logic of actions)能够在一种语言中同时表达模型程序与逻辑规则,是目前模型检测技术中一个较新的研究方向.为了理解行为时态逻辑与传统时态逻辑之间的理论联系,研究了时态逻辑的语义和定理系统,并根据行为时态逻辑TLA的自身特征指出了TLA中的行为属于时态逻辑T4系统.在此基础上严格的证明了TIA的定理系统及TLA中强公平性蕴涵弱公平性的重要性质,讨论了强公平性与弱公平性等价的条件.最后以实例说明了如何确定动作的强弱公平性,进而建立系统的TLA模型.     

基于Java实现移动Agent强迁移的方法

对比分析了常见的移动Agent强迁移与弱迁移,提出一种基于Java实现移动Agent强迁移的方法.该方法基于IBMJikesRvm(Jikes research virtual machine(RVM))提供的RVM,利用OSR(on-stack replacement)捕捉运行堆栈的状态,实现了移动Agent强迁移.该方法不需要对源代码或字节码进行预处理,也不需要改变JVNI,具有很好的系统扩展性.     

基于强RSA假定的代理多重签名方案

基于强RSA假定和分叉引理提出2种代理签名方案：盲代理多重签名方案和基于自认证密码系统的代理多重签名方案,证明它们的安全性。前一种方案设计时部分采用二元仿射变换,可以抵抗一些常见的攻击,后一种方案基于兼有公钥证书密码系统和身份密码系统优点的自认证密码系统。     

Fuzzy hyperlattices

In this paper, we introduce the notion of fuzzy hyperlattices and establish connections between fuzzy hyperlattices and hyperlattices. Then we discuss the relations between the weak homomorphism of fuzzy hyperlattices and the weak homomorphism of corresponding hyperlattices. Moreover, we define and analyze the hypercongruence on hyperlattices and the fuzzy (strong) hypercongruence on fuzzy hyperlattices. And we study the interrelation between the (fuzzy) hypercongruence on (fuzzy) hyperlattices and the homomorphism of (fuzzy) hyperlattices. Also, a relation between the fuzzy hypercongruence on fuzzy hyperlattices and the hypercongruence on corresponding hyperlattices is obtained. Finally, we apply the hypercongruence and the fuzzy strong hypercongruence to construct quotient structures of hyperlattices and fuzzy hyperlattices, respectively.     

基于完备抽象解释的模型检验CTL公式研究

在模型检验中,抽象是解决状态空间爆炸问题的重要方法之一.给定具体Kripke结构和时序描述语言CTL,基于抽象解释框架以及完备抽象解释和性质强保留之间的关系,抽象模型最小精化使得CTL性质强保留,可转换为抽象解释中抽象域的最小完备精化,并且总是存在抽象域的最小完备精化.根据状态标签函数确定初始抽象域,然后通过不动点求解,获得对CTL标准算子完备的最小抽象域,并依据此抽象域求得CTL性质强保留的最优抽象状态划分,最后构造出CTL性质强保留且最优的抽象状态转换系统.并指出了抽象域对CTL标准算子是完备的当且仅当抽象域对补集和标准前向转换是完备的.     

Intuitionistic fuzzy transformation semigroups

The idea of (faithful) intuitionistic fuzzy transformation semigroup, intuitionistic admissible relation, and intuitionistic (strong) homomorphism are introduced and their basic properties are examined.     

改进的CKF算法及其在BDS/INS中的应用

针对标准容积卡尔曼滤波(CKF)在组合导航系统模型不确定情况下滤波精度下降甚至发散的问题,将奇异值分解(SVD)与CKF算法相结合,并引入强跟踪滤波(STF)理论,提出一种改进的强跟踪SVD-CKF算法.为提高数值计算的稳定性,采用SVD代替标准CKF中的Cholesky分解;引入STF理论框架,通过渐消因子对预测误差协方差阵进行在线修正,在系统模型不确定或系统发生大的突变时,能够提高系统的强鲁棒性.通过仿真结果验证了改进算法的有效性.