一种软件脆弱性自动分析定位的方法

摘要： 为了更好地满足航空航天领域中使用的多种嵌入式软件的高可靠性要求，设计一种软件脆弱性自动分析定位的方法.该方法基于程序切片技术，改进现有的前向计算动态切片算法，利用动态程序切片收集程序运行时的动态信息，构造程序切片谱，设定相关统计量统计程序语句的脆弱性可疑度，生成脆弱性定位报告.在发现软件中存在的脆弱性后，该方法对导致此脆弱性的程序代码根源实现了自动分析定位.基于此方法设计开发了软件脆弱性自动定位工具并进行了实例验证分析，实验证明了该方法的有效性.     

提高质量管理有效性的方法与途径

质量管理 有 效 性 体 现 在 组 织 的 产 品 和 服 务 质 量 、 顾 客 满 意 度 以 及 组 织的 效 益 等 方 面 , 提 高 质 量 管 理 的 有 效 性 , 组 织 应 树 立 以 顾 客 为 关 注 焦 点 的 思 想 , 发 挥领 导 作 用 , 全 员 参 与 , 对 质 量 管 理 过 程 进 行 监 视 和 测 量 , 加 强 内 部 沟 通 , 持 续 改 进 ;建 立 完 善 的 文 件 控 制 系 统 , 从 而 从 客 观 上 评 价 质 量 管 理 体 系 的 有 效 性 和 适 宜 性 。     

专科英语、本科英语及成人专科英语的定位和相互关系

专科英语在理论上被界定为专门用途英语(ESP)分支下,介于学术英语(EAP)与职业英语(EOP)之间的业务用途英语(EPP)。而本科(大学)英语在理论体系上属于普通英语(GE)。本文从ESP理论的角度探讨了专科英语,本科英语及成人专科英语的定位和相互关系。     

CC—高阶通信系统的并发演算

并发演算CC(Concurrent Calculus)是高阶并发通信系统的数学模型,它把λ-演算作为子理论并包含一阶通信系统演算CCS、活动进程演算CMP、和高阶通信系统演算CHOCS的主要特征。在CC中,通信端口可为任意表达式并且进程和通信端口都可以作为在通信中传递的一等对象(First-class Objects)。从而CC不仅可以描述一阶通信行为而且可以刻划通信网络的动态自修改行为。另外,由于CC把λ-演算和进程演算纳入同一形式系统,故CC可以作为并发函数式程序设计的核心语言和理论模型。本文首先给出CC的语法、语义和例子,然后研究CC的高阶双向模拟等价关系以及CC的代数定律。最后简单讨论了相关的工作和今后的研究方向。     

中国农业经营方式：基于内涵和特征的重新分析

二十多年中国经济持续增长,深刻表明农业增长对工业化和一般经济增长的重要性.面对当前农村剩余劳动力转移给农业发展带来的挑战和机遇,转变农业经营方式是目前实现农业再次飞跃较现实的选择.以前仅有的一些研究都没有把农业经营方式和农业生产方式联系起来进行探讨,从而忽略了农业经营方式的丰富内涵.其实,农业生产方式的复杂性决定了农业经营方式具有农业经营技术条件、农业经营权力结构、农业经营组织形式三层含义的必然性,并且层次之间具有特定的逻辑关系并相互作用构成一个特征鲜明的完整系统,为农业经营方式创新提供了灵活而广阔的空间.     

浅议主次梁交叉部位负筋的合理排放

本文结合计算分析，得出在主次梁交叉部位负钢筋的合理排放位置，应为次梁负筋放在主梁负筋上面。     

确定航空燃油喷嘴最佳几何参数的一种计算程序

介绍了确定航空燃油嘴最佳几何参数的一种计算程序，本程序经实践证明是简便实用的，可用于测绘件的反设计，对新研制件也可提供参考。