Tabular表达式的指称语义研究

Tabular表达式是一种采用表格化结构组织函数或关系的形式化描述工具,在需求工程领域中具有广泛的应用,为Tabular表达式建立形式的语义模型是非常必要的.针对Tabular表达式通用模型,给出了Tabular表达式的形式文法及指称语义.通过定义形式文法中各语法单元的语义指派方程,描述了Tabular表达式的指称语义,分别对传统类型Tabular表达式和新类型Tabular表达式中一些典型表类型的指称语义进行了描述,并与其他几种Tabular表达式的语义描述方法进行了比较.分析结果表明:该语义描述方法不仅准确描述了Tabular表达式的语义,而且不再受Tabular表达式模型和Tabular表达式类型的限制,打破了现有方法的局限性,是一种非常有效的方法.

Tabular表达式中正规函数表操作的形式语义

正规函数表是一类典型的Tabular表达式,被广泛应用于软件说明文档.文中对Tabular表达式中正规函数表操作的语义进行研究.首先给出了正规函数表的形式文法,讨论了规整性、完全性和不可交叉性等性质,说明了其求值过程;然后根据操作的影响范围,以内部操作和外部操作为分类标准,分别对二元操作、替换操作、提取操作和扩展操作的语义进行刻画,讨论了各个操作的封闭性;最后通过电梯控制系统实例分析了相关操作的实际应用场景,说明了正规函数表操作的形式语义的合理性和可用性.实例结果表明,文中提出的正规函数表操作的语义描述与实际结果是一致的.

一种面向大批量定制的产品建模方法

主文档是各种模板的总称 ,利用不同的模板可以派生出不同类型的文档。由主文档生成其他文档的基本原理是 ,将事物特性表对应行的数据与主文档相结合 ,自动生成各种有关的文档。采用这种技术可以达到快速和无错误设计的目的 ,以满足大批量定制的需要。论述了基于事物特性表的主文档技术的基本原理和建模方法 。

表格型文档自动识别系统及其应用

随着文档影像系统的广泛应用,文档图像自动处理已成为当前的一个研究热点。对表格型文档自动识别系统中的若干关键技术进行了研究。首先,在版面分析中,提出了基于框线检测的文档分类方法;其次,根据表格型文档图像的特点,介绍了相应的识别域提取、框线去除以及手写字符串分割方法;最后,在手写数字识别部分,设计了一种基于形状上下文特征和梯度特征的组合识别方法。最后将该系统应用于银行票据小写金额识别,通过真实表格型票据进行仿真实验,证明了系统的有效性,系统识别率达到了实用的水平。

基于优质护理服务示范工程的护理文件书写表格化改进

目的探讨护理文件书写表格化的改进方法及实施效果。方法根据卫生部优质护理服务示范工程的要求,以及有关护理文件书写的规定,设计一般护理记录单和危重护理记录单的表格式书写模式。在临床应用1年,跟踪调查统计书写时间,并自制问卷对表格式书写法进行评定。结果实施护理文件书写表格化改进后,118名护士书写1份新入院患者一般护理录和危重护理记录所需的时间显著少于实施前(均P<0.01);问卷17项内容测评结果显示表格式书写方式优于叙述式(P<0.05,P<0.01)。结论表格式护理文件书写方式能减少书写时间,把护理时间还于患者,在保证书写质量的同时,提高了护理质量。