Abstract: A processing apparatus includes an execution stage which executes each of instruction streams, a first resource counter which counts the number of operating resources used when the execution stage executes a first one of the instruction streams, a second resource counter which holds data of the number of unused ones of the operating resources, and a control circuit which reads the count value of the first resource counter from a management table when a subsequent instruction stream is executed, to control a start of execution of the subsequent instruction stream in accordance with a subtraction result obtained by subtracting the count value from the data. The control circuit checks whether a number of operating resources required by the subsequent instruction stream is secured based on the subtraction result before the subsequent instruction stream starts to be executed.

Abstract: A processing apparatus includes an execution stage which executes each of instruction streams, a first resource counter which counts the number of operating resources used when the execution stage executes a first one of the instruction streams, a second resource counter which holds data of the number of unused ones of the operating resources, and a control circuit which reads the count value of the first resource counter from a management table when a subsequent instruction stream is executed, to control a start of execution of the subsequent instruction stream in accordance with a subtraction result obtained by subtracting the count value from the data. The control circuit checks whether a number of operating resources required by the subsequent instruction stream is secured based on the subtraction result before the subsequent instruction stream starts to be executed.

Abstract: An apparatus and method which verify a system including a microprocessor. The apparatus includes first and second simulators which verify a target architecture using a test program and a functional description of the system, respectively. The first and second simlators extract first event information that expresses a verification item relating to a specification of the system. Further, checkers compare results of verification run by the second simulator with results of verification run by the first simulator. The first and second simulators execute an identification of the verification item. The checkers further examine a coverage of the system on the basis of second event information extracted from the verification item with the first event information, if the results of the verification run by the first simulator match the results of the verification run by the second simulator. The second event information is annotation data that describes information on events based on a specification for the system.

Abstract: The present invention provides an electrophotographic photosensitive member capable of maintaining high transfer efficiency without causing large transfer current for a long-term use, obtaining an excellent image, and achieving those effects especially when being applied to a color electrophotographic apparatus. The invention also provides a process cartridge and an electrophotographic apparatus each having such a photosensitive member. The present invention includes an electrophotographic photosensitive member having a photosensitive layer on a support, a surface layer containing diorganopolysiloxane having specific repeating structure units ? and ?, and having a weight-average molecular weight of 1,000 to 1,000,000; in which a content of the diorganopolysiloxane in the surface layer is 0.01 to 20% by weight based on the entire weight of the surface layer (except in the case where the surface layer contains fluorine atom-containing resin particles).

Abstract: The present invention provides an electrophotographic photosensitive member capable of maintaining high transfer efficiency without causing large transfer current for a long-term use, obtaining an excellent image, and achieving those effects especially when being applied to a color electrophotographic apparatus. The invention also provides a process cartridge and an electrophotographic apparatus each having such a photosensitive member. The present invention includes an electrophotographic photosensitive member having a photosensitive layer on a support, a surface layer containing diorganopolysiloxane having specific repeating structure units &agr; and &bgr;, and having a weight-average molecular weight of 1,000 to 1,000,000; in which a content of the diorganopolysiloxane in the surface layer is 0.01 to 20% by weight based on the entire weight of the surface layer (except in the case where the surface layer contains fluorine atom-containing resin particles).

Abstract: An apparatus which verifies a system comprising at least a microprocessor includes a first simulator which verifies a test program for the system. The apparatus further includes a second simulator which verifies a functional description of the system to extract first event information that expresses a verification item relating to an operational specification of the system, as an event. The apparatus further includes a comparator which compares results of verification carried out by the second simulator with results of verification carried out by the first simulator, and a checker which checks whether or not the verification item is met on the basis of a second event information resulting from the verification carried out by the second simulator and the first event information if the results of the verification carried out by the first simulator match the results of the verification carried out by the second simulator.

Abstract: In a circuit design method, an arrangement/wiring section (112) determines an arrangement and wiring of logical blocks (40a, 40b, 40c, 40d) so that delay limitation information about input signals supplied to the logical blocks (40a, 40b, 40c, 40d) and limitation conditions about a difference of delay times among a pre-charge control signal (ck0, ck1, ck2) supplied to the corresponding logical lock (40a, 40b, 40c, 40d) and the input signals are satisfied.

Abstract: A process for producing an electrophotographic photosensitive member which has a charge-generating layer and a charge-transporting layer on a substrate, has steps of applying a solution containing a charge-transporting material, binder resin, dimethoxymethane, and an aromatic hydrocarbon-based solvent having a boiling point of 130° C. or higher, and drying the solution, to form the charge-transporting layer.

Abstract: A process for producing an electrophotographic photosensitive member which has a charge-generating layer and a charge-transporting layer on a substrate, has steps of applying a solution containing a charge-transporting material, binder resin, dimethoxymethane, and an aromatic hydrocarbon-based solvent having a boiling point of 130° C. or higher, and drying the solution, to form the charge-transporting layer.

Abstract: In a circuit design method, an arrangement/wiring section (112) determines an arrangement and wiring of logical blocks (40a, 40b, 40c, 40d) so that delay limitation information about input signals supplied to the logical blocks (40a, 40b, 40c, 40d) and limitation conditions about a difference of delay times among a pre-charge control signal (ck0, ck1, ck2) supplied to the corresponding logical block (40a, 40b, 40c, 40d) and the input signals are satisfied.

