User interface design support for the development of knowledge-based systems

The present scarcity of operational knowledge-based systems (KBS) has been attributed, in part, to an inadequate consideration shown to user interface design during development. From a human factors perspective the problem has stemmed from an overall lack of user-centred design principles. Consequently the integration of human factors principles and techniques is seen as a necessary and important precursor to ensuring the implementation of KBS which are useful to, and usable by, the end-users for whom they are intended. Focussing upon KBS work taking place within commercial and industrial environments, this research set out to assess both the extent to which human factors support was presently being utilised within development, and the future path for human factors integration. The assessment consisted of interviews conducted with a number of commercial and industrial organisations involved in KBS development; and a set of three detailed case studies of individual KBS projects. Two of the studies were carried out within a collaborative Alvey project, involving the Interdisciplinary Higher Degrees Scheme (IHD) at the University of Aston in Birmingham, BIS Applied Systems Ltd (BIS), and the British Steel Corporation. This project, which had provided the initial basis and funding for the research, was concerned with the application of KBS to the design of commercial data processing (DP) systems. The third study stemmed from involvement on a KBS project being carried out by the Technology Division of the Trustees Saving Bank Group plc. The preliminary research highlighted poor human factors integration. In particular, there was a lack of early consideration of end-user requirements definition and user-centred evaluation. Instead concentration was given to the construction of the knowledge base and prototype evaluation with the expert(s). In response to this identified problem, a set of methods was developed that was aimed at encouraging developers to consider user interface requirements early on in a project. These methods were then applied in the two further projects, and their uptake within the overall development process was monitored. Experience from the two studies demonstrated that early consideration of user interface requirements was both feasible, and instructive for guiding future development work. In particular, it was shown a user interface prototype could be used as a basis for capturing requirements at the functional (task) level, and at the interface dialogue level. Extrapolating from this experience, a KBS life-cycle model is proposed which incorporates user interface design (and within that, user evaluation) as a largely parallel, rather than subsequent, activity to knowledge base construction. Further to this, there is a discussion of several key elements which can be seen as inhibiting the integration of human factors within KBS development. These elements stem from characteristics of present KBS development practice; from constraints within the commercial and industrial development environments; and from the state of existing human factors support.

Performance analysis of polymer optical fibre based Fabry-Perot sensor formed by two uniform Bragg gratings

The stress sensitivity of polymer optical fibre (POF) based Fabry-Perot sensors formed by two uniform Bragg gratings with finite dimensions is investigated. POF has received high interest in recent years due to its different material properties compared to its silica counterpart. Biocompatibility, a higher failure strain and the highly elastic nature of POF are some of the main advantages. The much lower Young’s modulus of polymer materials compared to silica offers enhanced stress sensitivity to POF based sensors which renders them great candidates for acoustic wave receivers and any kind of force detection. The main drawback in POF technology is perhaps the high fibre loss. In a lossless fibre the sensitivity of an interferometer is proportional to its cavity length. However, the presence of the attenuation along the optical path can significantly reduce the finesse of the Fabry-Perot interferometer and it can negatively affect its sensitivity at some point. The reflectivity of the two gratings used to form the interferometer can be also reduced as the fibre loss increases. In this work, a numerical model is developed to study the performance of POF based Fabry-Perot sensors formed by two uniform Bragg gratings with finite dimensions. Various optical and physical properties are considered such as grating physical length, grating effective length which indicates the point where the light is effectively reflected, refractive index modulation of the grating, cavity length of the interferometer, attenuation and operating wavelength. Using this model, we are able to identify the regimes in which the PMMA based sensor offer enhanced stress sensitivity compared to silica based one.

Permanent magnet synchronous generator based wind power generation system fault protection schemes

The PMSG-based wind power generation system protection is presented in this paper. For large-scale systems, a voltagesource converter rectifier is included. Protection circuits for this topology are studied with simulation results for cable permanent fault conditions. These electrical protection methods are all in terms of dumping redundant energy resulting from disrupted path of power delivery. Pitch control of large-scale wind turbines are considered for effectively reducing rotor shaft overspeed. Detailed analysis and calculation of damping power and resistances are presented. Simulation results including fault overcurrent, DC-link overvoltage and wind turbine overspeed are shown to illustrate the system responses under different protection schemes to compare their application and effectiveness.

