Latest Publications & Patents on Biotechnology and CRISPR

The use of computer systems to assist in the creation, modification, analysis, or optimization of a design. CAD software allows product designers and engineers to create precise 2D and 3D models, replacing manual drafting. This technology dramatically increases productivity, improves the quality of design, and facilitates better communication through detailed visualizations and simulations.

Passive solar design is a building design strategy that uses a building's components—walls, floors, windows, and orientation—to collect, store, reflect, and distribute solar energy in the form of heat in the winter and reject solar heat in the summer. Unlike active solar heating systems, it does not involve the use of mechanical and electrical devices.

Solid modeling in CAD represents objects as unambiguous, voluminous 3D shapes. Two primary techniques dominate: Boundary Representation (B-rep), which defines a solid by its bounding surfaces (faces, edges, vertices), and Constructive Solid Geometry (CSG), which builds complex shapes by applying Boolean operations (union, subtract, intersect) to simpler primitive solids like cubes, spheres, and cylinders.

Molecular electronics explores using individual molecules or nanoscale molecular collections as fundamental electronic components. This approach aims to build circuits at the ultimate limit of miniaturization, far beyond traditional silicon-based technology. Key components include molecular wires, switches, and rectifiers, leveraging quantum mechanical properties like electron tunneling through molecular orbitals for their function.

A design methodology where 'X' represents a specific product life cycle objective. DFX encompasses a collection of guidelines and techniques aimed at optimizing a product's design for a particular goal, such as manufacturability (DFM), assembly (DFA), reliability (DFR), or sustainability (DfS). This proactive approach addresses potential issues early in the design phase, reducing costs and improving quality.

Formal verification is the use of mathematical methods to prove or disprove the correctness of a system's design with respect to a formal specification. Unlike testing, which can only show the presence of bugs for specific inputs, formal verification can prove their absence for all possible inputs. It involves creating a formal model of the system and using techniques like model checking or theorem proving.

Physics of Failure (PoF) is a reliability engineering approach that uses knowledge of materials science and physics to understand and model the root-cause mechanisms of failure. Instead of relying purely on statistical data from past failures, it focuses on predicting failure by analyzing the physical processes (e.g., fatigue, corrosion, creep) that lead to degradation and breakdown.

CMOS (Complementary Metal-Oxide-Semiconductor) is the dominant technology for constructing integrated circuits. It uses complementary pairs of p-type and n-type MOSFETs to build logic gates. Its primary advantage is very low static power consumption, as one transistor in the pair is always off during steady state, resulting in minimal current flow except during switching transitions.

Developed by French engineer Pierre Bézier for Renault in the 1960s, UNISURF was one of the first true 3D CAD/CAM systems. Its core innovation was the use of what are now known as Bézier curves and surfaces. These are parametric curves defined by a set of control points, allowing for the intuitive and mathematical creation of complex freeform shapes for car bodies.

Verification techniques are broadly classified as static or dynamic. Static verification (or static analysis) examines the system's code or design without executing it. Examples include code reviews, inspections, and automated static analysis tools. Dynamic verification (or testing) involves executing the system with a set of inputs and observing its behavior to find defects. Both are complementary for comprehensive quality assurance.

The Buying Center is a model representing all individuals and groups within an organization who participate in a purchase decision. It's not a fixed unit but a set of roles assumed by different people for different purchases. These roles include initiators, users, influencers, deciders, approvers, buyers, and gatekeepers, each impacting the final decision through their specific function and authority.

The Finite Volume Method (FVM) is a dominant numerical technique in CFD for solving partial differential equations. It discretizes the domain into a mesh of control volumes and applies the governing equations in their integral form to each volume. By converting volume integrals to surface integrals using the divergence theorem, it focuses on calculating the flux of conserved properties across cell faces.

Verification and validation (V&V) are distinct processes. Verification ensures a product meets its specified requirements ("Are you building it right?"). Validation ensures the product meets the user's actual needs and intended use ("Are you building the right thing?"). They are complementary activities within quality management, often performed sequentially or in parallel to ensure both correctness and usefulness.

The repeatability limit, \(r\), is a critical value derived from the repeatability standard deviation (\(s_r\)). It represents the maximum expected absolute difference between two single test results, obtained under repeatability conditions, with a 95% probability. It is commonly calculated as \(r = 2.8 \times s_r\). If the difference exceeds \(r\), the results are considered suspect.

Total Quality Management (TQM) is a management philosophy where all members of an organization participate in improving processes, products, services, and the culture in which they work. It aims for long-term success through customer satisfaction. TQM integrates quality-discipline into the culture and activities of a company, moving beyond simple product inspection to a holistic, organization-wide approach.