Claim Your Author Page
Ensure your research is discoverable on Semantic Scholar. Claiming your author page allows you to personalize the information displayed and manage publications.
Symbolic bisimulation avoids the infinite branching problem caused by instantiating input names with all names in the standard definition of bisimulation in π-calculus.However,it does not… (More)
Anabaena oryzae was first carried by a retrievable satellite and flew in space for 8 din 1990. A strain (AoSR16) of Anabaena oryzae was selected which showed an incrase innitrogenase activity, while… (More)
A formal technique for incorporating two specification paradigms is presented,in which an algebraic specification is implemented by a set of abstract procedures specified in pre and post-condition… (More)
l正g 各种固氮生物的固氮酶对氧都很敏感,无论是制备固氮酶的组份Ⅰ(钼铁蛋白)或组份Ⅱ(铁蛋白),也无论采取什么方法(如DEAE-纤维素层析法、硫酸鱼精朊沉淀法、胶滤、制备凝胶电泳等等)都必需在严格厌氧条件下进行,铁蛋白对氧更加敏感,因此要获得较纯而又具活力的铁蛋白,其分离、纯化过程既要严格厌氧又要迅速。到目前为止,仅红螺菌(Rhodospirillum rubrum)和棕色
The notions of class, subclass, superclass and inheritance were first introduced into programming languages by Simula 67, and further developed in languages like Smalltalk and C++ to form a special… (More)
The Fe protein of Anabaena cylindrica was first separated and purified by chromatography through DEAE-cellulose columns then by gel electrophoresis.The specific activity was up to 142.46 nmol C2H4/mg… (More)