组件文档的研究

本文针对目前组件文档不完备的情况,指出组件文档在CBSE中的重要作用,分析了组件的特点和组件使用中的风险。并从方便开发者选择、装配组件和降低组件使用风险的角度提出了书写组件文档的框架。     

基于Larch/C的组件形式规范匹配

主要阐述了一种组件的形式规范匹配方法，以Larch家族中的Larch／C作为语言工具，详细讨论了组件的功能匹配，最后借助于工具Larch Prover(LP)并通过实例描述了功能匹配的证明过程。     

小儿连番止泻颗粒中芍药苷的含量测定

目的建立小儿连番止泻颗粒芍药苷含量的测定方法。方法采用C18柱(4.6mm×150mm,5μm),以乙腈-0.1%磷酸水(12.5:87.5)为流动相,检测波长为230 nm,流速1.0mL/min。结果芍药苷含量测定线性范围为0.01~1.00μg(r=0.9998),平均回收率为99.72%(RSD=1.64%,n=6)。结论该法简便、准确可靠、重现性好,可作为小儿连番止泻颗粒的质量控制方法。     

基于框架表示的组件库模型

分析比较了现有的组件表示和检索方法，认为刻面分类法具有较高的实用价值，但它缺乏领域知识深化表达的能力，对同义属性的解决方案也不尽完善，在此基础上，结合了专家系统中知识表示的方法，提出了基于框架表示的组件库模型。     

螺杆泵转子型线研究

对现有三螺杆泵从动螺杆的修正齿型进行分析，找出存在的问题，提出了齿型修正方案。     

基于IP加密的VBIC系统原理及实现

分析了VPN的原理，并在此基础上开发了虚拟专网系统VBIC，详细讨论了VBIC系统的设计方案和实现细节。