软件质量事关国民经济及人民生命财产安全，因此必须对软件质量严格要求。本项目主要研究提高软件质量的关键工作之一，即软件缺陷检测。目前软件缺陷检测中所计算出的检查点需要人工确认其是否为真正的缺陷，效率低、精度差，对其进行自动化势在必行。本项目“围绕一个目标，面向两个阶段，提出三个方法”。即：围绕着基于约束求解进行软件缺陷自动确认的目标，面向建立约束和求解约束两个阶段，提出:(1)自适应地面向检查点构建其理论约束系统，精确求得触发约束;(2)引入一致性闭包对函数调用点处约束进行求解，提高求解速度;(3)针对检查

社交媒体是以社会网络为基础，互联网用户发表和分享信息为主要形式的在线交互媒体。在这些信息中包含大量的用户情感文本信息，并通过社交媒体影响现实世界。因此，对社交媒体中的情感文本进行全面、深度的语义分析有着重要的理论意义和应用价值。本课题结合文本情感表达和社交媒体的特点，探索社交媒体中文本情感在多角度下深层语义关系。首先提出了社交媒体情感文本语义表示模型，在此基础上，从情感文本表达层面研究显式和隐式情感分析，在社交媒体层面研究用户个性化情感分析和群体情感分析，在情感理解层面研究情感原因发现和情感预测，从不同层

PROJECT SUMMARY This proposal seeks support for 14 postdoctoral fellows for a two year training curriculum within an established and highly successful program (Interdisciplinary Training in Cancer Model Systems ? ITCMS) that instills interdisciplinary ap

? DESCRIPTION (provided by applicant):This application represents the essential core of a unique and successful graduate program that emphasizes integrated graduate training and excellence in research along with opportunities for teaching, community ou

Ожидаемые результаты:В ходе выполнения проекта планируется получение результатов,соответствующих мировому уровню исследований в области космической медицины,при применении персонифицированного подхода и технологий телемедицины для оценки индивидуальных ад

Outline of Research at the Start:人工知能(AI)技術が急速に進展している現在、信頼されるAIの必要性が論じられている。AIをより信頼可能なものにするためには、解釈可能性、説明可能性、ロバスト性を向上させ、目標・要請・事実を知識や制約として記述できる記号系との融合が必要となる。本研究では、機械学習と知識表現・推論を統合した技術をベースとして、制約を取り入れた機械学習モデルや生成AIシステムを構築することでAIの信頼性向上に寄与することを目指す。本研究を遂行するために、ニュー