一种环境经济评价方法费用—排放量分析法

本文提出了一种新的环境经济评价方法：费用－排放量分析法，阐述了此方法的特点及分析步骤，并通过实例分析说明了该方法的具体应用。     

钻(挖)孔嵌岩桩承载力的计算

本文假设单桩受轴向荷载作用后,桩与岩(土)面可能发生相对滑移,滑动面(剪切面)在桩侧附近的岩(土)层中,与桩侧面平行,桩侧摩阻力的大小与相应处的岩(土)抗剪强度有关,并与桩身横载面的轴向位移成践性关系。据此列出桩在轴向受力状态下的微分方程,利用有限差分原理,并将桩端阻力和轴向位移视为已知边界条件,从桩下端的单元开始,递推求出各单元中点处的轴向位移、轴向力增量和桩侧摩阻力,进而求得考虑桩侧摩阻力存在的单桩总承载力。     

基于静态检测的程序安全漏洞测试

静态分析方法可以自动地提取软件的行为信息,从而检测出软件中的安全漏洞。和其他程序分析方法相比,该方法具有自动化程度高和检测速度快的优点。本文介绍了Java语言的安全漏洞的故障模式，说明了类型推断、数据流分析和约束分析等主要静态分析方法及两种特别的分析方法，最后介绍了几种常用的静态代码安全检测工具。     

科学把握党的先进性时代内涵努力实现检验检疫信息化建设跨越式发展

党的先进性是党的生命所系、力量所在,事关党的执政地位的巩固和执政使命的完成.党的先进性是历史的、具体的,同时又是时代的.判断一个政党是否先进,不仅要看它的历史,更要看它的现在和未来;保持党的先进性,不是一劳永逸的,而是不断发展的,贯穿党的生命的全过程.     

电子文件档案管理的特点、问题及对策

分析了电子文件档案的定义、内容及其主要特征,电子文件对档案管理三个方面的主要影响,提出了强化电子文件档案管理的四项主要对策。     

RBAC授权数字证书的设计与实现

为了避免传统的数据库存储用户口令验证访问控制权限方式因失窃而引起的不安全,设计了一种RBAC授权数字证书。通过在证书中扩展角色属性,并将角色授权和资源分配与证书的颁发分隔独立,一方面实现了证书对资源的访问控制,另一方面使得角色授权更加灵活。最后对该方式进行了验证实现。     

一种前置测试的软件开发方法

测试是研发过程中的一个重要环节，但同其他过程相比，测试往往没有得到应有的重视，开发人员会将测试工作视为阻碍其按期完成开发进度的额外的负担。同时，传统的测试模型会推后发现错误的时间。本文介绍一种前置测试的开发方法，在开发之前就提前定义好该如何对程序进行测试，这不仅可以早期发现问题，并能够有效缩短开发时间。本文通过一个实例描述了该方法的基本原理。     

基于启发式方法和支持向量机方法预测α环糊精-苯衍生物包结物稳定常数

建立了基于启发式方法和支持向量机方法的定量结构性质关系（QSPR）模型，用于预测α-环糊精与单取代或1，4-二取代苯衍生物结合后包结物的稳定常数．通过计算得到6个参数：分子重量、β-极化度、相对阳性电荷、相对阳性电荷表面积、DPSA3和分子轨道最大成键贡献，用于启发式方法和支持向量机方法建立QSPR模型，其相关系数分别是0．94和0．98，LOO交互检验的相关系数分别为0．92和0．95．因此，用支持向量机方法建立的模型要优于启发式方法，其预测能力更强、模型的稳定性更好．     

病毒微小RNA的发现及其功能

病毒微小RNA (microRNA, miRNA)是新发现的一类miRNA. 它通过诱导mRNA切割降解、翻译抑制或其他机制调节宿主细胞和/或病毒自身靶基因的表达, 改变宿主细胞的生命活动或病毒自身复制, 从而对抗和逃避宿主免疫监视, 达到保护病毒自身的目的. 寻找病毒miRNA分子、作用靶标基因, 以及鉴定其生物学功能已成为研究的新热点. 本文回顾了病毒miRNA的研究历史, 分析了它在基因组中分布特点、生物学功能、作用机制以及病毒miRNA与其他生物miRNA的异同点, 最后展望了病毒miRNA的研究方向和在疾病防治中的应用前景. 随着病毒miRNA的鉴定和功能的深入研究必将促进相关领域的发展, 尤其为病毒病的控制带来新的思路和方法.     

基于遗传禁忌混合算法的静态电压稳定裕度计算

提出一种基于遗传禁忌混合算法的静态电压稳定裕度计算的新方法．该方法将全局搜索能力强的遗传算法和局部搜索能力强的禁忌搜索算法结合在一起，通过改进的连续潮流法计算，可快速而准确地获取系统最大静态电压稳定裕度，并在一定程度上弥补遗传算法和禁忌搜索算法单独使用的不足．应用该混合算法对IEEE14节点系统进行仿真计算，验证了该方法可行且有效．