汉蒙机器翻译中译文动词后处理研究

蒙古文的形态变化非常丰富,在动词词类上该特点更为明显。我们对蒙古文的动词自动生成方法进行了系统的研究。该文利用生成的蒙古语动词库,给出了对基于层次短语的汉蒙统计机器翻译译文中句尾错误词形动词进行纠正处理的方法。实验表明,该方法可以提高汉蒙机器翻译的性能和流利度。     

基于派生文法的日—蒙动词短语机器翻译研究

本文探索了源语为日语,目标语为蒙古语的动词短语机器翻译系统的实现方式。基于主张日语不活用的派生文法,重新分析日语附加成分。将日语的词干和附加成分转换到蒙古语的词干和附加成分之后,运用蒙古语的语音规则来处理并生成动词短语。在此基础上试做了日—蒙动词短语机器翻译系统。对30篇日文报道的403个动词短语进行测试,取得了95.78% 的正确率。     

蒙古文整词计算机生成理论研究

采用面向对象方法,模拟传统蒙古文整词各种形式构成机理,提出了几种蒙古语整词计算机生成数据模型。文章主要依据整词计算机生成三种模型,探讨了传统蒙古文整词计算机最优化生成理论所涉及的精确度、时间复杂度、空间复杂度三项基本要素以及最优化生成必须考虑的整词复杂特征载荷与一体化合一计算知识表示方法和计算结构,证明了“B - J - T= W”数据模型是传统蒙古文整词计算与生成最优化对象模型。     

一种基于图像的快速虚拟植物可视化重建

提出了一种视觉意义上快速植物三维重建方法，近似重构一株视觉上“相似植物”。该方法利用已有的植物结构信息，基于图像分割和三维重构技术，获取植物轮廓从而重构植物的骨架；结合植物真实图像修正生成的植物模型，最终生成视觉“真实”植物。该方法基于图像的三维重构技术，避开了植物复杂的形态结构规则提取，实现“快速意义”的重建，并采用真实图像验证技术，确保视觉上的近似，提高了对最终生成图像的控制度。     

Visual Basic6.0中复杂数据报表的设计输出

本文以“风机测试台”计算机测控系统的数据报表为例，介绍了如何利用VB6．0中的数据环境设计器和数据报表设计器再通过编程来设计生成复杂的数据报表。     

织物纹理的计算机生成技术

纹理是真实感图象最重要的特征之一，而织物纹理是决定服装风格特征的一个重要因素。由于织物纹理的多样性和复杂性，在计算机图形学和服装ＣＡＤ技术的研究中，如何用计算机生成漂亮、逼真的服装面料以及织物纹理就成为一个非常有趣并富有挑战性的问题。本基于Ａｒｎｏｌｄ变换和生命游戏算法提出了一种在计算机上生成多种复杂织物纹理的新方法。实验表明，利用该方法生成的织物纹理既十分漂亮又比较逼真。     

英汉TBMT中有关问题的进一步研究

基于“动词＋虚词”的模板抽取形式，对基于模板的机器翻译中模板抽取的改进以及源句谓语动词的自动识别等问题进行了研究，并提出了相应的构想和主要的实现方法。     

DM2报表生成工具的研究

本文提出报表生成的一种新思想，采用“模块化”的方法，一方面将一张复杂报表的生成转化为一些简单子表的生成，另一方面通过“搭积木”的方式可以制作任意复杂的报表，子表之间的一致性可通过ＳＱＬ语言的完整性约束来保证。基于这种思想，我们在军用型号项目分布式多媒体数据库管理系统ＤＭ２上研制了报表生成工具ＤＭ２／ＲＥＰＯＲＴ。     

基于完全子图的社区发现算法

根据复杂网络中同一社区内节点连接比较紧密,社区之间节点连接比较稀疏的特点,提出一种基于完全子图的社区发现算法,通过判别2个节点是否能在网络中与任意一个节点构成3个节点的完全子图来确认该2点是否属于同一社区。对于有些节点并不满足完全子图,或在不同社区同时满足完全子图的情况,采用节点社区归属度解决该节点的归属问题。该算法不需要任何参数设置,在计算机生成网络和真实网络上进行测试,结果验证了该算法的可行性和准确性。     

工控软件"组态王"的数据处理和Excel报表自动生成程序设计

“组态王”是一个工业自动化通用软件包，本文主要讨论了将“组态王”的历史数据库转换成通用的Access数据库以及生成Excel格式的报表的方法，不仅解决了“组态王”数据采集密集和保存时间要占用大量磁盘空间，数据库格式复杂且不通用等问题，而且生成的Excel报表清晰，直观，可不经任何处理直接打印。     

蒙古文整词编码研究

