牦牛乳中主要过敏原的分离纯化

为研究牦牛乳蛋白质的过敏性,用化学方法分离牦牛乳中主要的过敏原蛋白质,采用快速蛋白纯化系统(FPLC)结合凝胶层析技术对分离出的蛋白质进行纯化．在牦牛脱脂乳中添加10％醋酸至酪蛋白的等电点pH46,使酪蛋白和乳清蛋白分离．根据酪蛋白在尿素溶液中的溶解度和对钙的敏感性不同,对酪蛋白进行粗分级,得到αs酪蛋白和β酪蛋白．应用离子交换色谱和葡聚凝胶sephadex G100进一步纯化粗分级得到的酪蛋白,得到αscasein和β酪蛋白．以柠檬酸钠为螯合剂、在低pH并有盐存在的条件下从酸乳清中分离出β乳球蛋白,FPLC纯化后用RPHPLC检测其纯度,得到αscasein和β酪蛋白纯度分别为8713％和8858％,β乳球蛋白的纯度为8000％．     

某型防空导弹野战便携式综合测试系统的研究与设计

详细阐述了某型防空导弹野战便携式综合测试系统的需求分析、工作原理、系统结构设计和关键技术。该系统解决了某型防空导弹战斗装备性能参数的测试问题,是决定便携式防空导弹能否完成战斗任务的重要因素。该系统的研发,使防空导弹分队整体战斗力得到普遍提高,具有较大的军事效益。     

国内外非开挖定向钻机及其智能控制技术

介绍了非开挖定向钻机及其智能控制技术的国内外发展现状,总结了非开挖定向钻机技术的发展趋势,提出了钻进导向控制技术、定向钻机专用控制技术、地下电缆与管道探测防触碰安全保护技术、钻进软件开发技术和智能故障诊断技术是我国非开挖定向钻机行业为占领国际市场、面对国际竞争所需要发展的关键技术。     

判断凹函数的一个充分条件

根据凹函数的定义,首先得到了判断凹函数的一个充要条件,在此基础上得出了一个新的判断凹函数的充分条件。     

基于复共线性诊断的正则化方法

主要研究了大地测量中不适定问题的正则化方法。根据对复共线性诊断的结果,对未受到复共线性的危害影响或受到危害影响比较小的部分未知参数附加约束,提出了基于复共线性诊断的正则化方法,并给出了正则化矩阵和正则化参数的选取方法,得到了对不适定问题未知参数的一个新的估计。数值试验表明,新的估计估值准确性较好,有效地削弱和克服了复共线性对参数估计的不良影响,优于普通的岭估计。     

院校网络教育资源共享安全研究

由于用户和应用环境的复杂性,院校网络教育资源需要面向不同的用户群提供不同服务。文章根据院校网络教育资源使用的现状,提出了一种既可灵活部署又能满足不同认证需求的安全访问框架。采用SSL安全协议,设计针对不同应用服务和不同用户群之间的SSL服务器构件,并通过修改配置,选择认证方式,使院校网络教育资源得以安全共享。     

本体支持的智能化空间信息服务发现

分布式环境下的服务发现是实现空间信息数据共享、服务集成和协同工作的前提,针对目前服务发现效率低和自动化程度差的问题,提出基于本体和智能Agent的空间信息服务发现模型。首先提出了本体支持的空间信息服务描述方式,分析了注册中心的扩展方法,给出了综合多种因素的服务语义相似度匹配算法,结合智能Agent设计了服务发现框架和流程,最后验证了模型在服务发现中的有效性。     

分布式GIS功能服务共享的研究与实践

针对当前GIS功能服务薄弱的问题,研究并建立了基于OGC WPS规范的分布式GIS功能服务共享体系,分析了开放的空间数据组织与编码、组件式设计、GML压缩传输策略、基于Multi Agent的分布式请求处理策略等关键技术,构建了多种GIS功能服务共享的应用实验。     

基于进程演算的公钥密码体制安全性自动化证明系统

可证安全是一种通过严格证明确保密码体制安全性的形式化方法,但由于其证明结论严重依赖于证明者个人的经验和技巧,这一方法本身的可靠性受到了质疑。文章设计并实现了一套公钥密码体制安全性自动化证明系统,使用一种概率多项式时间进程演算描述可证安全模型,借助进程间的互模拟等价关系和进程约减实现基于游戏的可证安全自动化证明。系统在C语言环境下实现,已完成ElGamal加密体制和FDH签名体制在内的一系列密码体制的安全性证明测试。     

基于Contourlet变换的图像隐写盲检测方法

图像通用盲检测技术主要通过机器学习实现,隐写分析特征直接决定了盲检测技术的性能。基于图像信源在多尺度和多方向性的统计特性,文章将Contourlet变换与隐写分析相结合提出一种盲检测方法。首先通过分析不同内容的图像细节分量隐写前后特征函数的变化,选用带通特征函数矩。通过分析比较两种不同的图像预测方法对隐写检测性能的影响,提取待检测图像及其预测误差高频子带系数的特征函数矩作为检测特征,通过支持向量机进行分类。以BOWS和UCID图像库为测试图像的实验结果表明,该方法较现有典型方法具有更好的检测性能。