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.

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.

A novel model to evaluate spatial structure in thinned conifer-broadleaved mixed natural forests

In order to ensure the effective analysis and reconstruction of forests,it is key to ensure the quantitative description of their spatial structure.In this paper,a distance model for the optimal stand spatial structure based on weighted Voronoi diagrams is proposed.In particular,we provide a novel methodological model for the comprehensive evaluation of the spatial structure of forest stands in natural mixed conifer-broadleaved forests and the formulation of management decision plans.The applicability of the rank evaluation and the optimal solution distance model are compared and assessed for different standard sample plots of natural mixed conifer-broadleaved forests.The effect of crown width on the spatial structure unit of the trees is observed to be higher than that of the diameter at breast height.Moreover,the influence of crown length is greater than that of tree height.There are nine possible spatial structure units determined by the weighted Voronoi diagram for the number of neighboring trees in the central tree,with an average intersection of neighboring crowns reaching 80%.The rank rating of natural forest sample plots is correlated with the optimal solution distance model,and their results are generally consistent for natural forests.However,the rank rating is not able to provide a quantitative assessment.The optimal solution distance model is observed to be more comprehensive than traditional methods for the evaluation of the spatial structure of forest stands.It can effectively reflect the trends in realistic stand spatial structure factors close to or far from the ideal structure point,and accurately assesses the forest spatial structure.The proposed optimal solution distance model improves the integrated evaluation of the spatial structure of forest stands and provides solid theoretical and technical support for sustainable forest management.

Orthogonal design to sift the optimal parameter of Neiguan acupuncture for cerebral infarction

The individual difference and non-repeatability in acupuncture have not only restricted the devel- opment of acupuncture, but have also affected the specificity of acupoints. The present study used instruments to control needle depth, lifting and thrusting frequency, and the duration of acupuncture. Effects of the quantified acupuncture were observed at Neiguan （PC6） with different stimulation parameters. A frequency of 1, 2, or 3 Hz and duration of 5, 60, or 180 seconds were used to observe cerebral blood flow and ratio of infarct volume recovery. Results showed that stimulation at Neiguan with a frequency of 1 Hz and long duration of 180 seconds or 2/3 Hz and long duration of 5/60 seconds significantly increased cerebral blood flow and decreased the ratio of infarct volume. In- teractions between frequency and duration play a critical role in quantified acupuncture therapy.

中英文化中量词对比研究(英文)

Chinese has special quantifiers as a part of speech while English does not have independent quantifiers.To some degree,the difference comes from the different cultural backgrounds.

Three methods for generating monotonic OWA operator weights with given orness level

Based on the properties of ordered weighted averaging (OWA) operator and regular increasing monotone (RIM) quantifier, three methods for generating monotonic OWA operator weights are proposed. They are geometric OWA operator weights, equidifferent OWA operator weights and the modified RIM quantifier OWA weights. Compared with most of the common OWA methods for generating weights, the methods proposed in this paper are more intuitive and efficient in computation. And as there are more than one solution in most cases, the decision maker can set some initial condition and chooses the appropriate solution in the real decision process, which increases the flexibility of decision making to some extent. All these three OWA methods for generating weights are illustrated by numerical examples.

A Comprehensive Strategy to Quantify the Complex System by Ultraviolet and Infrared Spectra Analyses Coupled with Combustion Heat for Recognizing the Quality Consistency of San-Huang Tablets

Spectral quantitative fingerprinting including ultraviolet (UV) and Fourier transform infrared (FT-IR) coupled with combustion heat (CH) analytical techniques was employed and compared for rapid screening quality grade and discriminating San-Huang Tablets (SHT) of different commercial brands. The systematic quantified fingerprint method (SQFM) was applied to evaluate, qualitatively and quantitatively, the quality consistency of the herbal preparation. It was possible to deduce that the quantitative similarity analysis by SQFM was enabled to make a good discrimination of the tested samples. It was a particularly useful method for the overall quality evaluation of herbal medicine and their preparations.

On Scientific-Technological Ethics

Ethics and morality are old and constantly updated topic. In the modern science and technology rapid development situation, study of ethics of science and technology is relatively backward. The times call for advanced and reasonable ethics of science-technology. Basic concepts and characteristics of ethics and morals are distinguished and defined in this paper. Three ethic essences of science-technology are abstracted from scientific-technological generation, application, and development. The three-dimension system of basic principles for scientific-technologic ethics is created, as illustrated by the portions given in this paper. The evolution formula of value system is derived, and used for appraising whether the science-technology activity is in all reason. Furthermore, it provides the theory base for quantified management. Finally, it is pointed out that morality and law should be supplemented each other in the science-technology management.

