汉语叙实动词检验程序设计——以《现代汉语词典》为例

有关汉语叙实动词的研究在国内已有大量成果,但考察相关文献发现叙实动词研究不够全面,特别是对叙实动词的提取和筛选方法研究不足。本文基于汉语叙实动词句法特征相关研究成果,设计出提取叙实动词家族成员的检验格式,以《现代汉语词典》(第7版)为例进行实践操作,并进一步完善程序,以弥补叙实动词研究领域的缺失,为将来对叙实动词进行深入研究提供参考。

规范检验报告单格式提高使用效率

目的统一检验报告单格式,合理选择配置检验项目,提高化验单的使用效率。方法强化规范意识,制定检验报告单标准,调整硬件和软件配置,引入中文数据处理软件,筛选有效项目,统一报告格式。结果 90％的检验报告单改为统一格式;每月的纸张消耗从27箱降低至9箱;打印机耗材从10000元／月降至80元／月;全部检验报告单均以中文形式报告;不同品牌设备间的同类参数项目与参考值完全统一。结论检验报告单是临床诊断的重要医学参考文件,报告单内容与形式的规范化和统一,不但可以更有效地提高临床诊断,降低了成本,同时也可避免潜在的医疗风险。

程序敏感的模糊测试样本生成方法

为增加模糊测试工具对程序的感知能力,提高样本变异效率,有效提高代码覆盖率,在原有基于覆盖率反馈基础上,提出一种结合污点分析技术的混合模糊测试样本生成手段。利用污点分析感知程序中对魔数、哈希、类型数据字段的格式检验,辅助样本生成;采用共享生成样本的方式,与传统模糊测试工具相结合实现混合模糊测试;基于以上思路,实现混合模糊测试工具taint_fuzz,对现实使用的图像和音频解析程序(audiofile、exiv2、libav)进行测试,挖掘到多个漏洞,以此申请到5个CVE编号。测试结果表明,taint_fuzz能够有效减少对初始样本的依赖,提高代码覆盖率和漏洞触发数。