Field Flow Sensitive Pointer and Escape Analysis for Java Using Heap Array SSA

Context sensitive pointer analyses based on Whaley and Lam’s bddbddb system have been shown to scale to large Java programs. We provide a technique to incorporate flow sensitivity for Java fields into one such analysis and obtain an escape analysis based on it. First, we express an intraprocedural field flow sensitive analysis, using Fink et al.’s Heap Array SSA form in Datalog. We then extend this analysis interprocedurally by introducing two new φ functions for Heap Array SSA Form and adding deduction rules corresponding to them. Adding a few more rules gives us an escape analysis. We describe two types of field flow sensitivity: partial (PFFS) and full (FFFS), the former without strong updates to fields and the latter with strong updates. We compare these analyses with two different (field flow insensitive) versions of Whaley-Lam analysis: one of which is flow sensitive for locals (FS) and the other, flow insensitive for locals (FIS). We have implemented this analysis on the bddbddb system while using the SOOT open source framework as a front end. We have run our analysis on a set of 15 Java programs. Our experimental results show that the time taken by our field flow sensitive analyses is comparable to that of the field flow insensitive versions while doing much better in some cases. Our PFFS analysis achieves average reductions of about 23% and 30% in the size of the points-to sets at load and store statements respectively and discovers 71% more “caller-captured” objects than FIS.

A translação de sentidos entre língua e classe social

Ao se falar de língua, fala-se da classe social que se imagina associada a essa mesma língua. Fundamentada na Análise do Discurso Franco-Brasileira (iniciada na França pelo grupo de Michel Pêcheux e retrabalhada no Brasil a partir de formulações de Eni Orlandi) e analisando corpòra diversos, que se encontram em gramáticas, dicionários, manuais de redação jornalística e o jornal carioca Meia Hora de Notícias, esta dissertação busca entender como os sentidos sobre língua e classe social vão sendo constituídos ao mesmo tempo. A Análise do Discurso com que este estudo vai trabalhar se apresenta como um campo inserido no entremeio das ciências humanas e sociais. Entre as principais questões levantadas por este campo, estão as crenças ilusórias em que as palavras emanam sentidos próprios, apropriados, e em que o sujeito é o dono de seu dizer e de suas intenções. Entende-se, na Análise do Discurso, que os sentidos são irrecorrivelmente formados ideologicamente, e que o sujeito se constitui analogamente, por processos inconscientes que não deixam de fora também a historicidade das relações sociais. Dessa forma, para se compreender como se dão as relações entre as formações de sentido entre língua e classe social, importará a depreensão do funcionamento discursivo do tratamento que os instrumentos de gramatização dão à variedade linguística. No Meia Hora, também se procura analisar de que modo um jornal vai significando, inscrito numa prática jornalística determinada, língua e classe social concomitantemente, através do uso de uma língua imaginária

A facultatividade da concordância: português formal real versus gramática escolar

No ensino de língua nacional, concordância é um dos tópicos em cujo aprendizado observa dificuldade por parte dos discentes, principalmente pelo grande número de regras facultativas das gramáticas, que muitas vezes não levam em conta o uso formal real da língua. Este trabalho visa a descrever esse uso, a partir da observação de um corpus do caderno opinião de jornais de grande circulação, confrontando os resultados com as prescrições da norma gramatical escolar, a fim de separar, em tais prescrições, a parte aproveitável da não coincidente com a realidade do corpus, se for o caso. Pretende-se, dessa forma, contribuir para a boa qualidade do ensino da língua portuguesa nos níveis fundamental e médio, especificamente no que se refere à concordância

A transitividade verbal: uma revisão semântico-pragmática

Esta tese aborda o tema Transitividade Verbal em construções predicativas encontradas em corpus construído com textos jornalísticos impressos do Brasil. Os verbos são estudados segundo ocorrências retiradas de jornais de grande circulação em três capitais. Toma-se a semântica, a pragmática e a sintaxe como determinantes potenciais da transitividade verbal e aborda-se o tema segundo perspectiva histórica, ou seja, procura-se desenhar o percurso do tema nos estudos de língua portuguesa desde a sua primeira gramática, chegando-se, então, a reflexões mais atuais e também ao tratamento dispensado aos verbos e sua construção predicativa em dicionários e em gramáticas pedagógicas. O confronto com estudos acerca da língua espanhola também é motivo de atenção, devido à proximidade que o tema apresenta nas duas línguas. A partir desses estudos, buscou-se elaborar quadro sistemático e mais coerente dos verbos segundo a transitividade e construção predicativa, procurando aliar-se a base teórica consistente, apresentada pela tradição dos estudos gramaticais, às reflexões técnico-científicas acordadas com a realidade lingüística levantada a partir do corpus

