In Vitro Release Properties of Caffeine. II. Effect of Type of Petrolatum and Sodium Benzoate

Petrolatum is widely used for the preparation of topically applied pharmaceutical forms, like ointments. The physico -chemical characteristics of petrolatum largely depends on the source of crude petrolatum which is obtained.

The purpose of this study is to investigate whether any difference exists in release characteristics of two different batches of petrolatum, named as A and B, and to look into the effect of sodium benzoate as a complexing agent on the release properties of caffeine from petrolatum and PEG bases. It is found that the released amount of caffeine from both petrolatums for each concentration is significantly different. It is also established that the use of sodium benzoate increased the released amount of caffeine from petrolatum and PEG bases significantly     

Expression of ICAM-1, VCAM-1, and LFA-1 in adenocarcinoma of the lung with observations on the expression of these adhesion molecules in non-neoplastic lung tissue

Intercellular adhesion molecule (ICAM-1), vascular cell adhesion molecule (VCAM-1), and the lymphocyte function-associated antigen (LFA-1) are cell adhesion molecules thought to play an important role in the complex process of airway inflammation and tumor cell growth. The aim of this study was to examine the distribution of ICAM-1, VCAM-1, and LFA-1 in adenocarcinoma of lung and in major cellular compartments of non-neoplastic lung tissue. We examined cellular compartments in tissue from five bronchoalveolar carcinomas, three acinar adenocarcinomas, and one colon cancer metastatic to the lung. The compartments in neoplasms included the tumor cells proper, endothelial cells within the tumor vasculature, tumor stromal cells, and tumor-infiltrating lymphocytes. The compartments in non-neoplastic lung tissue included lung endothelial cells, pulmonary lymphocytes, interstitial fibroblasts, Type II alveolar pneumocytes, and bronchial epithelial cells. ICAM-1 was expressed in tumor cells from all of the nine adenocarcinomas. In contrast, VCAM-1 expression was not identified in tumor cells from any of the nine adenocarcinomas. ICAM-1 was expressed in all cellular compartments of the non-neoplastic lung tissue, whereas VCAM-1 was expressed only in pulmonary lymphocytes and interstitial fibroblastic cells. LFA-1 was uniformly expressed in tumor-infiltrating lymphocytes from each of the nine tumors and all of the lymphocytes in non-neoplastic lung tissue. This study showed major differences in the expression of ICAM-1 and VCAM-1 in tumor cells from pulmonary adenocarcinoma and also provided evidence for a wider distribution of ICAM-1, compared with VCAM-1, in non-neoplastic cellular compartments of the lung. ICAM-1 expression was particularly noticeable in bronchial and alveolar epithelial cells. Upregulation of ICAM-1 in pulmonary adenocarcinoma might foster binding by LFA-1-bearing lymphocytes, with a possible impact on the vulnerability of tumor cells to host defense mechanisms.     

Study of RF Linearity in sub-50 nm MOSFETs Using Simulations

We investigate the linearity performance of dual-gate and fully-depleted silicon-on-insulator MOSFETs through use of 2D computer simulations, which take into account quantum mechanical considerations and non-equilibrium transport effects. We show that DG MOSFET is superior not only in terms of g _m /I _d characteristics, central to analog performance, but also in terms of linearity performance, by up to 5 dBm, in most operating conditions. Linearity figures of devices considered in this work range from ?10 to ?20 dBm, which answer the needs of mobile communication standards currently in use. We also observe that, when properly scaled, bulk MOSFETs display competitive analog performance and have third-order intercept figures very similar to SOI device. We can identify, through simulation experiments, that quantum mechanical effects have positive impact on linearity, while non-equilibrium conditions lower linearity performance. With increasing drain bias, we find that linearity saturates at a moderately low voltage (～1 V) in all devices.     

Formal verification of a pervasive messaging system

As ubiquitous computing becomes a reality, its applications are increasingly being used in business-critical, mission-critical and even in safety-critical, areas. Such systems must demonstrate an assured level of correctness. One approach to the exhaustive analysis of the behaviour of systems is formal verification, whereby each important requirement is logically assessed against all possible system behaviours. While formal verification is often used in safety analysis, it has rarely been used in the analysis of deployed pervasive applications. Without such formality it is difficult to establish that the system will exhibit the correct behaviours in response to its inputs and environment. In this paper, we show how model-checking techniques can be applied to analyse the probabilistic behaviour of pervasive systems. As a case study we apply this technique to an existing pervasive message-forwarding system, Scatterbox. Scatterbox incorporates many typical characteristics of pervasive systems, such as dependence on sensor reliability and dependence on context. We assess the dynamic temporal behaviour of the system, including the analysis of probabilistic elements, allowing us to verify formal requirements even in the presence of uncertainty in sensors. We also draw some tentative conclusions concerning the use of formal verification for pervasive computing in general.     

An Event-Based Fragment of First-Order Logic over Intervals

