极端嗜热微生物分子伴侣蛋白研究与嗜热功能蛋白质的规模化制备技术研究

极端微生物是丰富的资源宝库,有着巨大的生物技术开发前景。本文从特殊功能蛋白质的发现与表征、结构与功能及潜在性应用．以及特殊功能蛋白质的规模化制备技术两个方面,对极端微生物的资源开发与利用进行了探讨。重点介绍了极端嗜热古菌Pyrococcus furiosus分子伴侣蛋白系统的一些研究,并以P．furiosus胞外α-淀粉酶PFA为例,对工业生物技术领域重组蛋白质的规模化制备技术进行了讨论。     

基于方位FNCS的斜视TOPS SAR成像方法

针对斜视循序扫描地形观测（terrain observation by progressive scans, TOPS）合成孔径雷达（synthetic aperture radar, SAR）模式,提出了一种新的全孔径成像处理方法。首先对距离走动校正后的数据进行方位预处理得到无模糊的二维频谱,在此基础上采用修正的线频调变标算法完成距离脉压及距离徙动校正;然后在距离多普勒域进行频域非线性变标（frequency nonlinear chirp scaling, FNCS）以校正调频率的空变性,并结合谱分析（spectral analysis, SPECAN）技术将信号聚焦在方位频率域,最后校正几何形变。仿真和实测数据处理结果验证了算法的有效性。     

原子第二宇宙速度与电离能普遍公式的推导、实验验证和理论预言

提出了“原子第二宇宙速度”这一新概念,并根据此概念推导出了单电子原子和离子的原子第二宇宙速度和电离能的普遍公式。根据这些公式计算出了100余种单电子原子和离子电离能的具体数值,计算数据与实验数据符合得很好,从而使这一新的理论和计算获得了成功。因现今实验技术的局限性,有些单电子离子的电离能实验值尚未被科学界测出,我们的理论计算值就作为理论预言列出,已获得的成功使我们有理由相信它们将会获得实验验证。本文的概念和计算显然涉及到经典物理与量子物理的关系等原则问题,其物理本质将在后面两篇文章中论述。     

直径为2的有向图的彩虹连通

利用概率方法证明:直径为2的有向图D的彩虹数cr→(D)∈{2,3,4,5},直径为2的k-正则有向图D的强彩虹数scr→(D)≤[(e(4_(μ2)k-2_(μ2)+1))1/μ1],并且存在无穷多个满足cr→(D)=scr→(D)=2的有向强正则图.     

逻辑的计算进路——从莱布尼茨到图灵的逻辑发展

现代逻辑肇始于莱布尼茨,在布尔和弗雷格处发生了分流,形成了所谓的逻辑的代数传统和逻辑的语言传统,然而,无论是代数传统亦或者是语言传统都与莱布尼茨的逻辑学纲领(即:"作为科学、数学和哲学"的基础)相去甚远。在图灵机理论中,图灵核心阐述了"自动机"和"指令表语言"这两个概念,这两者很好地契合了莱布尼茨关于"理性演算"和"普遍语言"的构想,可以说,图灵机理论最为接近莱布尼茨的逻辑学纲领,也跳出代数传统和语言传统,另辟蹊径,形成了一种新的"作为计算的逻辑"传统(也可以称为"计算传统")。"作为计算的逻辑"实质上是一种"主体转向","以往的逻辑"是当仁不让地以人类为主体,研究的对象是人的思维、自然语言种种,"作为计算的逻辑"则是将计算机作为信息处理的主体,研究的是计算机的处理方式以及人与计算机的互动关系。     

用于异质用户出行管理的可交易许可证研究

针对公共交通与私家车出行方式并行的双模式交通系统,在考虑不同用户的时间价值情况下,通过引进可交易的道路许可证政策,建立了均衡出行交通模型.研究发现,许可证政策将拥挤产生的交通成本内部化,在缓解交通拥堵的同时,通过经济手段,降低了系统总成本.进一步地,本文证明如果汽车比公交快,那么时间价值较高的人会选择私家车出行;反之,如果公交比汽车快,时间价值相对较高的有车族会选择公交出行.通过与OD收费进行比较,我们得到在收费为正的情况下,许可证政策可以得到与基于OD收费相同的效果.最后,算例结果表明,许可证政策使得部分人选择公交出行的成本更低,达到鼓励公交出行的目的;甚至在许可证发放数量少于临界数量的情况下,选择公交出行的人会获得正收益.     

自然与规范:当代科学哲学自然主义转向的两难困境

法因的"自然本体论态度"采取一种哲学上的"最小主义策略",是沿着自然主义方向对传统的科学哲学重新定向的努力,但法因本人的理论也陷入自我循环,没有解决长期困扰自然主义者的自然与规范的二元悖论的问题。劳斯的科学实践哲学最终并没有清晰地阐明规范性与因果性的关系问题,没有找到一条走出当代科学哲学所面临的自然与规范的两难困境的出路。"实践的规范自然主义"的合理性模式或许是一条走出当前理论困境的出路,但其内容和细节尚有待进一步丰富和完善。     

一种基于身份代理重加密的云数据共享方案

针对云存储环境对隐私数据安全共享的迫切需求,提出一种安全、高效的云密文数据共享方案.该方案利用基于身份的代理重加密技术,将隐私数据加密后上传到云存储服务器中.为了实现数据的安全分享,数据所有者可以生成一个重加密密钥发送给代理服务器.代理服务器利用重加密密钥将数据所有者的密文转化为数据共享者的密文,而代理服务器却不能读取加密的数据.该方案不需要使用公钥证书,从而缓解了传统公钥加密方案的繁琐公钥管理过程.此外,该方案在随机预言机模型下是可证明安全的,从理论上保证了云数据共享方案的安全性.     

激光共聚焦显微镜研究填料在涂料中的分布I：正交分析方法研究填料在涂料中的纵向分布以及对耐候性能的影响

设计制备了2种不同TiO2填料填充的环氧树脂涂料,用激光共聚焦显微镜（LSCM）对填料TiO2在这2种涂料中的横向和纵向分布分别进行了研究.结果表明,在这2种涂料中TiO2填料的纵向分布差别较大.TiO2在Disp样品中的纵向分布比较均匀,而TiO2在Non-disp样品的纵向分布中存在1.1μm的一个填料缺失层（gap）,这个填料缺失层严重影响耐候过程中涂料的表面光学性质.根据LSCM的测试结果,提出了填料在涂料中的分布模型,并且根据该模型预测了耐候过程中涂料表面性质的变化：涂料的表面光学性质出现一个先降低再提高的过程.此理论预测结果与实际耐候过程中表面光学性质的变化情况一致,说明该模型的正确性与科学性.     

Fuzzy系统的范数与Fuzzy系统的分类

引入了R-Fuzzy集和Fuzzy系统范数的概念,在Fuzzy系统范数的意义下,可将Fuzzy系统分为3类,即正规Fuzzy系统、正则Fuzzy系统和奇异Fuzzy系统.证明了基于ZadehFuzzy集的Fuzzy系统和BernsteinFuzzy系统是正规Fuzzy系统,基于R-Fuzzy集的HermiteFuzzy系统是正则Fuzzy系统,基于R-Fuzzy集的LagrangeFuzzy系统是奇异Fuzzy系统.最后,通过构造BernsteinFuzzy系统,得到了一个广义Bernstein多项式.在较弱的条件下证明了广义Bernstein多项式在C[a,b]中具有泛逼近性,并通过反例说明:存在不具有泛逼近性的广义Bernstein多项式.