Comunidades: redutos de identidades culturais narrativas e práticas afirmativas

Esta tese Comunidades: redutos de identidades culturais, narrativas e práticas afirmativas, problematiza e questiona as identidades culturais no momento contemporâneo, refletindo em que medida o discurso sobre comunidades é aglutinador das novas tentativas de afirmação das identidades. Subentende - se que partiu do pressuposto de que há novas formas de reinvenção da identidade, ainda que os motivos para tal feito sejam os mais diversos. O presente projeto discute esta possibilidade através da investigação das práticas afirmativas e das narrativas elaboradas pelos sujeitos pertencentes a duas instituições distintas em duas regiões brasileiras O Rio de Janeiro e a Bahia. Teve como foco de análise o Centro Cultural Cartola na comunidade da Mangueira (RJ) e a Associação Sociocultural do Ilê Aiyê na comunidade do Curuzu (BA). Mapeou os cenários de tais instituições e identificou quais foram as lógicas histórico - culturais que serviram de lastro para o entendimento que os sujeitos fazem de si mesmos nesses locais e como pretendem através de re-interpretações particulares serem reapresentados. Adentrou ao exame dos produtos culturais que as instituições elegem como representações de seus movimentos e como elaboram novas formas de fazer-se sujeito e atingir sua emancipação. Compreendeu uma nova perspectiva para os movimentos que realizam e como avaliam suas potencialidades para enfrentar a condição de vulnerabilidade social. Várias foram as categorias atravessadoras do descortinar da paisagem teórica e dos cenários que emolduram a problemática desta pesquisa. Foi desenvolvida a partir do enfoque Fenomenológico aliado á Etnopesquisa, Microsociologia, Psicossociologia e os referenciais de Pierre Bourdieu e, especificamente os trabalhos do Laboratoire de Changement Sociale da Universidade de Paris VII, Denis Diderot. Por fim diferenciou-se as gramáticas específicas de cada movimento e redimensionou-se os termos de suas construções

Quando amar é sofrer: um estudo etnográfico do grupo de ajuda mulheres que amam demais anônimas

Esta pesquisa traçou como objetivo a análise das gramáticas emocionais elaboradas nas experiências das participantes do grupo Mulheres que Amam Demais Anônimas (MADA). A metodologia usada foi a etnografia. MADA é um grupo de ajuda mútua para mulheres viciadas em relacionamentos destrutivos, sendo sua droga o amor excessivo. Observaremos as condições que possibilitaram considerar este sentimento como doentio, tais como a quebra no ideal estético do amor, aspecto relacionado com a ruptura da dádiva, em outras palavras, elas amam demais e não são correspondidas na mesma medida. Como forma de solução deste impasse o grupo propõe então uma série de práticas que interpretamos como uma economia dos vínculos sociais, em que há uma racionalização do sentimento amoroso.

A contribuição da Revista Língua para o Ensino: o caso da pontuação

Nesta dissertação, propusemos a análise de artigos sobre pontuação publicados pela Revista Língua Portuguesa direcionados aos professores de Língua Portuguesa e afins. Este estudo parte da observação de que muitos desses profissionais, sem condições de se submeter a processos de capacitação especializada ou formação continuada, lançam mão dessas publicações como supostos recursos de atualização em relação às informações pertinentes à pratica de ensino. A Revista, no entanto, não restringe seu público-alvo aos professores: é voltada também a estudantes, funcionários de órgãos governamentais e secretarias, curiosos do assunto, principalmente executivos e jornalistas. Nesse sentido, o conceito de Recepção e Compreensão Responsiva (BAKHTIN, 1929), em consonância com a Teoria de Dialogismo do Texto Escrito (SAUTCHUK, 2000) e com a Teoria da Iconicidade Verbal (SIMÕES, 2009), fomentou a comprovação por meio de marcas dialógicas materializadas na superfície de nossos textos-córpus da participação desse professor como um tipo específico de interlocutor. Desse modo, confrontamos as dissonâncias teórico- gramaticais propaladas nos artigos à bibliografia de autoridade não só no tema principal pontuação como em subtemas que atravessavam os escritos em análise como tema, função sintática, estilística, conjunção e considerações sobre fala e escrita. Para isso, contamos com o aporte teórico que expõe desde a abordagem tradicional dos cânones gramaticais da nossa língua até as Gramáticas modernas. Além disso, teóricos de diferentes linhas nos ajudaram a registrar o equívoco dos articulistas arrolados, ao se basearem em visões infiéis, parciais ou truncadas do que discutiam

