2299 results about "Conditional expression" patented technology

A method and apparatus is disclosed herein for automated test input generation for web applications. In one embodiment, the method comprises performing a source-to-source transformation of the program; performing interpretation on the program based on a set of test input values; symbolically executing the program; recording a symbolic constraint for each of one or more conditional expressions encountered during execution of the program, including analyzing a string operation in the program to identify one or more possible execution paths, and generating symbolic inputs representing values of variables in each of the conditional expressions as a numeric expression and a string constraint including generating constraints on string values by modeling string operations using finite state transducers (FSTs) and supplying values from the program's execution in place of intractable sub-expressions; and generating new inputs to drive the program during a subsequent iteration based on results of solving the recorded string constraints.

A software system is disclosed which facilitates the process of tracing the execution paths of a program, called the client. The tracing is performed without requiring modifications to the executable or source code files of the client. Trace data collected during the tracing operation is collected according to instructions in a trace options file. At run time, the tracing library attaches to the memory image of the client. The tracing library is configured to monitor execution of the client and to collect trace data, based on selections in the trace options file. Conditional tracing, through the use of triggers and actions taken in response to the triggers, allows the developer to control the tracing operation. The triggers can be conditional triggers in which the corresponding action is taken only if a conditional expression is satisfied. The system can trace multiple threads and multiple processes. The tracing system provides a remote mode and an online mode. In remote mode, the developer sends the trace control information (which can include triggers and corresponding actions) to a remote user site together with a small executable image called the agent that enables a remote customer, to generate a trace file that represents execution of the client application at the remote site. In online mode, the developer can generate trace options (including triggers and corresponding actions), run and trace the client, and display the trace results in near real-time on the display screen during execution of the client program.

A software system is disclosed which facilitates the process of tracing the execution paths of a program, called the client. The tracing is performed without requiring modifications to the executable or source code files of the client. Trace data collected during the tracing operation is collected according to instructions in a trace options file. At run time, the tracing library attaches to the memory image of the client. The tracing library is configured to monitor execution of the client and to collect trace data, based on selections in the trace options file. Conditional tracing, through the use of triggers and actions taken in response to the triggers, allows the developer to control the tracing operation. The triggers can be conditional triggers in which the corresponding action is taken only if a conditional expression is satisfied. The system can trace multiple threads and multiple processes. The tracing system provides a remote mode and an online mode. In remote mode, the developer sends the trace control information (which can include triggers and corresponding actions) to a remote user site together with a small executable image called the agent that enables a remote customer, to generate a trace file that represents execution of the client application at the remote site. In online mode, the developer can generate trace options (including triggers and corresponding actions), run and trace the client, and display the trace results in near real-time on the display screen during execution of the client program.

A method for applying a strategy to a dataset in a data mining system to address a business problem, comprising: receiving at least one conditional expression defining the strategy from a user through a graphical user interface (“GUI”) displayed on a display screen of the data mining system; applying the conditional expression to the dataset to split the dataset into segments; displaying the segments as nodes in a tree structure on the display screen; receiving a calculation expression for operating on one or more values in one or more of the segments; applying the calculation expression to one or more of the segments to generate one or more respective calculated values; displaying the one or more calculated values in respective nodes of the tree structure; receiving a treatment expression for operating on the calculated values; applying the treatment expression to one or more of the calculated values to generate respective responses to the business problem; and, displaying the responses in respective nodes of the tree structure to thereby address the business problem.

A compact low-profile low-cost imaging lens with a small F-value which offers a wide field of view and corrects aberrations properly. Its elements are spaced from each other and arranged from an object side to an image side as follows: a first positive lens having a convex object-side surface; a second negative lens; a third positive or negative lens; a fourth positive or negative lens; a fifth positive or negative lens; a sixth positive or negative lens; and a seventh lens as a double-sided aspheric lens having a concave image-side surface. The third to sixth lenses each have at least one aspheric surface. The aspheric image-side surface of the seventh lens has a pole-change point off an optical axis. The imaging lens satisfies a conditional expression −1.0<f1/f2<−0.15, where f1 denotes focal length of the first lens, and f2 denotes focal length of the second lens.