We consider a new fragment of first-order logic with two variables. This logic is defined over interval structures. It constitutes unary predicates, a binary predicate and a function symbol. Considering such a fragment of first-order logic is motivated by defining a general framework for event-based interval temporal logics. In this paper, we present a sound, complete and terminating decision procedure for this logic. We show that the logic is decidable, and provide a NEXPTIME complexity bound for satisfiability. This result shows that even a simple decidable fragment of first-order logic has NEXPTIME complexity.     

Analysis of different approaches to cross-dock truck scheduling with truck arrival time uncertainty

This paper studies scheduling of inbound trucks at the inbound doors of a cross-dock facility under truck arrival time uncertainty. Arrival time of an inbound truck is considered to be unknown. In particular, the cross-dock operator only acknowledges the arrival time window of each truck, i.e., the lower and upper bounds of any inbound truck’s arrival time. In absence of any additional information, the cross-dock operator may use three approaches to determine a scheduling strategy: deterministic approach (which assumes expected truck arrival times are equal to their mid-arrival time windows), pessimistic approach (which assumes the worst truck arrivals will be realized), and optimistic approach (which assumes the best truck arrivals will be realized). In this paper, a bi-level optimization problem is formulated for pessimistic and optimistic approaches. We discuss a Genetic Algorithm (GA) to solve the truck-to-door assignments for given truck arrival times, which solves the deterministic approach. Then the GA is modified to solve the bi-level formulations of the pessimistic and the optimistic approaches. Our numerical studies show that an hybrid approach regarding the pessimistic and the optimistic approaches may outperform all of the three approaches in certain cases.     

RF Performance of Strained SiGe pMOSFETs: Linearity and Gain

The RF performance of strained-SiGe pMOSFETs on SOI substrates has been investigated through the use of TCAD simulations. To optimize RF performance of strained-SiGe pMOSFETs, including intrinsic gain, linearity and g_m/I_d, we propose to vary the Ge concentration in the channel, shrink the SOI thickness and adopt an asymmetric doping profile along the channel. We find that neither strain nor the asymmetric doping approach is able to unlock the trade-off between intrinsic gain and linearity found in bulk and SOI relaxed Si MOSFETs. Instead, SOI layer thickness control provides an alternative approach to improving gain without sacrificing linearity. For optimized RF performance, the strained-SiGe pMOSFETs with high Ge concentrations (0.3 ≤ x ≤ 0.7) in the channel and thin SOI layers (< 20 nm) are preferred.     

A multi-objective military system of systems architecting problem with inflexible and flexible systems: formulation and solution methods

System of systems (SoS) architecting is the process of bringing together and connecting a set of systems so that the collection of the systems, i.e., the SoS is equipped with a set of required capabilities. A system is defined as inflexible in case it contributes to the SoS with all of the capabilities it can provide. On the other hand, a flexible system can collaborate with the SoS architect in the capabilities it will provide. In this study, we formulate and analyze a SoS architecting problem representing a military mission planning problem with inflexible and flexible systems as a multi-objective mixed-integer-linear optimization model. We discuss applications of an exact and an evolutionary method for generating and approximating the Pareto front of this model, respectively. Furthermore, we propose a decomposition approach, which decomposes the problem into smaller sub-problems by adding equality constraints, to improve both the exact and the evolutionary methods. Results from a set of numerical studies suggest that the proposed decomposition approach reduces the computational time for generating the exact Pareto front as well as it reduces the computational time for approximating the Pareto front while not resulting in a worse approximated Pareto front. The proposed decomposition approach can be easily used for different problems with different exact and heuristic methods and thus is a promising tool to improve the computational time of solving multi-objective combinatorial problems. Furthermore, a sample scenario is presented to illustrate the effects of system flexibility.     

模具成本计算:挑战、发展与未来

建立了基于计算机辅助的模具成本计算模型并完成系统开发.对模具制造成本计算技术面临的挑战及其现状进行了探讨,并对成本技术系统的发展趋势作了预测.     

Optimizing the hydrogen storage in boron nitride nanotubes by defect engineering

We use ab initio density functional theory calculations to study the interaction of hydrogen with vacancies in boron nitride nanotubes to optimize the hydrogen storage capacity through defect engineering. The vacancies reconstruct by forming B–B and N–N bonds across the defect site, which are not as favorable as heteronuclear B–N bonds. Our total energy and structure optimization results indicate that the hydrogen cleaves these reconstructing bonds to form more stable atomic structures. The hydrogenated defects offer smaller charge densities that allow hydrogen molecule to pass through the nanotube wall for storing hydrogen inside the nanotubes. Our optimum reaction pathway search revealed that hydrogen molecules could indeed go through a hydrogenated defect site with relatively small energy barriers compared to the pristine nanotube wall. The calculated activation energies for different diameters suggest a preferential diameter range for optimum hydrogen storage in defective boron nitride nanotubes.