Starting by quasilinear means, we propose and analyze functionals that allow to represent the preferences of the decision maker in a more general setting; the preference order in the set of the alternatives depends on the way the functional has been generated. The functionals of this kind enjoy classical properties as independence and dominance principle. Anyway we stress that to make use of a single functional is not sufficient to describe paradoxical situations that arise for istance in the Kahneman and Tversky experiment. 相似文献
The high computational complexity of advanced reasoning tasks such as reasoning about knowledge and planning calls for efficient and reliable algorithms for reasoning problems harder than NP. In this paper we propose Evaluate, an algorithm for evaluating quantified Boolean formulae (QBFs). Algorithms for evaluation of QBFs are suitable for experimental analysis of problems that belong to a wide range of complexity classes, a property not easily found in other formalisms. Evaluate is a generalization of the Davis–Putnam procedure for SAT and is guaranteed to work in polynomial space. Before presenting the algorithm, we discuss several abstract properties of QBFs that we singled out to make it more efficient. We also discuss various options that were investigated about heuristics and data structures and report the main results of the experimental analysis. In particular, Evaluate is orders of magnitude more efficient than a nested backtracking procedure that resorts to a Davis–Putnam algorithm for handling the innermost set of quantifiers. Moreover, experiments show that randomly generated QBFs exhibit regular patterns such as phase transition and easy-hard-easy distribution. 相似文献
The static phase shifting transformer is one of the potential options of the recently proposed FACTS (flexible AC transmission systems). Promising results have been obtained for enhancing the small-disturbance and the transient stability of interconnected power systems.
In this paper, the important concept of involving in the same control strategy both generating units and static phase shifters has been considered. A systematic procedure for designing co-ordinated and decentralized controllers of these components is provided to assure a satisfactory dynamic performance of an interconnected power system under both small and large perturbations. The approach uses optimal control theory as a basis for the co-ordination of static phase shifter and governor controllers. A suboptimal decentralized control scheme is derived from the designed optimal controller by using a ‘minimum norm’ nearness criterion. The resulting feedback control signals for each generating unit and for each phase shifter is expressed in terms of measurable and local variables only.
Test results show the effectiveness of the proposed control strategy and the usefulness of control actions on static phase shifters. 相似文献
BACKGROUND: The role of human papillomavirus (HPV) as a prognostic factor in cervical carcinoma is not understood completely and little is known regarding the intrinsic mechanisms involved in the metastatic process of HPV positive carcinoma. The authors evaluated HPV status with respect to clinical features in early stage cervical carcinoma, with special emphasis on lymph node spread. The authors also analyzed the relation between HPV, lymph node involvement, and 72-kilodalton (kDa) metalloproteinase immunostaining, an enzyme that cleaves Type IV collagen and may play a role in tumor metastasis. METHODS: Thirty-two patients with International Federation of Gynecology and Obstetrics Stage I and IIA squamous cell cervical carcinoma treated by primary radical surgery were reviewed. Histologic grade of differentiation, tumor size, fractional depth of invasion, and lymph node spread were evaluated with respect to HPV status and 72-kDa metalloproteinase immunostaining. HPV DNA was detected by polymerase chain reaction and the primers potentially recognized at least the following HPV subtypes: 6, 11, 16, 18, 31, 33, 34, 35, 42, 51, 56, and 58. Immunohistochemical staining was performed using the avidin-biotin complex technique. Affinity-purified rabbit anti-72-kDa metalloproteinase antibody was used. RESULTS: HPV DNA was detected in a total of 69% of cases, and HPV-16 was the most frequent type detected. HPV positive carcinomas showed a significantly higher rate of lymph node metastases than HPV negative carcinomas (45% vs. 10%; P = 0.03); similarly, 72-kDa metalloproteinase index was significantly higher (P = 0.001). CONCLUSIONS: These findings suggest a relation between HPV and risk of lymph node metastasis, which may be mediated by an increased production of 72-kDa metalloproteinase. 相似文献
The Main Conjecture on maximum distance separable (MDS) codes states that, except for some special cases, the maximum length of a q-ary linear MDS code of is q+1. This conjecture does not hold true for near maximum distance separable codes because of the existence of q-ary near-MDS elliptic codes having length bigger than q+1. An interesting related question is whether a near-MDS elliptic code may be extended to a longer near-MDS code. In this paper we prove some non-extendibility results for certain near-MDS elliptic codes. 相似文献
The Michelson Interferometer for Passive Atmospheric Sounding (MIPAS) is a limb-scanning spectrometer that has operated onboard the Environmental Satellite since the end of March 2002. Common features of limb-scanning experiments are both high vertical resolution and poor horizontal resolution. We exploit the two-dimensional geo-fit retrieval approach [Appl. Opt. 40, 1872-1875 (2001)] to investigate the possibility of improving the horizontal resolution of MIPAS measurements. Two different strategies are considered for this purpose, one exploiting the possibility (offered by the geo-fit analysis method) for an arbitrary definition of the retrieval grid, the other based on the possibility of saving measurement time by degrading the spectral resolution of the interferometer. The performances of the two strategies are compared in terms of the trade-off between the attained horizontal resolution and the retrieval precision. We find that for ozone it is possible to improve by a factor of 2 the horizontal resolution, which in the nominal measurement plan is approximately 530 km. This improvement corresponds to a degradation of the retrieval precision, which on average varies from a factor of 1.4 to 2.5, depending on the adopted spectral resolution. 相似文献
This paper presents a front-end circuit for optical rotary encoders. The light pulses modulated by the encoder disc are transduced into current signals, which are pre-processed and converted into digital waveforms related to the disc angular position information. The proposed front-end circuit is compensated against temperature drifts. Digitally programmable calibration is provided to account for spreads in impinging light pulse power. Measurement results on integrated prototypes are shown, demonstrating correct operation of the front-end with an optical input power from 0.5 W to 3 W up to a signal frequency of 500 kHz in a temperature range from 0 °C to 80 °C. 相似文献
A family of catadioptric telescopes is investigated, characterzied with two-element, full-aperture afocal corrector lenses and aspherical, focusing, primary mirrors or primary-secondary mirror combination. Third-order aberration and design equation are provided for anastigmatic systems in which corrector position must be a free parameter, forcing the consideration of aspherics on the mirrored surfaces. 相似文献
Articular cartilage defects do not heal. Biodegradable scaffolds have been studied for cartilage engineering in order to implant autologous chondrocytes and help cartilage repair. We tested some new collagen matrices differing in collagen type, origin, structure and methods of extraction and purification, and compared the behavior of human chondrocytes cultured on them. Human chondrocytes were grown for three weeks on four different equine type I collagen matrices, one type I, III porcine collagen matrix and one porcine type II collagen matrix. After 21 days, samples were subjected to histochemical, immunohistochemical and histomorphometric analysis to study phenotype expression and cell adhesion. At 7, 14 and 21 days cell proliferation was studied by incorporation of [3H]-thymidine. Our data evidence that the collagen type influences cell morphology, adhesion and growth; indeed, cellularity and rate of proliferation were significantly higher and cells were rounder on the collagen II matrix than on either of the collagen I matrices. Among the collagen I matrices, we observed a great variability in terms of cell adhesion and proliferation. The present study allowed us to identify one type I collagen matrix and one type II collagen matrix that could be usefully employed as a scaffold for chondrocyte transplantation. 相似文献