Prefixos, prefixóides ou elementos de composição? Uma análise crítico-comparativa dos prefixos registrados no Novo dicionário Aurélio da língua portuguesa e no Dicionário Houaiss da língua portuguesa

Esta tese examina os critérios utilizados para a definição e identificação dos prefixos em gramáticas tradicionais e modernas, estudos lingüísticos e dicionários. Discute as diferenças entre os processos de derivação e composição, o tratamento dado à prefixação por diferentes autores, a terminologia empregada na análise mórfica, algumas propostas para distinguir os prefixos dos radicais, bem como o conceito de prefixóide (ou pseudoprefixo). Apresenta ainda uma análise das semelhanças e divergências entre os prefixos registrados nas versões eletrônicas do Novo dicionário Aurélio da língua portuguesa (FERREIRA, 2004) e do Dicionário Houaiss da língua portuguesa (HOUAISS, 2001), a fim de contribuir para uma descrição mais coerente dos elementos prefixais do português

Antonomásias discursivas do nome próprio: uma abordagem semiótico-funcional e cognitiva

Nas gramáticas tradicionais da língua portuguesa, o estudo sobre a antonomásia, figura de linguagem que designa o processo de passagem de um nome próprio a um nome comum e vice-versa, é visto ora ligado ao conceito de metáfora, ora ligado à relação parte- todo, isto é, à metonímia. Na maioria das vezes, os exemplos mostrados nessas abordagens tradicionais estão descontextualizados, ou seja, não são retirados de um emprego discursivo- dialógico da língua. O principal objetivo desta tese é fazer uma reflexão sobre o potencial semiótico- funcional e cognitivo dos nomes próprios nas antonomásias discursivas, ou seja, aquelas que ainda não estão dicionarizadas, porque são temporárias, e, consequentemente, sua interpretação pertence ao âmbito do processamento discursivo. Tendo como base teórica a teoria dos Espaços Mentais em seu segundo momento, reconhecida como teoria da Integração Conceptual (FAUCONNIER; TURNER, 2002), e a teoria da Iconicidade Verbal, desenvolvida por Simões (2009), baseada nos estudos semióticos de Charles Sanders Peirce, analisar-se-ão, nesta tese, os seguintes aspectos do nome próprio nas antonomásias discursivas: a forma do nome próprio, ou seja, sua plasticidade, que é a característica central da iconicidade diagramática, e a iconicidade isotópica, que age como uma espécie de condutor temático para a formação de sentido de um texto. Esses dois tipos de iconicidade se inserem numa rede mais ampla de signos denominada iconicidade verbal, ou lexical (SIMÕES, 2004), que abrange efeitos tanto de ordem discursiva (discursivização) como de ordem estilística. Assim, ao se conceber o estudo das antonomásias discursivas do nome próprio em uma perspectiva semiótico- discursiva e cognitiva, ter-se-á dado mais um passo nos estudos dos itens lexicais que atuam como organizadores de sentido de um texto

Sujeitos nulos, tópicos e a satisfação do EPP na aquisição de segunda língua: a influência do português brasileiro no inglês

