State observability and condition observability for a class of interacting discrete event systems

This paper introduces the concepts of state observability and condition observability for condition systems, a class of systems composed of discrete state components which interact via discrete binary signals called conditions. Given a set of externally observed conditions, state observability implies that the state of the system can be determined from the observations, and condition observability implies that all unobserved input and output conditions of the system can be determined from the observations. In this paper, we present a class of systems which is state observable and condition observable. We present a method to synthesize an observer system to provide state and condition signal estimates for a single component subsystem.     

Phase I trial of weekly scheduling and pharmacokinetics of titanocene dichloride in patients with advanced cancer

PURPOSE: To determine the maximum-tolerated dose (MTD) and the dose-limiting toxicities (DLTs) of a weekly schedule of titanocene dichloride (TD) and to define the pharmacokinetics of titanium in plasma and urine. PATIENTS AND METHODS: Twenty patients with a median age of 58 years received 83 courses of TD. TD was given as 1-hour infusion at escalating doses from 70 to 185 mg/m2/wk. Pharmacokinetic analysis was performed in eight patients for total plasma titanium (TPTi) and in three patients for ultrafiltrable titanium (UFTi). RESULTS: At the fifth dose level (185 mg/m2/wk), a variety of DLTs were seen in five patients: fatigue in three, bilirubinemia in one, and hypokalemia in two. A further six patients were treated at 140 mg/m2; only one had dose-limiting creatinine elevation and this dose was therefore defined as the MTD. No myelosuppression or alopecia were observed. One patient with adenocarcinoma of unknown primary had a minor response. Pharmacokinetic analysis showed that TPTi maximum concentration (Cmax) values were linear with dose and elimination of TPTi was triphasic with a long terminal half-life (t1/2; median, 165 hours; range, 89 to 592). Between 7% and 24.3% of the total of administered titanium was eliminated in urine over the first 24 hours. In contrast, UFTi elimination was described by a one-compartment model with a t1/2 of 0.41 hours; peak levels of UFTi were 5.2% +/- 2.5% those of TPTi. CONCLUSION: The MTD of TD given on a weekly schedule is 140 mg/m2, with cumulative, but reversible creatinine and bilirubin elevation being the DLTs.     

Quantifying DNS namespace influence

Name resolution using the Domain Name System (DNS) is integral to today’s Internet. The resolution of a domain name is often dependent on namespace outside the control of the domain’s owner. In this article we review the DNS protocol and several DNS server implementations. Based on our examination, we propose a formal model for analyzing the name dependencies inherent in DNS. Using our name dependency model we derive metrics to quantify the extent to which domain names affect other domain names. It is found that under certain conditions, more than half of the queries for a domain name are influenced by namespaces not expressly configured by administrators. This result serves to quantify the degree of vulnerability of DNS due to dependencies that administrators are unaware of. When we apply metrics from our model to production DNS data, we show that the set of domains whose resolution affects a given domain name is much smaller than previously thought. However, behaviors such as using cached addresses for querying authoritative servers and chaining domain name aliases increase the number and diversity of influential domains, thereby making the DNS infrastructure more vulnerable.     

Oxygen reduction activity of Pt and Pt-Mn-Co electrocatalysts sputtered on nano-structured thin film support

We report on extensive measurements of oxygen reduction activity of Pt and Pt-Co-Mn electrocatalysts using the rotating ring-disk electrode (RRDE) method. The electrocatalysts were prepared by sputtering from Pt or Pt, Co and Mn targets onto 3M's nano-structured thin film support (NSTF) structures. The area specific activity of Pt/NSTF, measured in 0.1 M HClO₄ and at room temperature, is similar to that of bulk Pt. The area specific measurements show a 20 mV reduction in the Pt-Co-Mn/NSTF overpotential compared to Pt/NSTF. The corresponding kinetic gain in the area specific activity of the ternary alloy is about a factor of two. This ORR enhancement factor observed in the ternary Pt-Co-Mn/NSTF by RRDE measurements is similar to the results obtained in 50 cm² H₂/air fuel cells.     

Prediction of Experimental Methanol Decomposition Rates on Platinum from First Principles

A microkinetic model for methanol decomposition on platinum is presented. The model incorporates competitive decomposition pathways, beginning with both O–H and C–H bond scission in methanol, and uses results from density functional theory (DFT) calculations [Greeley and Mavrikakis, J. Am. Chem. Soc. 124 (2002) 7193, Greeley and Mavrikakis, J. Am. Chem. Soc. 126 (2004) 3910]. Results from reaction kinetics experiments show that the rate of H₂ production increases with increasing temperature and methanol concentration in the feed and is only nominally affected by the presence of CO or H₂ with methanol. The model, based on the values of binding energies, pre-exponential factors and activation energy barriers derived from first principles calculations, accurately predicts experimental reaction rates and orders. The model also gives insight into the most favorable reaction pathway, the rate-limiting step, the apparent activation energy, coverages, and the effects of pressure. It is found that the pathway beginning with the C–H bond scission (CH₃OH→H₂COH→HCOH→CO) is dominant compared with the path beginning with O–H bond scission. The cleavage of the first C–H bond in methanol is the rate-controlling step. The surface is highly poisoned by CO, whereas COH appears to be a spectator species.     

Interactive Simulation of Rigid Body Dynamics in Computer Graphics

Interactive rigid body simulation is an important part of many modern computer tools, which no authoring tool nor game engine can do without. Such high‐performance computer tools open up new possibilities for changing how designers, engineers, modelers and animators work with their design problems. This paper is a self contained state‐of‐the‐art report on the physics, the models, the numerical methods and the algorithms used in interactive rigid body simulation all of which have evolved and matured over the past 20 years. Furthermore, the paper communicates the mathematical and theoretical details in a pedagogical manner. This paper is not only a stake in the sand on what has been done, it also seeks to give the reader deeper insights to help guide their future research.     