The Shapley value for shortest path games

In this paper shortest path games are considered. The transportation of a good in a network has costs and benet too. The problem is to divide the prot of the transportation among the players. Fragnelli et al (2000) introduce the class of shortest path games, which coincides with the class of monotone games. They also give a characterization of the Shapley value on this class of games. In this paper we consider further four characterizations of the Shapley value (Shapley (1953)'s, Young (1985)'s, Chun (1989)'s, and van den Brink (2001)'s axiomatizations), and conclude that all the mentioned axiomatizations are valid for shortest path games. Fragnelli et al (2000)'s axioms are based on the graph behind the problem, in this paper we do not consider graph specic axioms, we take TU axioms only, that is, we consider all shortest path problems and we take the view of abstract decision maker who focuses rather on the abstract problem than on the concrete situations.

The Shapley value for shortest path games

In this paper shortest path games are considered. The transportation of a good in a network has costs and benet too. The problem is to divide the prot of the transportation among the players. Fragnelli et al (2000) introduce the class of shortest path games, which coincides with the class of monotone games. They also give a characterization of the Shapley value on this class of games. In this paper we consider further four characterizations of the Shapley value (Shapley (1953)'s, Young (1985)'s, Chun (1989)'s, and van den Brink (2001)'s axiomatizations), and conclude that all the mentioned axiomatizations are valid for shortest path games. Fragnelli et al (2000)'s axioms are based on the graph behind the problem, in this paper we do not consider graph specic axioms, we take TU axioms only, that is, we consider all shortest path problems and we take the view of abstract decision maker who focuses rather on the abstract problem than on the concrete situations.

The recruitment process of the Shining Path and MRTA guerrilla groups: A political psychological perspective

This thesis is an analysis of the recruitment process of the Shining Path -SP- and Revolutionary Movement “Túpac Amaru” -MRTA- guerrilla groups. Although SP was considered more aggressive, it gained more followers than MRTA. This thesis tries to explain why. Social Revolution Theory and Social Movement Theory provide explanations based on issues of “poverty”, disregarding the specific characteristics of the guerrilla groups and their supporters, as well as the influence of specific persuasive processes between the leaders of the groups and their followers. Integrative complexity theory, on the contrary, provides a consistent method to analyze cognitive processes: because people tend to reject complex and sophisticated explanations that require mental efforts, simplicity was the key for success. To prove which guerrilla group provided a simpler worldview, a sample of official documents of SP and MRTA are compared. Finally, content analysis is applied through the Paragraph Completion Test (P.C.T.). ^

Directionality based preventive link maintenance scheme for mobile ad hoc networks

The purpose of this study was to design a preventive scheme using directional antennas to improve the performance of mobile ad hoc networks. In this dissertation, a novel Directionality based Preventive Link Maintenance (DPLM) Scheme is proposed to characterize the performance gain [JaY06a, JaY06b, JCY06] by extending the life of link. In order to maintain the link and take preventive action, signal strength of data packets is measured. Moreover, location information or angle of arrival information is collected during communication and saved in the table. When measured signal strength is below orientation threshold , an orientation warning is generated towards the previous hop node. Once orientation warning is received by previous hop (adjacent) node, it verifies the correctness of orientation warning with few hello pings and initiates high quality directional link (a link above the threshold) and immediately switches to it, avoiding a link break altogether. The location information is utilized to create a directional link by orienting neighboring nodes antennas towards each other. We call this operation an orientation handoff, which is similar to soft-handoff in cellular networks. ^ Signal strength is the indicating factor, which represents the health of the link and helps to predict the link failure. In other words, link breakage happens due to node movement and subsequently reducing signal strength of receiving packets. DPLM scheme helps ad hoc networks to avoid or postpone costly operation of route rediscovery in on-demand routing protocols by taking above-mentioned preventive action. ^ This dissertation advocates close but simple collaboration between the routing, medium access control and physical layers. In order to extend the link, the Dynamic Source Routing (DSR) and IEEE 802.11 MAC protocols were modified to use the ability of directional antennas to transmit over longer distance. A directional antenna module is implemented in OPNET simulator with two separate modes of operations: omnidirectional and directional. The antenna module has been incorporated in wireless node model and simulations are performed to characterize the performance improvement of mobile ad hoc networks. Extensive simulations have shown that without affecting the behavior of the routing protocol noticeably, aggregate throughput, packet delivery ratio, end-to-end delay (latency), routing overhead, number of data packets dropped, and number of path breaks are improved considerably. We have done the analysis of the results in different scenarios to evaluate that the use of directional antennas with proposed DPLM scheme has been found promising to improve the performance of mobile ad hoc networks. ^

