网络版班智达藏汉英电子词典的设计

近年来,随着计算机技术的发展,电子词典作为一种移动学习和翻译的数码工具,在国内外开始广泛地普及,其经济效益和社会效益也随之得到广大用户的关注。论文结合《班智达汉藏机器翻译系统》(国家863计划项目,编号为863-306-ZT04-05-2)的后续项目《班智达藏汉英电子词典》(国家自然科学基金,编号为69663001)的研发实践,论述了该电子词典在网络上的设计方案,重点讨论了电子词典的内容建设和结构描述以及网络中的开发模式和应用技术,最后对系统所选的平台进行了详细描述并给出了该电子词典的使用方法。

一个描述内存工作区操作的公理语义方法

本文定义了一个内存工作区处理语言ＭＰＬ，并提出用于描述该语言的形式化方法．作为示例，文中最后给出一个程序部分正确性的验证提纲．

带权外平面图线性布局的并行算法

本文对整数赋权的外平面图的总边长线性布局问题给出多项式算法，并且在ＣＲＥＷ－ＰＲＡＭ并行计算模型下给出了并行算法，其在Ｏ（δｎ２）台处理机上需时Ｏ（ｌｏｇ２ｎ）

树形结构“超”实体构造算法在双重模式下的实现

数据库中多个实体呈树形关联时,对海量数据作多层实体连接运算时要消耗系统大量的内存资源。本文提出了一种“超”实体的概念,给出其数据结构。描述了“超”实体在C/S模式下的树形结构构造算法和在B/S模式下的无限层次动态下拉列表构造算法,并结合具体的系统给出了主要代码。实例证明,这种实体构造方法在信息系统的海量数据检索中是高效可行的。

基于Web的西北地区树木木材信息管理系统开发研究

把主要用材树种的立木性状和木材特性有机结合,提供从立木到木材、从木材到立木的详细信息,为树木的合理种植和木材充分利用提供了一个较全面的信息查询平台。系统采用SQLServer2000建立数据库,利用A SP技术开发基于B/S结构的前台、D elph i7开发基于C/S结构的后台部分,兼顾了网络和单机用户的需求。

两类G_t^s(a,b;c,d)图的着色

在综述国内外关于广义多边形树Gst(a,b;c,d)着色研究的基础上,对一些广义多边形树Gst(a,b;c,d)(s+t=2)组成的图类2ξ(a,b;c,d)的着色、色唯一和色等价类等相关问题进行了研究,得到了两类特殊图2ξ(m,m;m,m)(m≥2)和2ξ(a,a;b,b)(a≠b)且min{a,b}≥2是两个色等价类的结论.

一些圈加边图的着色

设P(G;λ)表示图G的色多项式,若P(H;λ)=P(G;λ),称H和G色等价.设ξ是图组成的集合,若对任意图H,当H和ξ中的某一图色等价时,都有H∈,ξ称ξ是完全色等价类.本文给出了由部分广义多边形树Gls(a,b;c,d)(s+t=2)组成的一个完全色等价类.

病毒性肝炎树鼩动物模型研究与建模策略

病毒性肝炎是由肝炎病毒引起的肝脏疾病。在我国,病毒性肝炎高度流行,其中又以乙型肝炎病毒(Hepatitis B virus,HBV)和丙型肝炎病毒(Hepatitis C virus,HCV)危害较大。动物模型是研究疾病感染与发病机制,进行药物与疫苗研究的必要工具。目前病毒性肝炎实验动物模型的研究已取得长足的发展,主要集中于病毒在动物体内的感染特性及发病规律方面。本文仅就病毒性肝炎动物模型,尤其乙型、丙型肝炎树鼩动物模型的研究及建模策略进行综述。

高级语言与数据库的B+树

通过对 Ｆ Ｏ Ｘ Ｐ Ｒ Ｏ 索引结构的分析，将类 Ｂ＋ 树的概念引入 Ｃ 语言，从而提出了用 Ｃ 语言对数据库进行查找的思路。