In this paper, we discuss some formal properties of the model ofbidirectional Optimality Theory that was developed inBlutner (2000). We investigate the conditions under whichbidirectional optimization is a well-defined notion, and we give aconceptually simpler reformulation of Blutner's definition. In thesecond part of the paper, we show that bidirectional optimization can bemodeled by means of finite state techniques. There we rely heavily onthe related work of Frank and Satta (1998) about unidirectionaloptimization. 相似文献
We propose a new procedure for proof by induction in conditional theories where case analysis is simulated by term rewriting. This technique reduces considerably the number of variables of a conjecture to be considered for applying induction schemes. Our procedure is presented as a set of inference rules whose correctness has been formally proved. Moreover, when the axioms are ground convergent and the functions are completely defined, it is possible to apply the system for refuting conjectures. The procedure is even refutationally complete for conditional equations with Boolean preconditions over free constructors. The method is entirely implemented in the proverSPIKE. This system has solved interesting problems in a completely automatic way, that is, without interaction with the user and without ad hoc heuristics. It has also proved the challenging Gilbreath card trick, with only two easy lemmas.Preliminary versions of the results have been presented at the 13th International Joint Conference on Artificial Intelligence, Chambéry (France), 1993 (Bouhoula and Rusinowith, 1993). 相似文献
A prospective clinical trial comparing adverse postmyelographic effects and myelographic quality of metrizamide and iohexol was conducted. Using a predetermined, randomized assignment, 24 horses exhibiting neurologic signs were administered either metrizamide (180 mgl/ml) or iohexol (180 mgl/ml) via cerebellomedullary puncture. Each horse was evaluated postmyelographically for adverse effects. Myelographic quality was assessed by a numerical scoring method. Adverse effects were observed more frequently with metrizamide (21) compared with iohexol (6) myelography (p < 0.05). Seizures, intensification of preexisting neurologic signs and prolonged anesthetic recovery were the most common complications after myelography. There was no difference in myelographic quality (p > 0.05). We conclude that iohexol is safer than metrizamide for equine myelography and that quality myelograms can be obtained with either contrast medium. 相似文献
In earlier experiments we have studied pure elements with a fast pulse heating technique to obtain thermophysical properties of the liquid state. We report here results for thermophysical properties such as specific heat and dependences among enthalpy, electrical resistivity, and temperature, for four W–Re alloys (3.95, 21.03, 23.84, and 30.82 at % of Re) in a wide temperature range covering solid and liquid states. Thermal conductivity is calculated using the Wiedemann–Franz law for the liquid alloy, as.well as data for thermal diffusivity for the beginning of the liquid phase. Additionally, data for the entire temperature range studied have been analyzed in comparison with those of the constituent elements, tungsten and rhenium, since both metals have been studied previously with the same experimental technique. Such information is of interest in the field of metallurgy since W–Re alloys of low Re content in the region of mutual component solubility in the solid state are widely used as thermocouple materials for the purposes of high-temperature thermometry. 相似文献
Flexible integration of distributed design and manufacturing activities is one of the key issues in applying just-in-time principles along the logistics chain. The potential of AI based approaches in this field is clear, but the inherent asynchrony, concurrency, and inconsistency of distributed operations has reduced enthusiasm so far.This paper discusses coordination in the context of geographically distributed manufacturing of one-of-a-kind products. Cooperation of partners is based on semi-automated user agents which operate as an integrative layer between more dedicated tools and systems. The management of order changes in elevator manufacture is used as a case example.The work reported here is part of the DIMUN project (DIMUN, 1989) in the RACE program. 相似文献
The paper proposes a novel metaheuristic based on integrating chaotic maps into a Henry gas solubility optimization algorithm (HGSO). The new algorithm is named chaotic Henry gas solubility optimization (CHGSO). The hybridization is aimed at enhancement of the convergence rate of the original Henry gas solubility optimizer for solving real-life engineering optimization problems. This hybridization provides a problem-independent optimization algorithm. The CHGSO performance is evaluated using various conventional constrained optimization problems, e.g., a welded beam problem and a cantilever beam problem. The performance of the CHGSO is investigated using both the manufacturing and diaphragm spring design problems taken from the automotive industry. The results obtained from using CHGSO for solving the various constrained test problems are compared with a number of established and newly invented metaheuristics, including an artificial bee colony algorithm, an ant colony algorithm, a cuckoo search algorithm, a salp swarm optimization algorithm, a grasshopper optimization algorithm, a mine blast algorithm, an ant lion optimizer, a gravitational search algorithm, a multi-verse optimizer, a Harris hawks optimization algorithm, and the original Henry gas solubility optimization algorithm. The results indicate that with selecting an appropriate chaotic map, the CHGSO is a robust optimization approach for obtaining the optimal variables in mechanical design and manufacturing optimization problems.
Engineering with Computers - In this paper, a Lie-group integrator based on $$GL_4(\mathbb {R})$$ and the reproducing kernel functions has been constructed to investigate the flow characteristics... 相似文献
The combined effect of haptic and auditory feedback in shared interfaces on the cooperation between visually impaired and sighted persons is under-investigated. A central challenge for cooperating group members lies in obtaining a common understanding of the elements of the workspace and maintaining awareness of the other members' actions, as well as one's own, during the group work process. The aim of the experimental study presented here was to investigate if adding audio cues in a haptic and visual interface makes collaboration between a sighted and a blindfolded person more efficient. Results showed that task performance was significantly faster in the audio, haptic and visual feedback condition compared to the haptic and visual feedback condition. One special focus was also to study how participants utilize the auditory and haptic force feedback in order to obtain a common understanding of the workspace and to maintain an awareness of the group members' actions. Results from a qualitative analysis showed that the auditory and haptic feedback was used in a number of important ways to support the group members' action awareness and in the participants' grounding process. 相似文献