基2的流水式快速傅里叶变换处理机的形式化模型

快速傅里叶变换(FFT)的应用领域非常广泛,其硬件实现方法多种多样。传统的电路正确性验证的方法是模拟,这种方法的主要缺点是不能穷尽模拟全部输入情况,而形式化方法使用纯数学手段证明电路具有某些属性,从而证明其正确性。所以用形式化方法验证FFT电路的正确性具有极强的实用价值。形式化验证的第一步工作是对要验证的电路进行建模,因此本文首先介绍了国内外FFT形式化建模的主要方法和优缺点,然后用重写系统给出了任意N=2M点的基2的流水式快速傅里叶变换处理机的形式化模型,显示了重写系统用于复杂硬件电路建模的优越性,为进一步的电路正确性验证奠定基础。     

基于功能点估算的逆向工程方法

功能点分析是从用户的角度度量软件功能规模的一种方法。本文首先对功能点分析(FPA)现有的半形式化模型进行了扩充,然后形式化描述了外部查询(EQ)的4条规则,并提出了基于源代码的逆向工程技术方法来处理这4条规则,为全自动化度量奠定了理论基础。     

基于稀疏编码的图像语义分类器模型

为了解决图像检索以及遥感图像识别等图像处理研究中本质的问题——如何对高层抽象图像语义进行有效的分类,本文采用生物视觉认知机理,结合生物特征信息,用最小生成树的方法构造图像信息语义树,提出了一个基于稀疏编码的图像语义分类器(SCISC)的模型。实验结果表明:该模型在图像分类中有较高正确率。     

核心肌群训练结合虚拟现实技术对脑卒中病人平衡能力的临床研究

目的：观察核心肌群训练结合虚拟现实(virtual reality, VR)技术对脑卒中病人下肢平衡能力的影响。方法：将72例脑卒中病人随机分为核心肌群训练组及VR组,每组36例。VR组采用常规康复训练配合VR训练,核心肌群训练组在VR组基础上增加核心肌群训练。于治疗前、治疗4周后、治疗8周后分别采用Berg平衡量表(BBS)、B-PHY型平衡能力检查训练仪、日常生活活动量表(ADL)对2组病人的BBS评分、ADL评分、压力中心(COP)椭圆面积进行分析比较。结果：治疗4周后,2组病人BBS评分、COP椭圆面积、ADL评分较治疗前均改善(P<0.05);治疗8周后,2组病人BBS评分、ADL评分均较组内治疗前、治疗4周后有显著改善(P<0.05～P<0.01);核心肌群组睁眼及闭眼时测定COP椭圆面积较同组治疗前、治疗4周后均有显著改善(P<0.05);组间同时期BBS评分、COP椭圆面积及ADL评分比较,核心肌群组均显著优于VR组(P<0.05～P<0.01)。结论：核心肌群训练结合VR技术可明显改善脑卒中病人平衡能力,提高生活质量,且简单易行。     

信息检索中基于链接的网页排序算法

介绍超链接环境下基于链接的网页排序算法,比较和分析了ＰａｇｅＲａｎｋ算法和ＨＩＴＳ算法,指出了ＰａｇｅＲａｎｋ算法更适合于搜索引擎的服务器端,而ＨＩＴＳ算法更适合于搜索引擎的客户端,还构造并初步实现了在信息检索中,应用超链接环境下网页排序算法的综合模型。     

U-Learning中个性化内容提取方法

提出了一种ULearning中个性化内容提取方法,以帮助学生在泛在环境下获取个性化的学习对象。该方法可以在混合信息的基础上,按相似度的顺序生成个性化的搜索结果。使用学生的历史信息、当前地理位置信息及输入查询信息,用以过滤掉不相关的搜索结果,提高泛在环境下学习内容的获取效率。     

一种使用混合匹配的有限服务自动组装算法

提出了语义企业服务总线的概念,并给出了相应的原型设计及实现该总线所涉及的技术。针对语义Web服务的自动组装问题,设计了一种使用混合匹配的有限服务自动组装算法,相比手工和半自动的组装方法,该算法能实现语义Web服务的全自动组装。     

一种形式化的工作流网模型

提出基于Petri网的形式化的工作流网模型,用Petri分析技术对工作流业务流程的动态行为进行了描述和分析,并给出了详细的建模算法。     

IHA用于血吸虫病流行情况调查的初步探讨

为探讨IHA检测方法评估血吸虫病流行的可行性,我们对流行区人群进行了抗体水平检测,并以粪便孵化法作对照.调查对象与方法调查时间为1990—1991年.全县疫区6—60岁人群为调查对象.受试者逐一手指采血分离血清后,按IHA常规进行操作,以抗体滴度≥1:10为阳性.凡阳性者做到终末滴度为止.我们将流行区划分为     

泛型程序的多型值构造

泛型程序设计提供了一种重要的程序设计范型,使程序员无须为不同的数据类型重复编写功能相似的程序代码。本文以相等函数为例阐述了泛型程序设计的基本方法,并利用直积和直和给出了构造多型值的方法。利用这一结果能够定义各种数据类型的相等性,同时,定义相等性的方法也可以自然地推广到其他函数的定义上。