本发明提出一种基于HybridUML和定理证明的CPS自适应性验证方法，本发明步骤包括：首先利用HybridUML视图对CPS建模；然后将HybridUML规约转换为定理证明器KeYmaera的输入-量化混合程序QHP；结合生成的QHP，以量化微分动态逻辑QdL公式的形式对待验证的属性进行规约，然后利用KeYmaera进行自动验证。

本发明公开了一种基于能量捕获的能效公平性优化方法，包括： 获取初始数据，包括基站发射功率、路径损耗因子、网络接收阈值、 用户与单层网络的基站之间的距离、网络总带宽和其它层网络的基站 对用户的干扰；在频谱正交分割的情形下，根据路径损耗因子和网络 接收阈值，得到覆盖概率的平均对数；根据覆盖概率的平均对数、网 络总带宽和网络接收阈值，以网络能效值最大为目标建立网络能效模 型，基于网络能效模型得到网络接收阈值的隐函数；将初始数据输入 到网络接收阈值的隐函数，得到最优网络接收阈值和最优网络能效值。 本发明在保证用户服务质量的同时，有效提升整个网络的能量公平性。

【项目来源】依托课题为十一五重大新药创制专项“马钱子碱贴剂经皮给药治疗癌性疼痛的研究”，曾获得2016年中航工业全国大学生创业大赛第十届挑战杯金奖。 【类    别】医疗器械。 【项目简介】本项目采用国内首创的复合磷脂脂质体技术开发能够模拟真实皮肤角质层屏障结构、组成与功能的脂质体人工皮肤膜LipSkin；经系列试验及第三方检测验证，LipSkin从结构上能模拟角质层特殊的“砖-墙”结构；从组成上具有与真实皮肤相同的脂质特征吸收峰与角蛋白特征吸收峰；用模型药物进行皮肤渗透性测试验证LipSkin在屏障功能上与真实皮肤的相关系数达99.29%；从功能上验证测试化学品皮肤腐蚀性与真实皮肤相关系数达94.60%。此外，电阻检测技术的应用保障了LipSkin产品的质量可控性和测试重现性，具有广阔的商业化开发前景。由此，LipSkin技术成熟，可产业化开发。 【创新要点】①首次采用磷脂材料制备皮肤模型LipSkin，并突破性应用于模拟难度较高的毒理学检测领域，通过三层三明治型的结构模拟真实皮肤的结构，进而模拟其功能，这种应用至今未见报道； ②利用不同比例的复合磷脂能够模拟不同程度的角质层屏障功能，所以能够灵活调整复合磷脂的比例来模拟不同类型的皮肤，以适应皮肤腐蚀性测试中不同种族、年龄、性别人群的需求，这是团队的首次发现；  ③处方中加入了真实皮肤中的成分胆固醇、神经酰胺、角蛋白等增加其皮肤屏障功能的模拟程度：其中磷脂材料及胆固醇、神经酰胺等模拟皮肤的脂性通道以此模拟脂溶性成分的透过路径，角蛋白模拟皮肤的水性通道以模拟水溶性成分的透过路径，这样的处方设计也属原创；  ④用载入荧光探针罗丹明B的脂质体层来模拟真皮层以模拟真皮层细胞因腐蚀受损而释放出有色试剂的表征手段同样处于全球首创。 【推广应用前景】据报道，美国知名市场调查与咨询公司Markets and Markets预测：到2021年体外毒理学测试市场将从2016年的141.5亿美元猛增至273.6亿美元，年复合增长率将达14.1%，由此推测，皮肤腐蚀性作为毒理学检测中的指标之一，预测其至2021年的全球市场潜量将超20亿美元。 市场上用于皮肤腐蚀性测试的体外皮肤模型有两种：EpiSkin, EpiDerm, EpiKutis,Phenion为人重组皮肤模型，其因采用原代人角质细胞作为原料，来源稀少且昂贵，导致其售价极为昂贵，且人角质细胞受人种差异影响而不具有通用测试价值；而Corrositex模型为蛋白分子水凝胶模型，其只适用于由酸碱度差异引起的皮肤腐蚀性，测试范围窄，据报道其准确度为37.5%，不能满足测试精度的要求；只有本项目所推出的LipSkin皮肤模型兼具测试范围广（由脂溶性、酸碱度差异引起的腐蚀性均可测试）、测试精度高（>90%）、价格合理（市售产品价格的5~22%）等优点，推广价值巨大。 【进展情况】已获发明专利1项。 

