Temporal-logic query checking over finite data streams

International Journal on Software Tools for Technology Transfer - This paper describes a technique for solving temporal-logic queries over finite sets of finite-length data streams. Such data...     

Theoretical foundation of the 80/20 rule

A rigorous analysis of the 80/20 rule is made using an index for the observed values of the variables. Three important findings are identified. First, a sufficient condition is provided for Burrell's inverse relationship between minimum holdings and average circulation rate. Second, an indexed version of Lotka's law is used to derive a sufficient condition for Egghe's finding on the 80/20 rule. Third, through the computer simulations of the Simon-Yule model of Lotka's law, we identify the entry rate of new holdings as well as the number of circulations when the entry rate is a decreasing function to be crucial factors for the pattern of the 80/20-type curve.     

Identification of a novel inhibitor (NSC 665564) of dihydroorotate dehydrogenase with a potency equivalent to brequinar

A novel inhibitor of dihydroorotate dehydrogenase (DHO-DH) has been discovered using data from the National Cancer Institute's in vitro drug screen. Upon analysis of cytotoxicity results from the sixty tumor cell lines used in this screen, the COMPARE program predicted that NSC 665564 was likely to have the same mechanism of inhibition as brequinar, a known potent inhibitor of DHO-DH. We validated this prediction experimentally using MOLT-4 lymphoblast and found the IC50 of brequinar (0.5 microM) and NSC 665564 (0.3 microM) were comparable and that this induced cytotoxicity was reversed by either uridine or cytidine. The enzyme target of NSC 665564 was shown to be identical to that of brequinar when incubation with each drug followed by a 1 h pulse with [14C] sodium bicarbonate resulted in cellular accumulation of [14C]N-carbamyl-L-aspartic acid and [14C]L-dihydroorotic acid, with concurrent marked depletion of CTP and UTP. The Ki's for NSC 665564 and brequinar were 0.14 and 0.24 microM, respectively, when partially purified MOLT-4 mitochondria (the site of DHO-DH) were used. These results show that mechanistic predictions obtained using correlations from the COMPARE algorithm are independent of structure since the structure of NSC 665564 is dissimilar to that of other established DHO-DH inhibitors.     

A holistic approach to feature modeling for product line requirements engineering

Requirements engineering (RE) offers the means to discover, model, and manage the requirements of the products that comprise a product line, while software product line engineering (SPLE) offers the means of realizing the products’ requirements from a common base of software assets. In practice, however, RE and SPLE have proven to be less complementary than they should. While some RE techniques, particularly goal modeling, support the exploration of alternative solutions, the appropriate solution is typically conditional on context and a large product line may have many product-defining contexts. Thus, scalability and traceability through into product line features are key challenges for RE. Feature modeling, by contrast, has been widely accepted as a way of modeling commonality and variability of products of a product line that may be very complex. In this paper, we propose a goal-driven feature modeling approach that separates a feature space in terms of problem space and solution space features, and establish explicit mappings between them. This approach contributes to reducing the inherent complexity of a mixed-view feature model, deriving key engineering drivers for developing core assets of a product line, and facilitating the quality-based product configuration.     

过程自动化系统

读者们觉得新型过程系统更加有用,希望可以购买到更多这样的产品。专家建议:在考虑价格前,首先考虑对系统性能的要求及其拓展性。过程自动化系统较传统的分布式控制系统进步,但用户还是有很多相似的考虑,如可靠性、技术支持和升级等。为了预测出这个价值数     

Natural perspective projections for head-mounted displays

The display units integrated in today's head-mounted displays (HMDs) provide only a limited field of view (FOV) to the virtual world. In order to present an undistorted view to the virtual environment (VE), the perspective projection used to render the VE has to be adjusted to the limitations caused by the HMD characteristics. In particular, the geometric field of view (GFOV), which defines the virtual aperture angle used for rendering of the 3D scene, is set up according to the display field of view (DFOV). A discrepancy between these two fields of view distorts the geometry of the VE in a way that either minifies or magnifies the imagery displayed to the user. It has been shown that this distortion has the potential to affect a user's perception of the virtual space, sense of presence, and performance on visual search tasks. In this paper, we analyze the user's perception of a VE displayed in a HMD, which is rendered with different GFOVs. We introduce a psychophysical calibration method to determine the HMD's actual field of view, which may vary from the nominal values specified by the manufacturer. Furthermore, we conducted two experiments to identify perspective projections for HMDs, which are identified as natural by subjects--even if these perspectives deviate from the perspectives that are inherently defined by the DFOV. In the first experiment, subjects had to adjust the GFOV for a rendered virtual laboratory such that their perception of the virtual replica matched the perception of the real laboratory, which they saw before the virtual one. In the second experiment, we displayed the same virtual laboratory, but restricted the viewing condition in the real world to simulate the limited viewing condition in a HMD environment. We found that subjects evaluate a GFOV as natural when it is larger than the actual DFOV of the HMD--in some cases up to 50 percent--even when subjects viewed the real space with a limited field of view.     

The Managerial Implications of Real-Time New Product Development in Financial Services

A review of the various models of New Product Development (NPD) process shows that although different approaches have been proposed, they are in fact all variants on a linear theme: some may include feedback loops, but they all essentially advocate that certain steps precede, or are preceded by, others. An inevitable consequence on the Internet/World Wide Web (WWW or Web) is that such models are no longer applicable. Based on the lessons learned from the development of a new financial service offered via the Internet, we show how such assumptions of linearity need no longer be a constraint. In addition, innovativeness is not related to firm size. But the fact that the Web allows for the real-time development of new financial services based on on-going feedback from potential and current customers raises a new set of managerial issues that have to be tackled. The objective of this paper is to use the context of the recent launch of an innovative financial service product via the Web to explore the managerial changes that are starting to affect the banking industry.     

Translating Policy Into Brownfield Solar Development

Developing solar power generating resources on dormant, suspect property is an evolving activity, growing in popularity.