摘要：Background:Renal artery stenosis (RAS) is always associated with abnormalities in renal microvascular perfusion (RMP).However,few imaging methods can simultaneously evaluate the degree of luminal stenosis and ***,this study will aim to evaluate the feasibility of using contrast-enhanced ultrasound (CEUS) for assessing both RAS and RMP to achieve a one-stop assessment of patients with suspected renovascular hypertension. Methods:This will be a single-center diagnostic study with a sample size of *** with chronic kidney disease (CKD) and suspected of having resistant hypertension will be *** with Stages 1–3 CKD will undergo CEUS and computed tomography (CT) angiography (CTA).Values obtained by CEUS and CTA for diagnosing low-grade (lumen reduced by <60%) and high-grade (lumen reduced by ≥60%) RAS will be ***,all patients will also undergo radionuclide *** diagnostic value for RAS will be assessed by the receiver operating characteristic curve,including the accuracy,sensitivity,specificity,positive predictive values,negative predictive values,and area under the *** correlation analysis will be performed to assess the association between CEUS findings for RMP and glomerular filtration rate measured by a radionuclide imaging method. Conclusion:The data gathered from this study will be used to evaluate the feasibility of expanding clinical applications of CEUS for evaluation of patients with suspected renovascular hypertension.

摘要：研究在持续外界扰动作用下含有控制时滞线性系统的最优扰动抑制问题.首先利用模型转换将控制时滞系统转化为无时滞系统.然后证明最优控制律的存在唯一性,并通过求解Riccati方程和Sylvester方程设计含前馈补偿器和控制记忆项的最优控制律,其中的前馈控制项和控制记忆项分别补偿了扰动和控制时滞对系统的影响.通过构造扰动状态观测器,解决了前馈补偿器的物理不可实现问题.仿真实例验证了所设计的最优控制律的有效性.

摘要：针对极值搜索系统在稳定状态存在可行域约束情况下的预设性能控制问题,首先利用罚函数构造新型目标函数并设计极值参考轨迹;然后,通过性能函数和误差转换函数构建系统等效模型,利用反演控制方法进行预设性能控制器设计;最后,设计不确定参数自适应估计律.系统在实现极值搜索的同时能够满足预先设定的性能指标.数值仿真验证了所提出方法的有效性.

摘要：为了解决能源转型过程中电力系统潜在装机容量不足的问题,国外电力市场建立了发电容量充裕度机制,其中以稀缺定价机制、容量补偿机制和容量市场机制最为典型。研究不同机制的效果对于中国充裕度机制的选择具有重要意义。基于美国得克萨斯州的稀缺定价机制、智利的容量补偿机制、美国PJM及英国容量市场的机制,设计构建了适合长期仿真的发电容量演化系统动力学模型。通过净现值评估进行容量退役与投资决策,综合考虑了负荷增长预测的不确定性和市场主体的风险规避。算例仿真对比了3种机制对容量充裕度、机组净收益、社会福利的影响,并进行了风险规避系数的敏感性分析,最后基于数值仿真结果对中国电力市场机制设计提出了建议。

摘要：针对金工实习中有的学生未把卡盘扳手从卡盘上取下就起动车床而形成的安全隐患,从阻止主电动机启动和阻止离合器结合入手,设计了安全装置,介绍了安全装置的结构和工作原理。

摘要：面向网络化协作制造环境,分析了产品任务规划与制造资源配置的关系,建立了机械产品加工任务粒度模型。针对机械产品网络化协作制造成本、产品功能组件和工艺方法、任务制造周期等3方面的影响因素,从宏观角度定性、定量地分析了产品制造任务粒度的规划问题,建立了它们与制造任务粒度之间的数学关系式,得出了在相应条件下任务粒度的最佳值。从这些数量化的结果与关系中,得出一些在网络化制造环境中对机械产品制造任务设计有意义的结论,为进一步的制造资源优化配置打下了理论基础。

