提高存在bug软件的存活性方法

现在发布的商用软件系统中几乎都含有bug,攻击者有可能利用系统中的bug对系统进行攻击。如何使带bug的系统能够安全地运行以提高现有系统的存活能力是我们研究的重点。从对软件进行限制和变换两个角度讨论了增强现有系统安全容错性能的技术,在限制与变换中,我们将其分为对接口与实现的限制以及对接口与实现的变换。     

反后坐装置物理模型的研究

在内弹道物理模型的基础上，利用方向性量纲分析和相似与模化理论，揭示了反后坐装置在火炮射击过程中的物理现象，建立了其相似准则，考虑到其特点作了相应的准则放宽，推导出具有普遍意义的相似公式，达到了用较小模型模拟较大原型装置的目的，具有一定的经济意义。文末以某步枪为模型，某炮为原型，得到了数值分析与试验结果相吻合的结论，这表明相似性分析在火炮领域中占有重要的地位。     

变人工黏性的一维van der Waals流体模型稳态解的分析与相关计算

气液流体相变模型解的性态复杂,通常引进常系数的人工黏性以便于分析与计算。对人工黏性系数为比容函数的一维van der Waals等温流体相变在Lagrange坐标下的周期初边值问题进行了研究,分析了其稳态解的性态,给出了只存在平凡解以及存在非平凡解且易于判定的充分条件,并进行了相关计算,同时也对初边值问题进行了计算。计算结果表明,依赖于比容的人工黏性系数抑制相变区解震荡的作用与常数人工黏性系数类似。     

哮喘异常黑胆质证大鼠模型的生物学标志研究

 为了维医证候研究逐步走向标准化和客观化,采用核磁共振（nuclear magnetic resonance,NMR）为基础的代谢组学技术对哮喘异常黑胆质证动物模型体内代谢变化信息与临床患者进行对比研究,揭示两者之间的异同点。分别选择哮喘异常黑胆质证大鼠模型和临床患者作为研究对象,采集血浆样本,通过NMR测试其氢谱,并采用正交偏最小二乘判别分析法（orthogonalpartial least-squares discriminant analysis,OPLS-DA）进行多变量分析。结果显示,与健康志愿者相比,临床患者血浆中亮氨酸、异亮氨酸、缬氨酸和丙氨酸含量明显降低;与脂代谢相关的极低密度脂蛋白（VLDL）和不饱和脂类在患者体内明显降低,而乙酸、丙酮、乙酰乙酸和肉碱含量明显升高;谷氨酰胺在患者体内明显的升高,而肌酸、肌酸酐、鲨肌醇和乳酸明显下降。对动物模型而言,健康对照组与2种模型组比较,模型组大鼠血浆中与脂代谢相关的代谢物以及乳酸、肉碱和谷氨酰胺含量的变化趋势与临床患者一致,但氨基酸含量的变化相反;异常黒胆质证模型大鼠与哮喘异常黒胆质证模型大鼠相比较,只有丙氨酸和肌酸酐含量在哮喘异常黒胆质证模型大鼠血浆中明显比前者低。研究表明,虽然氨基酸的代谢变化在模型大鼠和临床患者体内有所不同,但是与脂代谢相关的代谢物含量的变化趋势一致。氨基酸代谢的不同可能与模型制作过程中环境的剧烈变化有关。脂代谢相关的代谢物可作为临床患者与动物模型共同的异常黑胆质证代谢标志物。     

读来甚觉畅快——评周啸天的传统体诗词

周啸天的旧体诗写得古色古香,幽凝典雅;新奇时尚,与时俱进;活泼生动,快乐阳光;与众不同,自立门户;衔接传统,天衣无缝.读来甚觉畅快,值得一吟一粲.     

基于线性轮廓匹配的工程图识别算法研究

从线性分割工程图入手，提出了一种线性化的轮廓匹配方法．首先通过线性分割工程图的过程将相交的图素从交点处分离出来，消除工程图中的相交情况，获得独立的图素，然后利用一种无需检测和跟踪边缘像素的线性化轮廓匹配方法来识别独立的图素     

变系数线性微分方程算子解法的推广