Abstract: An electrophotographic photosensitive member comprises a conductive support and a photosensitive layer which comprises a charge generation layer and a charge transport layer, characterized in that the charge generation layer contains a polycarbonate resin, and the electrophotographic photosensitive member is electrostatically charged by applying a direct current voltage to a charging member in contact with the surface of said electrophotographic photosensitive member.

Abstract: An electrophotographic apparatus includes an electrophotographic photosensitive member, a charging member, an imagewise exposure system, a developing system having a toner feed member, a transfer system, and a cleaning system wherein the electrophotographic photosensitive member includes a surface layer containing a lubricative, fluorine-containing resin powder and the toner feed member includes a spacer member coming into contact with the surface layer of the electrophotographic photosensitive member; and also a process cartridge than can be detachably mounted on the electrophotographic apparatus.

Abstract: A new crystalline form of oxytitanium phthalocyanine is characterized by main peaks specified by Bragg angles (2.theta..+-.0.2 degrees) of 7.4 degrees, 10.2 degrees, 12.5 degrees, 15.0 degrees. 16.3 degrees, 18.3 degrees, 22.4 degrees, 24.2 degrees, 25.2 degrees and 28.5 degrees in X-ray diffraction pattern based on CuK.alpha. characteristic X-rays. The oxytitanium phthalocyanine is formed by treating amorphous oxytitanium phthalocyanine with a solvent selected from the group consisting of monohydric alcohols having at least two carbon atoms, cellosolves, diethylene glycol monoethers and diacetone alcohol. The oxytitanium phthalocyanine is useful as a charge generating material for providing an electrophotographic photosensitive member, which shows a stably high sensitivity to long wavelength light.

Abstract: Disclosed is a pipeline information processing circuit which comprises a register control unit for outputting a plurality of data held in registers at a time; an arithmetic operation unit for carrying out a collective arithmetic operation of a plurality of data; and a bypass control unit for comparing an operation result outputted from the arithmetic operation unit and a data outputted from the register control unit, selecting a data to be an object of the next arithmetic operation, and transferring the selected data to the arithmetic operation unit through a suitable bypass.

Abstract: An electrophotographic photosensitive member is disclosed which has an electroconductive support and a photosensitive layer formed thereon. The photosensitive member is electrified by applying voltage to an electrification means brought into contact therewith, and it has higher impedance (.OMEGA..cndot.cm) at an end portion than at other portion of the area where the photosensitive member is allowed to contact with the electrification means. Also, a process cartridge and an electrophotographic apparatus using the photosensitive member are disclosed.

Abstract: An to an electrophotographic photosensitive member includes a photosensitive layer containing a specified oxytitanium phthalocyanine and a polyvinyl acetal resin having a structural unit represented by Formula: ##STR1## wherein X is a hydrogen atom, a fluorine atom, a chlorine atom, a bromine atom, a nitro group, or a cyano group; and Y is a fluorine atom, a chlorine atom, a bromine atom, a nitro group, or a cyano group. The photosensitive member maintains a low residual potential without deterioration of the sensitivity during repeated use.

Abstract: An electrophotographic photosensitive member having a surface layer comprising a bisphenol Z-type polycarbonate resin is charged by contact charging. The charged electrophotographic photosensitive member is then subjected to imagewise exposure to form an electrostatic latent image on the photosensitive member, the thus formed electrostatic latent image on the electrophotographic photosensitive member is developed. The electrophotographic photosensitive member shows good resistance to wearing and toner sticking when subjected to electrophotographic image formation including a contact charging process.

Abstract: The present invention relates to a process for producing a crystalline I-type oxytitanium phthalocyanine having strong peaks in CuK.alpha. characteristic X-ray diffraction at Bragg angles (2.theta..+-.0.2.degree.) of 9.0.degree., 14.2.degree., 23.9.degree., and 27.1.degree., comprising milling-treatment of oxytitanium phthalocyanine or an aqueous paste thereof with a solvent containing a saturated hydrocarbon solvent.

Abstract: An electrophotographic photosensitive member has a conductive support, and a charge generating layer and a charge transporting layer. The charge generating layer contains an acetal resin obtained from a reaction of polyvinyl alcohol, alkyl aldehyde having a structure shown in Formula (1) below, and aryl aldehyde having a structure shown in Formula (2) below:R--CHO (1)wherein R is a substituted or unsubstituted, chain or cyclic alkyl group, andAr--CHO (2)wherein Ar is a substituted or unsubstituted aryl group. The electrophotographic photosensitive member is used in electrophotographic apparatus, device units and facsimile machines, while ensuring superior electrophotographic characteristics and an excellent image free from fog.

Abstract: A process for producing crystalline oxytitanium phthalocyanine showing strong peaks in CuK.alpha. characteristic X-ray diffraction at Bragg angles 2.theta..+-.0.2.degree. of 9.0.degree., 14.2.degree., 23.9.degree., and 27.1.degree., which comprises a dispersion treatment of the aqueous paste of oxytitanium phthalocyanine in an ether type compound.