技术注释标准化管理研究

主要对技术注释标注的标准化、规范化进行探讨,提出利用数据库技术对技术注释进行标准化管理,并给出了实际可行的建库思路,指导了技术注释数据库系统的整个建设过程.     

小畑薰良英译《李白诗集》的注释原则

1922年日本学者小畑薰良翻译的《李白诗集》(The Works of Li Po:the Chinese Poet)在美国出版.该诗集是世界上第一部李白诗歌英译文集,在多方面呈现创新特性,并在西方世界产生长久的影响.考察该诗集的注释,可以发现,译者在注释时表义力求简洁、释义注重通约、优先择取趣味性信息和直接挑明暗示性...     

倪光南中国著名计算机专家

M:近年来,您一直致力于中国推进开放源代码的Linux操作系统以及基于国产CPU和Linux的网络计算机等具有自主核心技术的研究,请您谈一下近年来的研究情况.     

基于模型定义的数据组织与系统实现

基于模型的定义技术是一种新的产品定义技术,它以三维产品模型为基础,集成了三维空间尺寸公差标注和制造要求标注在内的特征信息,并作为设计生产过程中的唯一依据.结合国际先进航空企业的应用基于模型的定义技术的成功经验,总结了基于模型定义技术数据信息的组织与管理及其系统的实现,以及开发工程注释信息的管理系统.     

关于鉴定评语的注释

又是年终了，都要总结评比什么的。 或许，你应该知道上司对你的工作评价的真实含义。     

浅谈DO-178C中附加代码验证目标的实现

DO-178C要求基于需求的测试结构覆盖率分析可以在源代码、目标码或者可执行目标码级别开展,如果结构覆盖率分析在源代码级别开展,那么测试覆盖分析并不包含对编译器、链接器产生的附加代码的验证。DO-178C要求A级软件应特别关注这些附加代码,对附加代码进行识别,并按照正常代码的验证要求对附加代码进行验证。在分析DO-178C、DO-248C、CAST-12的基础上,从适航认证角度探讨了基于源代码执行结构覆盖分析时,A级软件如何满足DO-178C表A-7目标9“不能追踪到源代码的附加代码的验证已完成”。     

嵌入式处理器P2020机器码程序到C语言源程序的溯源方法

处理器PowerPC P2020在航空航天等嵌入式领域被广泛应用,以RTCA/DO-178C中A级软件的适航要求作为研究的出发点,提出了从文件、函数声明、函数体代码3层次实现P2020机器码程序到C源程序的溯源方法。在获取C语言源程序与PowerPC P2020机器码程序文件名列表的基础上,实现PowerPC P2020机器码文件主名的溯源;通过遍历C源程序抽象语法树和PowerPC P2020机器码获取函数名列表,实现PowerPC P2020机器码函数声明的溯源;通过定义C语言程序抽象语法树节点生成期望汇编指令序列的规则,实现PowerPC P2020机器码函数体的溯源。通过设计245个C源程序文件与345个PowerPC P2020机器码程序文件,1 111个C语言函数声明与1 273个PowerPC P2020机器码函数声明,以及覆盖C语言程序23类语法结构的460个测试用例,验证了PowerPC P2020机器码程序到C源程序的自动化溯源方法的有效性。结果表明：文件溯源和函数声明溯源的追溯匹配率达100%,程序函数体代码的平均溯源匹配率达97.22%。溯源匹配结果可以检查PowerPC P2020机器码程序是否在编译过程插入例外异常代码,以防止其带来的安全隐患,保证航空航天嵌入式安全关键软件机器码的安全性和可靠性。     

基于MBD的数字化设计基础资源库应用探索

结合MBD技术的应用,对企业的数字化设计基础资源库的基本架构及功能进行了研究,提出了按型号对模板库、材料库、技术注释库、标准件库等基础资源库进行平台化集中管理的方法及基本功能,在CATIA/VPM端通过CAA二次开发调用工具将各种数据与MBD模型集成,建立了集查询、调用、检查、管理为—体的资源库管理及应用系统,有效地提高了建模及管理效率,增强了建模规范性.     

郭本《焦仲卿妻（并序）》指瑕

郭锡良、唐作藩、何九盈等编著的《古代汉语》（修订本）既继承了王力《古代汉语》的优点，也突出了自己的特色，但在注释等方面仍然存在着一些不足。文章以《焦仲卿妻（并序）》的编写为例，从三个方面指出存在的问题：注释不当，当释而未释，校勘和标点。