运用微分算子运算的基本原理,证明最高项系数含有函数的变系数线性微分算子可分解为一阶微分算子及其幂的因式的乘积的充要条件,并得到常见的最高项系数含有函数的二阶变系数线性微分算子可分解的充要条件;应用积分运算的基本方法,推导出由微分算子分解式求出已知方程通解的方法和步骤,并得到了具体的计算公式;通过实例分析和比较说明所得到解法的应用及其具有的优越性.     

太阳能与建筑一体化结合技术进展

太阳能与建筑一体化结合已经成为建筑节能领域的技术热点.针对与建筑一体化的太阳能热水系统和太阳能光伏系统进行了分析,阐述了国内外太阳能技术在建筑中应用的进展,探讨了国内外几个典型的太阳能建筑的技术特点,指出了我国太阳能建筑一体化目前存在的主要问题及其解决思路.     

高职院校学生体质偏瘦的成因及课外运动干预

为了解高职院校体质偏瘦学生的体质现状及成因,论证课外运动干预对体质偏瘦学生体质改善的有效性,以高职院校体质偏瘦学生作为研究对象,运用文献资料、数理统计、问卷调查、体育测量、逻辑分析等方法对高职院校体质偏瘦学生的体质现状、成因进行分析,对体质偏瘦学生群体进行抽样干预研究,得出以下结论:高职院校体质偏瘦学生的比例高于超重、肥胖学生;体质偏瘦学生心肺机能与运动能力整体均低于形态正常学生;体重是高职院校体质偏瘦学生身体形态的决定因素;高职院校学生体质偏瘦的成因不是单一的,但缺乏运动是导致学生体质偏瘦的共性问题;课外运动干预不仅能促进体质偏瘦学生体重增加改变其身体形态,而且对体质偏瘦学生的心肺机能、运动能力的提高也起到了积极有效的作用。从而为促进高职院校体质偏瘦学生形态改变,体质全面提升提供借鉴与参考。     

吉首市野生观赏植物资源评价

对吉首市野生观赏植物资源进行了实地调查和统计分析，结果表明：有野生观赏植物280种，隶属152属,79科．根据性质和用途对其进行分类，结合生态类型进行分析，进而对对野生观赏植物的保护与合理开发利用提出了建议．     

加入WTO我国工程管理面临的挑战与对策

面对加入 WTO的现实 ,分析了我国工程管理面临的严峻挑战。与国际尤其是西方发达国家相比 ,存在严重问题与不足 ,这就给我国工程管理界提出了一个既现实又严峻的课题 :如何适应国际工程建设大市场的游戏规则 ,与国际惯例接轨。文章结合我国国情提出了相应的发展对策 ,以期促进我国工程管理水平的提高 ,尽早实现与国际惯例接轨     

联合生产盐酸、氯化钙及硫酸铵的实验

文章确定了联合生产盐酸、氯化钙及硫酸铵的方法,并就制盐酸进行了小试,制氯化钙进行了中试,制硫酸铵进行了生产性试验,为大生产获得了必要的基础数据和经验。     

遥感技术在鹤庆北衙金矿找矿中的应用

遥感技术能以较低的成本快速地提供更多更有效的地质异常信息,在分析云南省鹤庆北衙金矿的区域地质背景和控矿规律的基础上,通过目视解译的方法对该区的线性构造和环形构造进行了解译,并利用MORPAS软件对其进行详细的定量分析,绘制了线环构造等密度和优益度的等值线图。并分析蚀变异常的光谱反映特征,提出增强铁化和硅化蚀变异常的方法,从ETM影像中利用比值和主成份分析的方法提取与金矿有关的铁化、硅化蚀变异常信息,解译效果良好,最后综合分析圈定出三处最有利的找矿远景区。     

基于C4.5算法的敏感图像检测方法

提出一种基于2次C4.5分类的敏感图像检测方法.该方法利用Daubechies小波和灰度共生矩阵提取图片的纹理信息,在HSI空间和YCbCr空间提取颜色特征,进行第1次基于C4.5算法的训练和分类;对分类生成的0,1二值空间进行特征提取,将所有特征分量融合进行基于C4.5算法和2次训练和分类.基于2次训练生成的规则进行敏感图片的检测.实验结果表明,该方法对于敏感图片分类正确率达93.3%以上,与基于颜色和纹理特征的直接检测方法相比,进一步提高了正确识别率.     

