带拼音纠错的汉语音字转换技术

提出了一种基于统计和规则的混合方法来实现汉语音字转换。利用汉语的语法规则，在统计语言模型中采用了两种基于词和词性的混合语言模型。在实验中，将这两种混合语言模型与基于词的语言模型进行了比较。实验证明，在语言模型中引入词性后，提高了音字转换正确率。考虑了出现拼音错误时的音字转换问题，提出了一种拼音纠错方法来纠正错误。实验证明，当拼音正确率高于８５％时，这种带纠错的音字转换方法可以提高音字转换正确率。     

HDTV图像数据结构变换的数学模型与电路实现

本文将介绍一种地MPEG－2标准MP@H－1440级数字HDTV图像的数据结构变换数学模型及电路的实现方法，该模型与电路已被成功地应用于我国第一台数字高清晰度电视功能样机中。     

面向中小企业的动态网络联盟制造

针对中小型企业的特点，提出了适合中小型制造企业的动态网络联盟制造的结构和功能模型，论述了实现动态的N层Client/Server/Data Base的网络结构的技术和方法，并对网络结构模型和信息数据的共享实现技术作了深入的阐述，利用RMI技术构建了N层的客户／服务器网络结构，以实现盟员－盟主的角色转换。     

计算机模拟模型自动生成方法的研究

模型自动生成技术的研究是目前国内外模型工作者努力的目标之一，若能实现这个目标，不仅可以节省大量的建模时间和资金，而且可以使模型具有更大的实用性．本文提出了一种行之有效的方法－利用数据库技术实现模型的自动生成．     

基于NETCONF的通用转换网关模型的研究和实现

随着下一代网络的出现，基于XML网络管理已经成为网络管理研究的热点．在XML网络管理中，协议转换网关可以实现基于XML、SNMP和非SNMP设备的兼容性管理．本文提出了一种基于NETCONF的通用协议转换网关模型，研究了其中的关键技术，并给出了验证该模型可行性的实现方案．该通用转换模型可以实现综合网络管理中多种网络管理协议格式的统一自动转换，相比传统的单一性转换网关具有统一性、灵活性的特点．     

基于形式化的功能代码自动生成

针对模型驱动开发中功能代码自动生成方面存在的问题,提出了一种形式化建模方法,用以实现模型驱动架构中功能代码的自动生成。通过进程代数描述的原子操作及其组合逻辑,使得功能行为的设计可以参数化和实例化,从而完成从高层模型描述到功能代码的自动转换。实验表明,本方法提升了软件模型描述的层次和灵活性,能够对模型驱动的软件开发提供有力的支持。     

神经网络余数制系统

研究了神经网络余数制信号处理系统，提出求余运算的逐位比较模型，以非对称Ｈｏｐ－ｆｉｅｌｄ网络为基础，构造了求余运算神经网络；将此网络用于求解中国余数定理，构造了实现务＋转换的一种全新方案。计算机仿真结果证实了这个新方案的高速和有效性。     

从NEWCOM模型到关系模型的转换机制研究

本文首先简要地介绍了分布式应用程序的体系结构描述语言－ ＮＥＷＣＯＭ,以及问题提出的背景,并研究利用基于知识的方法将所得到的相关信息转换为关系模型的算法,该系统的底层是用关系数据库管理系统语言描述的企业管理信息系统。换句话说,我们实现的系统具有：基于领域概念知识的转换机制将分布式应用程序的体系结构变换为企业管理信息系统的功能;本文讨论了按系统的功能进行了模块划分,并研究各个模块在转换过程中实现的方法。     

基于事务形式验证(TBFV)及8051的TBFV模型

提出了一种基于事务的形式验证方法(TBFV)，为待验证的系统构造功能验证模型，每个模型包括指令序列、输入变量、输出变量、输出函数、输出判定函数．这些可用Kripke结构来描述．这些功能验证模型实现了特定的事务，从而可以将一般的验证要求映射为具体的实现属性．这样，验证者无需了解设计的细节，可在较高层次上对系统行为进行验证．为了证明该方法的效率，分别用该方法和传统的形式验证方法验证了8051的RTL实现．8051中所有的指令都进行了验证，并给出了相应的功能验证模型．实验结果表明，采用该方法可大大节省验证工程师的时间．功能验证模型和验证指令可以在其他设计中复用．     

一种基于QVT的模型转换技术

提出一种基于查询/视图/转换(QVT)规范的模型转换技术, 并采用这种模型转换技术, 利用Kermeta语言中的模型转换功能, 通过对QVT核心分层, 设计了一种基于映射四层QVT结构的模型转换工具, 实现了Ecore元模型到Kmt元模型的转换.     

