摘要：运用极大–加代数方法研究具有极大时间约束的轨道交通系统的周期运行规律.分别建立具有两个车站的双回路城际轨道交通系统和具有n个车站的单回路城市轨道交通系统的极大–加线性模型.对于前者,运用系统状态矩阵的周期性,证明各个车站第k次与第(k+2)次的发车时间间隔相同;对于后者,运用状态变量的线性替换,证明在任何初始状态下,系统经过一次循环便可进入周期稳态运行,即列车连续两次到达同一车站的时间间隔相同.周期时间分析有利于轨道交通系统列车时刻表的编排和周期运行方案的设计.为验证本文结果的实用性和有效性,给出周期时间分析在列车调度和线路规划中的应用例子.

摘要：研究康复机器人上肢传递系统的周期稳态和自主控制.运用计时事件图和极大–加代数方法,建立康复机器人上肢传递系统的数学模型,给出传递系统的周期计算公式、周期稳态的扰动估计范围和自主控制策略,并分析周期稳态相对于参数扰动的鲁棒性.周期稳态的扰动估计可用于提高上肢康复机器人工作的精确性和柔顺性,而自主控制策略有益于保证上肢康复机器人工作的实时性和安全性.扰动估计和自主控制方法易于计算,并有助于上肢康复机器人传递运动智能辅助系统的设计、控制和优化.

摘要：利用Petri网模拟云控制系统的并行处理过程,引入并行处理系统的时钟周期、吞吐率和任务完成时间性能指标,运用极大–加代数方法分析和优化云控制系统并行处理性能.采用子过程细分的优化方式,通过求解一类最优控制问题,设计并行任务分配优化方案,以保证任务完成时间最短,并给出计算最短任务完成时间的有效算法.同时,采用重复设置多套瓶颈段并联的方式提高并行处理能力,并运用Petri网实现瓶颈子过程的并联控制,且给出并联控制在协同云控制系统中的一个应用.

摘要：研究极大-加线性系统的单局部优化.对于决策变量取实值和非负实值两种情形,证明单局部优化问题存在最优解,特别地,当决策变量取实值时,最优解是唯一的.通过分析具有仿射等式约束的极大-加线性方程组的可解性以及解的结构,给出寻求单局部最优解的多项式算法.同时,还将极大-加线性系统的单局部优化方法用于计算机操作系统任务调度方案设计,以使总体任务的完成时间最早.

摘要：本研究旨在通过分析OXT基因的生物信息功能及其在策勒黑羊卵巢组织不同生理时期的表达量,为其在绵羊卵泡发育过程中调控功能的研究奠定基础。根据绵羊OXT基因序列,设计特异性引物,用MEGA5.1软件构建OXT蛋白的系统进化树,并通过生物信息学软件预测该蛋白理化性质、结构以及亚细胞定位和蛋白互作,采用实时荧光定量PCR(qRT-PCR)检测策勒黑羊卵泡期、黄体期以及妊娠早期卵巢组织中OXT基因表达量。生物信息学分析发现,策勒黑羊OXT基因CDS区序列全长为378 bp,编码126个氨基酸,没有CpG岛,理论等电位为5.54,OXT蛋白是不稳定的疏水性蛋白,相对保守的神经垂体肽激素,其存在1个跨膜结构域和1个信号肽。OXT蛋白定位于细胞外,在细胞核和线粒体中也有表达,可与GNRH1、POMC、TRH、AVP、CRH、PRL、LNPEH等蛋白发生互作。qRT-PCR结果显示,OXT基因在策勒黑羊黄体期卵巢中的表达量极显著高于卵泡期和妊娠早期,且妊娠早期OXT基因表达量显著高于卵泡期,说明OXT基因在绵羊卵泡发育方面发挥重要作用。本研究结果为研究OXT基因表达和促进优势化卵泡生长及排卵作用机制奠定基础,并为解析策勒黑羊常年发情提供分子生物学参考。