基于FSA的模型检测算法研究

自动机就是描述系统行为的模型,通过它可以检测出系统实际工作时发生的状态,经过反复测试,诊断,以达到理想的模型。在基于自动机的模型检测中,前提是需要把非确定性FSA转化为确定性FSA,本文给出了非确定性自动机转换为确定性自动机的算法,最后分析该算法。     

章句学与系统功能语言学的结合及其在翻译批评中的应用

系统功能语言学在翻译研究中的应用非常广泛,它为语篇分析提供了非常详细而实用的工具,但其在汉语中的应用,则有待提高。与此相比,倒是很多立足于汉语自身的研究却突出了汉语的特点和规律。本文试图将潘文国在汉语研究中提出的"章句学"同系统功能语言学进行结合,并简单探讨了其在翻译批评中的应用。     

《说文》“匕”部字及含有“匕”部件字研究

《说文》对"匕"字的解释包含两层意思,"相与比叙"和"用以取饭的器具"。从古文字字形考察,是原本来源不同的两个字混同为一个字。在《说文》系统中,"匕"部字和其他含有"匕"部件字构意大体不出《说文》的解释,结合古文字和相关文献,可以进一步理顺相关字的释义。     

支声字考释

依据王国维“补高邮王氏说文谐声谱”选取《说文解字》中从支得声的一组形声字作为考释对象,试图从中梳理出字族,旨在辨清母文和母文孳乳字之间的孳乳分化关系,把握汉字发展孳乳过程中的内在联系性,进一步探索汉字孳乳发展的内部规律,从而在动态发展中了解汉字,把握汉字。     

土层锚杆、土钉及复合土钉名称探讨

土钉是国外先发展起来的边坡支护技术,但在国内有了新的发展。土钉及复合土钉概念引起工程界及学术界的关注。本文分析了土钉与锚杆、加筋土的联系,探讨了锚杆与土钉的过渡形态,并对复合土钉定义提出了看法。     

竭尽全力

<正>蓝齿鲸是浅水动物,它只能生活在水深不超过40米的浅水区,如果它游到100米以下的深水区,体内的氧气便会在3分钟内耗尽。因此,深水区是蓝齿鲸的葬身之地。蓝齿鲸的食物鼓哺鱼就生活在100米以下的深水区,如果3分钟内蓝齿鲸回不到浅水区,它必死无疑,但千百年来,蓝齿鲸却生存繁衍,代代相传。因为它们在这3分钟里,是以整个生命去投入的,是以或生或死的态度竭尽全力,完成每一次捕猎的。     

一类转移概率部分未知的Markov跳跃系统的输入输出量化反馈控制

对一类离散时间马尔可夫跳跃系统(Markov jump systems,MJSs)的稳定性问题进行研究,考虑MJSs转移概率矩阵中的元素部分未知,且系统的控制输入通道和测量输出通道都存在信号量化的情况,其中控制器输入通道和系统输入通道的信号分别被两个不同的对数量化器量化。利用切换李雅普诺夫函数的方法,通过构造系统模态依赖且双通道量化误差依赖的李雅普诺夫函数,完成对闭环系统的稳定性分析和控制器设计。得到一组模态依赖的控制器,能够在系统的转移概率部分未知和存在双通道量化误差的条件下,保证闭环MJSs的随机稳定性。最后通过仿真实验验证了理论的有效性。     

S12交换机EC7.4版用户分组

从源的分析、字冠分析、任务单元定义3个方面,阐述了S12交换机EC7.4版的用户分组问题。     

《中国科技史杂志》“书评书介”专栏撰稿须知

<正>为更好地规范书评文稿,以利于作者写作,特制定如下撰稿须知:一、撰稿要求1.本专栏发表对国内外公开出版的与科学技术史相关书籍进行评介的文稿。2.书评不拘长短。在1万字以内的长篇书评应对被评之作进行深入的分析和评论,乃至重要商榷和严肃批评;3000字以内的短篇书评可以介绍阐释为主,兼有评论。3.文稿应进行实事求是的评论和介绍,且观点明确、文字洗练。谢绝吹捧性或带有人身攻击性的文稿。     

藏文编码字符集构件集

本文论述了藏文信息结构和构件拆分的原理,采用统计方法,建立了藏文编码字符集构件集,用已编码的藏文字符表示未编码的藏文外字具体字型的结构和内容,说明厂构件集的选取与排序,论证了它的可行性,以期建立全藏文编码体系。