基于治理的“负责任创新”柔性模式研究

“负责任创新”是多主体参与科技创新评估预见、反思整合、协商对话与监督反馈的开放迭代过程,依据社会需求对科技创新活动进行规范性引导,以实现科技创新与经济、社会和环境的良性互动。构建“负责任创新”柔性模式,是在科技创新与治理领域形成以弘扬“可持续发展”理念和“责任文化”的价值取向;倡导多主体在平等对话与交流互动中实现责任共建与协商共治;创新整合并灵活运用治理工具以提升治理效能;建立以责任为导向的多主体政策学习机制,助力我国科技治理能力现代化建设。     

利用天然油体纯化原核表达蛋白的方法研究

以脂肪酶为例,探索一种利用天然油体纯化原核表达蛋白的新方法.将已经构建的脂肪酶和油体蛋白基因的融合表达载体(pET32a-Jco2-Xa-LipA),在大肠杆菌BL21(DE3)中表达.提取植物天然油体在超声条件下与原核表达蛋白重构,由于油体蛋白的强疏水性和脂肪酶亲水性特性可以使得油体标记的脂肪酶固定在油体的表面.通过Factor Xa消化油体蛋白和脂肪酶之间的链接Linker后,通过离心分离,可快速实现脂肪酶的纯化.     

基于蒙特卡罗方法盾构刀盘的结构可靠性分析

盾构刀盘承担开挖土体作用,在整个掘进过程中刀盘工作环境恶劣,受力情况比较复杂,在考虑输入参数(如刀盘载荷、材料属性等)不确定性因素的基础上,对刀盘可靠性进行了研究,研究刀盘在不确定性因素的作用下刀盘结构的可靠性.该文首先通过三维建模软件Pro/E对盾构机刀盘进行建模,然后将模型导入到有限元软件ANSYS中,采用蒙特卡罗有限元方法对刀盘的可靠性进行分析,考察刀盘结构可靠性,确定刀盘的失效概率及影响其失效的显著因素.     

关于日本刑法贿赂罪问题的研究

日本刑法一直是大陆法系国家刑法领域的一个重要代表,其在许多方面的规定都值得各国刑法的借鉴。日本刑法初订于明治四十年（1907年）,时至今日已经发生了较大的变化,其中关于贿赂罪的相关规定则是分则中变化最大、最为复杂的部分。当今在全世界范围内反腐形势日益严峻的情况下,对日本刑法中的受贿罪进行深入系统研究,对于打击贿赂型的犯罪、完善我国的刑法典,具有十分重要的现实意义。起初日本刑法规定的贿赂罪,仅包括刑法第197条的单纯受贿罪、加重受贿罪和第198条的行贿罪。     

标准模型下可证安全的动态短群签名方案

目前的群签名方案在性能及安全性方面均不同程度存在问题,因此基于BSZ群签名模型提出了一种在标准模型下可证安全性的动态短群签名方案.利用子群判定假设、l-SDH假设以及Groth-Sahai证明系统构建了该方案,并在标准模型下给出了验证的安全性证明,证明提出的群签名方案具有匿名性、可追踪性和不可诬陷性.最后,分别在安全性及性能两个方面与其他群签名方案进行了比较,结果表明提出的群签名方案要优于其他方案.     

基于VB编程语言实现对PLC的单点控制

可编程逻辑控制器（PLC）与上位机之间的通信是实现工业自动控制经常用到的通信模式,本文基于VB程序设计语言,以单点控制为例,实现了上位机与PLC之间的串行通信。     

分子印迹固相萃取-毛细管电泳检测葡萄酒中“敌百虫”

以制备的"敌百虫"分子印迹聚合物作为固相萃取吸附剂,建立了分子印迹固相萃取与毛细管电泳联用检测葡萄酒中痕量敌百虫的新方法.样品中"敌百虫"分子被选择性富集到吸附功能材料上,然后用2 mL甲醇/冰乙酸(90∶10,v/v)洗脱,氮吹后0.5 mL双蒸水复溶,毛细管电泳仪分析.该方法的最低检出限为75μg/L,连续重复5次的相对标准偏差为4.50%;对两种进口葡萄酒空白样品进行3个浓度的添加回收实验,回收率为80.3%～96.2%.     

一株中度嗜盐菌Halomonas sp.NY-011的分离与鉴定

从盐生杜氏藻（Dunaliella salina）培养物内筛选到一株能在广泛NaCl浓度范围（0.5 %～21 %, w/v）和广泛pH值范围（pH 5～11）生长的嗜碱耐盐菌NY011.细胞形态电镜观察和生理生化分析表明, NY-011呈杆状,大小为（0.51～1.53）μm×（1.02～2.55）μm,革兰氏阴性,有荚膜,无鞭毛,不运动,好氧生长,淀粉水解酶呈阴性,接触酶呈阳性.其最适培养条件为：2% NaCl,30 ℃,起始pH值10.16S rDNA序列比对和构建的系统发育树表明该菌属于盐单胞菌     

基于黎曼流形的MIMO雷达目标检测方法

针对样本数少时不能用样本协方差代替统计协方差的问题,提出了一种基于黎曼流形的单基地MIMO ( Multiple-Input Multiple-Output) 雷达目标检测新方法。该方法利用拓普利兹-厄米特正定( THPD: Toeplitz- Hermitian Positive Definite) 矩阵会在信号空间形成黎曼流形的特点,通过burg 递推法分别生成单快拍下接收信 号和噪声的THPD 协方差矩阵,并计算噪声THPD 协方差矩阵的黎曼均值,将其与接收信号THPD 协方差矩阵 之间的黎曼距离作为检测统计量。该方法可增加黎曼流形上接收信号与噪声间的差异性。仿真结果表明, 与传统的基于欧几里得距离的检测方法相比,显著提高了低信噪比和单快拍下的目标检测性能。     

基于路径分析和迭代蜕变测试的Bug检测

该文旨在基于白盒测试准则,提出能够在尽量复用测试资源、降低测试成本的前提下有效发现程序中错误的蜕变测试方法。任务关键软件的正确性是信息安全的重要组成部分,对其bug的测试至关重要,但Oracle问题经常制约到此类软件的测试。蜕变测试(MT)能够有效解决此类问题,但随机性较大。该文针对二元蜕变关系,提出了2种迭代的蜕变测试算法AESIST和AEMIST,在依据此2种方法的测试中,上一轮生成的测试用例可以作为下一轮的原始用例而生成新的测试用例,并且所有的测试用例满足蜕变关系全路径覆盖准则(APCEM)。实验结果表明:2种算法产生的测试用例能够在尽量少地运行程序的情况下有效发现程序中的错误。因此,本文提出的2种迭代蜕变测试算法在程序bug检测方面是高效的。