2358 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 front group consists of two concave lenses. A rear group consists of: a positive lens in which the object-side surface has a larger radius of curvature; and a cemented lens configured by a positive lens in which the object-side surface has a larger radius of curvature, and a negative meniscus lens, the cemented lens having being positive as a whole. An objective lens satisfies the following conditional expressions:|dx / fF|≧3.0   (1)(f / f3)×ν3<23   (2)f2×(ν5−ν4) / {RA×(Bf+d5 / n5)}>7   (3)where dx is the distance between the groups, f, fF, and f3 are the focal lengths of the objective lens, the front group, and the lens, respectively, ν3, ν4, and ν5 are the Abbe numbers of the lenses, RA is the radius of curvature of the cementing surface between the lenses, Bf is the back focus, and d5 and n5 are the center thickness and refractive index with respect to the d-line of the lens.

An imaging lens comprises, in order from an object side: a first lens that has a negative refractive power and is convex toward the object side; a second lens that has a positive refractive power and is a meniscus lens convex toward the object side; a stop; a third lens that has a positive refractive power and is convex toward an image side; and a cemented lens that has a positive refractive power as a whole and is formed by cementing a fourth lens and a fifth lens, wherein assuming that an Abbe number of the second lens with respect to d-line is ν2, a distance on an optical axis from a vertex of a surface of the first lens facing toward the object side to an image plane of the imaging lens is L, a focal length of the imaging lens is f, and a back focus of the imaging lens is Bf, the following conditional expressions (1) to (3) are satisfied:ν2>30  (1),2.5<L / f<4.0  (2), and0.5<Bf / f<1.3  (3).

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.

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.

An endoscope objective lens includes, in order from an object side, a negative first lens, a first cemented lens, an aperture diaphragm, a positive fourth lens and a second cemented lens. The negative first lens has a concave surface directed to an image side. The first cemented lens is formed by cementing a second lens and a third lens. One of the second and third lenses is positive and. The other is negative. The positive fourth lens includes a flat surface or a surface having a larger absolute value in radius of curvature, directed to the object side. The second cemented lens is formed by cementing a positive fifth lens and a negative sixth lens in order from the object side. The second cemented lens has a positive refractive power as a whole. The endoscope objective lens satisfies the following conditional expressions (1) and (2).f2×v5-v6RA×(Bf+d6 / n6)>10(1)Bf / f>2.5(2)

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≦30where,ν1 is an Abbe number of the first lens, andν2 is an Abbe number of the second lens.

Disclosed is a network hardening mechanism. The mechanism: generates a dependency graph from a multitude of exploits; constructs a goal conditions expression which may then be used to determine set(s) of safe network configurations. A subset of these safe network configuration sets may then be selected for implementation using hardening costs as a criterion.

The image pickup optical system comprises:an aperture is placed on the most object side,the image pickup optical system comprises, in order from the object side:a first lens having a positive refractive power;a second lens having a negative refractive power;a third lens having a positive refractive power;a fourth lens having a positive refractive power; anda fifth lens having a negative refractive power, andthe following conditional expression is satisfied:−1.49<(r6+r7) / (r6−r7)<1.24   (1)wherer6 is the paraxial radius of curvature of an object side surface of the third lens, andr7 is the paraxial radius of curvature of an image plane side surface of the third lens.

The imaging lens system includes a negative first lens disposed on a most object side, having a concave surface directed toward the object side and having a meniscus shape, a cemented lens LC disposed on a most image side and having a convex surface on its most object side, and an aperture diaphragm disposed just in front of the object side of the cemented lens. The system satisfies the following conditional expressions:0.05<(R2−R1) / (R1+R2)<0.25vd1 −vd2 >15whereR1 and R2 denote radius of curvatures of object side and image side surfaces of the first lens, respectively, andvd1 and vd2 denote Abbe numbers of lenses, which are located on the most object side and on the most image side among lenses constituting the cemented lens, at the d-line, respectively.

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 Am×As, arranged after the coupling lens in a direction in which the optical beam progresses, where Am is a dimension of the opening in a main scanning direction and As 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 / e2 strength of a maximum strength of an optical beam at the position of the aperture is Lm, and a length in the sub-scanning direction of the contour line defined by 1 / e2 strength of the maximum strength of the optical beam at the position of the aperture is Ls, the following conditional expressions are satisfied:Am<Lm, and  (1)Ls / Lm×0.3<As / Am<Ls / Lm×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.

To provide an endoscope objective lens which has a lens constitution of a relatively small number of three pieces, a short total length of lens, and various kinds of good optical performances starting with curvature of field. It is constituted of a first lens L1 directing its concave surface to the image side, a second lens L2 made of a positive meniscus lens directing its convex surface to the image side, and a third lens L3 made of a planoconvex lens directing its convex surface to the object side arranged sequentially from the object side, and a stop placed between said first lens L1 and said second lens L2. It also satisfies the following Conditional Expressions:2.00<|f1 / f|<3.00,  (1)0.50<|f2 / f3|<0.70,  (2)2.00<|f1 / d1-2|<5.00 ,  (3)0.40<|R2R / R2F|<0.60 .  (4)Note that f is the focal length of the whole system, f1–f3 the focal lengths of the first-third lenses, respectively, d1-2 the air distance between the first lens and the second lens, R2F the radius of curvature of the object-side surface of the second lens, and R2R the radius of curvature of the image-side surface of the second lens.

Disclosed is an image pickup lens having the following disposed from an object side in the order listed below: a first lens having a negative power and a meniscus shape with a concave surface on an image side; a second lens having a positive power; a third lens having a negative power; a fourth lens having a positive power; a fifth lens having a positive power; and a sixth lens having a negative power and a meniscus shape with a concave surface on the object side. The image pickup lens satisfies Conditional Expression (1) given below when a focal length of the first lens is taken as f1 and a focal length of the second lens is taken as f2−3.0<f1 / f2<−1.6  (1).

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.

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.

An imaging lens is provided and includes: in order from an object side of the imaging lens, a first lens having a convex surface on the object side and having a positive power; a second lens having a concave surface on the object side and having a negative power; a third lens having a positive power; and a fourth lens having a convex surface on the object side near a paraxial axis and having a meniscus shape. The imaging lens satisfies conditional expressions specified in the specification.

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°<IAD<35°|IAh−(IAD·Yh / YD)|<5°where, YD: a length of ½ of the diagonal length of the rectangular effective pixel area of the solid image pick-up element, Yh: an arbitrary image height of the image pick-up lens (where, Yh<YD), IAD: an angle formed between a chief ray of a light flux forming an image at the image height YD of the image pick-up lens and the optical axis, and IAh: an angle formed between a chief ray of a light flux image forming an image at the image height Yh 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.

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 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.