Correlation of the quantifiable parameters of blood flow pattern derived with dynamic CT in solitary bronchogenic adenocarcinoma

Objective:To evaluate the correlation of the quantifiable parameters of blood flow pattern derived with dynamic CT in solitary bronchogenic adenocarcinoma(SBA).Methods:46 patients with solitary bronchogenic adenocarcinomas (SBA)(diameter≤4 cm)underwent multi-location dynamic contrast material-enhanced(nonionic contrast material was administrated via the antecubital vein at a rate of 4 mL/s by using an autoinjector 90 mL,4×5 mm or 4×2.5 mm scanning mode with stable table were performed)serial CT.Precontrast and postcontrast attenuation on every scan was recorded.Perfusion (PBA),peak height(PHBA),ratio of peak height of the SPN to that of the aorta(BA-to-A ratio)and mean transit time(MTT)were calculated.The correlation between peak height of the aorta(PHA)and parameters of the SBA(PHBA,BA-to-A ratio,PBA,and MTT)and those among parameters of the SBA were assessed by means of linear regression analysis.Regression equation among parameters of the SBA were obtain by means of stepwise regression.Results:The correlation between the SBA peak height(PHBA,36.78 HU±12.02)and the aortic peak height(PHA)was significant(r=0.506,P<0.0001).No significant cor- relation was found between the BA-to-Apeak height ratio(15.33%±4.55)and the aortic peak height(r=0.130,P=0.388> 0.05)as it was between the SBA perfusion(PBA,31.86 mL/min/100 g±9.74)and the aortic peak height(r=0.049,P=0.749 >0.05).The SBA perfusion correlated with the PHBA and the BA-to-A peak height ratio(r=0.394,P=0.007<0.05;r=0.407, P=0.005<0.05).The PHBA correlated positively with the BA-to-A peak height ratio(r=0.781,P<0.0001).Mean transit time was 14.84 s±5.52.PBA=18.500+0.872×BA-to-A ratio.BA-to-A ratio=4.467+0.295×PHBA.Conclusion:The linear correlation between the SBA perfusion and BA-to-Aratio and that between BA-to-Aratio and PHBA can be expressed by equation. It is possible to design a simpler scanning procedure of investigation of bronchogenic adenocarcinoma angiogenesis.

Correlation between the quantifiable parameters of blood flow pattern derived with dynamic CT in malignant solitary pulmonary nodules and tumor size

Objective： To evaluate the correlation between the quantifiable parameters of blood flow pattern derived with dynamic CT in malignant solitary pulmonary nodules and tumor size. Methods： Sixty-eight patients with malignant solitary pulmonary nodules （SPNs） （diameter 〈4 cm） underwent multi-location dynamic contrast material-enhanced （nonionic contrast material was administrated via the antecubitai vein at a rate of 4mL/s by using an autoinjector, 4×5 mm or 4×2.5 mm scanning mode with stable table were performed）. Precontrast and postcontrast attenuation on every scan was recorded. Blood flow （BF）, peak, height （PHSPN）, ratio of peak height of the SPN to that of the aorta （SPN-to-A ratio） and mean transit time （MTT） were calculated. The correlation between the quantifiable parameters of blood flow pattern derived with dynamic CT in malignant solitary pulmonary nodules and tumor size were assessed by means of linear regression analysis. Results： No significant correlations were found between the tumor size and each of the peak height （PHSPN） （35.79±10.76 Hu）, ratio of peak height of the SPN to that of the aorta （SPN-to-A ratio）, （14.27%±4.37） and blood flow （BF） （30.18 mL/min/100 g±9.58） （r=0.180, P=0.142〉0.05; r=0.205, P=0.093〉0.05; r=0.008, P=0.947〉0.05）. Conclusion： No significant correlations were found between the tumor size and each of the quantifiable parameters of blood flow pattern derived with dynamic CT in malignant solitary pulmonary nodules.

Quantified simulation research on harmonious factors in the leadership teams of aerospace enterprise group

A brief account of basic connotation and evaluation indexes system of harmonious leadership teams is given. On this basis, a simulation model is built by using the ARENA simulation software and the quantified simulation is carried out for the factors of harmonization of aerospace enterprise leadership teams. Moreover, by taking the characteristics of aerospace enterprise leadership teams into consideration, the comparison of harmonization quantified results of several typical leadership teams, especially on the comparative analysis of influencing degrees of moral characters and capabilities on the leadership teams overall harmonization is emphatically discussed. Finally, a conclusion is drawn.

Parallel solving model for quantified boolean formula based on machine learning

