两大类形式化方略.pdfVIP

给《计算机应用与软件》软件工程（栏目）的稿件 两大类形式化方略 1 2 邹晓辉 , 邹顺鹏 1( 中国地质大学(北京) 思想政治教育学院高等教育研究所（中美双语信息处理项目组）, 北京市 中国 100083) 2( 中国地质大学(北京) 思想政治教育学院, 北京市 中国 100083) 摘 要 本文旨在阐述软件工程的两大类形式化方略。其中，第一大类形式化方略涉及：编程语言和自然 语言；第二大类形式化方略涉及：二进制数与十进制数、十进制数与汉字汉语、汉语与英语（可换）三类 双语协同变换，属于形式化及其拓展研究领域。其结果是：凸显了第二大类形式化方略。其意义是：揭示 了其理论依据，并为含语言学在内的学科知识系统工程提供了广义双语信息处理技术，有利于母语非英语 的计算机用户改善人机对话的语言环境。 关键词 软件工程 形式化 广义双语信息处理 中图法分类号 TP3-05 和 TP391.7 DOI 号： Two Major Categories of Formal Strategy * 1 2 ZOU Xiao-Hui *, ZOU Shun-Peng 1(Sino-US bilingual information processing project team) Institute for Higher Education, Department of Ideological and Political Education, China University of Geosciences, Beijing 100083, China) * 2(Department of Ideological and Political Education, China University of Geosciences (Beijing), Beijing 100083, China) Abstract This article aims to explain the two major categories of formal strategy for software engineering. Among them, the first category of formal strategy involved: programming languages and natural language; the second category of formal strategy involves: binary and decimal, decimal numbers and Chinese characters, Chinese and English (can be changed) the three types of bilingual co-transformation belonging to formalize its expanding research field. The result: the paper highlights the second category of formal strategy. Its significance lies in: to reveal its theoretical basis and to provide the generalized bilingual information processing technology for knowledge systems engineering of disciplines, including linguistics, that is helpful