Esta dissertação aborda a questão da transferência entre línguas na aquisição de segunda língua/língua estrangeira (L2/FL), mais especificamente, a influência do Português Brasileiro (PB) como língua materna (L1) na aquisição de inglês como L2/FL no que diz respeito ao preenchimento da posição de sujeito pronominal. Esse fenômeno é investigado à luz da teoria linguística gerativista nos moldes do Programa Minimalista (CHOMSKY, 1995) e da psicolinguística, no âmbito das questões de aquisição de L2/FL, ciência responsável por fornecer modelos procedimentais de como a produção e a compreensão de sentenças podem ser entendidas. A discussão sobre o modo como se dá a aquisição de L2 tem se mostrado complexa na literatura. O PB e o inglês diferem em relação à satisfação do traço EPP, responsável pelo preenchimento da posição de sujeito sintático nas línguas naturais. O PB tem se aproximado do inglês quanto ao preenchimento de sujeitos referenciais, mas não no que concerne aos sujeitos expletivos, apresentando ainda construções de tópico-sujeito, características que podem interferir na aquisição do valor paramétrico negativo para sujeitos nulos no inglês. A fim de investigar as mudanças que vêm afetando o PB nesse âmbito e observar o quanto aprendizes de inglês como FL falantes de PB se mostram sensíveis à agramaticalidade de sentenças com sujeito nulo no inglês em diferentes contextos, foram realizados dois experimentos, ambos com uma tarefa de julgamento de gramaticalidade. O experimento piloto foi realizado com aprendizes dos níveis básico e avançado e apresentava dois tipos distintos de sentenças (Tipo 1: sujeito nulo e Tipo 2: tópico + sujeito nulo); e um experimento final com aprendizes dos níveis básico, intermediário e avançado, com três tipos de sentenças (Tipo 1: sujeito nulo, Tipo 2: tópico + sujeito nulo e Tipo 3: conjunção + sujeito nulo). Dada a complexidade da gramática do PB, nossa hipótese de trabalho é de que não se observe uma transferência total, mas o surgimento de uma interlíngua que ora se aproxima, ora se afasta da gramática-alvo, refletindo a sobrecarga de processamento que lidar com as duas gramáticas impõe. Os resultados sustentam a hipótese ao indicar que (i) o valor do parâmetro do sujeito nulo parece ser transferido da L1 para a L2, uma vez que foi encontrado um alto número de respostas incorretas; (ii) a interferência se dá mais fortemente no âmbito dos sujeitos expletivos; (iii) há interferência de restrições gerais da gramática da L1 (restrições a V1) na L2; e (iv) a interferência diminui em função do aumento da proficiência em L2. Além disso, nas sentenças do tipo 2, parece haver uma possível interferência do PB que acaba por mascarar a omissão do expletivo, o que indica uma dificuldade de integração de informações provenientes das limitações decorrentes da necessidade de processar duas línguas em momentos específicos de modo a evitar a interferência da língua indesejada, no caso a L1, que por ainda ser dominante exige mais recursos para ser inibida (SORACE, 1999, 2011).

Transtorno de pânico um estudo sobre as matrizes sociais de seu surgimento: a sociedade do risco e a construção contemporânea de bioidentidades

O transtorno de pânico é uma das questões preocupantes em termos de saúde coletiva. Pensamos que tal transtorno se configura como uma nova forma de adoecimento psíquico, categoria que tem penetrado em diferentes espaços sociais, e suas descrições vêm sendo incorporadas ao arcabouço identitário dos sujeitos. Problematizar as matrizes culturais da emergência e difusão deste transtorno, no campo da construção de subjetividade e de identidade, é o objetivo deste estudo. Na pós-modernidade, por um lado, nos centramos nas características do que se denomina sociedade de risco, (BECK, 1998) a qual gera sentimentos de imprevisibilidade, desenraizamento e desfiliação; por outro, juntamente com o desprestígio do ideal da interioridade, observa-se um recurso a se recorrer ao registro do corpo e da biologia como âncora subjetiva. (COSTA, 2005). Com a predominância de um cenário de incerteza e de risco permanente, cria-se uma atmosfera em que a previsibilidade e a confiabilidade são constantemente ameaçadas, Ou seja, o valor da confiança no registro da ontologia refere-se à existência de um ambiente suficientemente confiável e previsível para que os sujeitos experienciem uma constância dos ambientes de ação social e material circundante (WINNICOTT, 1963). Verificaremos, em meio a um cenário de risco ambiente, como o pânico emerge e é difundido com base em matrizes desviantes. O transtorno de pânico, pretensamente radicado no cérebro e determinado pela genética, parece ser uma das entidades às quais as pessoas aderem e ao redor das quais se agregam. Nesse sentido, defendendo que os tipos de patologia, nos quais se inclui o transtorno de pânico, podem servir também como redes de pertencimento, formas de sociabilidade que se organizam em torno de predicados físicos, tanto na esfera da normalidade quanto da patologia, entre as quais o corpo anatomofisiológico se destaca como fenômeno identitário, denominado por alguns autores de bioidentidade (ORTEGA, 2000). Humanizar o conceito transtorno de pânico, portanto, é afirmar que tais sintomas já conheceram outras utilizações. Entendendo o sujeito como um conjunto de crenças podem ser alteradas, revistas, repensadas, redimensionadas (COSTA, 1994). Ao sair da esfera da universalidade e essencialidade, típicas de classificações reducionistas no campo da psiquiatria, para a perspectiva de que existem jogos de linguagem diferentes para se referir ao pânico, percebemos que em vez de o transtorno de pânico existem os pânicos, ou seja, são plurais e diversificadas as diferentes gramáticas para se falar daquilo a que se reduz hoje essa classificação psiquiátrica.

