摘要——本文介绍了一种使用 Brahms 多智能体建模语言对模型进行形式化验证来确保宇航员探测车 (ASRO) 团队自主系统可靠性的方法。行星表面探测车已被证明对几次载人和无人月球和火星任务至关重要。第一批探测车是遥控或手动操作的,但自主系统越来越多地被用于提高探测车操作的效率和范围,例如 NASA 火星科学实验室。预计未来的载人月球和火星任务将使用自主探测车协助宇航员进行舱外活动 (EVA),包括科学、技术和施工作业。这些 ASRO 团队有可能显著提高地面作业的安全性和效率。我们描述了一个新的 Brahms 模型,其中自主探测车可以执行几种不同的活动,包括在 EVA 期间协助宇航员。这些活动争夺自主探测器的“注意力”,因此探测器必须决定哪些活动当前最重要,并参与其中。Brahms 模型还包括一个宇航员代理,它可以模拟宇航员在舱外活动期间的预测行为。探测器还必须对宇航员的活动做出反应。我们展示了如何使用 Brahms 集成开发环境模拟这个 Brahms 模型。然后,还可以使用 SPIN 模型检查器通过从 Brahms 自动翻译到 PROMELA(SPIN 的输入语言),根据系统要求对模型进行正式验证。我们表明,这种正式验证可用于确定任务和安全关键操作是否正确执行,从而提高 ASRO 团队行星探测器自主系统的可靠性。
摘要 — 本文介绍了一种数字孪生方法的增强功能,该方法可以模拟工作实践,例如有人驾驶飞机和无人机之间的交互;或跨空中控制机构消除繁忙战场冲突。我们的前提是,通过捕捉社会技术环境的工作实践,这种方法可以克服当前方法的局限性,这些方法无法正确模拟拒绝或中断的环境。我们扩展了数字孪生构造以捕获多个实体以及它们如何系统地交互和相互依赖。我们的工作以 Brahms 模型及其社会技术系统工作实践建模的基础理论为前提,但我们引入了一种现代计算引擎,将这种技术扩展到更广泛的数字孪生解释,从而可以支持更丰富的现实-模拟-现实循环,并更有效地支持训练、反思、学习和再次训练。我们回顾了 Brahms 方法以及我们对数字孪生模型的扩展如何应用于社会技术系统。我们讨论了 Brahms-Lite 并介绍了一种空战模拟应用。最后,我们讨论了如何更广泛地应用这项技术,以扩展数字孪生方法在正常和拒绝条件下对复杂环境的模拟。
选段 门德尔松:《仲夏夜之梦》中的谐谑曲(开场) 菲尔莫尔:美国人我们(无重复,取第二个结尾) 勃拉姆斯:第 3 号交响曲3(选段) 贝多芬:第 8 号交响曲8(选段) 古诺:浮士德中的芭蕾音乐(选段) 达尔:小交响曲,[P] - [R] 博耶:乔伊斯的第 71 团进行曲(无重复,取第二个结尾) 韦伯:奥伯龙,序曲,接续至 Allegro con fuoco – 5 之前 [A] 柏辽兹:幻想交响曲,Mvt.3 (节选) 瓦格纳:艾尔莎的大教堂游行 (节选) 罗西尼:《La Gazza Ladra》序曲,节选从 [7] 开始 与合奏团成员一起演奏的节选 施特劳斯:降 E 大调小夜曲,作品。7 (单簧管 2) 从第 8 节开始 5 节在 [F] 之后 - 4 节在 [H] 之前 格兰杰:《林肯郡花束》,乐章。4,开始 - 第 25 节
选段 门德尔松:《仲夏夜之梦》中的谐谑曲(开场) 菲尔莫尔:《美国人》我们(无重复,取第二个结尾) 勃拉姆斯:第三交响曲,第二乐章,开头 – [B] 贝多芬:第八交响曲(选段) 古诺:《浮士德》中的芭蕾音乐(选段) 达尔:小交响曲,[P] - [R] 博耶:乔伊斯的第七十一首军团进行曲(无重复,取第二个结尾) 韦伯:《奥伯龙》,序曲,接续至《火的快板》 – 5 之前 [A] 柏辽兹:幻想交响曲,第二乐章。 3 (选段) 瓦格纳:《艾尔莎前往大教堂的游行》(选段) 罗西尼:《La Gazza Ladra》序曲,选段从 [7] 开始 与乐团成员一起演奏的选段 施特劳斯:《E 大调小夜曲》,作品 7(单簧管 2)从开头到第 8 部分 5 段在 [F] 之后 - 4 段在 [H] 之前 格兰杰:《林肯郡花束》,第 4 部分,从开头到第 25 部分
选段 门德尔松:《仲夏夜之梦》中的谐谑曲(开场) 菲尔莫尔:《美国人,我们》(无重复,取第二个结尾) 勃拉姆斯:第三交响曲,第二乐章,开头 – [B] 贝多芬:第六交响曲,第二乐章,第 68-77 小节 古诺:《浮士德》中的芭蕾曲(选段) 达尔:小交响曲,[P] - [R] 博耶:乔伊斯的第 71 团进行曲(无重复,取第二个结尾) 瓦格纳:《艾尔莎的大教堂游行》(选段) 罗西尼:《小偷》序曲,选段开始于 [7] 格兰杰:《林肯郡花束》,第 4 乐章,开头 – 第 25 小节 与合奏成员一起演奏的选段 施特劳斯:E 大调小夜曲,作品7 (单簧管 2) 从第 8 节开始 5 行后 [F] - 4 行前 [H] 莫扎特:B 调小夜曲第 10 号 (单簧管 1) 第 VI 节,从第 20 节开始 第 VII 节,[E] – [H]
选段 门德尔松:《仲夏夜之梦》中的谐谑曲(开场) 菲尔莫尔:《美国人》我们(无重复,取第二个结尾) 勃拉姆斯:第三交响曲,第二乐章,开头 – [B] 贝多芬:第八交响曲(选段) 古诺:《浮士德》中的芭蕾音乐(选段) 达尔:小交响曲,[P] - [R] 博耶:乔伊斯的第七十一首军团进行曲(无重复,取第二个结尾) 韦伯:《奥伯龙》,序曲,接续至《火的快板》 – 5 之前 [A] 柏辽兹:幻想交响曲,第二乐章。 3 (选段) 瓦格纳:《艾尔莎前往大教堂的游行》(选段) 罗西尼:《La Gazza Ladra》序曲,选段从 [7] 开始 与乐团成员一起演奏的选段 施特劳斯:《E 大调小夜曲》,作品 7(单簧管 2)从开头到第 8 部分 5 段在 [F] 之后 - 4 段在 [H] 之前 格兰杰:《林肯郡花束》,第 4 部分,从开头到第 25 部分
选段 门德尔松:《仲夏夜之梦》中的谐谑曲(开场) 菲尔莫尔:《美国人》我们(无重复,取第二个结尾) 勃拉姆斯:第三交响曲,第二乐章,开头 – [B] 贝多芬:第八交响曲(选段) 古诺:《浮士德》中的芭蕾音乐(选段) 达尔:小交响曲,[P] - [R] 博耶:乔伊斯的第七十一首军团进行曲(无重复,取第二个结尾) 韦伯:《奥伯龙》,序曲,接续至《火的快板》 – 5 之前 [A] 柏辽兹:幻想交响曲,第二乐章。 3 (选段) 瓦格纳:艾尔莎向大教堂行进(选段) 罗西尼:《小偷》序曲,选段从 [7] 开始 与乐团成员一起演奏的选段 瓦格纳:艾尔莎向大教堂行进,[1] - [4](两部分) 施特劳斯:E 大调小夜曲,作品 7(单簧管 2)从开头到第 8 节 5 节后 [F] - 4 节前 [H] 格兰杰:《林肯郡花束》,第 4 节,从开头到第 25 节
3- Crawford,J.L.,Crag,F.J.,Wang,A.H.-J.,Quigley,J.,Van Boom,J.H.,Marel,G。和Rich,A. (1980)Proc。 natl。 学院。 SCI。 美国77,4016-4020。 4-机翼,RM.M.M.M.M.M.M.M.M.M.M.M.M.M.M.M.M.M.M. 自然287,755-758。 5- Drew,H.R。 和Dickerson,R.E。 (19w1t J. Mol。 大。 151,535-556。 6-莱斯利(A.G.W. (1980)J。Mol。 bdol。 143,49-72。 7-伊万诺夫,V.I。 和Minyat,E.E。 (1981)nineical res。 9,4783-4798。 8- Arnott,S.,Candrasecaran,R.,Birdsall,D.L.,Leslie,A.G.W。 和Ratliff,R.L。 自然283,743-745。 9- POHL,F.M。 和Jovin,T.M。 (1972)J。Mol。 大。 67,375-396。 10-帕特尔(D.J.) 和Pohl,F.M。 (1979)Proc。 natl。 学院。 SCI。 美国76,2508-2511。 1U- SAGE,E。和Leng,M。(1980)Proc。 natl。 学院。 SCI。 美国77,4597-4601。 12- Sage,E。和Leng,M。(1981) 9,1241-1250。 13-圣,R.M.,Grunberger,D.,Weinstein,I.B。 和Rich,A。 (1981)Proc。 natl。 学院。 SCI。 美国78,1451-1455。 14- Life,M。和Felsenfeld,G。(1981)Proc。 natl。 学院。3- Crawford,J.L.,Crag,F.J.,Wang,A.H.-J.,Quigley,J.,Van Boom,J.H.,Marel,G。和Rich,A.(1980)Proc。 natl。 学院。 SCI。 美国77,4016-4020。 4-机翼,RM.M.M.M.M.M.M.M.M.M.M.M.M.M.M.M.M.M.M. 自然287,755-758。 5- Drew,H.R。 和Dickerson,R.E。 (19w1t J. Mol。 大。 151,535-556。 6-莱斯利(A.G.W. (1980)J。Mol。 bdol。 143,49-72。 7-伊万诺夫,V.I。 和Minyat,E.E。 (1981)nineical res。 9,4783-4798。 8- Arnott,S.,Candrasecaran,R.,Birdsall,D.L.,Leslie,A.G.W。 和Ratliff,R.L。 自然283,743-745。 9- POHL,F.M。 和Jovin,T.M。 (1972)J。Mol。 大。 67,375-396。 10-帕特尔(D.J.) 和Pohl,F.M。 (1979)Proc。 natl。 学院。 SCI。 美国76,2508-2511。 1U- SAGE,E。和Leng,M。(1980)Proc。 natl。 学院。 SCI。 美国77,4597-4601。 12- Sage,E。和Leng,M。(1981) 9,1241-1250。 13-圣,R.M.,Grunberger,D.,Weinstein,I.B。 和Rich,A。 (1981)Proc。 natl。 学院。 SCI。 美国78,1451-1455。 14- Life,M。和Felsenfeld,G。(1981)Proc。 natl。 学院。(1980)Proc。natl。学院。SCI。 美国77,4016-4020。 4-机翼,RM.M.M.M.M.M.M.M.M.M.M.M.M.M.M.M.M.M.M. 自然287,755-758。 5- Drew,H.R。 和Dickerson,R.E。 (19w1t J. Mol。 大。 151,535-556。 6-莱斯利(A.G.W. (1980)J。Mol。 bdol。 143,49-72。 7-伊万诺夫,V.I。 和Minyat,E.E。 (1981)nineical res。 9,4783-4798。 8- Arnott,S.,Candrasecaran,R.,Birdsall,D.L.,Leslie,A.G.W。 和Ratliff,R.L。 自然283,743-745。 9- POHL,F.M。 和Jovin,T.M。 (1972)J。Mol。 大。 67,375-396。 10-帕特尔(D.J.) 和Pohl,F.M。 (1979)Proc。 natl。 学院。 SCI。 美国76,2508-2511。 1U- SAGE,E。和Leng,M。(1980)Proc。 natl。 学院。 SCI。 美国77,4597-4601。 12- Sage,E。和Leng,M。(1981) 9,1241-1250。 13-圣,R.M.,Grunberger,D.,Weinstein,I.B。 和Rich,A。 (1981)Proc。 natl。 学院。 SCI。 美国78,1451-1455。 14- Life,M。和Felsenfeld,G。(1981)Proc。 natl。 学院。SCI。美国77,4016-4020。4-机翼,RM.M.M.M.M.M.M.M.M.M.M.M.M.M.M.M.M.M.M. 自然287,755-758。 5- Drew,H.R。 和Dickerson,R.E。 (19w1t J. Mol。 大。 151,535-556。 6-莱斯利(A.G.W. (1980)J。Mol。 bdol。 143,49-72。 7-伊万诺夫,V.I。 和Minyat,E.E。 (1981)nineical res。 9,4783-4798。 8- Arnott,S.,Candrasecaran,R.,Birdsall,D.L.,Leslie,A.G.W。 和Ratliff,R.L。 自然283,743-745。 9- POHL,F.M。 和Jovin,T.M。 (1972)J。Mol。 大。 67,375-396。 10-帕特尔(D.J.) 和Pohl,F.M。 (1979)Proc。 natl。 学院。 SCI。 美国76,2508-2511。 1U- SAGE,E。和Leng,M。(1980)Proc。 natl。 学院。 SCI。 美国77,4597-4601。 12- Sage,E。和Leng,M。(1981) 9,1241-1250。 13-圣,R.M.,Grunberger,D.,Weinstein,I.B。 和Rich,A。 (1981)Proc。 natl。 学院。 SCI。 美国78,1451-1455。 14- Life,M。和Felsenfeld,G。(1981)Proc。 natl。 学院。4-机翼,RM.M.M.M.M.M.M.M.M.M.M.M.M.M.M.M.M.M.M.自然287,755-758。5- Drew,H.R。 和Dickerson,R.E。 (19w1t J. Mol。 大。 151,535-556。 6-莱斯利(A.G.W. (1980)J。Mol。 bdol。 143,49-72。 7-伊万诺夫,V.I。 和Minyat,E.E。 (1981)nineical res。 9,4783-4798。 8- Arnott,S.,Candrasecaran,R.,Birdsall,D.L.,Leslie,A.G.W。 和Ratliff,R.L。 自然283,743-745。 9- POHL,F.M。 和Jovin,T.M。 (1972)J。Mol。 大。 67,375-396。 10-帕特尔(D.J.) 和Pohl,F.M。 (1979)Proc。 natl。 学院。 SCI。 美国76,2508-2511。 1U- SAGE,E。和Leng,M。(1980)Proc。 natl。 学院。 SCI。 美国77,4597-4601。 12- Sage,E。和Leng,M。(1981) 9,1241-1250。 13-圣,R.M.,Grunberger,D.,Weinstein,I.B。 和Rich,A。 (1981)Proc。 natl。 学院。 SCI。 美国78,1451-1455。 14- Life,M。和Felsenfeld,G。(1981)Proc。 natl。 学院。5- Drew,H.R。和Dickerson,R.E。(19w1t J. Mol。大。151,535-556。6-莱斯利(A.G.W.(1980)J。Mol。 bdol。 143,49-72。 7-伊万诺夫,V.I。 和Minyat,E.E。 (1981)nineical res。 9,4783-4798。 8- Arnott,S.,Candrasecaran,R.,Birdsall,D.L.,Leslie,A.G.W。 和Ratliff,R.L。 自然283,743-745。 9- POHL,F.M。 和Jovin,T.M。 (1972)J。Mol。 大。 67,375-396。 10-帕特尔(D.J.) 和Pohl,F.M。 (1979)Proc。 natl。 学院。 SCI。 美国76,2508-2511。 1U- SAGE,E。和Leng,M。(1980)Proc。 natl。 学院。 SCI。 美国77,4597-4601。 12- Sage,E。和Leng,M。(1981) 9,1241-1250。 13-圣,R.M.,Grunberger,D.,Weinstein,I.B。 和Rich,A。 (1981)Proc。 natl。 学院。 SCI。 美国78,1451-1455。 14- Life,M。和Felsenfeld,G。(1981)Proc。 natl。 学院。(1980)J。Mol。bdol。143,49-72。7-伊万诺夫,V.I。 和Minyat,E.E。 (1981)nineical res。 9,4783-4798。 8- Arnott,S.,Candrasecaran,R.,Birdsall,D.L.,Leslie,A.G.W。 和Ratliff,R.L。 自然283,743-745。 9- POHL,F.M。 和Jovin,T.M。 (1972)J。Mol。 大。 67,375-396。 10-帕特尔(D.J.) 和Pohl,F.M。 (1979)Proc。 natl。 学院。 SCI。 美国76,2508-2511。 1U- SAGE,E。和Leng,M。(1980)Proc。 natl。 学院。 SCI。 美国77,4597-4601。 12- Sage,E。和Leng,M。(1981) 9,1241-1250。 13-圣,R.M.,Grunberger,D.,Weinstein,I.B。 和Rich,A。 (1981)Proc。 natl。 学院。 SCI。 美国78,1451-1455。 14- Life,M。和Felsenfeld,G。(1981)Proc。 natl。 学院。7-伊万诺夫,V.I。和Minyat,E.E。(1981)nineical res。9,4783-4798。8- Arnott,S.,Candrasecaran,R.,Birdsall,D.L.,Leslie,A.G.W。 和Ratliff,R.L。 自然283,743-745。 9- POHL,F.M。 和Jovin,T.M。 (1972)J。Mol。 大。 67,375-396。 10-帕特尔(D.J.) 和Pohl,F.M。 (1979)Proc。 natl。 学院。 SCI。 美国76,2508-2511。 1U- SAGE,E。和Leng,M。(1980)Proc。 natl。 学院。 SCI。 美国77,4597-4601。 12- Sage,E。和Leng,M。(1981) 9,1241-1250。 13-圣,R.M.,Grunberger,D.,Weinstein,I.B。 和Rich,A。 (1981)Proc。 natl。 学院。 SCI。 美国78,1451-1455。 14- Life,M。和Felsenfeld,G。(1981)Proc。 natl。 学院。8- Arnott,S.,Candrasecaran,R.,Birdsall,D.L.,Leslie,A.G.W。和Ratliff,R.L。自然283,743-745。9- POHL,F.M。 和Jovin,T.M。 (1972)J。Mol。 大。 67,375-396。 10-帕特尔(D.J.) 和Pohl,F.M。 (1979)Proc。 natl。 学院。 SCI。 美国76,2508-2511。 1U- SAGE,E。和Leng,M。(1980)Proc。 natl。 学院。 SCI。 美国77,4597-4601。 12- Sage,E。和Leng,M。(1981) 9,1241-1250。 13-圣,R.M.,Grunberger,D.,Weinstein,I.B。 和Rich,A。 (1981)Proc。 natl。 学院。 SCI。 美国78,1451-1455。 14- Life,M。和Felsenfeld,G。(1981)Proc。 natl。 学院。9- POHL,F.M。和Jovin,T.M。(1972)J。Mol。 大。 67,375-396。 10-帕特尔(D.J.) 和Pohl,F.M。 (1979)Proc。 natl。 学院。 SCI。 美国76,2508-2511。 1U- SAGE,E。和Leng,M。(1980)Proc。 natl。 学院。 SCI。 美国77,4597-4601。 12- Sage,E。和Leng,M。(1981) 9,1241-1250。 13-圣,R.M.,Grunberger,D.,Weinstein,I.B。 和Rich,A。 (1981)Proc。 natl。 学院。 SCI。 美国78,1451-1455。 14- Life,M。和Felsenfeld,G。(1981)Proc。 natl。 学院。(1972)J。Mol。大。67,375-396。10-帕特尔(D.J.)和Pohl,F.M。(1979)Proc。 natl。 学院。 SCI。 美国76,2508-2511。 1U- SAGE,E。和Leng,M。(1980)Proc。 natl。 学院。 SCI。 美国77,4597-4601。 12- Sage,E。和Leng,M。(1981) 9,1241-1250。 13-圣,R.M.,Grunberger,D.,Weinstein,I.B。 和Rich,A。 (1981)Proc。 natl。 学院。 SCI。 美国78,1451-1455。 14- Life,M。和Felsenfeld,G。(1981)Proc。 natl。 学院。(1979)Proc。natl。学院。SCI。 美国76,2508-2511。 1U- SAGE,E。和Leng,M。(1980)Proc。 natl。 学院。 SCI。 美国77,4597-4601。 12- Sage,E。和Leng,M。(1981) 9,1241-1250。 13-圣,R.M.,Grunberger,D.,Weinstein,I.B。 和Rich,A。 (1981)Proc。 natl。 学院。 SCI。 美国78,1451-1455。 14- Life,M。和Felsenfeld,G。(1981)Proc。 natl。 学院。SCI。美国76,2508-2511。1U- SAGE,E。和Leng,M。(1980)Proc。 natl。 学院。 SCI。 美国77,4597-4601。 12- Sage,E。和Leng,M。(1981) 9,1241-1250。 13-圣,R.M.,Grunberger,D.,Weinstein,I.B。 和Rich,A。 (1981)Proc。 natl。 学院。 SCI。 美国78,1451-1455。 14- Life,M。和Felsenfeld,G。(1981)Proc。 natl。 学院。1U- SAGE,E。和Leng,M。(1980)Proc。natl。学院。SCI。 美国77,4597-4601。 12- Sage,E。和Leng,M。(1981) 9,1241-1250。 13-圣,R.M.,Grunberger,D.,Weinstein,I.B。 和Rich,A。 (1981)Proc。 natl。 学院。 SCI。 美国78,1451-1455。 14- Life,M。和Felsenfeld,G。(1981)Proc。 natl。 学院。SCI。美国77,4597-4601。 12- Sage,E。和Leng,M。(1981) 9,1241-1250。 13-圣,R.M.,Grunberger,D.,Weinstein,I.B。 和Rich,A。 (1981)Proc。 natl。 学院。 SCI。 美国78,1451-1455。 14- Life,M。和Felsenfeld,G。(1981)Proc。 natl。 学院。美国77,4597-4601。12- Sage,E。和Leng,M。(1981)9,1241-1250。13-圣,R.M.,Grunberger,D.,Weinstein,I.B。 和Rich,A。 (1981)Proc。 natl。 学院。 SCI。 美国78,1451-1455。 14- Life,M。和Felsenfeld,G。(1981)Proc。 natl。 学院。13-圣,R.M.,Grunberger,D.,Weinstein,I.B。和Rich,A。(1981)Proc。natl。学院。SCI。 美国78,1451-1455。 14- Life,M。和Felsenfeld,G。(1981)Proc。 natl。 学院。SCI。美国78,1451-1455。 14- Life,M。和Felsenfeld,G。(1981)Proc。 natl。 学院。美国78,1451-1455。14- Life,M。和Felsenfeld,G。(1981)Proc。natl。学院。SCI。 美国78,1619-1623。 15-俱乐部,A.,Jack,A.,A。 (1979)J。Mol。 大。 131,669-680。 16- Rakstein,J。和Leng,M。(1980)自然288,413-4 17-魏斯。 R. R.Birsch-Birth,E.,Zimer,Ch。,Reinert,H。和Luck,G。(1980) sammp。 存在。 第73-87号。 18- Vorlikova,M.,Cyprus,J.,Cleinwichter,K.,Palecic,E。(1980)Nice Acid Shes。 8,3895-3 19-塞浦路斯,J。,Vorlickova,M。,Blessings,M。和Sklear,V ..(1981)Biochem。 生物。 res。 牛。 99,1257-1264。 20- Gray,D.M。和R.L. Ratliff (1975) 21- PILET,J。和Brahms,J。 大自然236,99-1 22-伊万诺夫(Ivanov),V.I.,Mincholy,L.E.,Schyolita,A.K。 和A.I. Poletaev (1973)生物赖以生物赖以生物赖斯特12,89-1 23- Ivanov,V.I.,Mincheva,L.E.,Minyat,E.E.,Frank-Chamets,M.D。 和Schyolkina,A.K。 (1974)J。Mol。 大。 87,817-833。 24- LERMAN,L.S。 (1971)Proc。 natl。 学院。 SCI。 美国68,1886-1 25-约旦,C.F.,Lerman,L.S。和J.H. Venable (1972)自然236,67-70。 26- YE.M. Eddochims,A.L.Platonov,A.S。Tikhoenko和YA.M. Barshavsky (1972)febs lett。 23,180-184。 和Warshavsky,是的,米。 (1976)下一个权利。 3,2353-2366。 化学。SCI。美国78,1619-1623。15-俱乐部,A.,Jack,A.,A。 (1979)J。Mol。 大。 131,669-680。 16- Rakstein,J。和Leng,M。(1980)自然288,413-4 17-魏斯。 R. R.Birsch-Birth,E.,Zimer,Ch。,Reinert,H。和Luck,G。(1980) sammp。 存在。 第73-87号。 18- Vorlikova,M.,Cyprus,J.,Cleinwichter,K.,Palecic,E。(1980)Nice Acid Shes。 8,3895-3 19-塞浦路斯,J。,Vorlickova,M。,Blessings,M。和Sklear,V ..(1981)Biochem。 生物。 res。 牛。 99,1257-1264。 20- Gray,D.M。和R.L. Ratliff (1975) 21- PILET,J。和Brahms,J。 大自然236,99-1 22-伊万诺夫(Ivanov),V.I.,Mincholy,L.E.,Schyolita,A.K。 和A.I. Poletaev (1973)生物赖以生物赖以生物赖斯特12,89-1 23- Ivanov,V.I.,Mincheva,L.E.,Minyat,E.E.,Frank-Chamets,M.D。 和Schyolkina,A.K。 (1974)J。Mol。 大。 87,817-833。 24- LERMAN,L.S。 (1971)Proc。 natl。 学院。 SCI。 美国68,1886-1 25-约旦,C.F.,Lerman,L.S。和J.H. Venable (1972)自然236,67-70。 26- YE.M. Eddochims,A.L.Platonov,A.S。Tikhoenko和YA.M. Barshavsky (1972)febs lett。 23,180-184。 和Warshavsky,是的,米。 (1976)下一个权利。 3,2353-2366。 化学。15-俱乐部,A.,Jack,A.,A。(1979)J。Mol。 大。 131,669-680。 16- Rakstein,J。和Leng,M。(1980)自然288,413-4 17-魏斯。 R. R.Birsch-Birth,E.,Zimer,Ch。,Reinert,H。和Luck,G。(1980) sammp。 存在。 第73-87号。 18- Vorlikova,M.,Cyprus,J.,Cleinwichter,K.,Palecic,E。(1980)Nice Acid Shes。 8,3895-3 19-塞浦路斯,J。,Vorlickova,M。,Blessings,M。和Sklear,V ..(1981)Biochem。 生物。 res。 牛。 99,1257-1264。 20- Gray,D.M。和R.L. Ratliff (1975) 21- PILET,J。和Brahms,J。 大自然236,99-1 22-伊万诺夫(Ivanov),V.I.,Mincholy,L.E.,Schyolita,A.K。 和A.I. Poletaev (1973)生物赖以生物赖以生物赖斯特12,89-1 23- Ivanov,V.I.,Mincheva,L.E.,Minyat,E.E.,Frank-Chamets,M.D。 和Schyolkina,A.K。 (1974)J。Mol。 大。 87,817-833。 24- LERMAN,L.S。 (1971)Proc。 natl。 学院。 SCI。 美国68,1886-1 25-约旦,C.F.,Lerman,L.S。和J.H. Venable (1972)自然236,67-70。 26- YE.M. Eddochims,A.L.Platonov,A.S。Tikhoenko和YA.M. Barshavsky (1972)febs lett。 23,180-184。 和Warshavsky,是的,米。 (1976)下一个权利。 3,2353-2366。 化学。(1979)J。Mol。大。131,669-680。16- Rakstein,J。和Leng,M。(1980)自然288,413-4 17-魏斯。 R. R.Birsch-Birth,E.,Zimer,Ch。,Reinert,H。和Luck,G。(1980) sammp。 存在。 第73-87号。 18- Vorlikova,M.,Cyprus,J.,Cleinwichter,K.,Palecic,E。(1980)Nice Acid Shes。 8,3895-3 19-塞浦路斯,J。,Vorlickova,M。,Blessings,M。和Sklear,V ..(1981)Biochem。 生物。 res。 牛。 99,1257-1264。 20- Gray,D.M。和R.L. Ratliff (1975) 21- PILET,J。和Brahms,J。 大自然236,99-1 22-伊万诺夫(Ivanov),V.I.,Mincholy,L.E.,Schyolita,A.K。 和A.I. Poletaev (1973)生物赖以生物赖以生物赖斯特12,89-1 23- Ivanov,V.I.,Mincheva,L.E.,Minyat,E.E.,Frank-Chamets,M.D。 和Schyolkina,A.K。 (1974)J。Mol。 大。 87,817-833。 24- LERMAN,L.S。 (1971)Proc。 natl。 学院。 SCI。 美国68,1886-1 25-约旦,C.F.,Lerman,L.S。和J.H. Venable (1972)自然236,67-70。 26- YE.M. Eddochims,A.L.Platonov,A.S。Tikhoenko和YA.M. Barshavsky (1972)febs lett。 23,180-184。 和Warshavsky,是的,米。 (1976)下一个权利。 3,2353-2366。 化学。16- Rakstein,J。和Leng,M。(1980)自然288,413-417-魏斯。R.Birsch-Birth,E.,Zimer,Ch。,Reinert,H。和Luck,G。(1980)sammp。存在。第73-87号。18- Vorlikova,M.,Cyprus,J.,Cleinwichter,K.,Palecic,E。(1980)Nice Acid Shes。8,3895-319-塞浦路斯,J。,Vorlickova,M。,Blessings,M。和Sklear,V ..(1981)Biochem。 生物。 res。 牛。 99,1257-1264。 20- Gray,D.M。和R.L. Ratliff (1975) 21- PILET,J。和Brahms,J。 大自然236,99-1 22-伊万诺夫(Ivanov),V.I.,Mincholy,L.E.,Schyolita,A.K。 和A.I. Poletaev (1973)生物赖以生物赖以生物赖斯特12,89-1 23- Ivanov,V.I.,Mincheva,L.E.,Minyat,E.E.,Frank-Chamets,M.D。 和Schyolkina,A.K。 (1974)J。Mol。 大。 87,817-833。 24- LERMAN,L.S。 (1971)Proc。 natl。 学院。 SCI。 美国68,1886-1 25-约旦,C.F.,Lerman,L.S。和J.H. Venable (1972)自然236,67-70。 26- YE.M. Eddochims,A.L.Platonov,A.S。Tikhoenko和YA.M. Barshavsky (1972)febs lett。 23,180-184。 和Warshavsky,是的,米。 (1976)下一个权利。 3,2353-2366。 化学。19-塞浦路斯,J。,Vorlickova,M。,Blessings,M。和Sklear,V ..(1981)Biochem。生物。res。牛。99,1257-1264。20- Gray,D.M。和R.L. Ratliff(1975)21- PILET,J。和Brahms,J。大自然236,99-122-伊万诺夫(Ivanov),V.I.,Mincholy,L.E.,Schyolita,A.K。 和A.I. Poletaev (1973)生物赖以生物赖以生物赖斯特12,89-1 23- Ivanov,V.I.,Mincheva,L.E.,Minyat,E.E.,Frank-Chamets,M.D。 和Schyolkina,A.K。 (1974)J。Mol。 大。 87,817-833。 24- LERMAN,L.S。 (1971)Proc。 natl。 学院。 SCI。 美国68,1886-1 25-约旦,C.F.,Lerman,L.S。和J.H. Venable (1972)自然236,67-70。 26- YE.M. Eddochims,A.L.Platonov,A.S。Tikhoenko和YA.M. Barshavsky (1972)febs lett。 23,180-184。 和Warshavsky,是的,米。 (1976)下一个权利。 3,2353-2366。 化学。22-伊万诺夫(Ivanov),V.I.,Mincholy,L.E.,Schyolita,A.K。和A.I. Poletaev(1973)生物赖以生物赖以生物赖斯特12,89-123- Ivanov,V.I.,Mincheva,L.E.,Minyat,E.E.,Frank-Chamets,M.D。 和Schyolkina,A.K。 (1974)J。Mol。 大。 87,817-833。 24- LERMAN,L.S。 (1971)Proc。 natl。 学院。 SCI。 美国68,1886-1 25-约旦,C.F.,Lerman,L.S。和J.H. Venable (1972)自然236,67-70。 26- YE.M. Eddochims,A.L.Platonov,A.S。Tikhoenko和YA.M. Barshavsky (1972)febs lett。 23,180-184。 和Warshavsky,是的,米。 (1976)下一个权利。 3,2353-2366。 化学。23- Ivanov,V.I.,Mincheva,L.E.,Minyat,E.E.,Frank-Chamets,M.D。和Schyolkina,A.K。(1974)J。Mol。 大。 87,817-833。 24- LERMAN,L.S。 (1971)Proc。 natl。 学院。 SCI。 美国68,1886-1 25-约旦,C.F.,Lerman,L.S。和J.H. Venable (1972)自然236,67-70。 26- YE.M. Eddochims,A.L.Platonov,A.S。Tikhoenko和YA.M. Barshavsky (1972)febs lett。 23,180-184。 和Warshavsky,是的,米。 (1976)下一个权利。 3,2353-2366。 化学。(1974)J。Mol。大。87,817-833。24- LERMAN,L.S。 (1971)Proc。 natl。 学院。 SCI。 美国68,1886-1 25-约旦,C.F.,Lerman,L.S。和J.H. Venable (1972)自然236,67-70。 26- YE.M. Eddochims,A.L.Platonov,A.S。Tikhoenko和YA.M. Barshavsky (1972)febs lett。 23,180-184。 和Warshavsky,是的,米。 (1976)下一个权利。 3,2353-2366。 化学。24- LERMAN,L.S。(1971)Proc。 natl。 学院。 SCI。 美国68,1886-1 25-约旦,C.F.,Lerman,L.S。和J.H. Venable (1972)自然236,67-70。 26- YE.M. Eddochims,A.L.Platonov,A.S。Tikhoenko和YA.M. Barshavsky (1972)febs lett。 23,180-184。 和Warshavsky,是的,米。 (1976)下一个权利。 3,2353-2366。 化学。(1971)Proc。natl。学院。SCI。 美国68,1886-1 25-约旦,C.F.,Lerman,L.S。和J.H. Venable (1972)自然236,67-70。 26- YE.M. Eddochims,A.L.Platonov,A.S。Tikhoenko和YA.M. Barshavsky (1972)febs lett。 23,180-184。 和Warshavsky,是的,米。 (1976)下一个权利。 3,2353-2366。 化学。SCI。美国68,1886-125-约旦,C.F.,Lerman,L.S。和J.H. Venable (1972)自然236,67-70。 26- YE.M. Eddochims,A.L.Platonov,A.S。Tikhoenko和YA.M. Barshavsky (1972)febs lett。 23,180-184。 和Warshavsky,是的,米。 (1976)下一个权利。 3,2353-2366。 化学。25-约旦,C.F.,Lerman,L.S。和J.H. Venable(1972)自然236,67-70。26- YE.M. Eddochims,A.L.Platonov,A.S。Tikhoenko和YA.M. Barshavsky (1972)febs lett。 23,180-184。 和Warshavsky,是的,米。 (1976)下一个权利。 3,2353-2366。 化学。26- YE.M. Eddochims,A.L.Platonov,A.S。Tikhoenko和YA.M. Barshavsky(1972)febs lett。23,180-184。和Warshavsky,是的,米。(1976)下一个权利。3,2353-2366。化学。27- YE.M. Eddokimov,O.F. Polyvtsev,Akimenko,N.M.,Kadykov,V.A.,D.A. 28 Serves,T.,Augustyniak,J。和Guschlbauer,W。(1981) 9,6191-6197。 J. Phys。 85,517-525。 30-30-30-G.,M.,Minyat,E.E.,Schyolkina,A.K。 和Ivanov,V.I。 (1975)febs lett。 51,38-4 31- Vorlickova,M.,Cyprus,J.,Stokrova,St.和Sponar,J. (1982)尼斯权利。 JQ,1071-127- YE.M. Eddokimov,O.F. Polyvtsev,Akimenko,N.M.,Kadykov,V.A.,D.A.28 Serves,T.,Augustyniak,J。和Guschlbauer,W。(1981) 9,6191-6197。 J. Phys。 85,517-525。 30-30-30-G.,M.,Minyat,E.E.,Schyolkina,A.K。 和Ivanov,V.I。 (1975)febs lett。 51,38-4 31- Vorlickova,M.,Cyprus,J.,Stokrova,St.和Sponar,J. (1982)尼斯权利。 JQ,1071-128 Serves,T.,Augustyniak,J。和Guschlbauer,W。(1981)9,6191-6197。J. Phys。85,517-525。30-30-30-G.,M.,Minyat,E.E.,Schyolkina,A.K。和Ivanov,V.I。(1975)febs lett。51,38-4 31- Vorlickova,M.,Cyprus,J.,Stokrova,St.和Sponar,J. (1982)尼斯权利。 JQ,1071-151,38-431- Vorlickova,M.,Cyprus,J.,Stokrova,St.和Sponar,J.(1982)尼斯权利。JQ,1071-1