基于Web的藏汉双语实验室预约系统的设计与实现

基于Web的藏汉双语实验室预约系统以项目为载体,藏汉双语同步显示,充分调动藏族地区大学生的学习积极性,培养学生的动手和科研能力,同时减轻实验室管理人员的工作负担,提高实验资源的使用和管理效率。阐述了系统的设计开发过程,以及在设计开发过程中的藏汉双语与平台的无缝衔接技术。     

The evolution of BioBike: Community adaptation of a biocomputing platform

Programming languages are, at the same time, instruments and communicative artifacts that evolve rapidly through use. In this paper I describe an online computing platform called BioBike. BioBike is a trading zone where biologists and programmers collaborate in the development of an extended vocabulary and functionality for computational genomics. In the course of this work they develop interactional expertise with one another’s domains. The extended BioBike vocabulary operates on two planes: as a working programming language, and as a pidgin in the conversation between the biologists and engineers. The flexibility that permits this community to dynamically extend BioBike’s working vocabulary—to form new pidgins—makes BioBike unique among computational tools, which usually are not themselves adapted through the collaborations that they facilitate. Thus BioBike is itself a crucial feature—which it is tempting to refer to as a participant—in the developing interaction.     

一类π-反周期函数的双周期插值问题

讨论了一类反周期函数在等距结点组上的双周期插值问题,结合函数所要满足的插值条件与该类反周期函数所满足的基础分解定理,再利用插值基函数的性质,给出插值问题解存在的充分必要条件,并得到相应条件下解的显式.     

一类具脉冲的非自治高阶BAM神经网络周期解的全局指数稳定性

通过构造Lyapuonv函数,利用M-矩阵理论以及Yang不等式技巧,研究了一类含脉冲的非自治高阶BAM(bi-directional associative memory)神经网络周期解的全局指数稳定性,且推广了相关文献中的结果.     

奇性方腔黏性流动的完全高精度紧致差分方法

以涡量流函数形式的Navier-Stokes(N-S)方程为例,详细介绍了构造完全高精度紧致差分格式的一般方法.所建立的高精度差分格式,无论是在计算区域的内点还是在边界点上均可以达到4阶精度,且具有紧致性,与已有数值实验结果相比只需要用很少的网格(61×61)就可以求得较高计算精度的数值解,从而大大节省了计算时间,提高了计算效率.     

一类高阶中立型泛函微分方程周期解

利用重合度理论,研究了一类具有偏差变元的高阶中立型泛函微分方程 周期解问题,获得了这类方程存在唯一周期解的新结果,推广和改进了已有文献的相关结果.     

我国少数民族文字期刊的现状与发展对策刍议

我国少数民族文字期刊在我国少数民族地区发挥着特殊的不可替代的作用，但目前从总体上看，其数量少、类别文种多、出版周期长、刊物质量不够理想，发行量逐年下降，而且出版经费普遍紧张。必须与时俱进、开拓创新，树立全新办刊理念；调整结构、苦练内功，精心打造旗舰与精品；全面落实民族政策，增加财政拨款，才能使我国少数民族文字期刊走出困境，发挥应有的作用。     

正则语言非正则运算的封闭性

本文用构造的方法严格证明了识别正则语言三种非正则运算的确定型有穷自动机的存在性，进而得出正则语言类在非正则运算“∩”、“-”以及“ ”下的封闭性的结论，并具体给出识别三类语言运算的确定型有穷自动机模型．     

广告语言翻译与功能对等

作为一种文体,广告有着自身语言的特点和经济功能。翻译广告时,应以功能对等原则为指导,采用直译、语义对等和文化对等等方法,再现源语广告的特点和功能,促成消费者的消费行为。     

一种分布式超高级实时控制语言

本文提出了一种分布式超高级实时控制语言FOFIB(Function Blook Fill-In-the-Blank).描述了实现该语言的四个系统程序.通过合理的方案选择,FOFIB具有面向控制功能,使用方便,通信透明,支持多任务并发执行,兼顾连续量控制和顺序控制等特点,不仅为分布式控制系统用户提供了有力的开发工具,而且为实现分布式环境下的高级控制策略创造了条件.