There is provided an image pickup lens having a 6-element structure which has a small size and a sufficiently lens speed of F/2 or less and in which various aberrations are corrected favorably. This image pickup lens includes a first lens having a positive refractive power and comprising a convex surface directed to the object side; a second lens having a negative refractive power and comprising a concave surface directed to the image side; a third lens having a positive or negative refractive power; a fourth lens having a positive refractive power; a fifth lens having a positive refractive power and comprising a convex surface directed to the image side; and a sixth lens having a negative refractive power and comprising a concave surface directed to the image side, in this order from the object side, wherein the image side surface of the sixth lens has an aspherical shape and an inflection point at a position other than an intersection point with the optical axis, and the image pickup lens satisfies the following conditional expressions.

ν1>50

ν2≦30

where,

• • ν1 is an Abbe number of the first lens, and
  • ν2 is an Abbe number of the second lens.

A dynamically-changeable abdominal simulator system comprises a patient manikin having an abdominal cavity covered by a sheet of synthetic skin, an array of inflatable elements emplaced within the abdominal cavity covering respectively distinct areas of pressurization of the abdominal cavity and supplied with pressurized medium under separate and independent inflation control for each of the inflatable elements in order to simulate a wide range of abdominal ailments and/or conditional expressions thereof. An inflation manifold and an electronic control module operable therewith control the supply of pressurized medium to the inflatable elements. The electronic control module can communicate with an external computer that provides a graphical user interface (GUI) for the user to control the training simulation routines to be performed on the manikin.

A multi-beam optical scanning apparatus includes a semiconductor laser array slanted relative to a sub-scanning direction and emitting a plurality of optical beams; a coupling lens converting a shape of each optical beam emitted from the semiconductor laser array; and an aperture with an opening having a size of A_m×A_s, arranged after the coupling lens in a direction in which the optical beam progresses, where A_m is a dimension of the opening in a main scanning direction and A_s is a dimension of the opening in the sub-scanning direction. When a length in the main scanning direction of a contour line defined by 1/e² strength of a maximum strength of an optical beam at the position of the aperture is L_m, and a length in the sub-scanning direction of the contour line defined by 1/e² strength of the maximum strength of the optical beam at the position of the aperture is L_s, the following conditional expressions are satisfied:

A_m<L_m, and  (1)

L_s/L_m×0.3<A_s/A_m<L_s/L_m×1.7.  (2)

An image-forming lens includes, from an object side to an image side in order: a first lens group; an aperture; and a second lens group with a positive refractive power, the first lens group including, from the object side in order: a first F lens group with a negative refractive power; and a first R lens group with a positive refractive power, the first F lens group including, from the object side in order: a first negative lens which has a surface on the image side having a large curvature; and a second negative lens which has a surface on the object side having a large curvature, and the first R lens group including: any one of a positive lens and a cemented lens with a positive refractive power as a whole, wherein a distance from a surface on a most object side of the first lens group to an image plane in a state of focusing on an object at infinity: L, and a maximum image height: Y′ satisfy Conditional expression 1: 2.8<L/Y′<4.3.

A dynamically-changeable abdominal simulator system comprises a patient manikin having an abdominal cavity covered by a sheet of synthetic skin, a grid array of inflatable cells emplaced within the abdominal cavity covering respectively distinct areas of pressurization of the abdominal cavity and supplied with pressurized medium under separate and independent inflation control in order to simulate a wide range of abdominal ailments and/or conditional expressions thereof. In a preferred embodiment, the inflation cells of the grid array are each made of semi-rigid material for maintaining a fixed cell shape and contain an inflation balloon for pressurizing cell turgidity.

