关于工控机对电机功率测量的软件处理方法

在工控机对电机功率测试时会遇到相住处理的问题，有两种解决的途径，或者用硬件方法，或者用软件方法，本文介绍了一种软件的处理方法，实验证明该方法是可行的。     

一种基于虚拟对象的进程检查点实现方法

检查点回卷恢复策略是实现软件容错的一种重要方法。基于虚拟对象策略的进程检查点实现方法把应用层与系统层的直接交互被重定向为应用层与虚拟对象层的交互以及虚拟对象层与系统层的交互。故障恢复时,虚拟对象层重新和系统层捆绑结合,使得进程环境故障前后的差异性对应用层透明。另外,基于虚拟对象的检查点策略不须要进行对象句柄转换,避免了对象句柄转换所带来的开销。该方法具有开销小的特点,并且支持多线程及线程间的同步。     

回溯自动机的两个基本定理

本文详细证明了回溯自动机的两个基本定理,得到下列结论:1)ω∈~*,ω∈L(M)iffω=R(G);2)从G中q处删除一个CSg(结点q保留)或者添加一个CSq(q不需添加)后的图G′也是M的接受状态活动图。     

列车感应通信信道的建模分析

首先建立了具有屏蔽导体的多导体传输线和地面上方单传输线的数学模型,在此基础上建立列车感应通信信道的模型,并利用矩量法进行数值分析。     

创建智能体系统的软件工程方法研究

研究作为数字世界中计算和应用软件系统构造单元的软件智能体构建与开发。提出由 (1)智能体理论模型 ;(2 )以之为概念框架的软件系统逻辑结构模型 ;(3)基于结构模型 ,采用统一建模语言UML实现的应用程序框架三部分组成的方法体系。这三个部分既具有内在机理联系又有过程时序约束 ,它们分别支持软件工程的分析、设计与实现各阶段。预期该方法体系的成功运用将有利于软件智能体系统开发的规范化和标准化 ,进而提高智能体系统开发效率并促进成果共享和软件重用     

A New Signal Processing Technique of π/4-DQPSK Modem Based on Software Radio

1 .INTRODUCTIONπ/4 DQPSKmodemhasbeenchosenasthemodemschemeinmanymobilecommunicationsystems[1 ] .Inπ/4 DQPSKmodem ,theinformationbitsaremappedintophasetransitionsratherthanabsolutephasevalues.Thisencodingofinformationinthetransitionsovercomesthephaseambiguityproblemsresultingfromtheestimationofcarrierphaseinnon differentialPSKsystems.Soπ/4 DQPSKallowsforsimplebasebanddifferentialdemodulation .Further,inπ/4 DQPSK ,themaximumphaseshiftisrestrict edto± 1 35°(ascomparedto± 1 80…     

大型电子系统工程软件可靠性评估方法初探

本文探讨了大型电子系统工程的软件可靠性评估方法问题。从软件可靠性模型,可靠性实验数据的收集,以及可靠性数据估值的准确性,可靠性数据的检验等方面进行了研究。最后,提出了一般的评估步骤。     

软件开发工具MENU(B)在CATCS开发中的应用

MENU(B)是一个面向BASIC语言的软件开发工具,它是我们为配合国家自然科学基金重大项目“中国控制系统计算机辅助设计软件系统CADCSC”的开发而研制的一个选单生成工具,具体应用于CADCSC的教学子系统CATCS的开发过程。MENU(B)具有使用简便、功能强、易于掌握等特点,在CATCS的开发中发挥了重要作用,获得了良好的结果。     

一种西文图书管理系统的设计

本文描述的西文图书管理系统,可提供智能化接口,使人机接口更加完善。系统功能包括:添加新书、刪除旧书、借书、还书、书目查询和读者信息的模糊查询。系统提供了紧凑的数据结构,并根据软件工程的方法进行设计。     

软件可靠性模型评价方法与应用(Ⅰ)

本文讨论进行计算机软件可靠性模型评价工作的必要性及其实现方法,提出了软件可靠性模型评价的四条标准,并由此引入了一种进行软件可靠性模型评价的方法。在本文的(Ⅱ)中,我们将使用本方法和两组具体的软件失效数据,具体地评价两种软件可靠性增长模型:S-型模型和W-NHPP模型的性能,并讨论方法使用中的一些问题。