Carbon nanostructure based electrodes for high efficiency dye sensitized solar cell

Synthesis and functionalization of large-area graphene and its structural, electrical and electrochemical properties has been investigated. First, the graphene films, grown by thermal chemical vapor deposition (CVD), contain three to five atomic layers of graphene, as confirmed by Raman spectroscopy and high-resolution transmission electron microscopy. Furthermore, the graphene film is treated with CF4 reactive-ion plasma to dope fluorine ions into graphene lattice as confirmed by X-ray photoelectron spectroscopy (XPS) and UV-photoemission spectroscopy (UPS). Electrochemical characterization reveals that the catalytic activity of graphene for iodine reduction enhanced with increasing plasma treatment time, which is attributed to increase in catalytic sites of graphene for charge transfer. The fluorinated graphene is characterized as a counter-electrode (CE) in a dye-sensitized solar cell (DSSC) which shows ~ 2.56% photon to electron conversion efficiency with ~11 mAcm−2 current density. Second, the large scale graphene film is covalently functionalized with HNO3 for high efficiency electro-catalytic electrode for DSSC. The XPS and UPS confirm the covalent attachment of C-OH, C(O)OH and NO3- moieties with carbon atoms through sp2-sp3 hybridization and Fermi level shift of graphene occurs under different doping concentrations, respectively. Finally, CoS-implanted graphene (G-CoS) film was prepared using CVD followed by SILAR method. The G-CoS electro-catalytic electrodes are characterized in a DSSC CE and is found to be highly electro-catalytic towards iodine reduction with low charge transfer resistance (Rct ~5.05 Ωcm 2) and high exchange current density (J0~2.50 mAcm -2). The improved performance compared to the pristine graphene is attributed to the increased number of active catalytic sites of G-CoS and highly conducting path of graphene. We also studied the synthesis and characterization of graphene-carbon nanotube (CNT) hybrid film consisting of graphene supported by vertical CNTs on a Si substrate. The hybrid film is inverted and transferred to flexible substrates for its application in flexible electronics, demonstrating a distinguishable variation of electrical conductivity for both tension and compression. Furthermore, both turn-on field and total emission current was found to depend strongly on the bending radius of the film and were found to vary in ranges of 0.8 - 3.1 V/μm and 4.2 - 0.4 mA, respectively.

Peru’s Shining Path: Recent Dynamics and Future Prospects

Although soundly defeated in the early to mid-1990s, Shining Path (Sendero Luminoso) did not disappear. Over the past five years, it has reemerged in a substantially different form, with both a military and a political component. The organization, once again coordinated by jailed leader Abimael Guzmán Reynoso, has eschewed shorter-term military objectives in favor of a longer-term strategy of slowly rebuilding popular support and establishing a party within the Peruvian political system. In so doing, it has also moved from extreme Maoist ideological rigidity to a more pragmatic, though perhaps only tactical, approach. Financial support is derived once again from cocaine production and trafficking in the Upper Huallaga Valley (UHV). Although there may be some individual exceptions, Shining Path is not a narcoterrorist organization. At the same time, Sendero is still very small, in no way a threat to the Peruvian state, and divided. The Lima-based political organization and the military wing in the UHV continue to follow Guzmán‟s leadership, while the Apurímac-Ene Valleys (VRAE) group remains committed to the armed struggle. The Government of Peru (GOP) response to date, both military and civilian, has been inadequate. VRAE military operations are hampered by poor leadership, ill-trained troops, and an outdated strategy. VRAE development resources have been cut, and the long-promised paved road remains in the planning stage. Without significant GOP adjustments, Shining Path is likely to continue to grow.

