Abstract: Improved 8-node hexahedral elements configured for reducing shear locking in finite element method are disclosed. According to one aspect, aspect-ratio based scale factors are introduced to modify partial derivatives of the isoparametric shape function of the hexahedral element with respect to isoparametric dimensions, respectively. The modified derivatives are used for calculating the Jacobian matrix thereby the rate-of-strain. The scale factor is configured such that no changes for a perfect cubic solid element (i.e., element having aspect ratio of 1 (one) in all three spatial dimensions), while significant changes for element having poor aspect ratio. In other words, elements with poor aspect ratio are mapped to a perfect cubic element using the aspect-ratio based scale factors. According to anther aspect, off-diagonal components in the local Jacobian matrix are directly modified by cancelling terms related to spurious shear deformation modes.

Abstract: A system, method and memory medium for injecting positional information into a geological data set for improved modeling of surfaces in a geological formation. The method involves: (1) displaying a cross section of the formation through a selected subset of wells, where the displayed cross section includes well picks for the selected wells; (2) opening a gap in an unconformity of the displayed cross section, where the gap is opened at one or more wells that intersect the unconformity, where the gap represents non-deposition and/or material that is missing from the formation due to erosion; (3) receiving user input specifying positions of tops within the gap; and (4) closing the gap, where closing the gap includes calculating positions of restored tops based on the positions of the tops specified within the gap, where the positions of the restored tops are usable to model one or more surfaces in the formation.

Abstract: A method for predicting aerodynamic impact for small appendages on aircraft, wherein the improvement comprises using an adaptable computational fluid dynamic model of airflow adjacent the appendage by isolating a patch surrounding the small appendage, measuring the load on the patch without the appendage in place and with the appendage in a place and subtracting the two for increasing computational accuracy of the load predictions for the small appendage to be able to measure the effect of the small appendage.

Abstract: Formal verification of models using concurrent model-reduction and model-checking. For example, a system for formal verification of models includes: one or more model reducers to reduce a model; one or more model checkers to check the model, wherein at least one of the model reducers is to run concurrently with at least one of the model checkers; and a model synchronizer to synchronize information between at least one of the model reducers and at least one of the model checkers.

Abstract: A method is provided for determining the complexity of a system. The method includes creating a response matrix for the system, creating a contingency matrix, Cn, from the response matrix, and calculating the complexity of the system from the formula: Complexity=[?/det(CnTCn)]*Log2([(H(x)/H(y))]) wherein H(x) is the input information quantity, H(y) is the output information quantity, and ? is a dimensionless system constant. The method also includes displaying the complexity of the system.

Abstract: Systems and/or methods that facilitate simulation, verification, and optimization of a data transmission system by utilizing simulation memory component(s) are presented. A simulation memory component can be used to replace memory components and/or hardware components to facilitate early simulation and/or verification of the overall interconnectivity of the system. A simulation memory component(s) can be configured to emulate various sizes of memory components associated with the system. Data throughput can be measured during simulation, and the depth and/or width associated with a simulation memory component can be adjusted to facilitate obtaining a desired data throughput based in part on predefined data throughput criteria.

Abstract: In a design support apparatus, a storage unit stores location data of an assembly including a first member long and flexible and a second member connected to the first member and having a larger cross-sectional shape than that of the first member within a product, and respective positions of installed objects. A geometric center calculation unit virtually extends straight lines from a point on a route along which the first member passes, radially in directions normal to a tangential direction of the route, virtually positions points where the straight lines come into contact with the installed objects, and calculates a geometric center from the positioned points. A route change unit changes the route such that the first member passes the calculated geometric center. A verification unit verifies whether or not the assembly interferes with any of the installed objects during passage of the first member along the changed route.

Abstract: A finite element analysis (FEA) based coil spring design method that utilizes a reverse engineering based concept. The method involves first designing a desired jounce profile, which is typically an output in the conventional FEA based design, and then reversely determining the corresponding free profile necessary for manufacturing a spring having desired performance specifications.

Abstract: Systems and methods for the automated positioning of pads and orienting of slot templates for the pads. The systems and methods also include automated adjustment of well path plans from a pad to selected well targets.

Abstract: A user interface to a network simulator facilitates the use of application layer parameters and application layer logic. The user interface is configured to allow the user to define the input in a graphic form, or a text/programming form, or a combination of both. Preferably, the user interface provides common graphic forms for both inputting the data to the simulator as well as for displaying the resultant data from the simulator, thereby easing the progression from the analysis of output from one simulation to the generation of new input for a subsequent simulation.