A new parallel architecture for quantified boolean formula(QBF)solving was proposed,and the prediction model based on machine learning technology was proposed for how sharing knowledge affects the solving performance in QBF parallel solving system,and the experimental evaluation scheme was also designed.It shows that the characterization factor of clause and cube influence the solving performance markedly in our experiment.At the same time,the heuristic machine learning algorithm was applied,support vector machine was chosen to predict the performance of QBF parallel solving system based on clause sharing and cube sharing.The relative error of accuracy for prediction can be controlled in a reasonable range of 20%30%.The results show the important and complex role that knowledge sharing plays in any modern parallel solver.It shows that the parallel solver with machine learning reduces the quantity of knowledge sharing about 30%and saving computational resource but does not reduce the performance of solving system.

QUANTIFIED COST-BALANCED ROUTING SCHEME FOR OVERLAY MULTICAST

This paper focuses on the quantitative analysis issue of the routing metrics tradeoff problem, and presents a Quantified Cost-Balanced overlay multicast routing scheme (QCost-Balanced) to the metric tradeoff problem between overlay path delay and access bandwidth at Multicast Server Nodes (MSN) for real-time ap-plications over Internet. Besides implementing a dynamic priority to MSNs by weighing the size of its service clients for better efficiency, QCost-Balanced tradeoffs these two metrics by a unified tradeoff metric based on quantitative analysis. Simulation experiments demonstrate that the scheme achieves a better tradeoff gain in both two metrics, and effective performance in metric quantitative control.

Application of virtual reality in quantified analyses for cavernous sinus surgical approach

Objective To evaluate the utility of virtual reality system in quantitative comparison for cavernous sinus surgical approach. Methods Image data of CT and MRI scan performed in five adult cadaver heads was inputted into the Destroscope virtual reality system to build 3-D model of cavernous sinus.

Curvature Quantified Douglas-Peucker-based Phasor Measurement Unit Data Compression Method for Power System Situational Awareness

Facing constraints imposed by storage and bandwidth limitations,the vast volume of phasor meas-urement unit(PMU)data collected by the wide-area measurement system(WAMS)for power systems cannot be fully utilized.This limitation significantly hinders the effective deployment of situational awareness technologies for systematic applications.In this work,an effective curvature quantified Douglas-Peucker(CQDP)-based PMU data compression method is proposed for situational awareness of power systems.First,a curvature integrated distance(CID)for measuring the local flection and fluc-tuation of PMU signals is developed.The Doug-las-Peucker(DP)algorithm integrated with a quan-tile-based parameter adaptation scheme is then proposed to extract feature points for profiling the trends within the PMU signals.This allows adaptive adjustment of the al-gorithm parameters,so as to maintain the desired com-pression ratio and reconstruction accuracy as much as possible,irrespective of the power system dynamics.Fi-nally,case studies on the Western Electricity Coordinat-ing Council(WECC)179-bus system and the actual Guangdong power system are performed to verify the effectiveness of the proposed method.The simulation results show that the proposed method achieves stably higher compression ratio and reconstruction accuracy in both steady state and in transients of the power system,and alleviates the compression performance degradation problem faced by existing compression methods.Index Terms—Curvature quantified Douglas-Peucker,data compression,phasor measurement unit,power sys-tem situational awareness.

Spectrum quantification-based safety efficiency evaluation of autonomous vehicle under random cut-in scenarios

Continuous-scale trusted safety efficiency evaluation is crucial for the agile development and robust validation of autonomous vehicle intelligence.While the UN R157 Regulation evaluates automated lane-keeping system(ALKS)performance baselines through safe collision plots(SCPs)in various scenario clusters,quantifying the specific ALKS safety efficiency remains challenging.We propose a spectrum quantification approach to evaluate the safety efficiency of autonomous vehicles in cut-in scenarios.First,we collected speed-distance data under different cut-in scenarios and extracted essential spectral features to indicate the vehicle motion parameters during the cut-in process.Second,by utilizing Fourier analysis,a spectral analysis model was built to quantify and analyze the vehicle motion characteristics,providing insights into scenario safety.Finally,we created approximate analytical equations for the normalized disturbance frequencies in the nonlinear response scenarios of autonomous driving systems by combining the SCP with a frequency spectrum analysis model.The results showed that the normalized disturbance frequency in the cut-in scenario was approximately 0.2.When the relative longitudinal distance and speed of the vehicle are the same,if the cut-in speed of the cut-in vehicle is larger,the normalized disturbance frequency is higher,indicating that the cut-in process of the autonomous vehicle is more dangerous and may trigger a collision.

A QUANTIFIER-ELIMINATION BASED HEURISTIC FOR AUTOMATICALLY GENERATING INDUCTIVE ASSERTIONS FOR PROGRAMS

