面向反射程序设计方法

反射由于自身所具有的描述自身和动态修改自身的独特能力而受到越来越多的关注,在许多应用领域展开了相应的研究和应用.针对目前国内外发展趋势,在介绍反射思想的基础上,系统论述了反射的基本概念、反射的分类、反射理论、反射的语义及其在应用领域的发展.概述了当前反射应用特别是在程序设计领域发展的现状,分别总结了反射在函数式、过程式以及面向对象语言中的反射的实现技术,并对不同的反射实现技术作了系统的分析和比较,总结了不同模型的优点和缺点以及当前适用的反射模型,进而给出不同情况下,选用不同的适用模型的方法.最后提出如何结合部分求值技术提高反射技术的效率,是今后需要进一步研究的工作.     

Monad 的反射性

由结构反射的定义引入计算反射的特点和性质, 讨论并证明了Monad的反射性, 同时利用接续语义中的shift和reset操作函数定义了Monad中的反射操作, 并证明了用这种方法定义反射操作满足反射的条件. 基于上述讨论, 可以很容易地构造出具有反射性的Monad程序.     

面向航天器自动化测试的通用测试语言及系统关键技术研究与应用

作为典型的安全苛刻系统，航天器系统的任何隐患都会带来严重的甚至是灾难性的后果，其对可信的需求典型而迫切。航天器系统的可信性主要是通过测试进行评估和验证，通过分析测试获取的测试结果数据可以发现被测航天器系统中潜在的错误和设计缺陷，为评估和验证系统的可信性提供支持。因此，航天器系统的可信性问题具有测试依赖性。随着航天器研制数量和复杂度的增加，以及多航天器批产化并行测试工作模式的出现，原有测试设备和手段在测试难度、测试精度与测试周期上均无法满足当前航天器研制与测试要求，自动化测试成为航天器测试的必然要求和发展趋势。     

一种基于Monad反射语言解释器的构造

通过定义一个简单的反射语言， 给出了这种反射语言的一种基于Monad的解释器构造技术, 并以Haskell语言实现了这种语言的解释器。     

用于手写字符识别的SA-ART神经网络模型

针对前馈 BP网络和 ART网络对手写字符识别的不足以及人的认知机制 ,在大量实践和理论分析的基础上 ,提出具有选择注意机制的 ART模型 SA- ART(Selective Attention-Adaptive Resonance Theory) .经实际检测 ,识别精度有明显提高 .