极小代数意义下行列式的若干性质

给出极小代数意义下行列式的定义,研究了极小代数意义下行列式的性质,得出了若干结果,为简化极小代数意义下行列式的计算提供了方便.     

水稻幼苗叶片应答稻瘟病侵染的差异蛋白谱分析

为了探讨水稻感病基因型种质响应稻瘟病侵染的蛋白质表达谱的变化规律和作用途径,以水稻感稻瘟病种质日本晴为材料,采用接种稻瘟病菌分生抱子悬浮液,24,48和72 h后提取叶片蛋白质,采用i TRAQ蛋白质组学技术研究稻瘟病胁迫下水稻叶片蛋白质组的变化.结果表明,稻瘟病侵染诱导了水稻幼苗叶片内涉及氧化还原平衡、防御、信号传导、糖和能量代谢、氨基酸代谢、光合作用,以及蛋白质代谢等代谢途径相关的53个蛋白质的表达量发生了改变.GO分析表明稻瘟病主要调控了植株体内细胞内平衡、代谢过程和蛋白质代谢等生物学过程.稻瘟病侵染激活了活性氧代谢、防御,以及热休克蛋白等相关的途径,而抑制了蛋白质生物合成过程.结合这些差异表达蛋白的丰度变化结合它们可能的功能,描绘了水稻应答稻瘟病侵染的蛋白质代谢网络,有助于在蛋白质水平上了解其应答过程.     

面向模型检查的NuSMV统一建模方法

以形式化建模和利用模型检查进行自动化分析验证为核心的基于模型的安全性分析(model based safety analysis, MBSA)技术能够提高工作效率和分析结果的客观性,已在复杂大型装备系统的安全性工作中得到广泛重视与应用。现有的MBSA框架下的建模过程较为复杂,且通常需要模型转换,易造成模型信息的损失,影响安全性分析结果的准确性和全面性。面向模型检查,提出了基于符号语言构建统一系统模型的方法,研究了形式化语言元素与系统功能、结构和故障模式之间的分配与映射关系,利用时态逻辑公式规范了系统安全性要求的定义。最后,以飞控系统的前主桨舵机为例进行了案例应用,验证建模方法的有效性和适用性。     

一类混合整数约束三次规划问题的全局最优性条件

通过构造目标函数的二次上估计函数和二次下估计函数,给出了一类混合整数三次规划问题的全局最优性条件。首先利用二次上估计函数给出全局最优性必要条件,其次再利用二次下估计函数获得全局最优性充分条件。最后给出一个数值例子来说明如何利用所给出的全局最优性条件来判定一个给定的点是否是全局最优解。