A New Definition of A Priori Knowledge: In Search of a Modal Basis

In this paper I will offer a novel understanding of a priori knowledge. My claim is that the sharp distinction that is usually made between a priori and a posteriori knowledge is groundless. It will be argued that a plausible understanding of a priori and a posteriori knowledge has to acknowledge that they are in a constant bootstrapping relationship. It is also crucial that we distinguish between a priori propositions that hold in the actual world and merely possible, non-actual a priori propositions, as we will see when considering cases like Euclidean geometry. Furthermore, contrary to what Kripke seems to suggest, a priori knowledge is intimately connected with metaphysical modality, indeed, grounded in it. The task of a priori reasoning, according to this account, is to delimit the space of metaphysically possible worlds in order for us to be able to determine what is actual.

A numerical study of projectile impact on mild steel armour plates

The present article deals with the development of a finite element modelling approach for the prediction of residual velocities of hard core ogival-nose projectiles following normal impact on mild steel target plates causing perforation. The impact velocities for the cases analysed are in the range 818–866.3 m/s. Assessment of finite element modelling and analysis includes a comprehensive mesh convergence study using shell elements for representing target plates and solid elements for jacketed projectiles with a copper sheath and a rigid core. Dynamic analyses were carried out with the explicit contact-impact LS-DYNA 970 solver. It has been shown that proper choice of element size and strain rate-based material modelling of target plate are crucial for obtaining test-based residual velocity.The present modelling procedure also leads to realistic representation of target plate failure and projectile sheath erosion during perforation, and confirms earlier observations that thermal effects are not significant for impact problems within the ordnance range. To the best of our knowledge, any aspect of projectile failure or degradation obtained in simulation has not been reported earlier in the literature. The validated simulation approach was applied to compute the ballistic limits and to study the effects of plate thickness and projectile diameter on residual velocity, and trends consistent with experimental data for similar situations were obtained.

Tavallisuudesta tyylikkyyteen? : Sukupuoli ja maku kodinmuutosohjelmissa

The study focuses on the Finnish home makeover shows Inno (2004 , Nelonen) and Kodin kääntöpiiri (2001 2005; YLE TV2) and their episodes broadcast in spring 2004. The research material also includes the websites of both shows and messages concerning Inno from an online discussion forum. As people decorate their homes and reflect on them, they engage in negotiations of taste and in the construction of the ideal self. The main question of the study is: how are representations of the gendered self produced in home makeover shows? The broader theoretical and methodological context of the study is based on intersectionality, or simultaneous study of different identity categories. In this study, the main focus is on the intersections of gender, class and sexuality. Hence, the secondary research question is: how do ways of doing gender intersect with producing the ideas of class and sexuality in the representations of home makeover shows? The theoretical framework of the study combines Judith Butler s theory of gender performativity and Pierre Bourdieu s theory of taste. The analysis is founded upon a close reading focusing on the details and ambiguous meanings contained in the televisual representation. Home makeover shows are explored as a part of contemporary television culture, which is characterised by a significant increase in the number of both television channels and global television formats, as well as the hybridisation of programme types. Researchers on lifestyle television have paid attention to male designers and their ability to reconstruct meanings related to domesticity and home decoration as feminine spheres. The dissertation contributes to this discussion by analysing the representations of the male interior decorator in Inno and the four female interior decorators in Kodin kääntöpiiri. The focus is on the professional self and how it is both gendered and defined as an arbiter of taste. The programme concepts produce the impression that the makeover homes and their occupants are ordinary . The manufactured sense of ordinariness often conceals differences between the participants. One argument of the study is that the ordinariness of participants on lifestyle television should not be taken for granted without further reflection on the implications of labeling something as ordinary. Updating of interior decoration in home makeover shows can be interpreted as an area of doing gender that requires deliberation, effort, expert knowledge and a sufficient budget. The ideal lay decorator is portrayed as culturally omnivorous, brave and receptive to new ideas. The ability to reflect on ways of representing masculinity and femininity through decoration is also implied. In home makeover shows, greater self-awareness regarding the ways in which gender is produced does not lead to repeating gender differently. The idea of normative heterosexuality is in a hegemonic position in the representations of the participants. In Inno and Kodin kääntöpiiri questions of class are not made explicit. However, the idea of class is produced indirectly e.g. by describing the apartments and houses of the participants, by discussing their hobbies or interest in cultural products. In Inno, home decoration is primarily depicted as an individualistic consumer choice, while in Kodin kääntöpiiri it is often defined as a way to strengthen the ties of nuclear families. In Kodin kääntöpiiri, the ethos of familism is combined with pleasures gained from consumption and DIY activities. As a whole, the multidisciplinary study indicates a great number of differences between the two shows.

A knowledge-based approach to pattern generation

Pattern Cognition is looked at from the functional view point. The need for knowledge in synthesizing such patterns is explained and various aspects of knowledge-based pattern generation are highlighted. This approach to the generation of patterns is detailed with a concrete example.

Optimal explicit guidance of multistage launch vehicle along three-dimensional trajectory

Details of an efficient optimal closed-loop guidance algorithm for a three-dimensional launch are presented with simulation results. Two types of orbital injections, with either true anomaly or argument of perigee being free at injection, are considered. The resulting steering-angle profile under the assumption of uniform gravity lies in a canted plane which transforms a three-dimensional problem into an equivalent two-dimensional one. Effects of thrust are estimated using a series in a recursive way. Encke's method is used to predict the trajectory during powered flight and then to compute the changes due to actual gravity using two gravity-related vectors. Guidance parameters are evaluated using the linear differential correction method. Optimality of the algorithm is tested against a standard ground-based trajectory optimization package. The performance of the algorithm is tested for accuracy, robustness, and efficiency for a sun-synchronous mission involving guidance for a multistage vehicle that requires large pitch and yaw maneuver. To demonstrate applicability of the algorithm to a range of missions, injection into a geostationary transfer orbit is also considered. The performance of the present algorithm is found to be much better than others.

Compression of Weighted Graphs

We propose to compress weighted graphs (networks), motivated by the observation that large networks of social, biological, or other relations can be complex to handle and visualize. In the process also known as graph simplication, nodes and (unweighted) edges are grouped to supernodes and superedges, respectively, to obtain a smaller graph. We propose models and algorithms for weighted graphs. The interpretation (i.e. decompression) of a compressed, weighted graph is that a pair of original nodes is connected by an edge if their supernodes are connected by one, and that the weight of an edge is approximated to be the weight of the superedge. The compression problem now consists of choosing supernodes, superedges, and superedge weights so that the approximation error is minimized while the amount of compression is maximized. In this paper, we formulate this task as the 'simple weighted graph compression problem'. We then propose a much wider class of tasks under the name of 'generalized weighted graph compression problem'. The generalized task extends the optimization to preserve longer-range connectivities between nodes, not just individual edge weights. We study the properties of these problems and propose a range of algorithms to solve them, with dierent balances between complexity and quality of the result. We evaluate the problems and algorithms experimentally on real networks. The results indicate that weighted graphs can be compressed efficiently with relatively little compression error.

Analysis of the evanescent field coupling between a fiber and a planar waveguide using the explicit finite difference method with a nonuniform mesh (Journal Paper)

We investigate an optical waveguide system consisting of an unclad fiber core suspended at a constant distance parallel to the surface of a planar waveguide. The coupling and propagation of light in the combined system is studied using the three-dimensional explicit finite difference beam propagation method with a nonuniform mesh configuration. The power loss in the fiber and the field distribution in the waveguide are studied as a function of various parameters, such as index changes, index profile, and propagation distance, for the combined system.