血浆Ghrelin水平对急性心肌梗死患者PCI术后近期预后的影响

冠状动脉粥样硬化性心脏病(CHD)简称冠心病,是对人类生命和健康威胁极大的疾病.据统计,全球冠心病年死亡人数超过700万,在235个单病种死因中排首位.据专家预测,未来20年冠心病将持续成为全球死亡的首位原因.ghrelin在心血管系统中的作用不仅通过其生长激素释放作用来介导,而且还通过对心脏的直接作用来介导.生长激素...     

一种利用非确定规划的LTL合成方法

LTL合成(Linear Temporal Logic synthesis)是程序合成(program synthesis)的一类重要子问题, 旨在自动构建一个控制器(controller), 且要求该控制器和环境(environment)的行为交互满足给定的LTL公式.一般来说, 可以将LTL合成定义为二人博弈(two-player game)问题, 博弈的双方是环境和控制器, 该问题的解称为合成策略.近年来, 有研究从理论角度讨论了LTL合成与非确定规划(non-deterministic planning)的相关性.基于此, 本文提出了一种新的利用非确定规划求解LTL合成问题的方法, 并证明了方法的正确性和完备性.具体而言, 首先获得LTL公式对应的Büchi自动机, 结合二人博弈定义, 将LTL合成问题转换为完全可观测的非确定规划模型, 然后交由高效规划器求解.通过实验结果说明, 与其他LTL合成方法相比, 本文提出的基于规划的合成方法在解质量方面具有较大的优势, 能够获得规模较小的合成策略.     

基于嵌入式Internet技术的远程温度监测系统的开发

结合TPC／IP和Modbus通讯协议,运用RS-232串口通讯技术、Winsock技术、SQLServer数据库及ADO数据访问技术开发了一种基于嵌入式网络技术的典型应用——远程温度监测系统,构建了系统的软硬件平台和实验环境,验证了嵌入式网络技术的有效性和应用系统的可行性。     

大伙房水库输水工程“盖帽法”灌浆施工

辽宁省大伙房水库输水工程施工支洞控制段,因地质条件原因右侧拱肩位置突发大量涌水,高峰涌水量为3 000 m3/h,涌水迅速漫延整个洞室.为封堵水源,经专题研究确定采用盖帽法灌浆施工.介绍工程地质及盖帽法施工技术及应用效果.     

基于内嵌物理知识卷积神经网络的电力系统暂态稳定评估

针对现有数据驱动的电力系统暂态评估方法依赖大规模数据集且可解释性不足的问题,文中将物理知识嵌入传统数据驱动方法,提出一种基于内嵌物理知识卷积神经网络的电力系统暂态稳定评估方法。该方法考虑大规模风电并网的电力系统,将电力系统暂态稳定物理方程内嵌至神经网络损失函数,通过神经网络直接逼近物理过程,使输出结果满足物理规律,提高暂态稳定评估的可靠性与可解释性。通过数据与知识双驱动,所提方法不依赖大规模训练数据集,依然具有较好的鲁棒性与泛化能力。此外,所提方法通过卷积神经网络进行特征提取与降维,解决拓扑数据无法直接作为神经网络输入的难题。在含风机的IEEE 9节点和IEEE 39节点测试系统上的实验结果表明,所提方法在准确率、计算效率、泛化能力等方面相较现有方法有显著提升。