面向中间语义表示格式的汉语口语解析方法

口语解析在人机对话系统和口语翻译系统中的作用是十分关键的。本文提出了一种统计和规则相结合的汉语口语解析方法 ,解析结果是一种中间语义表示格式。该方法分为两个阶段。首先 ,采用统计方法 ,解析出输入句子的语义信息 ,然后 ,利用规则 ,将这些语义信息映射到中间语义表示格式。试验证明 ,此方法具有较强的鲁棒性 ,而且避免了完全用规则方法解析的一些弊端 ,达到较高的解析正确率。

高等数学中ε-N语言及ε-δ语言的格式化表示方法

随着高等教育的普及, 高等数学（微积分） 已经变成了几乎所有理工科高等院校普及的基础课程, 而开始学习时多会接触数列的极限表示语言以及函数的极限表示语言, 学生普遍反映书写, 记忆困难, 而近三年的硕士研究生入学考试中在选择题或证明题中多有涉及, 根据自己多年教育经验创造一种方法, 能够轻松书写出来, 使学生收到掌握这个难点.

日期和时间的国际表示法

日期和时间的国际表示法随着国际交流的迅速增加，出现各种不同形式的信息交流，但在日期和时间的书写表示上却十分混乱，往往会引起误解。为了消除误解而引起的错误，同时便于用人工或电子方法分类和存档，迫切需要全世界在数据交流中用统一的数字格式来表示日期和时间。...

TTCN-3在RRC协议一致性测试中的应用

设计了一种通过开发测试和测试控制表示法版本3(TTCN-3)抽象测试套进行测试的新方法。利用德国Testing tech公司开发的TTworkbench平台运行TTCN-3测试套,自动生成图形表示格式(GFT),有效验证了RRC层功能实现的一致性。目前该方案已成功应用于LTE系统TTCN扩展测试集仪表的项目开发中。

TD-LTE系统RRC一致性测试设计与TTCN-3验证

以TD-LTE(时分—长期演进)系统RRC(无线资源控制)实现的协议一致性为目的,并结合TD-LTE协议一致性测试的特点和实际开发经验,设计一种通过开发TTCN-3(测试和测试控制表示法版本3)测试套来验证一致性的新方案。基于德国Testing Technologies公司开发的TTworkbench平台运行TTCN-3测试套,自动生成GFT(图形表示格式)图及测试结果的仿真图,有效检验了RRC层功能实现的协议一致性。

基于XML的新一代模型——Web Services

首先回顾了WebServices出现的背景,及它的概念和优点;分析了WebServices应用模式、整体体系结构以及关键技术,尤其对其基础———XML进行了研究;着重探讨了WebServices在实际中的应用情况,具体的服务主要是应用在集成和重用领域,包括企业内应用程序集成、B2B集成、集成应用程序功能、软件重用以及通过Web进行客户端和服务器的通信的场合等,并对其重用的收费问题进行了阐述;最后总结了WebServices的优点及目前存在的不足。

基于条件随机场的自然口语语义理解方法

采用条件随机场技术将面向智能手机用户的自然口语语义理解分为操作任务分类和语义组块提取两个主要步骤,收集并分析了口语语料库的特征,根据归纳出的任务种类和语义组块特征规律设计了任务分类标记集和语义组块标记集;通过基于规则的组块分析得到了中间语义表示格式,从而实现了对用户口语语义理解的目的.实验结果表明:任务分类准确率及语义组块提取平均正确率分别达到98.85%和94.53%,系统综合性能测试的准确率达到91.86%.

LTE系统RRC协议一致性测试例的设计与实现

以LTE(长期演进)系统RRC(无线资源控制)实现的协议一致性为目的,并结合LTE协议一致性测试的特点和实际开发经验,设计一种通过开发TTCN-3(测试和测试控制表示法版本3)测试例来验证协议一致性的新方案。并基于德国Testing Tech公司开发的TTworkbench平台运行TTCN-3测试例,自动生成GFT图(图形表示格式),有效检验了RRC层功能实现的协议一致性。目前该方案已成功应用于LTE系统TTCN扩展测试集仪表开发的项目中。

位归约识别的研究与实现

尽管归约识别及并行化技术已经不是一个新的技术,但现有的并行化编译器的归约识别功能还不能满足实际应用的需要。通过对归约操作识别及并行化的分析和研究,在SUIF的基础架构上通过修改中间表示语言,实现了对位归约操作的识别功能。

基于有向图建模的航天器自动化测试研究与实现

为了提高航天器测试效率及测试质量,研究了在无法给出航天器数学模型的情况下利用知识定义方法实现自动化测试的原理。通过对航天器静态测试和动态测试任务的分析,建立了航天器测试任务中测试业务的数学表示模型。基于有向图理论,建立了航天器测试过程的基本模型,提出了一种形式简单、易于理解、便于应用的表格方式航天器自动化测试语言(SATL),给出了SATL应用示例,开发了航天器自动化测试软件(SATS)。SATL和SATS成功应用于"神舟"飞船及多颗卫星各阶段测试,实际应用表明了该方案具有较强的工程实用性。

对《议小学数学题中的代数解法》一文的纠正

贵刊1995年第七期《议小学数学题中的代数解法》一文,作者从四方面例说了:“用代数方法解题,不仅思路清晰,方法灵巧,步骤简明,而且可以开阔学生视野,增强学生学习兴趣,对于提高学生的抽象思维能力和解题能力极为有利。”读后颇受教益。但作者在涉及用字母表示数的时候,忽视了整数和数位上数码的相互关系,整数表示格式的特殊性。

基于Ajax通信的数据传输优化

在传统的Web应用程序中,常出现超时、重试、服务器错误、内容错误等通信故障,而在Ajax应用程序中,性能经常是放在首位的,为确保通信的健全性,基于Ajax工作原理从Ajax的数据响应角度进行分析,对传统Web框架的系统存在用户等待时间长、经常出现白页的问题,提出了采用HTTP压缩方法和缓存等技术来提高数据传输性能的Ajax模型。通过改善Ajax应用程序的性能,提高了网络反映速度,获得了高质量、快速和健壮的网络通信。