Testing of Interposer-Based 2.5D Integrated Circuits

The unprecedented and relentless growth in the electronics industry is feeding the demand for integrated circuits (ICs) with increasing functionality and performance at minimum cost and power consumption. As predicted by Moore's law, ICs are being aggressively scaled to meet this demand. While the continuous scaling of process technology is reducing gate delays, the performance of ICs is being increasingly dominated by interconnect delays. In an effort to improve submicrometer interconnect performance, to increase packing density, and to reduce chip area and power consumption, the semiconductor industry is focusing on three-dimensional (3D) integration. However, volume production and commercial exploitation of 3D integration are not feasible yet due to significant technical hurdles.

At the present time, interposer-based 2.5D integration is emerging as a precursor to stacked 3D integration. All the dies and the interposer in a 2.5D IC must be adequately tested for product qualification. However, since the structure of 2.5D ICs is different from the traditional 2D ICs, new challenges have emerged: (1) pre-bond interposer testing, (2) lack of test access, (3) limited ability for at-speed testing, (4) high density I/O ports and interconnects, (5) reduced number of test pins, and (6) high power consumption. This research targets the above challenges and effective solutions have been developed to test both dies and the interposer.

The dissertation first introduces the basic concepts of 3D ICs and 2.5D ICs. Prior work on testing of 2.5D ICs is studied. An efficient method is presented to locate defects in a passive interposer before stacking. The proposed test architecture uses e-fuses that can be programmed to connect or disconnect functional paths inside the interposer. The concept of a die footprint is utilized for interconnect testing, and the overall assembly and test flow is described. Moreover, the concept of weighted critical area is defined and utilized to reduce test time. In order to fully determine the location of each e-fuse and the order of functional interconnects in a test path, we also present a test-path design algorithm. The proposed algorithm can generate all test paths for interconnect testing.

In order to test for opens, shorts, and interconnect delay defects in the interposer, a test architecture is proposed that is fully compatible with the IEEE 1149.1 standard and relies on an enhancement of the standard test access port (TAP) controller. To reduce test cost, a test-path design and scheduling technique is also presented that minimizes a composite cost function based on test time and the design-for-test (DfT) overhead in terms of additional through silicon vias (TSVs) and micro-bumps needed for test access. The locations of the dies on the interposer are taken into consideration in order to determine the order of dies in a test path.

To address the scenario of high density of I/O ports and interconnects, an efficient built-in self-test (BIST) technique is presented that targets the dies and the interposer interconnects. The proposed BIST architecture can be enabled by the standard TAP controller in the IEEE 1149.1 standard. The area overhead introduced by this BIST architecture is negligible; it includes two simple BIST controllers, a linear-feedback-shift-register (LFSR), a multiple-input-signature-register (MISR), and some extensions to the boundary-scan cells in the dies on the interposer. With these extensions, all boundary-scan cells can be used for self-configuration and self-diagnosis during interconnect testing. To reduce the overall test cost, a test scheduling and optimization technique under power constraints is described.

In order to accomplish testing with a small number test pins, the dissertation presents two efficient ExTest scheduling strategies that implements interconnect testing between tiles inside an system on chip (SoC) die on the interposer while satisfying the practical constraint that the number of required test pins cannot exceed the number of available pins at the chip level. The tiles in the SoC are divided into groups based on the manner in which they are interconnected. In order to minimize the test time, two optimization solutions are introduced. The first solution minimizes the number of input test pins, and the second solution minimizes the number output test pins. In addition, two subgroup configuration methods are further proposed to generate subgroups inside each test group.

Finally, the dissertation presents a programmable method for shift-clock stagger assignment to reduce power supply noise during SoC die testing in 2.5D ICs. An SoC die in the 2.5D IC is typically composed of several blocks and two neighboring blocks that share the same power rails should not be toggled at the same time during shift. Therefore, the proposed programmable method does not assign the same stagger value to neighboring blocks. The positions of all blocks are first analyzed and the shared boundary length between blocks is then calculated. Based on the position relationships between the blocks, a mathematical model is presented to derive optimal result for small-to-medium sized problems. For larger designs, a heuristic algorithm is proposed and evaluated.

