hotchpotch/wikipedia-multilingual-ir-pairs huggingface dataset:
演员模型 历史
演员模型受到了Lisp、Simula、Smalltalk-72、基于权限的系统和分组交换的影响。其发展“受到由几十、几百、甚至几千个独立微处理机构成的高度并行计算机器的前景所推动，其中的每个处理机都有自己局部内存和通信处理器，它们通过高性能网络进行通信。”此后随着采用多核和众核计算机架构的大规模并发计算的出现，人们已经重新燃起了对演员模型的兴趣。
在Hewitt、Bishop和Steiger的1973年刊物之后，Irene Greif在1975年博士论文中，为演员模型开发出了一种操作语义。Henry Baker和Hewitt在1977年发表了演员系统的公理法则。其他主要的里程碑包括：William Clinger的1981年学位论文，它介入了基于幂域的指称语义；还有Gul Agha的1985年学位论文，它进一步发展出基于transition的语义模型，从而补充了Clinger的模型。这些工作促成了演员模型理论的全面发展。
演员模型 历史
主要的软件实现工作，由麻省理工学院的消息传递语义小组完成，其成员包括Russ Atkinson、Giuseppe Attardi、Henry Baker、Gerry Barber、Peter Bishop、Peter de Jong、Ken Kahn、Henry Lieberman、Carl Manning、Tom Reinhardt、Richard Steiger和Dan Theriault。分别由加州理工学院的Chuck Seitz和麻省理工学院的Bill Dally领导的研究小组，致力于构造新的计算机架构，用以进一步发展演员模型中的消息传递。有关工作详见演员模型实现。
演员模型的研究，已经开展于加州理工学院、京都大学、微电子及计算机技术公司、MIT人工智能实验室、斯坦福国际研究所、斯坦福大学、伊利诺伊大学厄巴纳-香槟分校、巴黎第六大学、比萨大学、东京大学米澤研究室、荷兰数学和计算机科学研究学会和其他一些地方。
演员模型 使用演员模型编程
一些编程语言使用了演员模型或变种。这些语言包括：
演员模型库及框架，允许用户在没有内置演员模型的语言中进行编程。这些框架包括：
注意这里没有列出全部框架和库。
演员模型 并发编程语言用例
尽管Erlang语言设计者并未如此表述，因其进程间通信是通过无共享异步消息传递系统运作，它一般被引证为采用演员模型的典型代表之一。在Erlang中，所有进程都有一个自己的“邮箱”，它是从其他进程已经发送过来而仍未被消费的消息的队列。进程使用receive原语来检索匹配预期模式的消息。一个消息处理例程针对每个模式依次测试这些消息，直到其中有一个匹配。在消息被消费并从邮箱中移除之时进程恢复执行。消息可以包含任何Erlang结构，包括原始类型（整数，浮点数、字符、原子）、元组、列表和函数。
下面例子展示了Erlang对分布式进程的内建支持：
演员模型 原型的演员编程语言
Hewitt在2006年发表了一个原型的演员编程语言，用意在于直接表达演员行为的重要方面。消息采用如下表示法：
<标签>[<元素>1 ... <元素>n]
编程语言的语义是通过将每个程序构造确定为有自己行为的演员来定义的。执行是通过在执行期间让Eval消息在程序构造之间传递来建模的。
每个Eval消息都有一个充当环境的演员的地址，它能够进行标识符与值的绑定（binding）。environment演员是不可变的（immutable），也就是不变更的。
当一个environment演员收到Request[Bind[identifier value] customer]的时候，建立一个新的环境演员environment’发送给customer，使得这个新环境演员收到Request[Lookup[identifier’] customer’]的时候，如果identifier同于identifier’，则发送给customer’一个Returned[value]，否则发送给environment一个Request[Lookup[identifier’] customer’]。
演员模型 原型的演员编程语言
当一个environment演员收到Request[Bind[<模式> String] customer]的时候，如果此<模式>形如Request[msg[paramerer] customer]，匹配于String形如Request[msg[argument] customer]，则建立一个新的环境演员environment’发送给customer，使得这个新环境演员收到Request[Lookup[parameter’] customer’]的时候，如果parameter’同于parameter，则发送给customer’一个Returned[argument]，否则发送给customer一个Thrown[NotFound[<模式>]]。
演员模型 原型的演员编程语言
当一个environment演员收到Request[Bind[identifier(parameter) value] customer]的时候，建立一个新的环境演员environment’发送给customer，使得这个新环境演员收到Request[Lookup[identifier’(argument)] customer’]的时候，如果identifier同于identifier’，则建立一个新的环境演员environment’’，发送给customer’一个Returned[value]和一个Returned[environment’’]，否则发送给environment一个Request[Lookup[identifier’(argument)] customer’]。这个新环境演员environment’’在收到Request[Lookup[parameter’] customer’]的时候，如果parameter’同于parameter，则发送给customer’一个Returned[argument]，否则发送给environment’一个Request[Lookup[parameter’] customer’]。
演员模型 原型的演员编程语言
上述环境演员建造在EmptyEnvironment演员之上，它在接收到Request[Lookup[identifier] customer]的时候，发送给customer一个Thrown[NotFound[identifier]]。当它收到Bind请求的时候，EmptyEnvironment表现的如同上述环境演员。
原型语言有如下种类的表达式，这里的通信包括Request[...]、Returned[...]和Thrown[...]，这里的消息包括Eval[...]、Bind[...]和Lookup[...]：
<标识符>
在收到Request[Eval[environment] customer]的时候，发送给environment一个Request[Lookup[<标识符>] customer]。
send <接收者> <通信>
在收到Request[Eval[environment] customer]的时候，建立一个新演员evalCustomer1，发送给<接收者>一个Request[Eval[environment] evalCustomer1]，使得
演员模型 原型的演员编程语言
在evalCustomer1收到通信Returned[theRecipient]的时候，建立一个新演员evalCustomer2，发送给<通信>一个Request[Eval[environment] evalCustomer2]，使得
在evalCustomer2收到通信Returned[theCommunication]的时候，发送给theRecipient一个theCommunication。
<接收者>.<消息>
在收到Request[Eval[environment] customer]的时候，建立一个新演员evalCustomer1，发送<接收者>一个Request[Eval[environment] evalCustomer1]，使得
在evalCustomer1收到通信Returned[theRecipient]的时候，建立一个新演员evalCustomer2，发送给<消息>一个Request[Eval[environment] evalCustomer2]，使得
演员模型 原型的演员编程语言
在 evalCustomer2收到通信Returned[theMessage]的时候，发送给theRecipient一个Request[theMessage customer]。
receiver ... <模式>i <表达式>i ...
在收到Request[Eval[environment] customer]的时候，发送给customer一个新演员theReceiver，使得
在theReceiver收到通信内容com的时候，建立一个新演员bindingCustomer，并发送给environment一个Request[Bind[<模式>i com] bindingCustomer]，而且
如果bindingCustomer收到Returned[environment’]，发送给<表达式>i一个Request[Eval[environment’]]
不然如果bindingCustomer收到Thrown[...]，尝试<模式>i+1。
behavior ... <模式>i <表达式>i ...
演员模型 原型的演员编程语言
在收到Request[Eval[environment] customer]的时候，发送给customer一个新演员theReceiver，使得
在theReceiver收到Request[message customer’]的时候，建立一个新演员bindingCustomer，并发送给environment一个Request[bind[<模式>i message] customer’]，而且
如果bindingCustomer收到Returned[environment’]，发送给<表达式>i一个Request[Eval[environment’] customer’]
不然如果bindingCustomer收到Thrown[...]，尝试<模式>i+1。
{<表达式>1, <表达式>2}
在收到Request[Eval[environment] customer]的时候，发送给<表达式>1一个Request[Eval[environment]]，而且并发的发送给<表达式>2一个Request[Eval[environment] customer]。
演员模型 原型的演员编程语言
let <标识符> = <表达式>值 in <表达式>体
在收到message[Eval[environment] customer]的时候，建立一个新演员evalCustomer，并发送给<表达式>值一个Request[Eval[environment] evalCustomer]。
在evalCustomer收到Returned[theValue]的时候，建立一个新演员bindingCustomer，并发送给environment一个Request[bind[<标识符> theValue] bindingCustomer]。
在bindingCustomer收到Returned[environment’]的时候，发送给<expression>体一个Request[Eval[environment’] customer]。
serializer <表达式>
演员模型 原型的演员编程语言
在收到Request[Eval[environment] customer]的时候，发送给customer一个Returned[theSerializer]，这里的theSerializer是新演员，使得发送到theSerializer的通信按FIFO次序由行为演员处理，行为演员初始是<表达式>.Eval[environment]，而且
在theSerializer收到通信内容com的时候，建立一个新演员customer’，发送给行为演员一个Request[com customer’]，使得
在customer’收到Returned[value]和Returned[theNextBehavior]的时候，Returned[value]被发送给customer，而theNextBehavior被theSerializer用作下次通信的行为演员。
下面是简单的存储单元格（cell）的例子脚本（script），它可以包含任何演员地址：
Cell ≡
receiver
Request[Create[initial] customer]
send customer Returned[serializer ReadWrite(initial)]
上述脚本将建立一个存储单元格，它采用的行为ReadWrite定义如下：
ReadWrite(contents) ≡
behavior
Request[read[] customer]
{send customer Returned[contents], Returned[ReadWrite(contents)]}
Request[write[x] customer]
{send customer Returned[], Returned[ReadWrite(x)]}
例如，下列表达式建立一个单元格x，具有初始内容5，并接着并发的向它写值7和9。
let x = Cell.Create[5] in {x.write[7], x.write[9], x.read[]}
上述表达式的值是5、7或9。
演员模型 影响
演员模型在并发计算的理论发展和实践软件开发中都有影响。
演员模型影响了π-演算和随后的进程演算的发展。在Robin Milner的图灵奖获奖演说中，他写到：
纯lambda演算现在只使用两种东西来建造：项和变量。我们在进程演算上也能实现同样的经济性吗？Carl Hewitt凭借其演员模型，很久以前就应对了这个挑战；他宣告了值、在值上的算子和进程，都应该是同一种东西：即演员。
这个目标打动了我，因为它蕴涵了表达式有着同质性和完整性 ... 但是很久以后我才明白了如何依据代数演算来达成这个目标 ...
因此本着Hewitt的精神，我们的第一步，就是要求由项指示或由名字访问的所有东西，包括值、寄存器、算子、进程、对象，都是同一种东西；它们都应当是进程。
演员模型在商业实践中已经有了巨大的影响。例如，Twitter将演员用于可伸缩性应用。还有，Microsoft在其开发的异步代理库中使用了演员模型。
柏林城市快鐵
柏林城市快铁（德語：），或稱柏林快鐵，是德國首都柏林的城市快速鐵道系統（Stadtschnellbahn；由城市「Stadt」和快速「Schnell」組成），營運單位為德國鐵路的子公司——柏林快鐵有限公司（S-Bahn Berlin GmbH）運營。柏林快鐵由15線組成，與大部分地鐵相連接，組成了柏林的快捷軌道交通系統。雖然快鐵和地鐵几乎采用一样的收費體系，但他們隸屬於不同的公司：地鐵由柏林主要公共交通業者——柏林運輸公司運營。
柏林城市快鐵 与柏林城市铁路的关系
柏林城市快铁（德语原名：S-Bahn Berlin）常被误译为“柏林城市铁路”。“柏林城市快铁”德文原名中的“S-Bahn”为“Stadt-Schnellbahn”的缩写，中文为“城市快铁”，含义为“穿梭于城市内部与市郊间的旅客列车，能够将乘客以较快的速度送达目的地”；“Berlin”为“柏林”。也就是说，将“S-Bahn Berlin”误译为“柏林城市铁路”丢失了部分原意，并会和柏林城市铁路（德语原名：Berliner Stadtbahn）混淆。
柏林城市铁路（德语原名：Berliner Stadtbahn）的名称含义是“贯穿柏林市区的铁路线路”。
“柏林城市快铁”行经“柏林城市铁路”全线，“柏林城市铁路”也不仅被“柏林城市快铁”使用，区域列车、区域快车、城际列车、欧城列车、城际快车均使用“柏林城市铁路”。
拉格比
拉格比（英語：），位於英格蘭中西部沃里克郡的一個城鎮，位於考文垂東面約21公里，濱臨雅芳河畔。2001年人口普查為61,988人，為該郡第二大城鎮。
拉格比公學為拉格比鎮上的一間男女兼收寄宿學校，也是英格蘭最古老的公學之一，以其為橄欖球運動發源地而聞名於世。
王鏊
王鏊（1450年—1524年），字濟之，號守溪，晚更號拙叟，学者称震泽先生，直隸蘇州府吳縣東洞庭山人，明朝正德、嘉靖年間重臣。官至戶部尚書、武英殿大學士，諡文恪。
王鏊 生平
王鏊之父王琬於成化九年（1473年），年五十五歲始授湖廣光化縣知縣，成化十三年（1477年）三月棄官歸里:第6页、第12页。王鏊自幼隨父讀書，善寫文章，國子監諸生爭誦其文。成化十年（1474年）甲午科應天鄉試第一名舉人（解元），成化十一年（1475年）聯捷乙未科會試第一名，一甲第三名進士（探花）。王鏊殿試原擬第一，一說因對策指陳時弊，為執政所忌；一說時任大學士商輅（明朝當時唯一連中三元者）不欲讓他人儷己，故抑之:第9页。授翰林院編修，歷侍講、右春坊右諭德、詹事府少詹事兼侍讀學士。弘治十三年（1500年）七月升吏部右侍郎，仍兼侍讀學士:第108页，正德元年（1506年）升吏部左侍郎，仍兼侍讀學士:第136页，十月與吏部尚書焦芳一同入閣參政:第138页，十二月升戶部尚書、文淵閣大學士、同知經筵事:第142页，正德二年（1507年）八月加少傅兼太子太傅、武英殿大學士，戶部尚書仍舊:第149页。
王鏊 生平
王鏊居官清廉，為人正直，時稱“天下窮閣老”。當時宦官劉瑾擅權，工部都水司郎中張瑋、雲南按察司副使姚祥、尚寶司卿顧璿被劉瑾荷杖幾死，王鏊怒斥劉瑾：“士可殺，不可辱。今辱且殺之，吾尚何顏居此。”與前戶部尚書韓文等上疏請誅劉瑾等“八黨”，不被採納:第138页，正德四年（1509年）四月致仕歸里:第158页，讀書著作，常與詩友遊山玩水，學者稱震澤先生。閒居十四年，嘉靖三年（1524年）卒，追贈太傅，諡文恪。
致仕後，在蘇州學士街天官坊建有“怡老園”，清朝改作江蘇布政使司衙門。
王鏊 著作
著有《詩文集》36卷、《奏疏》2卷、《守溪筆記》2卷、《震澤紀聞》2卷、《震澤長語》2卷、《震澤編》8卷、《姑蘇志》60卷、《春秋詞命》3卷、《本草單方》8卷，並參與纂修《明孝宗實錄》224卷:第4页。
王鏊 家族
祖王伯英，祖王惟道，父王朝用，官光化知县，皆以子贵，赠如其官。曾祖妣陆氏、祖妣叶氏、妣叶氏，皆一品夫人。
王鏊有四子五女：長子王延喆（子貞）娶吳縣人、都察院右副都御史毛珵女，次子王延素（子儀）娶長洲人、南京都察院左副都御史陳璚次女，三子王延陵（子永）娶朱氏，四子王延昭（號卓峰）。長女嫁王鏊門生、吳縣人、吏部左侍郎徐縉，次女嫁崑山人、湖廣按察司副使朱文次子朱希召，三女嫁宜興永定鄉紳邵天賜長子卲鑾，四女嫁丹徒人、文淵閣大學士靳貴子靳懋仁，五女嫁吳縣人、彰德府知府嚴經子嚴濡:第282页。
王鏊 紀念
王鏊故里陸巷有惠和堂以及解元、會元、探花牌樓。其墓在東洞庭山梁家山。
強襲魔女角色列表
《強襲魔女》的登場人物，大部份（有例外）都以第二次世界大戰的王牌飛行員為原型，人物資料與背景設定反應了這一點。
強襲魔女角色列表 動畫版
宮藤芳佳（，Miyafuji Yoshika）
聲優：福圓美里
年齡14歲（故事開始時間點（1944年）的年齡），身高150公分，生日8月18日，通稱「小不點」、「豆藤」。
隸屬扶桑皇國海軍遣歐艦隊第24航空戰隊288航空隊，軍銜為軍曹（OVA版為上等飛行兵曹，劇場版為少尉）。
飛行腳機型A6M3a零式艦上戰鬥腳22型甲，第二季第八集換為震電，第三季改用紫電改，也曾短暫使用BF109 G-6。武器為99式2號2型改13mm機關槍、M712 Schnellfeuer衝鋒手槍。使魔是豆柴「九字兼定」。穿著校園泳裝式連身衣。
戰鬥時位於前衛，與敵人近距離交鋒。
動畫版主角。具有強大潛力而被坂本美緒相中的新人，為擁有治療魔法、實戰經驗為零的鄉下小女孩。個性開朗，富有親和力，與誰都能迅速成為朋友。凡事積極奮力，相信只要努力就能解決一切困難。直線性的思考常常會因此忽略周遭事物，也曾因此在戰鬥中遭遇危險。在醒悟自己擁有強大魔力後，希望以這份力量拯救更多的人們。
強襲魔女角色列表 動畫版
擅長料理（只限於日式料理），但比起味覺上的享受，更重視營養與健康方面。OVA版向全隊介紹納豆時，佩琳便曾誤會其為「腐臭料理」，動畫版中也有出現類似的一幕。相當在意自己的胸部大小，對於莉涅特和夏洛特的偉大胸圍，似乎抱持着「想揉揉看」之類不太純潔的念頭。
父親是戰鬥腳的開發者，母親與祖母皆是成年後仍保有治療能力的魔女，在家鄉經營診所。繼承這樣的純正魔女血脈，具有全員最強的魔力潛能；初次穿上戰鬥腳就能成功飛行；面對異形軍的集中攻擊，尚有餘裕展開前所未有的超巨大魔法護盾。然而正因力量過於強大，最初還無法穩定控制，但在經歷過無數歷練和戰鬥後，輸出量與穩定度都改善許多，治癒魔法的力量也大幅上升，甚至達到在同類型魔法的魔女之間被尊稱為「宮藤級別」，擁有幾乎足以起死回生的療效。
在第二季動畫版最後第12話，「馬爾斯作戰」中賭上全身魔力，使用魔刀「烈風丸」成功完成真‧烈風斬，消滅了魔改化的異形軍主巢，但也被吸光所有魔力，失去了作為魔女的根本而成為普通少女。由動畫最後宮藤在診所中醫治受傷的小鳥中看得出來，使用了一般的包紮醫療方式。
強襲魔女角色列表 動畫版
劇場版中，前往歐洲醫學院留學，卻恰逢異形軍發動全面突襲，在沒有魔力的情形下與異形軍激戰並身受重傷，但因501統合戰鬥航空團的伙伴群起呼喚而令魔力完全恢復，其魔法陣的光芒甚至越過山峰，並治癒了傷勢，其後穿上由駕駛零式水觀的坂本美緒帶來的震電，與501統合戰鬥航空團一同消滅了在場的異形軍戰艦。
第三季開始時她正在醫學院中學習，但因爲聯合軍準備發動解放卡爾斯蘭首都柏林的作戰，所以坂本美緒過來召她歸隊。
回到基地後發現魔法壓不穩定，所以明娜隊長命令她不能出擊。芳佳的少尉軍銜本來就是為她留學而給的榮譽軍銜，由於她重返了戰場，所以被降級回做軍曹，聽命於雖然缺乏實戰經驗但擁有實在的少尉軍銜的服部靜夏。
原型為日本海軍航空隊飛行員，通稱「空中的宮本武藏（）」的武藤金義。
坂本美緒（，Sakamoto Mio）
聲優：千葉紗子（第一季）→世戸沙織（第二季）
年齡19歲，身高165公分，生日8月26日，通稱「武士（）」
隸屬扶桑皇國海軍遣歐艦隊第24航空戰隊288航空隊，軍銜少校。
強襲魔女角色列表 動畫版
第一季時飛行腳機型A6M3a零式艦上戰鬥腳22型甲，第二季換為紫電改五三型，武器為99式2號2型改13mm機關槍、扶桑刀（第二季為魔刀「烈風丸」）。使魔是杜賓犬。穿著舊型藍色校園泳裝式連身衣（第二季換為白色）。
戰鬥時率領隊伍，於前衛位置展開突擊。
芳佳的長官。自1937年「扶桑海事變」以來，經歷無數戰役，戰鬥經驗豐富。在部隊裡擔任戰鬥現場的指揮官，以及鍛練芳佳等新人的教官。固有魔法是右眼的魔眼，不但能看得非常遠，還能找到異形軍弱點「核」的位置，平時避免雙視覺衝突而以眼罩遮蔽。但在第二季尾時因成年喪失全部魔力，劇場版中出場時雙眼都變成普通眼睛，也不再戴眼罩。
雖然被認為是魔鬼教官，然而實為不希望新人在前線白白送死的心意使然，實際上是一位個性豪放、溫和直率的人物。期待芳佳在將來能有一番作為，進行嚴厲而熱心的指導。隱瞞魔力即將因成年而消失的事實，只為親眼目睹芳佳的成長。遵循皇國海軍的慣例，與芳佳不以軍銜相稱，與明娜間有著超越階級與國籍的強力信賴。一喝酒就不知道停，並且會嚴重的發酒瘋，包括到處亂跑、大喊大叫，甚至強迫嘴對嘴親吻明娜（漫畫版1937扶桑海事變篇當中也出現類似的一幕）。
強襲魔女角色列表 動畫版
認識戰鬥腳的開發者，亦即芳佳的父親宮藤一郎博士。同時也是航空用戰鬥腳初次成功飛行的測試員。在小說版《索穆斯沒人要中隊》魯德爾的回憶中曾提及她在少尉時期的表現。
第一季結束後回到扶桑擔任海軍教練所的教官，其豪邁與魔鬼教育方式非常受到學員們敬畏。當異形軍再度侵略時又再次申請回到前線。第二季時已無法展開魔法護盾，飛行腳更換為｢紫電改五三型｣，並使用以自身魔力打造，能夠切裂光束、有如替代護盾的扶桑魔刀｢烈風丸｣作戰。平日時都在努力鍛鍊希望能趕在魔力消失前練成失傳的奧義一刀「真‧烈風斬」，但可惜在一步之差時仍因魔力衰退而失敗。「馬爾斯作戰」中，因異形軍化的大和號臨陣失效而孤身衝入艦橋、強行催動魔力發射主砲，但隨即在異形軍主巢重新建構中遭到同化，成為異形軍使用魔法護盾的動力。在宮藤芳佳以「真‧烈風斬」消滅主巢後安然生還。於劇場版中出場則是駕駛零式水上觀測機。
在第三季中，坂本完全失去了魔力變成了普通人，所以她只擔當501部隊與聯軍司令部的連絡官。
在DVD附贈的訪談單元裡，提到自己非常不擅長烹飪，只有飯糰的味道勉強及格，卻怎麼樣也捏不出完美的三角形。
強襲魔女角色列表 動畫版
原型為日本海軍航空隊飛行員，通稱「天空的武士（）」的坂井三郎。
明娜·迪特琳德·威爾克（，Minna-Dietlinde Wilcke）
聲優：田中理惠
年齡18歲，身高165公分，生日3月11日，通稱「黑桃Ａ」「女公爵（Fürstin）」。
隸屬卡爾斯蘭空軍JG3航空團司令，軍銜中校。
第一季時飛行腳機型Bf109G-2，第二季升級為Bf-109K2，武器為MG42重機槍。使魔是灰狼。穿著紺色低腰褲（二期換為紅黑色）。
戰鬥時位於最前方，隨時對全員下達指示。
「STRIKE WITCHES」隊長。深受全體隊員的信賴，有如大姐姐一樣的存在。隨時隨地保持冷靜，提出最適當的處理方針。為了保護部下，面對政壇人物或長官亦不畏於提出異議。戰鬥能力優秀，具有擊墜敵機200架以上的戰績。固有魔法是掌握立體空間中任何事物的精確狀態，聽覺靈敏、能察覺遠處的聲響和氣息。此外，與美緒雙手交握、結合發揮各自的固有魔法時，甚至能透析巨大物體的內部構造。
強襲魔女角色列表 動畫版
氣質優雅，穿著得體，身材也非常完美。總是笑臉迎人，然而真正生起氣來非常可怕，即使佩琳和佛蘭切斯卡也敬畏三分。樣樣精通的她，尤其擅長於歌唱。但是對於味覺似乎擁有很強的忽視力（坂本給喝的魚肝油和畢曉普泡的薑茶，在眾人全數反胃的情況下都能輕鬆喝完並且要求續杯）
對於職位上升後，文書工作隨之增加而感到些許困擾。
原型為德國空軍飛行員，通稱「公爵（Fürst）」的沃爾夫-迪特希·威爾克（Wolf-Dietrich Wilcke）。
莉涅特·畢曉普（，Lynette Bishop）
聲優：名塚佳織
年齡15歲，身高156公分，生日6月11日，通稱「莉涅」。
隸屬不列顛尼亞空軍610戰鬥機中隊，軍銜軍曹（第一季）→曹長（第二季）。
第一季時飛行腳機型Spitfire MK. IX，第二季升級為噴火式MK22，武器為Boys Mk-I反坦克戰防槍、Bren Mk-I班用機槍。使魔是蘇格蘭摺耳貓。穿著白色低腰褲。
戰鬥時擔任遠距離精準打擊。
強襲魔女角色列表 動畫版
與芳佳同時期入隊的新人。生長在擁有八位姊妹的大家族，身為最中間的孩子，為人相當體貼，擅長料理、裁縫、編織等家事。維持和緩步調，隨時為同伴們付出關懷。可惜生性迷糊，很容易弄巧成拙。
長距離射擊的成績相當優秀，魔法提升視力後，可以在無狙擊鏡的情況下，命中一公里外的標靶，名符其實的狙擊手角色。固有魔法是在子彈上注入魔力，大幅提升威力、貫穿力以及有效射程。入隊的心願是守護祖國不列顛尼亞，卻因這樣的使命感而備受壓力，實戰表現往往不如訓練時理想。最初對才能優秀的芳佳保持距離，兩人在訓練與戰鬥過程中逐漸瞭解彼此，因而成為摰友。
胸部僅次於夏洛特，是聯合團中第二大，但本人倒是相當不願提及此類話題，對外宣稱的胸圍尺寸也明顯小於實際值。
角色原型仍有許多爭議。雖然與長姊威瑪·畢曉普一同被認為和第一次世界大戰的王牌飛行員比利·畢曉普（Billy Bishop）有關，然而官方並未對此提出明確說明。
佩琳·克洛斯特曼（，Perrine-H. Clostermann）
聲優：澤城美雪
年齡15歲，身高152公分，生日2月28日。通稱「克洛斯特」「Bleu Premier」。
強襲魔女角色列表 動畫版
隸屬自由高盧空軍第602飛行隊，軍銜中尉。
第一季時飛行腳機型Arsenal VG39，第二季升級為VG39.Bis，武器為西洋劍、Bren Mk-I班用機槍。使魔是沙特尔猫。穿著黑色褲襪。
戰鬥時擔任最前線的近距離突擊。
高盧貴族出身，對自己的能力具有絕對的自信，自尊心亦高人一等，會挖苦能力在自己之下的人們。另一方面，由於故鄉遭受異形軍佔領，而自己努力解放故國的心又不願意和大家明講，因而其實非常寂寞，在特定人士面前會展現出與平常完全不同的意外一面，有傲嬌的隱藏屬性。解放高盧後，積極投入戰後重建工作，並將自己的軍餉和積蓄全部都捐給了高盧復興團隊，甚至不惜賣掉諸多祖傳的貴重寶物。
極其崇拜坂本美緒，有種接近盲目的憧憬，甚至因此將剛入隊但與美緒交好的芳佳視為敵人，諷稱她為「豆貍」。在共同經歷數次戰鬥後，才逐漸承認芳佳的實力，並最後與芳佳、莉涅特一同成為摯友和默契十足的三人小組。
金髮自然捲髮，戴著眼鏡。似乎相當在意自己的小胸圍。
強襲魔女角色列表 動畫版
戰鬥方式中規中矩，不會恣意行動、無視團隊。固有魔法是雷擊，可以同時間擊落一定範圍內的所有目標。若將雷電集中於掌心再釋放，其威力甚至能洞穿坦克裝甲和航空母艦的鋼板，副作用則是髮型會因靜電而變得亂七八糟，因此並不愛使用。使出這招時她總會高喊「Tonnerre！」，也就是高盧語裡的「雷鳴」，根據本人的說法，這麼做就像英雄施展必殺技時、會喊出招式名稱的意思一樣。
原型為自由法國空軍飛行員皮埃爾·克洛斯特曼（Pierre Clostermann）。
艾莉卡·哈特曼（，Erica Hartmann）
聲優：野川櫻
年齡16歲，身高154公分，生日4月19日，通稱「Frau」「黑色惡魔」。
隸屬卡爾斯蘭空軍JG52，軍銜中尉。
第一季時飛行腳機型Bf109G-6，第二季升級為Bf-109K4，武器為MG42重機槍、MP40衝鋒槍。使魔是臘腸犬。穿著淺綠低腰褲。
戰鬥時採用一擊離脫戰法。
擊墜數超過200的超級王牌。打扮中性，具有與稚齡外表不符的長年戰鬥經驗，戰鬥技能無可挑剔，是團中數一數二的戰鬥要員。
強襲魔女角色列表 動畫版
不過分相信自己的能力，面臨再大的危機，也能找出保全所有人的方法並且加以實行，至今不曾讓僚機遭敵方擊墜。具有超人般戰鬥才能的她，日常生活卻是意外的邋遢，貪吃貪睡、時常毫無幹勁，而且幾乎不曾打掃自己的房間，雜物因此堆積如山，甚至連勳章都會隨意亂扔。第二季時為此逼得同房且重視整齊和紀律的巴克霍隆必須使用柵欄將她和自己的生活區域分隔出來（齊格菲防線）。
本質上是個性開朗、人見人愛的孩子，不常開口也能成為同伴的中心人物。胸部大小只贏過最年幼的佛蘭切斯卡，不過本人似乎不怎麼在意，聲稱此為「自然體」。
固有魔法是控制大氣（以及以太），在身體周圍產生強力氣流。平常用以增強空戰機動性，提高風速則形成「帶有衝擊波的龍捲風」，干擾或消滅行進路徑上的所有敵人，劇場版中則藉由近距離把風打進異形軍體內直接破壞。另外，一般大自然的強風並不會對異形軍造成影響。
原型為德國空軍飛行員，通稱「黑色惡魔」的埃里希·哈特曼。
歌爾特露特·巴克霍隆（，Gertrud Barkhorn）
聲優：園崎未惠
年齡18歲，身高162公分，生日3月20日，通稱「特露德（Trude）」。
隸屬卡爾斯蘭空軍JG52第2飛行隊司令，軍銜上尉。
強襲魔女角色列表 動畫版
第一季時飛行腳機型Fw190D-6 Prototype，第二季升級為FW-190D9，武器為MG42、MG131、MG151/20重機槍等。使魔是短毛指示犬。穿著水藍色低腰褲。
戰鬥時負責中、遠距離的重火力支援。
明娜的輔佐官，默默努力支持部隊的存在與運作。現實主義者，非常重視紀律，不論對自己或他人都要求甚高的正經班長型人物。作戰風格毫無花巧，確實地以最小損害達到最大戰果，具有敵機擊墜數250的記錄。艾莉卡的多年戰友，性格如同正反面的兩人雖然時常產生摩擦，但也時常一同行動與戰鬥，擁有極高的默契度。
力氣驚人且耐力十足，能靈活使用沉重而威力強大的武器，常同時持著兩把重機槍進行兇猛的火力掃射。固有魔法是增幅後的可怕怪力，能利用槍托敲碎異形軍的外殼、一拳打碎巨石，甚至能拔起深入地底的巨大鋼筋。
平常總是一副嚴肅的撲克臉，其實有著容易害羞的一面，十分疼愛妹妹克莉絲，甚至在看到與妹妹外貌相似的芳佳時，產生了移情作用而心神大亂，因此被團員戲稱為大姊姊。將無法守住祖國與妹妹的悔恨，化為戰鬥的原動力而奮不顧身，但往往也讓自己曝露於危險之中。將全部的軍餉都拿去當作妹妹克莉絲的醫療費。
強襲魔女角色列表 動畫版
在第三季501統合戰鬥航空團重組後，因爲本來身爲戰鬥隊長的坂本美緒失去了魔力而不能上前綫戰鬥，所以明娜委任她為戰鬥隊長。有一次她與哈特曼進行巡邏任務中，被一個機動力極强的異形襲擊，哈特曼被擊落但巴克霍隆回到基地，明娜爲了避免傷亡而遲遲不發動搜救行動，因此巴克霍隆爲了抗衡這個異形，開始絕食並不斷做運動以令身體減重，還委托夏莉將她的Fw-190飛行脚進行輕量化改造，令她成功把哈特曼救出。
原型為德國空軍飛行員格爾哈德·巴克霍隆。
佛蘭切斯卡·魯基尼（，Francesca Lucchini）
聲優：齋藤千和
年齡12歲，身高148公分，生日12月24日，通稱「佛蘭卡」「幼貓（Gattino）」。
隸屬羅馬涅公國空軍第4航空團，軍銜少尉。
第一季飛行腳機型G.55 Centauro（Fiat G.55）第二季升級為G.55S，武器為Browning M1919 A6機關槍、Breda-SAFAT 12.7mm機關槍、Beretta M1938A衝鋒槍。使魔是黑豹。穿著藍色條紋低腰褲。
戰鬥時擔任遠距離攻擊。
強襲魔女角色列表 動畫版
部隊中最年輕的隊員。天才般的戰鬥才能，射擊成績根據本人所言「十發十中」。平時與同齡小孩無異，毫無心機又容易相處，被其他隊員視為妹妹般疼愛。是個美食家，喜歡睡午覺而在基地各處設置「秘密基地」，其中還有設在工作間裡的鋼質橫樑上，就算在夏莉測試引擎的震耳欲聾中仍可安然入睡，自稱「習慣了」。訓練及整備時經常偷懶，協調性為零。然而小說版《乙女之卷》中提到，在年紀更小的孩子面前，將變成稱職的大姐姐，有著相當會照顧人的一面。與同為樂天派的夏洛特意氣相投，與芳佳的交情不錯，常常捉弄佩琳。
固有魔法是將光能及熱能集中於一點並一口氣釋放，造成嚴重破壞的攻擊魔法。不但非常消耗魔力，還只能在極近距離下作用，通常需要配合夏洛特的加速魔法，例如用力將她扔擲出去，化為「光熱的砲彈」。對巨大的敵人能造成可觀破壞，而飛越路徑上產生的震波與強風也能使小型異形軍失去平衡。
OVA中，與宮藤、莉涅特一樣是新人，接受坂本的魔鬼訓練。
強襲魔女角色列表 動畫版
第二季與夏洛特原本隸屬於阿非利加統合戰鬥航空團，獲知由高盧發出作戰失敗通知隨即跳上飛行腳返回羅馬涅公國，由於臨時出發而陷入斷糧的窘境，不過正因如此，在扶桑運輸機遇襲時是第一個到達現場的團員。在外出採買糧食物品時巧遇羅馬涅公國的瑪莉公主，誤認為遭綁架而出手擊倒保鑣，並帶她遊歷羅馬涅體驗平民生活並使她了解身為皇室成員的責任，瑪莉公主隨後空投大批的食物資源作為答謝。
原型為義大利空軍飛行員佛朗哥·魯基尼（Franco Lucchini）。
夏洛特·E·葉格（，Charlotte E Yeager）
聲優：小清水亞美
年齡16歲，身高167公分、生日2月13日，通稱「迷人的夏莉（Glamorous Shirley）」。
隸屬利比里昂陸軍第363戰鬥飛行隊，軍銜中尉，第二季升為大尉。
飛行腳機型P-51D野馬式，在第三季裏改為P-51H型，武器為BAR M1918、Thompson M1A1衝鋒槍、Colt Government 1911A1手槍，使魔是兔子。穿著淡紫色低腰褲。
強襲魔女角色列表 動畫版
部隊中身材最豐滿偉岸的女隊員，身高5英呎5又7/8英吋，胸圍37又1/8英吋，腰圍24又1/8英吋，臀圍34英吋，體重116磅。
戰鬥採極接近戰。結果決定一切的能力主義者，但是對於週遭氣氛的變化相當敏感；不拘小節、寬宏大量。個性上是一根腸子通到底，遇到挑戰則會積極面對。喜歡乾淨，相當中意基地從扶桑皇國引進的澡堂。討厭像章魚之類「軟軟黏黏、蠕動」的食材做成的料理。
機械造詣深厚，會在房間裡整修摩托車，並且不時改裝和測試自己的飛行腳。魔導引擎摩托車的速度記錄保持人。入隊後則為了追擊速度型的異形軍，致力於提升飛行腳的最大速度，本來遇到瓶頸，但因為魯基妮對引擎胡搞瞎搞而終於實現了飛行腳超音速飛行。固有魔法是加速，可以快速橫越長距離，也負責協助佛蘭切斯卡發揮魔法能力。
第二季與魯基尼原本隸屬於阿非利加統合戰鬥航空團，獲知由高盧發出作戰失敗通知與魯基尼一同返回羅馬涅公國，由於臨時出發而陷入斷糧的窘境，不過正因如此，在扶桑運輸機遇襲時是第一個到達現場的團員。
強襲魔女角色列表 動畫版
第三季中她在報紙文章裏發現自己創下的速度記錄被別人打破，所以她將當時創記錄的摩托車「兔子號」送來基地中進行改造，務求達到每小時200英里的速度，可是魯基尼擅自幫她改造而吵架，不過很快與她和好。在基地遭受異形侵襲時，夏莉爲了營救陷入險境的魯基尼，駕駛「兔子號」衝出跑道接住她，但是「兔子號」被異形的炮火擊中而毀滅，雖然「兔子號」被毀，但她為魯基尼平安沒事而感到無憾。不過，沉在水底的「兔子號」殘骸中的速度表上的數值顯示每小時200英里。
原型為史上初次達成超音速水平飛行的美國陸軍航空團飛行員查克·葉格。
桑妮亞·V·利特維亞克（，Sanya V. Litvyak）
聲優：門脇舞以
全名「亞歷桑德拉·薇拉迪米洛瓦·利特維亞克」，不過因為名字太長而希望大家叫她桑妮亞就好，自我介紹時也很少說出全名。
年齡14歲，身高152公分，生日8月18日，通稱「百合」。
隸屬歐拉西亞帝國陸軍586戰鬥機聯隊，軍銜中尉。
第一季飛行腳機型Mig60，第二季換為MIGi225，武器為Fliegerhummer火箭發射器，武器原型为Fliegerfaust对空火箭筒，使魔是黑猫。穿著黑色褲襪。
強襲魔女角色列表 動畫版
戰鬥採取一擊離脫戰法。
纖細一如幻影般的少女。夜行性，存在感薄弱，負責要求無聲無息的夜間任務。同時因為總是獨自一人執行任務，因此佩戴的是即使單人也能夠發揮強大火力的火箭發射器，攻擊力在團中是最強的。固有魔法是雷達，可以偵測地平線上的任何飛行物體，集中心神還能收聽遠方的廣播電波、甚至異形軍的『聲音』。
與其他隊員的活動時間正好錯開，日間和隊員在一起也總是處於半睡半醒的迷糊狀態，甚少交流機會。性格較內向，不擅長與人溝通，也曾煩惱該如何與同伴增進情感，但實際上是個相當果敢決斷且意志堅定的人；隊員中最親近艾拉，夜間任務完成後，常在半夢半醒間走錯至艾拉的房間倒頭大睡。因為喜歡音樂而被父親送至維也納的音樂學校，擅長歌唱與鋼琴。因異形軍侵略後與家人分離兩地，在解放高盧後曾與艾拉結伴尋找家人。
劇場版時與艾拉一起至502團做短期拜訪，並在西行途中巧遇大和號。
原型為蘇聯空軍女性飛行員，德軍稱為「史達林格勒的白薔薇」的莉迪亞·弗拉基米羅夫娜·利特維亞克（Литвяк, Лидия Владимировна，Lydia Litvyak）（飛機上畫有象徵物白百合，被德軍誤認為薔薇）。
強襲魔女角色列表 動畫版
艾拉·伊爾瑪塔·尤蒂萊南（，Eila Ilmatar Juutilainen）
聲優：大橋歩夕（第一期以「仲井繪里香」的名義出演）
年齡15歲，身高160公分，生日2月21日。通稱「Illu」「方塊Ａ」。
隸屬索穆斯空軍飛行第24戰隊，軍銜少尉（第一季）→中尉（第二季），OVA版為准尉。
第一季飛行腳機型Bf109G-2，第二季升級為Bf-109K4，武器為索米M1931衝鋒鎗、MG42機關槍，使魔是黑狐。穿著白色褲襪。
戰鬥時，是近、中、遠距離皆擅長的全面型。
北歐索穆斯的頂級王牌。令人摸不透的不可思議少女。興趣是占卜，常以塔羅牌推算部隊及隊友的運勢，然而實際結果往往與占卜相反。喜歡惡作劇，但其實非常重視同伴，偶爾展現溫柔的一面。常以客觀的全局角度冷靜分析，並且擔當吐嘈役。
劇場版時與桑妮亞一起至502團做短期拜訪，並在西行途中巧遇大和號。
強襲魔女角色列表 動畫版
百合傾向的描寫相當多。對於夏洛特和莉涅特的偉大胸圍，具有「想揉揉看」這類性騷擾般的想法，也曾公開表示「希望受到女孩子歡迎」（此為下述占卜單元裡的發言），對桑妮亞抱持超越性別的強烈情感，總是很細心地呵護她，不過反而因為太過重視、遲遲難以表達自己的感情。
與小說版的艾爾瑪·雷沃南是索穆斯時代的前後輩關係，也知道沒人要中隊的事。此外與插畫專欄版的妮卡·艾德沃汀·卡塔雅南是索穆斯空軍第24戰隊時代的戰友。
固有魔法是預知能力，雖然「只能看到前面一點」，但配合卓越的身手與判斷能力，任何情況下都绝對不會被擊中，所以她從來都不使用魔法護盾（但就在第二季中為保護桑妮亞而使用了）。與同國的武器大師魔女漢娜‧溫德共享有「射擊之漢娜，迴避之艾拉」的名聲。
動畫版官方網站有個名為「」的占卜單元，在這單元裡出現的塔羅牌圖樣，與動畫版相同，皆出自漫畫家野上武志之手。
似乎喜歡吃鹹味甘草糖，而501航空團的其他人則似乎對鹹味甘草糖敬謝不敏。
在島田文金的推特中，艾拉為新人進行訓練時會爲隊友打開護盾，後輩們對此感到驚訝。
有一名在巴巴羅薩行動中以卡爾斯蘭援軍活躍的姊姊，不過她主要的任務是回收總是摔機的妮卡。
強襲魔女角色列表 動畫版
原型為芬蘭空軍飛行員，通稱「無傷擊墜王」的埃伊诺·伊尔马里·尤蒂莱宁（Ilmari Juutilainen）。
服部靜夏（）
聲優：內田彩
劇場版新登場人物，扶桑皇國海軍兵學校飛行學生，軍銜軍曹
愛媛縣出身,但因家裡的關係而移居橫須賀。
因發現其身為魔女的力量,而志願成為飛行預科生,以優秀的成績學習著,並藉此推薦進入兵學校接受軍官訓練。
使魔為四國犬
祖父三代都是軍人。以身為軍人為榮耀，眼界止於軍隊，離開軍隊啥也不會的典型武士，視解放威西尼亞的宮藤芳佳為英雌而立志學習。未有過實戰交戰的經驗。當芳佳出現與期待完全不符合的行為，本能以軍人重視規律而逃避。之後在見識到不守軍紀不聽號令根本不像軍人的芳佳的行動後，並且重傷而自責不已。由於電波妨礙丟棄所有武裝拼命往局地戰機紫電所能達到1萬2的高處飛升，終將芳佳遭創的訊息傳達出去，將原501統合戰鬥航空團全員吸引前來，使得宮藤芳佳魔力再復甦而能再度與同伴一起飛舞於空中。
在第三季時，服部靜夏正式加入501統合戰鬥航空團，以替補失去魔力的坂本美緒的戰鬥人員之空缺。
強襲魔女角色列表 動畫版
飛行腳為三菱重工業 零戰11型（A6M1）、川西航空機公司〔新明和工業〕 紫電21型（N1K2-J）
原型為日本海軍飛行員羽藤一志(1922-1942)（擊墜數19）
亞歷珊朵拉‧I‧波克爾什金（，Aleksandra I Pokryshkin）
聲優 : 原由實
隸屬第16親衛戰鬥機連隊長，後來轉入第502統合戰鬥航空團（戰鬥隊長）。軍銜上尉。
年齢16歳（1944年末），生日3月6日。
飛行腳機型Mig60、P-39、La-7等。武器為DP28輕機關槍、PTRS1941反裝甲狙擊槍。使魔是北極熊。固有魔法是影像記憶能力。
有一位機械技師的父親,年幼時可以經常接觸到機械,整備技術一流。
除了個人戰績之外，在歐拉西亞、卡爾斯蘭撤退戰中習得的戰術，以體系化的教科書形式呈現，在戰鬥教官獲得高評價，並積極常與其他部隊作情報交流。
第502統合戰鬥航空團主要任務是奪回卡爾斯蘭外，也在歐洲激戰區擔任主攻部隊。所屬魔女的戰鬥精神旺盛，飛行腳消耗率非常高。裝備尚未齊全，在歐拉西亞撤退戰中使用利比里昂供應的飛行腳戰鬥的她們來說，最頭痛的就是每次出擊都會有人的飛行腳完全損壞。
強襲魔女角色列表 動畫版
在歐洲南部戰線相當活躍,當時使用棕色的MIG60飛行腳。1945年現在正使用著MiGi-225的原型3號機。固有魔法的影像記憶能力能在瀏覽任何事物之後，不論何時何地都能準確的回想起來，因此對來自各國的飛行腳機械單元都能快速學習、運用自如。
原型為蘇聯的空軍亞歷山大‧I‧波克爾什金（Покрышкин, Александр Иванович，Alexander Pokryshkin）（撃墜數為59機）。
管野直枝（，Naoe Kanno）
聲優 : 村川梨衣
隸屬扶桑海軍・第343海軍航空隊。軍銜少尉→中尉。
年齢15歳（1944年末），生日9月23日。
飛行腳機型A6M3a零式艦上戰鬥腳22型甲，然後改用紫電改。武器為99式2號2型改13mm機關槍。使魔是鬥牛犬（自家的看門犬）。固有魔法是壓縮式超硬度魔法屏障。
強襲魔女角色列表 動畫版
扶桑皇國海軍王牌之一。自稱為「オレ」，勇猛果敢、莽撞奮勇的純血戰士，信奉「子彈打完就拔刀、刀斷了就用拳頭」的絕對進攻理論，就連防禦性的固有魔法卻經常反而是被她壓縮在拳頭前方作為如同拳套一般功用。在訓練生的時代經常違抗教官，而且多次將飛行腳弄壞，嚴重程度到大家給了他「破壞者(Destroyer)」的稱號。晉升中尉並換裝紫電改後狀況有改善。特徵是右頰上貼著的繃帶。
本人認為敵機越大越有擊落的價值，所以喜歡大目標，擅長從目標上方急速俯衝，並在交錯時擊墜敵機（俯衝轟炸戰術）。父母管教十分嚴格，小時候是喜歡讀書的文靜少女。長大後會變成如此的狂戰士，該說是一種長期壓抑後一口氣爆發的結果。
原型是日本海軍的菅野直（撃墜數72機）。
妮卡·愛德華汀·卡塔雅南（，Nikka Edvardine Katajainen）
聲優 : 高森奈津美
隸屬索穆斯空軍第24戰鬥機隊第三中隊，軍銜曹長。
年齢15歳（1945年），身高160公分，生日5月31日。
飛行腳機型Bf109G-6（專欄資料是Me109G-6），使魔是雪貂。綽號「妮帕」。
強襲魔女角色列表 動畫版
索穆斯空軍的魔女，與動畫版的艾拉是戰友，因為事蹟和戰鬥力差距而很崇拜艾拉。除了時常被異形軍擊墜，更多時候是因為意外而墜機，卻總是能在使魔的魔力續命下奇蹟般生還，如此的不幸體質而享有「不幸的卡塔雅南」這毀譽參半的稱號，為此還被戲稱應該隨身帶著滑雪板好在墜毀後比較快回到基地。損壞的飛行腳其後由她的崇拜者（男性陸軍）回收，由隊長波克爾什金修復後再度使用。
原型為芬蘭空軍通稱「不幸的卡塔雅南」的尼爾斯·愛德華·卡塔雅南（Nils Edvard Katajainen）（撃墜數35.5機）。
沃楚德·庫平斯基（，Wartrud Krupinski）
聲優 : 石田嘉代
隸屬卡爾斯蘭空軍第52戰鬥航空團第6中隊，軍銜中尉（原隊時是大尉）。
年齢18歳（1944年末），身高175公分，生日11月11日。
飛行腳機型Bf109G-6。武器為MG42（動畫版為StG44突擊步槍）。使魔是威瑪獵犬。
強襲魔女角色列表 動畫版
身材高大，優美的風度，被稱為「伯爵」。與巴克霍隆、艾莉卡等人在JG52時的舊識。曾經擔任艾莉卡的長機，教她空戰技術。是個好酒好色的享樂主義者。攻擊和防禦二者選取其一的話，毫不遲疑選擇攻擊攻撃的性格，令飛行腳經常損髓，艾莉卡到任JG52當天，穿著浴火的飛行腳在她們面前緊急迫降的這段小插曲可說是相當有名。
與妮卡、直枝因破壞飛行腳而出名，因此稱為「BREAK WITCHES」。
原型為德國空軍飛行員瓦爾特·庫平斯基（撃墜數197機）。
艾荻塔·珞斯曼（，Edytha Rossmann）
聲優 : 五十嵐裕美
隸屬卡爾斯蘭空軍第52戰鬥航空團第7中隊，軍銜曹長。
年齢19歳（1944年末），身高151公分，生日1月11日。
飛行腳機型Bf109G-2，武器為「飛機鐵錘」（Fliegerhammer）多管火箭炮。使魔是狐狸，但有在某些情況下出現九尾的記錄。
軍歴資深的魔女。撃墜數未滿100機,在卡爾斯蘭空軍中不引人注目的數字，但實力受諸位頂尖王牌的高評價。
幼年時生了一場大病，身體的成長較緩慢，經常實踐由細心的觀察帶來的可靠的戰術。
強襲魔女角色列表 動畫版
對人的態度良好，對教育相當上手，常從事委託新人教育，以培養了眾多的頂尖高手而著名。之後成為王牌的艾莉卡，在初次上陣的時候擔任了她的隊伍機。這時，艾莉卡把羅絲曼機誤認為異形軍，不斷地逃跑，最後魔力耗盡墜落成為首次出戰的淒慘經歷。
原型為德國空軍的埃德蒙・珞斯曼（撃墜數93機）。
昆杜菈·拉爾（，Gundula Rall）
聲優 : 佐藤利奈
隸屬卡爾斯蘭空軍第52戰鬥航空団第7中隊，第502統合戰鬥航空団（502JFW）司令，軍銜上尉（後來晉升少校）。
年齢18歳（1944年末），生日3月10日。
使魔是狼。
僅次於艾莉卡、巴克霍隆為卡爾斯蘭空軍第三位（亦可說是人類中排行第三位）的偉大王牌。
偏差角射撃的名人，帶藝術性的空戰技能，卡爾斯蘭撤退戰被撃中的異形軍碎片遮蔽視線而不幸被擊中，脊柱骨折重傷。然後，因不屈的精神而治療和復原重新返回戰場，空戰時為了保護背的舊傷而穿著用魔法纖維編的束腹。戰地記者的主角回憶在醫院會面時，讀過漢娜戰鬥報告書的拉爾，以航空步兵的觀點感服於她驚人的技術，並有「射擊能力是人類聯合軍中最強」的讚賞。
強襲魔女角色列表 動畫版
與大而化之的大姐式言行相反，具有在馬爾塞尤還被視為問題兒童時, 可以早一步察覺才能的敏銳人物觀察眼光。
原型為德國空軍的京特·拉爾（撃墜數275機）。
喬潔特·萊馬爾（，Georgette Lemare）
聲優 : 照井春佳
年齢17歳（1945年），身高158公分，生日11月16日。
隸屬高盧空軍GCI/4第一飛行隊，第502統合戰鬥航空團（502JFW）。軍銜少尉。
飛行腳機型VG.33、VG.39，武器為mle1924/29輕機關槍、布倫輕機槍Mk.III、動畫版則用DP28輕機關槍。使魔是波斯猫。
父母經營一個小旅館在高盧。魔女力量發現很早，就以高盧撤退戰作為軍曹而經驗了初次實戰之後，撤退至西非的達喀爾軍港,護衛高盧海軍。之後在高盧的期間，處於亂立臨時政府的政治，隸屬非洲的「高盧空軍」。
1943年與自由高盧空軍合流，歐拉西亞接受了支援的高盧人參加部隊「諾曼第」，而擔任少尉。擅長頑強防御的戰鬥方式，亦有治癒魔法 ,被招聘到502部隊。
強襲魔女角色列表 動畫版
在幼年時幫忙在家裡的二作,擅長整理床鋪和打掃等的工作。有隨波逐流的性格，順從強大的領導者，是個常識人，有很多奇怪的人在502部隊裹，在理論上承擔辛苦是很多。
固有魔法為應急程度的治癒魔法，只可以用很短時間，過度使用會有體溫上升的副作用。
原型為法國空軍的喬治・萊馬爾（撃墜數13機）。
下原定子（，Sadako Simohara）
聲優 : 水谷麻鈴
17歳（1944年末）。
隸屬扶桑皇国海軍。軍銜少尉。
使魔是扶桑兔。固有魔法是遠距離和夜間視力的複合魔法視力。
飛行腳機型為紫電二一型。武器為99式2號2型改13mm機關槍。
出生在扶桑学者一家。
訓練生時代成績維持中上，沒發生過什麼大事。
重視扶桑文化，把正座文化帶入502裹，本來是為了精神修養而用的，卻變成為隊中有名的懲罰手段。
擅長扶桑料理，與同部隊中大家出名難相處的管野，也能很輕鬆相處。
雖然表面上是個正常人，但事實上她是個見到可愛的東西或人都會瘋狂地去擁抱的擁抱狂魔。
原型為大日本帝國海軍航空隊的上原定夫（撃墜數13機）。
雁淵光（，Hikari Karibuchi）
聲優 : 加隈亞衣
14歳（1944年末）。
強襲魔女角色列表 動畫版
隸屬扶桑皇国海軍。軍銜軍曹。
使魔是扶桑倉鼠。
飛行腳機型為試製紫電四二型，命名「千鳥」，為繼承自她姊姊孝美的機體。武器為99式2號2型改13mm機關槍。
固有魔法是「接觸魔眼」。需要靠身體接觸到異形後才能夠看到異形的核心的位置，可是拉爾隊長和珞斯曼老師認為這能力太危險並禁止使用。
佐世保出生，為海軍有名的航空魔女雁淵孝美的妹妹。
姊姊在遠征歐洲期間，她在佐世保的魔女養成學校中接受訓練，但成績總是吊車尾。先天魔力資質不足，優點就只有強健的體魄和堅毅不屈的意志，持著事未成誓不罷休的固執性格，口頭禪為「未做過怎會知道？」。
在派遣歐洲人員的選拔賽中雖然和對手雙雙敗陣，但軍方最後也選她去歐洲，並配屬於第507統合戰鬥航空團，而姊姊孝美就配屬於第502統合戰鬥航空團。
她和姊姊差不多到達目的地時，航母艦隊遭受到異形軍的襲擊，孝美出擊保護艦隊但受了重傷並昏迷不醒，光就代替姊姊出擊，並撐到502的魔女到達支援為止。
為不能保護姊姊而感到自責的光，決定代替她姊姊加入第502統合戰鬥航空團，並獲得拉爾隊長的批准。（事實上拉爾隊長在上層部面前瞞天過海，讓光以她姊姊的名義來加入502部隊的。）
強襲魔女角色列表 動畫版
經過珞斯曼老師給予的特訓和管野的激將法後，成功在一個星期內掌握到控制魔力的技巧並獲准投入實戰。
小光起初和管野相處得不太好，不過後來獲得管野的認同和重視，還成為「破壞魔女」的第四位成員。
姊姊孝美養好傷後到502部隊報到並重聚，但被她以惡劣的態度對待，還在魔力比試中被擊敗，所以灰心喪氣地和502部隊的戰友們道別並去原配屬的第507統合戰鬥航空團。
在「芙蕾雅作戰」期間，小光正與艾拉和桑妮婭一起乘坐火車前往索穆斯的卡哈瓦基地時，因為從艾拉的通訊器中聽到作戰陷入泥沼，她恐怕她姊姊會使出絕對魔眼而跳出火車，憑一已之力跑到去戰場中。幸好她到達時見到姊姊沒大礙，然後接下千鳥機，和管野一起去擊碎格里高里的核心。雖然的管野的拳頭未足以擊碎核心，小光用庫平斯基送她的FP-45 解放者手槍以零距離集中魔力射擊而成功擊破它。
「芙蕾雅作戰」後，小光在決定繼續留在502部隊，孝美亦也同意她的決定。
原型為日本海軍飛行員鴛淵孝的妹妹鴛淵光子。
雁淵孝美（，Takami Karibuchi）
聲優 : 末柄里惠
17歳（1944年末）。
隸屬扶桑皇国海軍。第22航空戰隊。第253航空隊。
使魔是丹頂鶴。
強襲魔女角色列表 動畫版
飛行腳機型為試製紫電四二型，命名「千鳥」。武器為Solothurn S-18/100 20mm反坦克步槍。
固有魔法為魔眼(有缺陷)但能大概補捉異形軍核的位置，能使用覺醒魔法「絕對魔眼」不過使用時防禦力會大伏降低，相當危險。
佐世保出生，在海軍非常有名。
曾在戰事初期的利巴烏撤退戰中為友軍殿後而受傷，左胸腋下留下了一道傷痕。
她回到去扶桑之後，軍部再次派遣她去歐洲，作為第502統合戰鬥航空團的成員在歐拉西亞作戰。
在航母艦隊前住北歐的時候遇上異形軍的襲擊，孝美帶領戰鬥機隊出擊，但因為數量上的劣勢而陷入絕境，令她決定使用禁忌的魔法「絕對魔眼」成功殲滅敵軍，但她自己受到嚴重的傷害。
航母艦隊到達目的地後，結果因為魔力消耗過度加上嚴重的傷勢，導致她昏迷不醒而不能作戰，因此她妹妹光決定代替她加入第502統合戰鬥航空團。
強襲魔女角色列表 動畫版
在《Brave Witches》動畫第九集中透露孝美她獲得宮藤芳佳的魔法治療之下終於完全康復並蘇醒，但她已經沉睡了三個月。在「芙蕾雅」行動前她到達彼得堡基地報到，知道妹妹小光為代替她而加入502部隊，想她離開該部隊而對她惡言相向，還提出魔力比試並擊敗了她，令小光灰心地前往她原配屬的第507統合戰鬥航空團。兩姊妹臨別前孝美才對小光表露真情，並認同她的成長。
「芙蕾雅作戰」時，因為「朵拉」和「古斯塔夫」兩座列車炮還被異形巨巢「格里戈里」反擊擊毀，她取出古斯塔夫列車炮的「魔法穿甲彈」，和502全隊成員們以急速降下投擲轟炸也未能成功擊破，於是她就使出禁招「絕對魔眼」，看到「格里戈里」原來核中有核，可是因為她的魔眼的視力有限而無法狙擊真正的核心。魔力耗盡的孝美，將作戰成功的願望寄托給跑到戰場上的小光。
原型為日本海軍戰鬥機飛行員鸳渊孝。
宮藤一郎（）
聲優：鄉田穗積
宮藤芳佳的父親，扶桑皇國魔導引擎的研究權威。已故。在芳佳六歲時前往不列顛尼亞研發魔導引擎與戰鬥腳，雖然成功完成人類對抗異形軍的唯一利器，卻在之後遭戰爭波及而死亡，芳佳直到十歲生日才收到他的死亡通知。
強襲魔女角色列表 動畫版
墓誌銘上刻著他總是對女兒說的「那份力量，是為了守護更多的人們」，對於魔女及芳佳而言，這句話便是她們的動力來源。
原型為日本航空機設計師堀越二郎，著名的零式艦上戰鬥機的設計師。
山川美千子（）
聲優：佐藤有世
芳佳的朋友，也是芳佳的表姊妹，暱稱「小美」。在與芳佳一同返家的途中遭遇爺爺的拖拉機事故，造成胸部受了重傷，在芳佳拚命治療下保住一命。
她與其他女學生，也和芳佳一樣穿著水手服及校園泳裝連身衣。在這個世界裡，這類衣著是很普通的。
第二季畢業時分，又是坐在上爺爺拖拉機上遭遇幼熊受傷，被爺爺拉扯到一旁深怕遭到母熊報復。記憶強悍，所有軍艦及魔女的資料(包含個人情報)都在她的腦海中。立志成為一名先生（教師）而與宮藤芳佳踏上不同的人生道路，而有〝不能一起走在回家路上〞而惆悵。所有人反對下唯一支持芳佳不顧坂本的命令踏上伏桑海軍緊急支援的任務。
劇場版中，出現在與芳佳一起在山中搜尋藥草而遇上第二季中被芳佳拯救的幼熊。對於獲得的勳章與少尉軍銜的芳佳口中聽到獎賞的平易口氣感到愕然。穿上橫濱師範學園的校服（疑似）向乘上天城空母將前往赫爾維希亞醫學院(原型為瑞士)留學的芳佳揮手。
宮藤清佳（）