A method using quantifier-elimination is proposed for automatically generating program invariants/inductive assertions. Given a program, inductive assertions, hypothesized as parameterized formulas in a theory, are associated with program locations. Parameters in inductive assertions are discovered by generating constraints on parameters by ensuring that an inductive assertion is indeed preserved by all execution paths leading to the associated location of the program. The method can be used to discover loop invariants-properties of variables that remain invariant at the entry of a loop. The parameterized formula can be successively refined by considering execution paths one by one; heuristics can be developed for determining the order in which the paths are considered. Initialization of program variables as well as the precondition and postcondition, if available, can also be used to further refine the hypothesized invariant. The method does not depend on the availability of the precondition and postcondition of a program. Constraints on parameters generated in this way are solved for possible values of parameters. If no solution is possible, this means that an invariant of the hypothesized form is not likely to exist for the loop under the assumptions/approximations made to generate the associated verification condition. Otherwise, if the parametric constraints are solvable, then under certain conditions on methods for generating these constraints, the strongest possible invariant of the hypothesized form can be generated from most general solutions of the parametric constraints. The approach is illustrated using the logical languages of conjunction of polynomial equations as well as Presburger arithmetic for expressing assertions.

PARAMETRIC EQUATION SOLVING AND QUANTIFIER ELIMINATION IN FINITE FIELDS WITH THE CHARACTERISTIC SET METHOD

For a parametric algebraic system in finite fields, this paper presents a method for computing the cover and the refined cover based on the characteristic set method. From the cover, the author knows for what parametric values the system has solutions and at the same time presents the solutions in the form of proper chains. By the refined cover, the author gives a complete classification of the number of solutions for this system, that is, the author divides the parameter space into several disjoint components, and on every component the system has a fix number of solutions. Moreover, the author develops a method of quantifier elimination for first order formulas in finite fields.

A strong completeness theorem in intuitionistic quantified modal logic

Based on the intuitionistic first order predicate calculusH given by Thomason with the modal machinery of MIPC put forward by Prior this paper obtains the intuitionistic quantified modal logic system MIPC*, gives it a semantic interpretation and proves its strong (thus also weak) completeness theorem and soundness theorem with respect to that semantic. Since Zorn lemma plays a decisive role in our discussion, methodologically, it was even farther from the intuitionistic point of view than Thomason's result.

ALGEBRAIC SEMANTICS OF SOME NORMAL QUANTIFIED MODAL SYSTEMS WITH THE BARCAN FORMULA

Let S be a propositional modal system and S~* be the quantification of S, then we can prove the algebraic semantic completeness theorem of the kind of Rasiowa-Sikorski for S~* by showing that S has the property (E)given in [1]. But except for a few cases, it is very difficult to show thara system S has the property (E). So for most quantified modal systems,

Solving quantified constraint satisfaction problems with value selection rules

Solving a quantified constraint satisfaction problem(QCSP)is usually a hard task due to its computational complexity.Exact algorithms play an important role in solving this problem,among which backtrack algorithms are effective.In a backtrack algorithm,an important step is assigning a variable by a chosen value when exploiting a branch,and thus a good value selection rule may speed up greatly.In this paper,we propose two value selection rules for existentially and universally quantified variables,respectively,to avoid unnecessary searching.The rule for universally quantified variables is prior to trying failure values in previous branches,and the rule for existentially quantified variables selects the promising values first.Two rules are integrated into the state-of-the-art QCSP solver,i.e.,QCSP-Solve,which is an exact solver based on backtracking.We perform a number of experiments to evaluate improvements brought by our rules.From computational results,we can conclude that the new value selection rules speed up the solver by 5 times on average and 30 times at most.We also show both rules perform well particularly on instances with existentially and universally quantified variables occurring alternatively.

Variant quantifiers in L_(3)-valued first-order logic

Traditional first-order logic has four definitions for quantifiers,which are defined by universal and existential quantifiers.In L_(3)-valued(three-valued)first-order logic,there are eight kinds of definitions for quantifiers;and corresponding Gentzen deduction systems will be given and their soundness and completeness theorems will be proved.

不同产地杜仲叶活性成分的定量分析

通过杜仲叶中主要活性成分绿原酸的提取率,优化杜仲叶活性成分的提取工艺,比较不同产地杜仲叶组成及含量的差异.以绿原酸为目标产物,通过单因素实验和Box-Behnken模型,并采用高效液相色谱法测定秦仲叶和华仲叶中芦丁、松脂醇二葡萄糖苷、金丝桃苷、绿原酸及没食子酸五种活性成分含量.单因素条件对两者叶的提取效果影响均为:提取温度>提取时间>乙醇体积分数>料液比.在最佳提取条件下,秦仲叶绿原酸提取率为62.94%,华仲叶绿原酸提取率为47.84%.两者叶中绿原酸含量最高,秦仲叶中芦丁、松脂醇二葡萄糖苷含量比华仲叶高出1.97倍和6.59倍,但华仲叶中金丝桃苷和绿原酸含量比秦仲叶高出1.41倍和1.16倍.本研究旨在为不同地域杜仲树种的选育以及临床上应用标准提供理论依据,帮助更加全面地评价不同产地杜仲药材质量.

