Abstract: A method is presented for responding to user input by displaying when a circuit has a property expressed by an assertion based on data indicating values of signals of the circuit at a succession of times. The assertion expresses the property as a first sequence of expressions, and separately defines for each expression a corresponding evaluation time relative to the succession of times at which the expression is to be evaluated. The circuit has the property only if every expression of the first sequence evaluates true at its corresponding evaluation time. The method includes displaying a representation of each expression of the first sequence and identifying each variable that caused that expression to evaluate false and distinctively marking that variable's symbol relative to other variable symbols within the display for each expression of the first sequence that evaluates false at its corresponding evaluation time.

Abstract: A medical drill bit comprises an accommodating slot disposed concavely on a main body of the medical drill bit, a separate board disposed in the accommodating slot to separate the accommodating slot into a first slot and a second slot, and a lid engaging with the separate board and covering the accommodating slot. The lid and the separate board do not rotate with the main body when the main body in rotation. The accommodating uses to fill with cooling liquid which able to be pumped out from the accommodating slot, and fresh cooling liquid is able to inject into the accommodating slot for cooling the drill bit in rotation.

Abstract: Methods and apparatus for recording and visualizing transactions of a test bench simulation are disclosed. Transaction-specific data generated from a test bench simulation may be displayed in a sequence diagram view to provide a view of the transactions arranged sequentially in time.

Abstract: A medical drill bit comprises an accommodating slot disposed concavely on a main body of the medical drill bit, a separate board disposed in the accommodating slot to separate the accommodating slot into a first slot and a second slot, and a lid engaging with the separate board and covering the accommodating slot. The lid and the separate board do not rotate with the main body when the main body in rotation. The accommodating uses to fill with cooling liquid which able to be pumped out from the accommodating slot, and fresh cooling liquid is able to inject into the accommodating slot for cooling the drill bit in rotation.

Abstract: Methods and apparatus for recording and visualizing transactions of a test bench simulation are disclosed. Transaction-specific data generated from a test bench simulation may be displayed in a sequence diagram view to provide a view of the transactions arranged sequentially in time.

Abstract: A bug-proof and odor-proof drainage device includes a cover, a base, and a connecting pipe connecting plural bases of different bug-proof and odor-proof drainage device. The cover has plural draining holes arranged in intervals. A capping is disposed on the bottom surface of the cover. The base has a through hole surrounded by a wall part extending upward. The base is embedded in floors of bathrooms and kitchens and connected to a draining pipe through the through hole and also connected to different bases by the connecting pipe. Water flows into the base, and then circuitously sinks to flow over the wall part and rises along the wall part, thereby flowing into the draining pipe from the through hole, such that a portion of water is stored within the base for preventing bugs and odor from entering through the draining holes.

Abstract: An operation mode switching method for a memory storage apparatus, a memory controller and a memory storage apparatus using the method are provided. The operation mode switching method includes receiving at least one access command from a host system and determining whether the access command conforms to a predetermined pattern. If the access command conforms to the predetermined pattern, an operation mode of the memory storage apparatus is switched from a first mode to a second mode. The access command includes a first write command including a write string, and the memory storage apparatus executes an operation corresponding to the write string. Accordingly, the method switches the operation mode of the storage memory apparatus by determining the pattern of the access command, so as to simplify the procedure of switching the operation mode and effectively decrease the probability of switching the operation mode incorrectly.

Abstract: Methods and apparatus for recording and visualizing transactions of a test bench simulation are disclosed. Transaction-specific data generated from a test bench simulation may be displayed in a sequence diagram view to provide a view of the transactions arranged sequentially in time.

Abstract: Systems and methods for lighting control are disclosed. The system may include at least one lighting device providing illumination and a handheld unit coupled with the lighting device to control at least one of a controllable lighting state, a controllable lighting intensity, and a controllable lighting effect of the lighting device. The handheld unit may include an image-capturing device and a processor coupled with the image-capturing device. The processor may be configured to control the image-capturing device to capture an image of a space affected by the lighting device; analyze an luminance level of the space; receive a lighting parameter; and provide a command to the lighting device for controlling at least one of the controllable lighting state, the controllable lighting intensity, and the controllable lighting effect of the lighting device based on at least one of the image, the luminance level, and the lighting parameter.

Abstract: An operation mode switching method for a memory storage apparatus, a memory controller and a memory storage apparatus using the method are provided. The operation mode switching method includes receiving at least one access command from a host system and determining whether the access command conforms to a predetermined pattern. If the access command conforms to the predetermined pattern, an operation mode of the memory storage apparatus is switched from a first mode to a second mode. The access command includes a first write command including a write string, and the memory storage apparatus executes an operation corresponding to the write string. Accordingly, the method switches the operation mode of the storage memory apparatus by determining the pattern of the access command, so as to simplify the procedure of switching the operation mode and effectively decrease the probability of switching the operation mode incorrectly.

Abstract: A light source driving device configured to drive a light-emitting unit is provided. The light source driving device includes a direct voltage source, a first capacitance unit, and a switching current adjustment circuit. The direct voltage source is coupled with the light-emitting unit and supplies a direct voltage. The first capacitance unit and the light-emitting unit are connected in parallel. The switching current adjustment circuit and the light-emitting unit are connected in series. The switching current adjustment circuit is configured to bear a part of a voltage stress of the direct voltage source and is configured to switch the direct voltage.