In summary, the dissertation targets important design and optimization problems related to testing of interposer-based 2.5D ICs. The proposed research has led to theoretical insights, experiment results, and a set of test and design-for-test methods to make testing effective and feasible from a cost perspective.

Enabling Leg-Based Guidance on Top of Waypoint-Based Autopilots for UAS

This paper presents a methodology to extend the guidance functionalities of Commercial Off-The-Shelf autopilots currently available for Unmanned Aircraft Systems (UAS). Providing that most autopilots only support elemental waypoint-based guidance, this technique allows the aircraft to follow leg-based flight plans without needing to modify the internal control algorithms of the autopilot. It is discussed how to provide Direct to Fix, Track to Fix and Hold to Fix path terminators (along with Fly-Over and Fly-By waypoints) to basic autopilots able to natively execute only a limited set of legs. Preliminary results show the feasibility of the proposal with flight simulations that used a flexible and reconfigurable UAS architecture specifically designed to avoid dependencies with a single or particular autopilot solution.

Uses of agent-based modeling for health communication: the TELL ME case study

Government communication is an important management tool during a public health crisis, but understanding its impact is difficult. Strategies may be adjusted in reaction to developments on the ground and it is challenging to evaluate the impact of communication separately from other crisis management activities. Agent-based modeling is a well-established research tool in social science to respond to similar challenges. However, there have been few such models in public health. We use the example of the TELL ME agent-based model to consider ways in which a non-predictive policy model can assist policy makers. This model concerns individuals’ protective behaviors in response to an epidemic, and the communication that influences such behavior. Drawing on findings from stakeholder workshops and the results of the model itself, we suggest such a model can be useful: (i) as a teaching tool, (ii) to test theory, and (iii) to inform data collection. We also plot a path for development of similar models that could assist with communication planning for epidemics.

Assessment of the EEE-4 oral test: a discourse analysis based on complex networks.

With the development of information technology, the theory and methodology of complex network has been introduced to the language research, which transforms the system of language in a complex networks composed of nodes and edges for the quantitative analysis about the language structure. The development of dependency grammar provides theoretical support for the construction of a treebank corpus, making possible a statistic analysis of complex networks. This paper introduces the theory and methodology of the complex network and builds dependency syntactic networks based on the treebank of speeches from the EEE-4 oral test. According to the analysis of the overall characteristics of the networks, including the number of edges, the number of the nodes, the average degree, the average path length, the network centrality and the degree distribution, it aims to find in the networks potential difference and similarity between various grades of speaking performance. Through clustering analysis, this research intends to prove the network parameters’ discriminating feature and provide potential reference for scoring speaking performance.

Integration of cad/ tool path data for 5-axis step-nc machining of free form / irrregular contoured surfaces

This research paper presents the work on feature recognition, tool path data generation and integration with STEP-NC (AP-238 format) for features having Free form / Irregular Contoured Surface(s) (FICS). Initially, the FICS features are modelled / imported in UG CAD package and a closeness index is generated. This is done by comparing the FICS features with basic B-Splines / Bezier curves / surfaces. Then blending functions are caculated by adopting convolution theorem. Based on the blending functions, contour offsett tool paths are generated and simulated for 5 axis milling environment. Finally, the tool path (CL) data is integrated with STEP-NC (AP-238) format. The tool path algorithm and STEP- NC data is tested with various industrial parts through an automated UFUNC plugin.

Uses of Agent-Based Modeling for Health Communication: the TELL ME Case Study

Government communication is an important management tool during a public health crisis, but understanding its impact is difficult. Strategies may be adjusted in reaction to developments on the ground and it is challenging to evaluate the impact of communication separately from other crisis management activities. Agent-based modeling is a well-established research tool in social science to respond to similar challenges. However, there have been few such models in public health. We use the example of the TELL ME agent-based model to consider ways in which a non-predictive policy model can assist policy makers. This model concerns individuals' protective behaviors in response to an epidemic, and the communication that influences such behavior. Drawing on findings from stakeholder workshops and the results of the model itself, we suggest such a model can be useful: (i) as a teaching tool, (ii) to test theory, and (iii) to inform data collection. We also plot a path for development of similar models that could assist with communication planning for epidemics.