Construções de voz na escrita literária: verbos pronominais em Vidas secas

A designação verbo pronominal é bastante recorrente na descrição gramatical e lexicográfica brasileira. Apesar disso, a conceituação e as análises das construções rotuladas assim nem sempre apresentam rigor científico, uma vez que em geral não se esclarecem quais são os critéiros para a inclusão de dada construção no rol dos verbos pronominais. O resultado disso é que estruturas de comportamento semântico e sintático bastantes variados são identificadas como comuns. Este trabalho apresenta uma análise das construções pronominais que aparecem no romance Vidas Secas, do escritor alagoano Graciliano Ramos com a discriminação delas em subtipos semânticos e sintáticos. Para tanto, procedemos ao estudo de processos relacionadas a essas estruturas. São eles: a reflexividade, a passividade, a ergatividade e a medialidade. Antes disso, porém, faz-se uma revisão bibliográfica da descrição das construções pronominais na tradição gramatical e lexicográfica brasileira. São examinados dez gramáticas consagradas e cinco dicionários de ampla circulação. O objetivo desse estudo foi verificar a maneira como as estruturas em questão são tratadas nas referidas obras a fim de julgar a coerência das análises. Tomamos como referencial teórico para a distribuição das construções pronominais os subtipos criados por Kemmer, conforme expostos por Camacho (2003) assim como a análise das construções pronominais de Zorrraquino (1979).

Os adjetivos no gênero crítica de cinema: uma abordagem sistêmico-funcional

A presente pesquisa tem por objetivo a análise dos adjetivos em funcionamento no gênero crítica de cinema. Por meio dos pressupostos teóricos da Linguística Sistêmico-Funcional, argumentamos que a gramática deve ser estudada em conjunto com textos. Argumentamos ainda que os adjetivos têm importante papel na expressão de significados interpessoais, especialmente na expressão de avaliações, dados os contextos de situação em que estão inseridas as críticas de cinema. A partir de uma revisão crítica do conceito de adjetivo presente nas gramáticas tradicionais e nos trabalhos de orientação semântico-discursiva, e apoiando-nos em classificação de Moura Neves (2011), identificamos uma ocorrência diferenciada de tipos de adjetivos (qualificadores e classificadores) em movimentos retóricos distintos da crítica de cinema e argumentamos pelo seu papel na construção de posicionamentos em interações comunicativas. Nosso corpus é composto por críticas de cinema publicadas em dois veículos distintos - jornal de grande circulação e revista eletrônica especializada. Sendo assim, além de um estudo dos adjetivos no discurso, elaboramos um material de referência do gênero crítica de cinema a partir das noções de a) variáveis do contexto de situação (campo, relações e modo); b) estrutura potencial de gênero (Hasan, 1989), relevantes para a linha teórica que escolhemos

网络编程逻辑抽象