量化自我在慢性心力衰竭患者容量管理中的应用进展

慢性心力衰竭患者的容量管理与疾病的治疗和预后息息相关。随着科技的进步,量化自我作为一种新型的健康管理方式,正逐渐应用于慢性心力衰竭患者的容量管理中。文章对量化自我的概述,以及其在慢性心力衰竭患者容量管理中的应用、启示与建议进行综述,以期为临床医护人员对慢性心力衰竭患者的容量管理提供帮助。

基于驾驶员脑电微状态分析的草原公路交叉口交通设施组合研究

为解决典型草原公路交叉口交通标志组合设置现存问题,针对性优化交叉口交通工程设施组合设置。通过模拟试验,采集40名驾驶员的脑电信号,聚类为5种(MS1—MS5)微状态地形图,并对驾驶员的反应时间和微状态的持续时间、覆盖率、出现频率、转换概率进行统计分析。试验结果表明,在草原公路交叉口交通设施组合的认知过程中,驾驶员脑电微状态中的默认网络和背侧注意网络发挥主要作用;MS4的持续时间和MS1—MS3的转换概率随交通设施增多呈上升趋势,可以作为评估驾驶员认知负荷的直接指标;微状态指标和反应时趋势分析发现在信息量等级C,即4种交通工程设施组合时驾驶员大脑状态具有最佳表现,认知能力最强,负荷较小且反应最快。

基于FTIR的黄芪药材质量评价研究

目的 建立黄芪药材的红外原始指纹图谱与量子指纹图谱,为其质量控制提供参考。方法 采用傅里叶变换红外光谱仪采集35批黄芪药材的红外指纹图谱,经数据处理建立黄芪的红外量子指纹图谱,采用系统指纹定量法以及t检验比较两种指纹图谱是否存在差异,并对量子指纹图谱的共有量子峰面积进行系统聚类分析。结果 黄芪药材的红外指纹图谱与量子指纹图谱间并不存在显著性差异,系统指纹定量法将35批黄芪分为8个质量等级,系统聚类分析表明35批黄芪的质量可聚为两类。结论 红外量子指纹图谱能够提供大量特征信息,系统指纹定量法能够全面、准确、直观地将黄芪药材分为8个质量等级,两者结合可以实现对黄芪等中药材质量的全面评价。

想象可供性视角下的“量化自我”研究——以运动应用程序Keep为例

在量化自我的数据生成过程中,以Keep为代表的自我追踪技术有着“自我可读写”这一基本可供性,但用户个体对自我追踪技术的使用、对自我数据的解释偏离了技术的设计愿景,使想象可供性得以生发。一方面用户对数据进行再语境化,这丰富了主体生命叙事;另一方面用户借时空定位、衡量比较为数据赋予意义,进行自我确认。从对抗功绩社会的角度而言,生命叙事可供性与自我确认可供性体现了技术意义上的“世俗化”效果。

不同超声探头剪切波弹性成像技术检测女性肛提肌硬度的对比研究

目的对比分析凸阵和线阵探头的声触诊弹性成像(sound touch elastography,STE)和声触诊弹性测量(sound touch quantify,STQ)技术检测女性肛提肌硬度的临床应用价值。方法对69例健康体检者右侧肛提肌前、中、后3个部位行平静、收缩、拉伸状态下的凸阵和线阵STE、STQ检查,分析4项检测技术的成功率、变异度、测量值(杨氏模量)、操作者间和操作者内的一致性。结果凸阵STE和线阵STQ技术检测肛提肌总体成功率较高、总体变异度较小,与凸阵STQ和线阵STE技术比较,差异均有统计学意义(均P<0.05)。凸阵STQ技术和线阵STE技术检测的肛提肌弹性模量值差异有统计学意义(P<0.05);凸阵STE技术和线阵STQ技术检测的肛提肌弹性模量值差异无统计学意义(P>0.05)。凸阵探头STE和线阵探头STQ技术操作者间和操作者内一致性分别为0.869、0.919、0.772、0.850。结论凸阵探头STE和线阵探头STQ技术检测肛提肌硬度总体成功率均较高、总体变异度小,弹性模量测值无明显差异,值得推广。