摘要："模糊、自治"的云计算环境中,服务品类繁多、质量参差不齐,用户主体难以进行可信赖的服务选择。在用户交互经验的基础上,结合现实人际交易模式,提出了一种基于协同推荐的综合信任量化评估模型。模型引入了时间衰减、权重两类动态因子,设计了多元化混合协同推荐算法来实现用户之间的有效协作,帮助用户正确选择可信云服务。为了验证模型的可行性,设计出一个分布式的原型系统,对模型的用户满意度和服务选择质量进行仿真实验。仿真结果表明,该模型能够更快地提高平均服务满意度,更有效地抑制恶意服务,而且随着交互次数的增长,服务选择质量也会不断提高。

摘要：动态规划是一种递归求解问题最优解的方法,主要通过求解子问题的解并组合这些解来求解原问题.由于其子问题之间存在大量依赖关系和约束条件,所以验证过程繁琐,尤其对命令式动态规划类算法程序正确性验证是一个难点.基于动态规划类算法Isabelle/HOL函数式建模与验证,通过证明命令式动态规划类算法程序与其的等价性,避免证明正确性时处理复杂的依赖关系和约束条件,提出命令式动态规划类算法程序设计框架及其机械化验证.首先,根据动态规划类算法的优化方法(备忘录方法)和性质(最优子结构性质和子问题重叠性质)描述问题规约、归纳递推关系式和形式化构造出循环不变式,并且基于递推关系式生成IMP(minimalistic imperative programming language)代码;其次,将问题规约、循环不变式和生成的IMP代码输入VCG(verification condition generator),自动生成正确性的验证条件;然后,在Isabelle/HOL定理证明器中对验证条件进行机械化验证.算法首先设计为命令式动态规划类算法的一般形式,并进一步实例化得到具体算法.最后,例证所提框架的有效性,为动态规划类算法的自动化推导和验证提供参考价值.

摘要：为分析配料(硫化物、糖)组成对高温芝麻饼粕蛋白酶解物(High temperature sesame cake protein hydrolysate,HTSPH)制备肉味香精的影响,首先固定木糖与HTSPH含量,考察5种硫化物如半胱氨酸(LCys)、甲硫氨酸(L-Met)、硫胺素(VB1)对美拉德反应产物(Maillard reaction products,MRPs)的感官特性、挥发性成分、pH、褐变与糖基化程度的影响,随后对比木糖、核糖、半乳糖等9种糖与L-Cys、HTSPH反应得到MRPs的特性差异,最后,混料试验考察L-Cys、木糖、HTSPH三者组成对MRPs感官特性与挥发性成分影响。结果显示,不同硫化物形成MRPs的挥发性成分组成差异明显,L-Cys的MRPs肉味突出,感官评价得分最高(69.32±1.34)。对比不同糖的MRPs的性质组成发现,戊糖的MRPs中感官评价得分显著高于已糖的MRPs,其挥发性成分中富含肉香味成分,木糖是适宜由HTSPH制作肉味香精的糖类。混料试验表明L-Cys、木糖与HTSPH组成会显著影响MRPs风味特征。偏最小二乘回归分析发现22种关键挥发性成分。5-甲基-2-噻吩甲醛、二糠基二硫醚、5-乙基噻吩-2-甲醛、4,6-二甲基-1H,3H-噻吩并[3,4-c]噻吩、苯甲醛、2-糠基2-甲基-3-呋喃基二硫化物、2-糠硫醇与感官得分正相关。本研究为高温芝麻饼粕制备肉味香精提供理论指导。

摘要：快速序列视觉呈现(RSVP)是一类心理学视觉刺激实验范式,要求受试者辨别在同一空间位置上连续呈现的由数字、字母、单词以及图片等组成的刺激流中的目标刺激,可以在短时间内辨别海量信息。而基于RSVP范式的脑-机接口(BCI)不仅能够广泛用于辅助交互、信息判读等场景,而且具有稳定、高效的优势,已经成为人-机智能融合的常用技术之一。近年来,RSVP-BCI研究主要集中在脑控拼写器、图像识别以及意念游戏等方向,因此,本文着重梳理了这三个领域中RSVP-BCI的范式设计和系统性能优化,展望了其生活娱乐、临床医疗、特种军事等前沿方向的潜在应用,以期为RSVP-BCI相关的研究提供参考和新思路。