近年来，无线通信技术的渗透和微型嵌入式计算设备的增加加速了泛在环境的发展。现在，泛在网络开发的一个基本障碍是缺乏编程抽象。本文围绕这一前沿领域，研究网络编程逻辑抽象。主要结果有： 1.研究了定义网络全局性质的递归查询的分布式计算。一阶逻辑及不动点逻辑可以抽象地描述网络全局性质，本文阐明它们的计算可以充分且有效地分布在网络上，并且具有合理的复杂度上限。本文证明在有限度的同步网络上，一阶逻辑查询的分布式计算具有对数的节点内计算复杂度和消息长度、线性的分布式计算复杂度以及多项式的单节点消息复杂度上界。不动点查询的分布式计算具有类似的复杂度，只是它具有多项式的分布式计算复杂度。 2. 研究了定义网络节点的本地行为的网络声明式语言。本文规定了递归的规则语言Netlog的语法。Netlog被用来声明式地描述网络环境下的分布式计算，特别是通讯协议和P2P系统等。Netlog语言以Datalog语言为基础，囊括了尽可能完备的网络应用所需要的原语，包括通讯原语、聚合函数、时效声明、间歇性触发、数据更新以及非确定性选择操作。本文定义了Netlog语言的分布式不动点语义，不仅定义了节点内的计算，而且明确的纳入了节点间的通信，解决了声明式网络语义不确定的问题。同时，本文定义了良好的Netlog程序和强良好的Netlog程序，并证明当良好的程序在同步系统上计算，或者强良好的程序在异步系统上计算，它们在三种复杂度衡量标准，即分布式计算复杂度、单节点消息复杂度和节点单回合计算复杂度下都具有多项式的上限。另外，还证明了强良好的程序的计算结果不受网络有限个数的消息丢失的影响。 Netquest小组开发了Netquest系统以支持Netlog语言并实现其分布式不动点语义。Netquest系统依赖于网络节点上的嵌入式DBMS，这不仅简化了系统的开发，也增强了它在多机种的网络上的可移植性，并且支持数据密集型的应用。此外，Netlog编译器还具备优化模块，可以进一步减轻开发者的负担。一些用Netlog程序编写的经典的分布式算法和网络应用程序已经在网络模拟平台和包含多种计算设备的平台上进行了实验。 3. 进一步考虑了以上两种层面的网络编程逻辑抽象语言的纵向编译。本文阐述了如何将在全局层面表达网络性质的一阶逻辑及不动点查询翻译为在本地层面描述节点行为的Netlog程序。本文设计了普适性的算法，将集中式的Datalog否定程序翻译为分布式的Netlog程序；再加上将一阶逻辑及不动点逻辑翻译为Datalog否定语言的经典结果，从而完成了纵向编译。 4.定义了以上两种网络编程逻辑抽象语言的片段，包括局部的一阶逻辑及不动点查询、节俭的以及强节俭的Netlog程序。它们在表达能力和分布式计算复杂度之间有良好的折中。它们尽可能地保留了分布式计算的局部特性，在定义网络功能上具有丰富的表达能力，并且具有更加紧致的复杂度上限，即具有常数的或者二次的消息复杂度、线性的或者二次的分布式计算复杂度和常数的节点单回合计算复杂度。

语义Web中描述逻辑本体的可伸缩推理和非一致处理

随着Web信息的与日俱增，使用机器处理这种信息成为一种必然的趋势。语义Web应运而生，成为当前研究的热点之一。它以本体为核心，为不同领域提供共享的词汇，以便机器处理Web信息。表达本体的标准语言OWL以描述逻辑为基础。OWL本体的推理可伸缩性差，难以适应规模较大的本体应用，因此推理可伸缩性问题是一个重要的实际问题。此外，OWL本体是一个逻辑系统，在生成、维护和集成等过程中，都很容易出现非一致现象，导致标准的推理机制不能正常运作。因此本体非一致问题是另一个重要的实际问题。针对上述两个实际问题，本文分别在实现可伸缩推理、修复非一致本体、以及进行非一致容忍推理三个方面提出了解决办法。 [可伸缩推理方面] 本文提出了一种本体断言公理集的划分方法，使本体推理能够在独立的划分子集中进行，以此提高本体推理的可伸缩性。 [本体修复方面] 本文提出了一种计算具有最小删除代价的本体子集的方法；通过删除这种本体子集，可以恢复本体的一致性。该方法将计算上述本体子集的问题归约为在命题逻辑程序中计算某种最优模型的问题，以调用现有的可满足性问题求解器来解决。 [非一致容忍推理方面] 本文将命题逻辑中字典序推理方法应用到描述逻辑中，以提供针对非一致本体的查询机制。本文还提出了一种在描述逻辑本体中进行字典序推理的方法。该方法将字典序结论的判定问题归约为命题可满足性判定问题，以调用现有的可满足性问题求解器来解决。