【发 明 人】吴勉华；程海波；郭立玮；许惠琴；朱华旭【技术领域】本发明涉及一种治疗癌性疼痛的中药组合物及其制备方法，属中药领域。【摘要】本发明涉及治疗癌性疼痛的中药组合物，简称癌痛平。由原料药鼠妇3-5重量份、蚤休4-重量份、荜拔3-5重量份、制白附子3-6重量份、制乳香1-3重量份、制天南星2-6重量份制成；本发明还提供了癌痛平的制备方法。经药理药效试验和临床应用，癌痛平具有良好的镇痛作用，提高癌症患者的生活质量，而且具有较好的抗癌作用；增强非特异性免疫功能和细胞免疫功能明显。临床治愈显效率为53％，总有效率为90％。该制剂药源丰富、价格低廉、服用方便、无明显毒副作用，具有良好的开发前景。

G蛋白偶联受体（GPCR）家族是最大的一类膜蛋白家族受体，在视觉，嗅觉，味觉以及激素和神经递质等信号转导中发挥着重要的生理功能，同时也是关键的药物靶标。近年来，随着越来越多GPCR在失活和激活状态下的晶体及电镜结构的解析，人们对于这一大类受体的激活机制有了愈发深入的了解。然而，GPCR受体的失活和激活结构仅代表了信号转导过程起始和终止时相对稳定的构象状态，受体在激活过程中发生了复杂多样的动态构象变化，这些变化很可能与不同配体引起的信号转导多样性相关。目前，GPCR在激活过程中的动态构象变化仍不清楚，国际上这方面的研究尚处于起步阶段。液体核磁共振方法能够在原子分辨率水平研究蛋白质相互作用和构象变化，提供晶体或电镜结构缺失的信息，是GPCR动态结构与激活机制研究中不可缺少的重要研究手段。 M2毒蕈碱型乙酰胆碱受体（M2R）是一个典型的GPCR，在调节人体心率和许多中枢神经系统功能中发挥重要作用，是研究GPCR 信号转导、调节以及药物设计的模式受体。该项研究通过在M2R中引入13CH3-ε-甲硫氨酸同位素标记探针，检测受体在结合一系列配体小分子时的核磁图谱变化（图一），分析M2R动态构象变化与这些配体对G蛋白激活和抑制蛋白 （arrestin）招募效应差异的相关性。同时，结合分子动力学模拟实验进一步解释不同配体结合导致受体激活时构象和功能变化差异的分子机制。该项研究首次将M2R的配体结构、受体构象变化以及配体功能多样性联系起来，揭示了M2R信号转导多样性可能的分子机制，并为针对这类重要受体的药物研发提供了理论指导。

本发明公开了一种测定荷电异质性颗粒零净质子电荷点的方法，其特征是测定并绘制荷电异质性颗粒在两种不同浓度的惰性电解质溶液中颗粒表面的 ζ 电位与惰性电解质溶液 pH的关系曲线，对两条曲线的两个交点之间的曲线进行回归分析，建立 ζ~pH 的回归模型 f 1 (x)和 f 2 (x)，回归系数 R 2 ≧0.99；求函数 F(x)=f 1 (x)-f 2 (x)取得极大值所对应的 x 值即为该荷电异质性颗粒零净质子电荷点 pH PZNPC 。本方法简单方便，所需样品少，易于实施。

本发明公开了一种基于类相似性测量的实时目标跟踪算法，目标跟踪对实时性要求非常高，在目前 主流的基于检测跟踪的框架下，根据测试样本与目标类和背景类的相似度比较来确定目标在新帧中的目 标位置。本方法首先在当前帧采集目标类和背景类集合，计算出它们的统计特征，并在下一帧采集测试 样本集合。本方法定义了一种计算测试样本与类之间相似度的量化标准，通过找出与目标类相似以及和 背景类不相似的测试样本来确定目标位置。本方法明显提高了跟踪的实时性以及跟踪精度。

本发明涉及细胞工程组织培养技术领域，旨在提供一种有效保存黄菖蒲胚性愈伤组织的方法。该种有效保存黄菖蒲胚性愈伤组织的方法包括步骤：材料采取、愈伤诱导培养、胚性愈伤组织的筛选与保存。本发明以黄菖蒲幼嫩胚为外植体，污染率极低、愈伤诱导率高、愈伤胚性好，繁殖系数高，同时解决了黄菖蒲愈伤组织保存中易褐化和分化等严重问题，实用性强，操作简便，推广性好。

本发明公开了一种提高铝合金热成形效率及成形性的方法，包 括如下步骤：(1)在铝合金坯料表面涂覆具有高吸收率且具有润滑作用 的涂料；(2)将所述铝合金坯料置于设定特定加热温度的第一加热炉中 加热并保温；(3)将所述铝合金坯料从第一加热炉中取出后转移至成形 模具上；(4)所述成形模具在压力机的带动下闭合使所述铝合金坯料成 形并保压冷却；(5)将成形冷却后的零件置于设定特定加热温度的第二 加热炉中加热并保温，进行人工时效后