Influence of Amorphous Grain Boundary Phases on the Superplastic Behavior of 3-mol%-Yttria-Stabilized Tetragonal Zirconia Polycrystals (3Y-TZP)

Amorphous silicate grain boundary phases of varying chemistry and amounts were added to 3Y-TZP in order to determine their influence on the superplastic behavior between 1200° and 1300°C and on the room-temperature mechanical properties. Strain rate enhancement at high temperatures was observed in 3Y-TZP containing a glassy grain boundary phase, even with as little as 0.1 wt% glass. Strain rate enhancement was greatest in 3Y-TZP with 5 wt% glass, but the room-temperature hardness, elastic modulus, and fracture toughness were degraded. The addition of glassy grain boundary phases did not significantly affect the stress exponent of 3Y-TZP, but did lower the activation energy for superplastic flow. Strain rate enhancement was highest in samples containing the grain boundary phase with the highest solubility for Y₂O₃ and ZrO₂, but the strain rate did not scale inversely with the viscosity of the silicate phases. Grain boundary sliding accommodated by diffusional creep controlled by an interface reaction is proposed as the mechanism for superplastic deformation in 3Y-TZP with and without glassy grain boundary phases.     

An industrial study of applying input space partitioning to test financial calculation engines

This paper presents results from an industrial study that applied input space partitioning and semi-automated requirements modeling to large-scale industrial software, specifically financial calculation engines. Calculation engines are used in financial service applications such as banking, mortgage, insurance, and trading to compute complex, multi-conditional formulas to make high risk financial decisions. They form the heart of financial applications, and can cause severe economic harm if incorrect. Controllability and observability of these calculation engines are low, so robust and sophisticated test methods are needed to ensure the results are valid. However, the industry norm is to use pure human-based, requirements-driven test design, usually with very little automation. The Federal Home Loan Mortgage Corporation (FHLMC), commonly known as Freddie Mac, concerned that these test design techniques may lead to ineffective and inefficient testing, partnered with a university to use high quality, sophisticated test design on several ongoing projects. The goal was to determine if such test design can be cost-effective on this type of critical software. In this study, input space partitioning, along with automation, were applied with the help of several special-purpose tools to validate the effectiveness of input space partitioning. Results showed that these techniques were far more effective (finding more software faults) and more efficient (requiring fewer tests and less labor), and the managers reported that the testing cycle was reduced from five human days to 0.5. This study convinced upper management to begin infusing this approach into other software development projects.     

Entanglement networks of 1,2-polybutadiene crosslinked in states of strain. IV. States of ease and stress–strain behavior

Linear 1,2-polybutadiene, glass transition temperature (T_g) ?18°C, is crosslinked at ?10°C, to ?20°C by γ irradiation while strained in simple extension, with extension, ratios (λ₀) from 1.2 to 2.7. After release, the sample retracts to a state of ease (λ_s) at room temperature. From equilibrium stress–strain measurements up to a stretch ratio relative to the state of ease (Λ) of 1.2, together with λ₀ and λ_s, the concentration of network strands terminated by trapped entanglements (νN) is calculated. For this purpose, a three-constant Mooney–Rivlin formulation is used, in which the entanglement network is described by Mooney–Rivlin coefficients C_1N and C_2N, whereas the crosslink networks is described by the coefficient C_1x only. The ratio ψ_N = C_2N/(C_1N + C_2N) is estimated from parallel studies of nonlinear stress relaxation of the uncrosslinked polymer, taking into account the thermal history before and during irradiation. For substantial degrees of crosslinking, i.e., for R_0′ = ν_x/ν_N > 0.4 (where ν_N is the concentration of network strands terminated by crosslinks), and for λ₀ < 1.8, C_2N agrees rather well with the value obtained from stress relaxation of the uncrosslinked polymer in the range of time scale where it is nearly independent of time (1.87 X 10⁵ pascals). The corresponding value of ν_N is 2.3 × 10^?4 moles/cm³, in good agreement with that obtained from viscoelastic measurements of the uncrosslinked polymer in the plateau zone (2.5 × 10^?4). However, for R_0′ ? 0.2, smaller values of C_2N and ν_N are obtained, indicating that for low degrees of crosslinking the entanglements are not completely trapped. Also, for higher values of λ₀, C_2N and ν_N turn out to be somewhat smaller. Similar, less extensive results were obtained previously on a 1,2-polybutadiene with somewhat higher vinyl content and a higher T_g. Crosslinked samples of both these polymers were subjected to equilibrium stress–strain measurements in simple elongation from the state of ease at higher strains up to Λ = 1.7. The results agreed closely with calculations from the three-constant Mooney–Rivlin theory.     

MEMS陀螺仪在恶劣高温环境下提供准确的惯性检测

越来越多的应用需要从处于高温环境中的传感器收集数据。相比同等的分立式传感器,MEMS通常更小巧,功耗和成本都更低。此外,它们还可以在同样大小的半导体封装内集成信号调理电路。除了可以提供高精度倾斜(倾角)测量,还需要更加灵活和自由,以准确测量系统在严苛环境应用下的移动,在这些环境下,最终产品可能遭受冲击、振动和剧烈移动。这种类型的滥用会导致系统过度磨损和提前出现故障,由此产生高额的维护或停机成本。为了满足这一需求,开发了一款集成信号调理功能的高温MEMS陀螺仪,此传感器即使在冲击和振动环境下也能实现准确的角速率(转速)测量,且额定工作温度高达175℃。