作者基于蒙古文黏着记录其词汇方式和按书面音节拼读书写整词规则,提出了蒙古文整词编码方法。本文依据可计算性理论,提出了拼音文字非键盘映射编码方法,将整词编码分为输写码与计算码。整词输写码设计模仿传统蒙古文整词固有拼读书写规则,达到了最佳人机键盘交互目的。整词计算码既可载荷整词复杂特征知识信息、又可保证信息的可计算性,从而为蒙古文整词复杂特征合一计算和并行处理奠定了可行性科学基础。     

A Mathematical Cybersecurity Model of a Computer Network for the Control of Power Supply of Traction Substations

Based on the analysis of the problem of cybersecurity, it is shown that its solution is connected with the solution of a complex of interdependent problems whose features follow from the topology of a cyberspace. A graph is proposed that adequately reflects the topology of the computer network for the control of a system of power supply of traction substations and its mathematical model as the basis for the creation of modern cybersecurity models. The developed mathematical model of cybersecurity of a computer network is based on the theory of Pukhov’s differential transforms. The criterion of cybersecurity is formalized, and a minimax principle is proposed for the minimization of a functional in cases of worst combinations of intensities of flows of cyberattacks and protective actions. An intelligent method is developed to search for an optimal strategy for ensuring the cybersecurity of a computer network by the investigation of the functional formalized in this article for extremum.     

面向算法的SIMD计算机数学模型及其应用研究

针对数据并行计算在图像处理中的应用研究,提出了数据并行计算机的面向算法的数学模型,以及利用该模型得到的一种新颖的、数据并行算法的数学描述方法．采用该数学描述方法对数据并行图像处理中的灰度直方图运算、区域增长法图像分割以及图像卷积运算等3类图像处理方法进行了描述．结果表明,该数学描述方法不仅简单可行和精确,而且,可以从数学公式中直接得到算法的通信复杂性和计算复杂性．该方法可以应用到数据并行计算的应用研究中作为数学描述的工具．     

一种适合于并行计算的新方法——相对标准法

通过对离散量系统中事物之间相互关系的研究,提出了相对标准这一概念。通过建立适合于并行计算的数学模型,推导出能够解决实际问题的理论公式。并以一个实际的例子,通过在曙光1000AMMP并行计算机上的演算,证明该方法具有非常好的并行效率和广泛的应用前景。     

Computers in Abstraction/Representation Theory

Recently, Horsman et al. (Proc R Soc Lond A 470:20140182, 2014) have proposed a new framework, Abstraction/Representation (AR) theory, for understanding and evaluating claims about unconventional or non-standard computation. Among its attractive features, the theory in particular implies a novel account of what is means to be a computer. After expounding on this account, I compare it with other accounts of concrete computation, finding that it does not quite fit in the standard categorization: while it is most similar to some semantic accounts, it is not itself a semantic account. Then I evaluate it according to the six desiderata for accounts of concrete computation proposed by Piccinini (Physical computation: a mechanistic account, Oxford University Press, Oxford, 2015). Finding that it does not clearly satisfy some of them, I propose a modification, which I call Agential AR theory, that does, yielding an account that could be a serious competitor to other leading account of concrete computation.     

蒙古文多变体附加成分智能化处理研究

本文以蒙古文整词复杂特征合一计算和并行处理为科学目的,依据算法学可计算性理论,基于蒙古文整词输入法编码原理及方法,提出了一种多结点连续判断推理求解蒙古文多变体附加成分值的智能化模糊输入生成处理方法与技术。     

汉语动词连见的计算机处理规则研究

基于概念层次网络（HNC）理论,对多动词出现的一种情况——动词连见,进行了分类研究,给出了相应的处理规则。同时,还提出了一种基于BNF范式和产生式规则的形式化规则描述语言,完成了对规则的形式化描述和软件实现。在此基础上,对真实语料中出现动词连见的语句进行了计算机自动处理,给出了处理结果。     

Towards a web-based progressive handwriting recognition environment for mathematical problem solving

The emergence of pen-based mobile devices such as PDAs and tablet PCs provides a new way to input mathematical expressions to computer by using handwriting which is much more natural and efficient for entering mathematics. This paper proposes a web-based handwriting mathematics system, called WebMath, for supporting mathematical problem solving. The proposed WebMath system is based on client–server architecture. It comprises four major components: a standard web server, handwriting mathematical expression editor, computation engine and web browser with Ajax-based communicator. The handwriting mathematical expression editor adopts a progressive recognition approach for dynamic recognition of handwritten mathematical expressions. The computation engine supports mathematical functions such as algebraic simplification and factorization, and integration and differentiation. The web browser provides a user-friendly interface for accessing the system using advanced Ajax-based communication. In this paper, we describe the different components of the WebMath system and its performance analysis.