Al-Mg-(Si)-(Sc)-(Zr)合金时效初期微结构演化的模拟研究

运用蒙特卡罗方法计算模拟了加入微合金元素Si,Sc和Zr的Al-Mg合金时效初期微结构的演化过程,分析了微结构演化过程中溶质原子偏聚的特征及其与空位的相互作用;对Si,Sc和Zi与空位复合体的尺寸及空位周围原子的概率分布进行讨论,揭示了空位作用的机理.     

Role Assignment and Cooperation of Ontology and Object-Oriented Principle in Construction of Digital Product Model

Powerful expressive ability of semantic information, to be easily computed and flexibility are basic features of digital product model (DPM). Using ontology and object-oriented principle (OOP) together to cope with problems in modeling is brought forward in this paper. The two are widely used and do well in modeling, but they each alone cannot cope with all issues and new challenges. Three basic requests are pointed out in DPM modeling. Status, problems, and root of current non-semantic and semantic models are introduced. Ontology, OOP, and their difference are introduced. It is found that the two are entirely complementary with each other. How to assign the roles and to cooperate for the two in coping with the three basic issues in DPM modeling are explained in detail.     

带有伸缩因子α的多小波阈值去噪

目的针对多小波软、硬阈值去噪法的缺点,提出了带有伸缩因子α的多小波阈值去噪模型。方法采用推理及计算的方法对所提出的模型进行了证明,并通过仿真实验与传统的去噪模型进行了对比。结果提出的模型是合理的,且去噪效果要更好。结论可根据实际需要在改进模型中选取合适的α值,以达到更好的去噪效果。     

抗KDR-Fc杂交瘤细胞系的建立

用杂交瘤技术建立抗KDRFc的杂交瘤细胞系,以KDRFc抗原免疫雌性BALB/c小鼠,取其脾细胞与SP2/0骨髓瘤细胞融合,经ELISA间接法检测和有限稀释法克隆培养,再经稳定性检测、效价检测,筛选出分泌抗KDRFc单克隆抗体的杂交瘤细胞.得到了10株能持续分泌抗KDRFc的单克隆抗体的细胞株,其中3株分泌的单抗具有较高的生物活性、特异性和稳定性.     

负参数Mathieu函数类的计算

为解决实际工程尤其是电磁场问题中需要计算负参数Mathieu函数精确值的难题,在总结了含正、负参数的Mathieu函数之间变换关系的基础上,推导出了各类含负参数Mathieu导函数的叠加计算公式.并据此编制了各类含负参数Mathieu函数及其导函数的计算程序,给出相应的计算数表和函数曲线.通过与商业软件、参考文献及标准数学手册的对比,验证了计算结果的准确性和可靠性,修正并补充了参考文献和数学手册中的部分结果.所编制的Matlab程序包为实际工程应用中计算Mathieu函数类提供了有效的计算工具.     

补铁对新生仔猪血液参数影响的研究

包括2个饲养试验。实验一:取4对不同体重0日龄长太仔猪,窝内配对设计,3日龄分别补铁150 m g或不补铁。仔猪哺乳期间不补料,禁止仔猪接触母猪料、母猪粪。30日龄断奶,实验期47 d。实验二:取4对不同体重0日龄杜长太仔猪,设计、饲养同实验一,28 d结束实验。但实验二中的仔猪出生体重较大,平均达1.675 kg。结果表明:1)不补铁仔猪皮肤较苍白、被毛相对较粗乱及较安静,但腹泻频率差异不大;2)从生长性能看,补铁与否对出生时体重较轻的仔猪比较显著,但对出生时体重较重的仔猪影响不显著;3)从血液参数看,补铁与否的影响与相似于生长性能。结论:补铁对仔猪的影响可能与仔猪出生体重有关,出生体重大的仔猪可能并不一定需要补铁,或者可以采取更为温和的补铁方式。