A Phenomenological Understanding of Digital Processes of Subjectification： The Example of Lifelogging

By lifelogging, we understand a specific, very recent phenomenon of digital technology, which falls within the range of practices of the quantified self. It is a complex form of self-management through self-monitoring and self-tracking practices, which combines the use of wearable computers for measuring psycho-physical performances through specific apps for the processing, selecting and describing of the data collected, possibly in combination with video recordings. Given that lifelogging is becoming increasingly widespread in technologically advanced societies and that practices related to it are becoming part of most people＇s everyday lives, it is more important than ever to gain an understanding of the phenomenon. In this paper, I am interested in particular in exploring the issue of the transformations in the perception, comprehension, and construction of self, and hence in subjectification practices, deriving from the new digital technologies, and especially lifelogging.

Integrated evaluation of HPLC fingerprints for the quality control of Ginseng Yang Rong Wan by multi-wavelength fusion fingerprint method

The aim of this study was to develop comprehensive evaluation methods for the quality control of Ginseng Yang Rong Wan(RSYRW).Multi-wavelength fusion fingerprints were successfully developed by high-performance liquid chromatography,which avoided the one-sidedness of single fingerprinting.Characteristic fingerprints of thirty batches of samples were generated at five wavelengths and evaluated by quantified ratio fingerprint method(QRFM).The results showed that thirty batches of samples were classified into seven grades.The methods established in this paper were found suitable for the analysis of Ginseng Yang Rong Wan.

ROLE OF B LYMPHOCYTE AND ITS SUBPOPULATIONS IN PATHOGENESIS OF IMMUNORELATED PANCYTOPENIA

Objective To measure the quantities and apoptosis-related protein levels of B lymphocyte in the patients with immunorelated pancytopenia （IRP） and explore the action of B lymphocyte in the pathogenic mechanism of IRP. Methods Quantifies of whole B lymphocytes and CD5^＋ B lymphocytes as well as the expressions of Fas and Bcl-2 in B lymphocytes in 35 patients with untreated IRP, 15 IRP patients in complete remission （CR）, and 10 normal controls were assayed by flow cytometry. The percentages of B lymphocyte and CD5^＋ B lymphocyte were significantly higher in untreated IRP patients than in CR IRP patients and normal controls （ P 〈 0. 05 ）, and there was no significant difference between the latter two groups （ P 〉 0. 05 ）. There was no significant difference of Fas expression in B lymphocyte among three groups （ P 〉 0. 05）. The expression of Bcl-2 in B lymphocyte was significantly higher in untreated patients than in CR patients or normal controls （ P 〈 0. 01 ）, and significantly higher in CR patients than in normal controls （ P 〈 0. 01 ）. The apoptosis. related index was significantly lower in untreated patients than in CR patients or normal controls （ P 〈 0. 05 ）, and signif. icantly lower in CR patients than in normal controls （ P 〈 0. 05 ）. The percentage of B lymphocyte was positively correlated with post-treated response time （ r = 0. 53, P 〈 0. 01 ）. Conclusion The production of auto-antibodies in IRP patients probably has some relationship with the abnormal quantifies of B lymphocyte and its subpopulations as well as with the inhibition of B lymphocyte apoptosis.

Reliability analysis of geotechnical infrastructures: Introduction

In the design of geotechnical infrastructure,engineers have to deal with naturally occurring soils and rocks which are subjected to spatial variability as well as other uncertainties such as errors in measurement and in modeling methods.Reliability assessment which provides a systematic approach for quantifying the risk of failure has been shown to be a promising tool for solving these challenging geotechnical engineering problems.The method provides a more consistent measure of the level of safety or“structural reliability”through the evaluation of a reliability index and the associated“failure”probability,and is a method that satisfies the need to clearly convey safety issues to the public and regulatory authorities.Various methods for calculating the reliability of geotechnical infrastructures with regard to the assessment of the ultimate and serviceability limit states have been proposed by many researchers and these approaches include:the direct Monte Carlo Simulation,Bayesian and other sampling techniques,the first-order reliability method and the second-order reliability method,the random field method,the response surface method and other surrogate models with the related probabilistic procedures.In this special issue of Geoscience Frontiers,we assemble eleven invited papers which provide insights on the latest developments and challenges in applying probabilistic and reliability methods to geotechnical infrastructure design.

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.