基于形式规约的软件测试用例自动生成技术研究

在Hierons提出的一种基于Z语言软件自动测试方法的基础上进行了拓展．该方法基于软件的Z语言规约;以HierOns提出的推理规则为基础,提出了分裂树的算法,将操作模式的约束条件转换为形如ViPi∧Qi的析取范式;然后根据析取范式将Z语言描述的操作模式划分为子操作模式;依据子操作模式的前置条件和后置条件,将子操作模式作为状态转换图的转换关系,构建了被测试软件的状态转换图;依据状态转换图,提出了相应的状态覆盖准则、转换关系覆盖准则和转换关系谓词覆盖准则等测试数据选择准则．     

长三角一体化中浙江产业升级研究

针对浙江三次产业结构偏差突出、工业特别是制造业结构升级缓慢、第三产业发展滞后、与苏沪产业趋同等问题,提出浙江应积极面对长三角一体化进程加快带来的机遇和挑战,采取突出重点、发挥优势等八大对策实现产业结构的优化和升级。     

奎屯河流域水库群水情自动化测报系统

介绍了奎屯流域水库水情自动化测报系统的构成以及该系统的设备配备、功能、运行情况和特点。该系统设9个遥测站和1个中心站。遥测数据由前置机实时收集后,经前置机软件对数据进行解码、纠错和合理性检测,以开放数据库的形式存储,通过共享方式供后台主机进行洪水预报和调度决策。     

任意阵列双基地MIMO雷达的半实值MUSIC 目标DOD和DOA联合估计

实值处理具有降低高自由度多输入多输出(multiple input multiple output,MIMO)雷达角度估计大计算量的优势。但受制于阵列的共轭对称性,对于任意阵列结构的双基地MIMO雷达发射角(direction of departure, DOD)和接收角(direction of arrival, DOA)联合估计,若不做附加的预处理则无法实现实值操作,故将常规阵列实值处理的多重信号分类(multiple signal classification, MUSIC)超分辨算法推广至任意阵列结构的双基地MIMO雷达。首先根据MIMO雷达的导向矢量共轭与镜像的对等性,提取接收信号协方差矩阵的实部,并对其进行特征分解得到“目标加倍”的信号子空间及其应对的噪声子空间;然后利用Kronecker积的特性对其进行降维处理,得到搜索区域减半的一维半实值域MUSIC谱,取出目标DOD真值与其镜像代入降维Capon算法来剔除虚拟峰值得到目标DOD估计真值;最后利用特征矢量得到模糊DOA估计值,采用方向余弦差最小范数方法得到目标DOA无模糊估计值。本文算法估计性能与一维搜索复数域MUSIC相当,计算量约降50%,且能够实现DOD和DOA的自动配对。仿真结果证明了该算法的有效性。     

苏北山丘区生态环境现状评价研究

根据野外调查的实际,选取生态脆弱性、典型性、稀有性、多样性、面积适宜性、自然性、人类干扰7项指标对苏北山丘区的生态现状进行评价.通过评价指标的相应分级及其权重的确定.并采用综合评价指数对其生态环境现状进行分析,结果表明该区的生态质量较差.据此针对目前所面临的问题.提出了相应的建议.     

术语的音译法及其创新

音译法是常用的术语翻译方法之一。术语音译法主要应用于4种范畴:1)新型材料和化学品名称;2)新发现的自然现象或物质;3)计量单位;4)首字母缩略词构成的术语。术语音译法的创新模式主要有7种:1)零翻译;2)纯音译;3)谐音译;4)音义结合法;5)形译法;6)省音译;7)创造新词。人们应该大胆地创造新的音译法。     

面向自然语言处理的藏语虚词la格研究

藏语虚词研究是藏语自然语言处理中一项不可缺少的基础性工作,有着极其广泛的实际应用价值.它是藏文信息处理的核心和藏语自然语言理解的基础,在藏文校对、信息检索、双语对译、自动分类等技术中有着广泛的应用前景.文章在前人研究的基础上,结合信息处理,从不自由虚词的分类体系、形式化描述等角度对藏语虚词la格的语法功能做了一些探讨,重点论述了藏语虚词la格的语法功能,提出藏语虚词规范的初步设想和处理方法.     

试论GSM-R网络系统在铁路无线通信系统中的运用和发展

GSM-R是铁路专用移动通信系统。针对铁路运输的特点,在空中接口中引入了语音广播呼叫、话音通话组呼叫和用户优先级等功能,实现了调度员与司机间通信、调车作业通信、远程遥控传输,车站和维修段的地区通信、旅客服务通信,也可实现与公网的互联互通。     

三维GIS空间数据集成和可视化技术研究

针对数字矿山建设与矿山数据规范化的具体要求,结合三维GIS空间数据的特点,提出了地矿数据集成必要性。阐述了矿山三维GIS空间数据的类型和获取方式,研究了矿山三维地学模型构建技术。本文还介绍了FracSIS的功能特点、可集成的数据类型及来源,研究了基于FracSIS的三维GIS空间数据集成及可视化技术。结果表明,三维GIS空间数据集成及可视化技术的广泛应用对于加快我国数字矿山建设具有十分重要的意义。     

电机测试系统中报表打印的研究与实现

在电机测试系统中,报表是用户得到的最终书面结果.通过对Delphi开发工具中报表打印技术的研究与探讨,结合用户的具体需求,利用报表控件QuickReport和TPrinter对象,分别实现了电机测试系统中正规试验报表和原始数据的打印.程序可以动态调整报表打印项目的打印顺序、控制数据打印精度以及打印项目的增删,提高了报表打印的灵活度,较好地满足了用户要求.