The invention discloses a camera lens, which comprises a first lens with negative focal power, a second lens with positive focal power, a third lens with positive focal power, a fourth lens with negative focal power, a fifth lens with positive focal power and a sixth lens with negative focal power from an object side to an image side in sequence, wherein the second lens has a convex image-side surface, and is made of glass; the third lens has a convex image-side surface; the sixth lens has a convex object-side surface and a concave image-side surface; and the camera lens meets a conditional expression that: -1.7<f2/f4<-0.7, the f2 is an effective focal length of the second lens, and the f4 is an effective focal length of the fourth lens. The camera lens disclosed by the invention can effectively eliminate aberration, meet the demand of high pixels and reduce costs while guaranteeing miniaturization.

An image pick-up lens for forming an image of an object on a solid image pick-up element having a rectangular effective pixel area, has a first lens; a second lens; a third lens; and a diaphragm having an aperture. The following conditional expressions are satisfied:

15°<IA_D<35°

|IA_h−(IA_D·Y_h/Y_D)|<5°

where,

• • Y_D: a length of ½ of the diagonal length of the rectangular effective pixel area of the solid image pick-up element,
  • Y_h: an arbitrary image height of the image pick-up lens (where, Y_h<Y_D),
  • IA_D: an angle formed between a chief ray of a light flux forming an image at the image height Y_D of the image pick-up lens and the optical axis, and
  • IA_h: an angle formed between a chief ray of a light flux image forming an image at the image height Y_h of the image pick-up lens, and the optical axis.

An apparatus and method for providing a user interface through which a user may generate a conditional expression are provided. The user interface provides guidance to a user as to the proper parts of the conditional expression to include in the conditional expression as the user constructs the conditional expression. Thus, as the user completes parts of the conditional expression, the guidance that is offered is updated based on the current context of the conditional expression. This guidance may include listings of variables, attributes and/or functions that are most appropriate to be entered next in the conditional expression, help text, and the like.

A task allocation time decision unit inputs a period of each of the tasks and a load factor of each of the tasks with respect to execution time of all tasks from a task context memory unit, and decides the task allocation time. A task occasion frequency computation unit computes a task occasion frequency. An execution time ratio computation unit computes an execution time ratio of each task with respect to a execution time of a certain task. A schedulability condition computation unit computes a conditional expression for enabling scheduling on the basis of the period. A task allocation time decision unit computes a task allocation time for enabling scheduling from the conditional expression and the execution time ratio and outputs the resultant task allocation time to a task allocation time display unit.

A zoom lens comprising a first group of lenses (1) having negative focal length, a second group of lenses (2) having positive focal length, and a third group of lenses (3 having the positive focal length in order from an object side, in which the second group of lenses (2) moves monotonically from an image side to the object side and the first group of lenses 1 moves so as to correct shift in a position of an image surface, which is attended with a change in magnification, when the magnification is changed from an end of short focus to the end of long focus. The zoom lens is characterized in that the first group of lenses 1 has at least two lenses (L1) and (L2) and an air lens formed between the two lenses, both sides of the air lens are the aspheric surface, and the first group of lenses satisfies the following conditional expressions of no>1.50 and ni>1.60, where no indicates a refractive index to d line of the lens arranged on the object side in the air lens and ni indicates the refractive index to the d line of the lens arranged on the image side in the air lens.

The invention discloses a multi-mode station stopping method at an optimized comprehensive cost for urban public transport. The stopping method includes steps of firstly, acquiring passenger travel information, vehicle operating information and route station information; secondly, building a objective function with the lowest comprehensive cost based on passenger travel cost and vehicle operating cost, then building constraint conditional expressions corresponding to the objective function; and thirdly, substituting the passenger travel information, the vehicle operating information and the route station information which are acquired in the first step into the objective function and the constraint conditional expressions which are built in the second step to obtain departure frequency h and stopping modes O, and obtaining a multi-mode station stopping mode with the lowest comprehensive cost. The constraint conditional expressions comprise constraints in aspects of public transport capacity, passenger flow, time points, departure intervals and a load factor. By the method, the constraints in the aspects of the public transport capacity, the passenger flow, the time points, the departure intervals and the load factor and the stopping modes are taken into consideration, so that the passenger travel cost and the public transport operating cost are minimized.