摘要：由于硬件描述语言Verilog中存在赋值语句的并发行为,对其验证一直是静态分析技术的一大挑战。针对Verilog程序的正确性问题,提出一种基于布尔约束求解的Verilog验证方法。通过分析Verilog语义特点,采用分步编码的方式对Verilog并发赋值语句进行处理。实验结果显示,该方法能有效地检测Verilog程序中设计的缺陷,并给出错误发生时程序的状态。

摘要：为了研究大口径埋地钢管在车辆载荷作用下的力学特性,利用ANSYS有限元软件建立车辆-道路-管道耦合系统的三维有限元模型,模拟车辆在行驶过程中埋地管道位移和应力随时间变化的规律,定性分析车速、车辆轮压和车辆载荷作用位置等因素对管道力学性状的影响,并对比讨论了车辆载以静载荷和动载荷两种不同方式加载时对管道产生的不同影响。研究表明,管道位移和应力随着车速增加而减小,随着轮压增大而增大,因此应避免车辆低速超载的情况。该研究可为车辆载荷作用下埋地管道的设计与防护提供理论参考。

摘要：慢性肾功能衰竭(chronic renal failure,CRF)普遍存在微炎症状态。微炎症状态由多种病理机制造成,包括蛋白质合成修饰和代谢产物积聚、氧化应激反应增强等,中药通过干预其中某一或多种途径而起到改善慢性肾功能衰竭患者的微炎症状态的作用。本文对清热化湿对于改善微炎症状态来阐明其作用机制。

摘要：目的探讨血清癌胚抗原(CEA)、糖链抗原(CA)199水平升高在良恶性疾病中的分布特征及其鉴别诊断价值。方法回顾性分析血清CEA与CA199水平均升高的509例确诊患者临床资料,采用SPSS18.0软件对相关数据进行统计学分析。结果 509例患者中,良性疾病患者占22.79%,恶性患者占77.21%,且两组间CEA、CA199水平比较差异有统计学意义(P0.05),肺癌、肠癌、胃癌、乳腺癌患者CEA水平高于胰腺癌患者(P<0.05),肺癌和肝癌患者CA199水平低于胰腺癌患者(P<0.05)。以10ng/mL、90U/mL分别作为CEA、CA199的分界值,良恶性疾病患者间二者水平比较差异均有统计学意义(P<0.05)。结论良性疾病可导致血清CEA、CA199水平升高,而CEA≥10ng/mL或CA199≥90U/mL对良恶性疾病的鉴别有一定的辅助诊断价值。

摘要：文章研究了一类具有时延和丢包且执行器故障的多变量网络控制系统鲁棒容错控制器设计问题,基于系统中的不确定性,推导了该类网络控制系统的诱导时滞数学模型,并利用李雅普诺夫第二法和自由权矩阵方法,分析了系统的渐近稳定性,得到了系统稳定运行的最大允许时延的条件。最后,通过仿真分析证实了本文所提理论的有效性,以及稳定判据的可行性。

摘要：为了刻画移动互联网环境下二手市场供应链运作的复杂性,构建了基于闲置交易平台的二手市场供应链网络均衡模型。二手市场供应链网络中包含有个人卖家、快递商、个人买家和闲置平台四个决策主体。分析了模型中各决策者的行为和优化条件,利用变分不等式理论求解二手市场供应链整个网络达到均衡状态的条件。以"闲鱼"平台为例,设计算例并进行数值仿真,探讨了二手市场供应链信用价值的重视度和风险规避程度对整个供应链均衡的影响,数据结果与实际情况相符,验证了模型的合理性和有效性。

摘要：目的建立地榆方中没食子酸的含量测定方法,优选地榆方中地榆的提取工艺。方法采用高效液相色谱法对地榆方中没食子酸进行测定;以液料比、提取溶剂、提取时间为考察因素,以没食子酸含量为评价指标,采用L9(34)正交试验设计,优选地榆的提取工艺。结果没食子酸在101.3~607.79 ng(R^(2)=0.9999)范围内与吸收度呈良好的线性关系,平均加样回收率为91%,RSD为0.86 %。地榆的最佳提取工艺为:液料比1:100,10 %盐酸作为提取溶剂,回流提取3h,出膏率约为39.5 %。结论含量测定方法和优选的工艺稳定可行,可用于地榆方的质量控制和提取。

摘要：本文基于金融供给侧结构性改革和微观企业财务决策联动性视角,结合差异化分红监管政策自然事件探讨股利平稳性对负债率及资本结构偏离度的作用。关于股利平稳性经济后果的研究发现,我国上市公司提高分红比例可以去杠杆和降低资本结构偏离度,但维持较高的股利平稳程度将深化杠杆风险,加剧实际负债率偏离目标资本结构的程度。针对债务调整机制的研究发现,公司股利平稳性与股权再融资、股权质押融资概率正相关,且股利平稳性抑制融资调整的作用受到成熟型阶段、债务水平差异、较低的控股股东持股比例、国有属性或较低的控股股东两权分离程度的影响。采用倾向得分匹配法评估股利监管政策发现,差异化分红监管政策可以去杠杆,减缓股利平稳性对融资决策和资本结构动态调整的作用。本文研究结果表明,差异化分红监管政策弥补了公司提高股利平稳程度蕴含的融资抑制效应,支持企业去杠杆。这为微观企业行为与金融监管创新的交叉效应提供了新的经验证据。

摘要：复杂产品系统中涉及多个组织、多个学科领域的知识,需要组织间进行跨组织的知识共享与合作,形成跨组织知识合作网络,帮助复杂产品研制和创新。本文分析了复杂产品系统中的知识管理活动,进而提出并构建了跨组织知识超网络模型。首先采用Web2.0相关模式和技术,建立跨组织知识网络共享模型;然后在此基础上,利用超网络的理论和方法,构建跨组织知识超网络模型;最后探讨跨组织知识超网络模型在复杂产品系统中的应用。

摘要：目的:观察人参有效单体对活化的肾系膜细胞株的影响。方法:采用体外培养肾系膜细胞株的方法,将其分为空白对照组、TGF-β12ng/ml组、TGF-β12ng/ml+中药10-5g/ml组和TGF-β12ng/ml+中药10-6g/ml组。采用MTT法观察24h中药单体对系膜细胞株的作用以及ELISA法对TGF-β的分泌情况。结果:与空白对照组相比,加入TGF-β1刺激因子可以促进系膜细胞株的活化(P<0.05),以及TGF-β的分泌(P<0.01),中药单体可以抑制活化的细胞株增殖和TGF-β的分泌(P<0.05或P<0.01)。结论:人参中药单体可以抑制活化的肾系膜细胞株的增殖,有效防治肾纤维化,其可能的作用机制与其抑制TGF-β的分泌有关。