巴黎备忘录全新NIR选船体系评估

从港口国监督（PSC）角度讨论了巴黎备忘录全新的NIR选船体系。选船是港口国监督极为重要的环节,合理的机制能极大提高船舶安全检查的效率。借助具体算例,对新旧选船方法展开差异性分析。同时剖析NIR背后隐藏的欧盟单边主义,深入发掘值得借鉴与警惕的问题。最后从法规及技术等层面,提出未来我国港口国监督选船机制的发展建议。     

数字控制全桥软开关电源的Saber仿真分析

利用Saber软件完成了对移相控制全桥ZVS电源系统的建模和仿真分析,设计了基于峰值电流模式和PI调节器的数字控制系统。仿真结果表明该系统参数可以为大功率开关电源的设计开发提供重要的参考依据。     

An Introduction to Regime of Port State Control

Port State Control （PSC）, known as the last maritime safety defense, plays an important role in maritime safety control. This paper attempts to describe PSC practice as it stands today. Background of PSC is first introduced. Then the paper presents detailed procedures of PSC. Through stating the specific procedures, it is hoped that the paper could give readers a general idea about the regime of PSC.     

浅析PSC海事安全标准的发展及执行(英文)

通过介绍港口国控制、全球主要港口国控制组织的基本情况和PSC法律基础的国际海事安全标准的发展,对比分析东京备忘录和巴黎备忘录在港口国监督年度报告中关于海事安全标准执行情况的数据,得到国际海事安全标准的发展趋势,提出对船东和有关当局的挑战.     

基于模糊综合评价的航运公司应对PSC检查预判

为帮助航运公司预判船舶是否能顺利通过PSC（Port Statc Control)检查,按时完成航行计划,建立了PSC检查体系,在此基础上采用模糊综合评判的方法,构建航前船舶PSC检查预判模型,并运用实例证明预判PSC检查结果与实际PSC检查结果相符,说明了该模型在航运公司预判PSC检查结果方面的可行性与适用性     

高精度平面光栅尺测量系统减振技术研究

高精度平面光栅尺测量系统的测量精度直接影响浸没光刻机硅片台的定位精度和稳定时间.考虑到安装在平面光栅尺载体上的平面光栅尺因其载体固有频率较低,易受到主基板残余振动和高速硅片台气压扰动而产生振动,因此研究平面光栅尺载体的减振技术意义重大.文中阐述了一种新型平面光栅尺载体减振方法,围绕热解耦技术和粘滞阻尼吸振技术,进行理论建模、仿真分析和测试评价.结果表明粘滞阻尼器和柔性结构并联系统可以显著改善平面光栅尺载体结构动态特性,提升平面光栅尺测量系统的测量精度及缩短硅片台的稳定时间.      

A Hedgehog- and Antennapedia-dependent niche maintains Drosophila haematopoietic precursors

The Drosophila melanogaster lymph gland is a haematopoietic organ in which pluripotent blood cell progenitors proliferate and mature into differentiated haemocytes. Previous work has defined three domains, the medullary zone, the cortical zone and the posterior signalling centre (PSC), within the developing third-instar lymph gland. The medullary zone is populated by a core of undifferentiated, slowly cycling progenitor cells, whereas mature haemocytes comprising plasmatocytes, crystal cells and lamellocytes are peripherally located in the cortical zone. The PSC comprises a third region that was first defined as a small group of cells expressing the Notch ligand Serrate. Here we show that the PSC is specified early in the embryo by the homeotic gene Antennapedia (Antp) and expresses the signalling molecule Hedgehog. In the absence of the PSC or the Hedgehog signal, the precursor population of the medullary zone is lost because cells differentiate prematurely. We conclude that the PSC functions as a haematopoietic niche that is essential for the maintenance of blood cell precursors in Drosophila. Identification of this system allows the opportunity for genetic manipulation and direct in vivo imaging of a haematopoietic niche interacting with blood precursors.     

浅谈港口国监督的重要性(英文)

介绍港口国监督的发展历史,从保障海上人命安全和防止海洋污染方面详细阐述港口国监督的必要性.作为船旗国监督的补充和船舶航行安全的最后安全屏障,港口国监督有着不可替代的地位和责任.     

从日本PSC检查分析船舶安全管理之要点

通过分析日本实行PSC的情况,研究我国船舶如何加强安全管理,降低在日本的滞留率,争取无缺陷通过PSC．