Abstract: A method for designing a first vertical MOS power transistor having a specified design power level. The method comprises the steps of composing a layout of the vertical MOS power transistor as a combination of at least partly differing layout part pieces, each of the part pieces having known design data, the part pieces including at least one first layout part piece comprising a given number of single transistor cells, and adjusting the specified design power level of the first vertical MOS power transistor by using the known design data of the part pieces and based on the layout combination of the part pieces.

Abstract: Methods and apparatus are provided for a model-based diagnostic interface. An apparatus is provided for a diagnostic interface for a system having system data, system information, and a system model having a model nomenclature, the diagnostic interface comprising at least one computational object producing an output responsive to said system data, wherein said at least one object includes a binding of said system data to said system information, wherein said system data is mapped to said model nomenclature before being bound. A method is provided for making a model-based diagnostic interface for a system having system information and system data representing the status of said system, the method comprising the steps of modeling said system to create a system model having a system model nomenclature, mapping said system data into said system model nomenclature, and binding said system data mapped to said system model nomenclature to said system information.

Abstract: The computer-implementable method allows for the fast creation of a multi-unit interval data signal suitable for simulation. The created signal represents the output of an otherwise ideal Discrete Time Filter (DTF) circuit, and the quick creation of the signal merely requires a designer to input the number of taps and their weights without the need of laying out or considering the circuitry of the DTF. A matrix is created based on a given data stream, and the number of taps and weights, which matrix is processed to create the multi-unit-interval data signal. Noise and jitter can be added to the created signal such that it now realistically reflects non-idealities common to actual systems. The signal can then be simulated using standard computer-based simulation techniques.

Abstract: A method for modeling performance of an information technology system having one or more servers for serving a number of types of transactions includes modeling a service time of each transaction type at each server and a processor overhead at each server as one of a polynomial, exponential, or logarithmic function of the average arrival rate of each transaction type at the corresponding server to generate service time and processor overhead functions and inferring optimal values of coefficients in the service time and processor overhead functions to generate a performance model of the information technology system.

Abstract: Method, system and computer program product for verifying the address generation, address generation interlocks, and address generation bypassing controls in a CPU. An exemplary embodiment includes a verification method in a processor, the method including propagating a first set general purpose register values from a first instruction to a second instruction, wherein the simulation monitor is coupled to a first stage of the instruction pipeline, and wherein the first set of general purpose register values are stored in a simulation instruction object, selecting a second set of general purpose register values, updating the first set of general purpose register values with the second set of general purpose register values and placing the second set of general purpose register values on a bus.

Abstract: A method and system for generating application simulations and, more particularly, a method and system for graphical data scrubbing in application simulation image sequences. The method comprises creating a graphical representation of identified data and scrubbing instances of the identified data. The method further comprises replacing the scrubbed identified data with the graphical representation of the identified data. The system includes a computer infrastructure to perform at least the steps of the method.

Abstract: Described are software tools and techniques for use in power system operations and control, enabling direct non-iterative solution and estimation of the state of a power system. Knowledge of the state of a power system is essential for secure, reliable and efficient operation of the system. Power system measurement data including the phasor data, as well as power system parameter and topology data are utilized. A set of redundant nonlinear equations, quadratic or third-order in form is formulated. The nonlinear equations are then solved directly for the state of the power grid. The methodology is non-iterative and offers a direct solution that does not depend on initial guess values or convergence of iterations, thus offering a more robust tool for energy management systems and power systems operation and control.

Abstract: The present disclosure includes dental appliances, devices, and methods of making and using such appliances. In one embodiment, a method for tooth modeling includes receiving a patient information file for a treatment plan patient and analyzing the patient information file to determine whether the patient is a non-adult patient.

Abstract: A modeling method creates a three-dimensional analysis model of a target object for extracting parameters that are used to analyze a high-frequency transmission, by selecting, from an art work data of the target object, an extraction target region that becomes a target for extracting the parameters that are used to analyze the high-frequency transmission, deleting non-extraction target elements of the extraction target region, that do not affect an electromagnetic analysis and are other than extraction target elements that affect the electromagnetic analysis, linearizing, from among the extraction target elements, a curved wiring, and optimizing a wiring length of the extraction target region including the linearized wiring and optimizing an analyzing space dimension of the extraction target region, so as to create the three-dimensional analysis model.

Abstract: Systems and methods for the automated positioning of pads and orienting of slot templates for the pads. The systems and methods also include automated adjustment of well path plans from a pad to selected well targets.