Updated semi‐discretization method for periodic delay‐differential equations with discrete delay

An updated version of the semi‐discretization method is presented for periodic systems with a single discrete time delay. The delayed term is approximated as a weighted sum of two neighbouring discrete delayed state values and the transition matrix over a single period is determined. Stability charts are constructed for the damped and delayed Mathieu equation for different time‐period/time‐delay ratios. The convergence of the method is investigated by examples. Stability charts are constructed for 1 and 2 degree of freedom milling models. The codes of the algorithm are also attached in the appendix. Copyright © 2004 John Wiley & Sons, Ltd.     

Stability of Circular Cylindrical Shells with a Single Local Dent

The theoretical-and-experimental investigation has been performed on the stability of smooth cylindrical shells of steel with a single local dent. All the shells manufactured using the same process were tested with the fulfillment of identical conditions for observations and measurements. Theoretical calculations were carried out by the mesh method with the use of the nonlinear theory of shells. A comparison of the experimental and theoretical values of the critical loads has been made. The theoretical-and-experimental approach proposed enables one to evaluate the quality of shells by studying local dents and other specific imperfections.     

Using classification techniques for informal requirements in the requirements analysis-supporting system

In order to efficiently develop large-scale and complicated software, it is important for system engineers to correctly understand users’ requirements. Most requirements in large-scale projects are collected from various stakeholders located in various regions, and they are generally written in natural language. Therefore, the initial collected requirements must be classified into various topics prior to analysis phases in order to be usable as input in several requirements analysis methods. If this classification process is manually done by analysts, it becomes a time-consuming task. To solve this problem, we propose a new bootstrapping method which can automatically classify requirements sentences into each topic category using only topic words as the representative of the analysts’ views. The proposed method is verified through experiments using two requirements data sets: one written in English and the other in Korean. The significant performances were achieved in the experiments: the 84.28 and 87.91 F1 scores for the English and Korean data sets, respectively. As a result, the proposed method can provide an effective function for an Internet-based requirements analysis-supporting system so as to efficiently gather and analyze requirements from various and distributed stakeholders by using the Internet.     

谈谈马克思主义理论课教师世界观与价值观修养问题

马克思主义理论课教师世界观的要求就是辩证唯物主义和历史唯物主义的思想体系和方法论；其价值观的要求就是以大公无私为特征的价值判断标准。马克思主义理论课所具有的知识性和思想性、科学性和实践性相统一的特点，要求马克思主义理论课教师，不仅要有扎实的化知识，而且必须加强其世界观和价值观的修养。许多事实证明，只有这样才能真正提高马克思主义理论课的教学实效。     

利用试井资料评价压裂地质效果

依据裂缝井试井解释理论，利用实测试井资料对压裂地质效果进行了深入剖析。通过部分探井措施后增产效果实例研究，把压裂地质效果分为三种类别；并从地质角度出发，详细分析了优选压裂井层的依据。为油气井合理开发和制定增产措施提供参考依据。     

The validity of psychophysiological detection of information with the Guilty Knowledge Test: A meta-analytic review.

The authors performed a meta-analysis based on 169 conditions, gathered from 80 laboratory studies, to estimate the validity of the Guilty Knowledge Test (GKT) with the electrodermal measure. The over-all average effect size was 1.55, but there were considerable variations among studies. In particular, mock-crime studies produced the highest average effect size (2.09). Three additional moderators, were identified: Motivational instructions, deceptive ("no") verbal responses, and the use of at least 5 questions were associated with enhanced validity. Finally, a set of 10 studies that best approximated applications of the GKT under optimal conditions produced an average effect size of 3.12. The authors discuss factors that might limit the generalizability of these results and recommend further research of the GKT in realistic setups. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

Experimental and simulation studies of gas sorption processes in polycarbonate films

This work reports the experimental isotherms describing the concentration of oxygen and nitrogen in poly(bisphenol A carbonate-co-4,4′-(3,3,5-trimethylcyclohexylidene) diphenol carbonate) vs pressure, at 30 °C. The solubility coefficients are interpreted in terms of the Flory-Huggins theory, obtaining reasonable values for the enthalpic polymer-gas parameter. A new method is outlined to simulate the probabilities of inserting/removing a gas molecule in a host matrix already containing n molecules of gas. The simulated isotherms representing the pressure dependence of the concentration exhibit the same pattern as those experimentally obtained.     

Uncertainty,belief, and probability1

We introduce a new probabilistic approach to dealing with uncertainty, based on the observation that probability theory does not require that every event be assigned a probability. For a nonmeasurable event (one to which we do not assign a probability), we can talk about only the inner measure and outer measure of the event. In addition to removing the requirement that every event be assigned a probability, our approach circumvents other criticisms of probability-based approaches to uncertainty. For example, the measure of belief in an event turns out to be represented by an interval (defined by the inner and outer measures), rather than by a single number. Further, this approach allows us to assign a belief (inner measure) to an event E without committing to a belief about its negation -E (since the inner measure of an event plus the inner measure of its negation is not necessarily one). Interestingly enough, inner measures induced by probability measures turn out to correspond in a precise sense to Dempster-Shafer belief functions. Hence, in addition to providing promising new conceptual tools for dealing with uncertainty, our approach shows that a key part of the important Dempster-Shafer theory of evidence is firmly rooted in classical probability theory. Cet article présente une nouvelle approche probabiliste en ce qui concerne le traitement de l'incertitude; celle-ci est basée sur l'observation que la théorie des probabilityés n'exige pas qu'une probabilityé soit assignée à chaque événement. Dans le cas d'un événement non mesurable (un événement pour lequel on n'assigne aucune probabilityé), nous ne pouvons discuter que de la mesure intérieure et de la mesure extérieure de l'évenément. En plus d'éliminer la nécessité d'assigner une probabilityéà l'événement, cette nouvelle approche apporte une réponse aux autres critiques des approches à l'incertitude basées sur des probabilityés. Par exemple, la mesure de croyance dans un événement est représentée par un intervalle (défini par la mesure intérieure et extérieure) plutǒt que par un nombre unique. De plus, cette approche nous permet d'assigner une croyance (mesure intérieure) à un événement E sans se compromettre vers une croyance à propos de sa négation -E (puisque la mesure intérieure d'un événement et la mesure intérieure de sa négation ne sont pas nécessairement une seule et unique mesure). II est intéressant de noter que les mesures intérieures qui résultent des mesures de probabilityé correspondent d'une manière précise aux fonctions de croyance de Dempster-Shafer. En plus de constituer un nouvel outil conceptuel prometteur dans le traitement de l'incertitude, cette approche démontre qu'une partie importante de la théorie de l'évidence de Dempster-Shafer est fermement ancrée dans la theorie classique des probabilityés.     

Representing temporal knowledge in conceptual graphs

This study was motivated by some difficulties encountered by the authors when trying to express temporal knowledge using Sowa's conceptual graph (CG) approach. An overview of Sowa's approach is given and the difficulties encountered when trying to model temporal knowledge are outlined: the disparity of notations allowed by CG theory for expressing temporal information; the ambiguity and incompleteness of tense sspecification; the difficulty of harmonizing tenses and intergraph temporal relations. Various approaches suggested for representing time both in artificial intelligence and linguistics are presented, and an extension to Sowa's approach is proposed in which temporal and nontemporal knowledge are differentiated. In this model points in time are represented as well as time intervals. A semantic interpretation of verbs is provided based on an extension of Reichenbach's model of temporal markers. The authors show how their approach enables the representation of tenses as well as the aspectual properties of natural language sentences.