Abstract: A resistance spot welding method for a lap joint multi-metal sheets which may improve the welding efficiency and nugget quality comprises: coating a joining zone of one of two mutually facing surfaces of two adjacent metal sheets with an active agent with high resistivity to form a welding region, and clamping the welding region with an upper welding electrode and a lower welding electrode and providing an electric current into the welding region. The active agent with high resistivity generates high heat energy to melt the joining zone and join the two adjacent metal sheets. The active agent with high resistivity has a resistivity much greater than a resistivity of each of the two metal sheets, and the active agent with high resistivity consists of multi-component powders and an organic solvent.

Abstract: An actuator structure includes two half cylinders made respectively from the same mold and the two half cylinders engaged with each other to form an actuator. The actuator has an air reservoir chamber and a vane chamber dividing by a dividing unit, and the vane chamber has a vane inside. An O-shaped ring is formed around the vane and an elastic stopping edge is formed protrudingly from the O-shaped ring and linearly contacted an inner surface of the actuator. The volume ratio of the air reservoir chamber and the vane chamber is about three to one, and a channel groove is formed at an interface of the two half cylinders to connect an air inlet hole and a left side and a right side wall of the actuator. A fail-safe or dual-movement control structure is formed to control the direction of air supply to drive the shaft to rotate toward a predetermined direction, or utilizing the compressed air in the air reservoir chamber to force the vane to restore to its original position.

Abstract: A method is presented for responding to user input by displaying when a circuit has a property expressed by an assertion based on data indicating values of signals of the circuit at a succession of times. The assertion expresses the property as a first sequence of expressions, and separately defines for each expression a corresponding evaluation time relative to the succession of times at which the expression is to be evaluated. The circuit has the property only if every expression of the first sequence evaluates true at its corresponding evaluation time. The method includes displaying a representation of each expression of the first sequence and identifying each variable that caused that expression to evaluate false and distinctively marking that variable's symbol relative to other variable symbols within the display for each expression of the first sequence that evaluates false at its corresponding evaluation time.

Abstract: A computer processes simulation data indicating values of circuit signals as functions of simulation time to determine whether a circuit exhibits a property defined by an assertion. The assertion expresses the property as a sequence of expressions, each a function of one or more variables, where each variable represents a value of one or more signals or a value of another sequence of expressions. The assertion statement separately defines an evaluation time for each expression, a particular simulation time at which the expression is to be evaluated. Each expression must evaluate true if the circuit has the property. The computer produces a display including a representation of each expression of the property including a separate variable symbol for each of its variables. For each expression that evaluated false, the computer identifies each variable that caused that expression to evaluate false and distinctively marks that variable's symbol relative to other variable symbols within the display.

Abstract: A pressure bandage includes a banding porting, at least one infiltration and at least one fixing member. The banding portion includes at least one recession formed in one side of the banding portion, at least one tube having first and second ends, and at least one check valve mounted in the second end of the tube. The first end of the tube is connected to the recession. The infiltration is coupled on the inner surface of the recession of the banding portion. The fixing member fixes the banding portion to a treatment part.

Abstract: Systems and methods for lighting control are disclosed. The system may include at least one lighting device providing illumination and a handheld unit coupled with the lighting device to control at least one of a controllable lighting state, a controllable lighting intensity, and a controllable lighting effect of the lighting device. The handheld unit may include an image-capturing device and a processor coupled with the image-capturing device. The processor may be configured to control the image-capturing device to capture an image of a space affected by the lighting device; analyze an luminance level of the space; receive a lighting parameter; and provide a command to the lighting device for controlling at least one of the controllable lighting state, the controllable lighting intensity, and the controllable lighting effect of the lighting device based on at least one of the image, the luminance level, and the lighting parameter.

Abstract: A light source driving device configured to drive a light-emitting unit is provided. The light source driving device includes a direct voltage source, a first capacitance unit, and a switching current adjustment circuit. The direct voltage source is coupled with the light-emitting unit and supplies a direct voltage. The first capacitance unit and the light-emitting unit are connected in parallel. The switching current adjustment circuit and the light-emitting unit are connected in series. The switching current adjustment circuit is configured to bear a part of a voltage stress of the direct voltage source and is configured to switch the direct voltage.

Abstract: A pressure bandage includes a banding portion having opposite first and second sides. A chamber is formed in the first side of the banding portion. The second side of the banding portion includes a hole in communication with the chamber. A bladder is received in the chamber and receives a fluid. The bladder includes an infiltratable surface permeable to the fluid. The infiltratable surface of the bladder and the first side of the banding portion face the same direction. The fluid received in the bladder is permeable out of the bladder via the infiltratable surface. A control member is engaged with the hole of the banding portion and imparts a pressure to the bladder. The hole can be a screw hole, and the control member includes a knob threadedly engaged with the screw hole such that the knob is rotatable to adjust the pressure imparted to the bladder.

Abstract: A minus-pressured bandage includes a coverage layer, a minus-pressed acting member, an adhering layer and a fixing tap. The coverage layer includes a through-hole to be connected to a minus-pressured device. The minus-pressed acting member includes a fixed-shaped layer and a contact layer abutting with the fixed-shaped layer. The contact layer is made of a resilient material. The fixed-shaped layer has hardness greater than that of the contact layer. Each of the fixed-shaped layer and contact layer has a plurality of first absorbing holes and a plurality of second absorbing holes aligned with the first absorbing holes. The adhering layer is porous and abuts between the coverage layer and the fixed-shaped layer. The fixing tap is arranged on the coverage layer in order to fasten the minus-pressured bandage on the wound. In this arrangement, a minus-pressured suction applied to the wound may be increased to facilitate capillary angiogenesis.