信息处理用维语词汇标注标记集的确定

介绍了研究和制定信息处理用维语标注标记集的研究进展。讨论了研究与制订“维语标注标记集”必要性,说明了只靠语法角度提出的词汇一级“维语标注标记集”的有限性,论述国内外英语、汉语层次分析研究的最新成果,结合维语的本身特点研究维语语义分类体系迫切性,给出了“维语标注标记集”的工作思路、标记集制定的原则和语法语义词汇一级词性标记集的内容,比较了标记集两个版本的特点,展望了其发展。     

维吾尔语三音节词韵律特征声学分析

本文从文本分析模块入手,利用“维吾尔语语音声学参数库”,选择了以开音节和闭音节结尾的333个三音节词的韵律参数,包括元音时长、音高和音强进行了统计分析,归纳了其元音时长、音高和音强分布模式,探讨了维吾尔语三音节词的韵律节奏模式与三音节词重音之间的关系问题,其目的是为了提高语音合成的自然度即更好的为自然语言处理服务。本项研究对维吾尔语语言乃至整个阿尔泰语系语言的韵律研究具有较高的参考价值。     

水泥生产线篦冷机料层厚度新型控制技术

新型干法水泥窑第三代篦冷机熟料料层厚度控制是保证水泥成品质量的重要环节。使用安装在篦冷机本体上的料层测厚仪,直接测量出篦冷机熟料的料层厚度,通过自动控制系统对篦冷机的料层厚度进行直接控制,以保证篦冷机内部热工参数的稳定,提高和稳定水泥产品的质量和产量。     

基于SIEMENS STEP7的卸料小车自动对位控制方案

可移动卸料小车主要用于散状物料处理、矿山、堆场、冶金工厂以及港口设备中,它将物料卸在不同的料棚或仓位之中。本文以唐山中厚板厂烧结配料仓卸料小车为例,介绍了卸料小车的工艺要求、自动对位控制系统方案并给出了主要控制软件。     

Isoform-specific expression and characterization of 14-3-3 proteins in human glioma tissues discovered by stable isotope labeling with amino acids in cell culture-based proteomic analysis

Human 14-3-3 proteins have isoform-specific expression and functions in different kinds of normal or tumor cells and tissues. However, the expression profiling of 14-3-3 proteins and isoform-specific biological functions are unclear in human glioma so far. In our study, the expression levels and characterization of 14-3-3 isoforms in human glioma tissues were investigated by a sensitive, accurate stable isotope labeling with amino acids in cell culture-based quantitative proteomic strategy. As a result, except unexpressed 14-3-3σ, the other six isoforms, with different expression levels, were existed in glioma tissues and para-cancerous brain tissues (PBTs). 14-3-3β and η were upregulated, whereas 14-3-3ζ was downregulated in glioma tissues compared with that in PBTs. And the other three isoforms 14-3-3ε, θ, and γ had similar expression levels in human glioma tissues and PBTs. Western blot and immunohistochemistry analysis were both consistent with the quantitative proteomic data. The loss of expression of 14-3-3σ was further discovered due to DNA high methylation in its coding region in glioma by methylation-specific PCR analysis. These results indicated that the four isoforms, including 14-3-3β, η, ζ, and σ, may play important roles in tumorigenesis of human glioma, which is probably used as potential biomarkers for diagnosis and targets for treatment of human gliomas in future.     

Quantitative mass spectrometry to investigate epidermal growth factor receptor phosphorylation dynamics

Identifying proteins of signaling networks has received much attention, because an array of biological processes are entirely dependent on protein cross-talk and protein-protein interactions. Protein posttranslational modifications (PTM) add an additional layer of complexity, resulting in complex signaling networks. Of particular interest to our working group are the signaling networks of epidermal growth factor (EGF) receptor, a transmembrane receptor tyrosine kinase involved in various cellular processes, including cell proliferation, differentiation, and survival. Ligand binding to the N-terminal residue of the extracellular domain of EGF receptor induces conformational changes, dimerization, and (auto)-phosphorylation of intracellular tyrosine residues. In addition, activated EGF receptor may positively affect survival pathways, and thus determines the pathways for tumor growth and progression. Notably, in many human malignancies exaggerated EGF receptor activities are commonly observed. An understanding of the mechanism that results in aberrant phosphorylation of EGF receptor tyrosine residues and derived signaling cascades is crucial for an understanding of molecular mechanisms in cancer development. Here, we summarize recent labeling methods and discuss the difficulties in quantitative MS-based phosphorylation assays to probe for receptor tyrosine kinase (RTK) activity. We also review recent advances in sample preparation to investigate membrane-bound RTKs, MS-based detection of phosphopeptides, and the diligent use of different quantitative methods for protein labeling.     

用单片机实现交通灯的控制

交通灯控制系统由80C51单片机、键盘、LED显示、交通灯演示组成.系统除基本交通灯功能外,还具有时间设置、LED信息显示等功能.     

A structural linearization principle for processes

In [11], an induction principle for processes was given which allows one to apply model-checking techniques to parameterized families of processes. A limitation of the induction principle is that it does not apply to the case in which one process depends directly upon a parameterized number of processes, which grows without bound. This would seem to preclude its application to families ofN processes interconnected in a star topology. Nonetheless, we show that if the dependency can be computed incrementally, then the direct dependency upon the parameterized number of processes may be re-expressed recursively in terms of a linear cascade of processes, yielding in effect a linearization of the inter-process dependencies and allowing the induction principle to apply.A previous version of this paper appears in the Proceedings of CAV 1993 (LNCS 697).     

应用型独立学院的自动控制原理课程混合式教学改革探讨

本文介绍了混合教学模式在应用型独立学院教学中的特点,以自动控制原理课程为示例,针对传统课堂教学现状中存在的问题,从教学形式,教学内容,教学设计,评价体系等方面提出了教学改革的思路。基于独立学院培养应用型人才的目标,开展混合式教学,其主要的作用是在自动控制原理课程实践中引导学生主动解决问题,互动探讨问题,深刻认识问题,改进教学效果的同时提升师生能力。     

不完全匹配的语音和文本语句级对齐

语音文本自动对齐技术广泛应用于语音识别与合成、内容制作等领域,其主要目的是将语音和相应的参考文本在语句、单词、音素等级别的单元进行对齐,并获得语音与参考文本之间的时间对位信息.最新的先进对齐方法大多基于语音识别,一方面,准确率受限于语音识别效果,识别字错误率高时文语对齐精度明显下降,识别字错误率对对齐精度影响较大;另一方面,这种对齐方法不能有效处理不完全匹配的长篇幅语音和文本的对齐.该文提出一种基于锚点和韵律信息的文语对齐方法,通过基于边界锚点加权的片段标注将语料划分为对齐段和未对齐段,针对未对齐段使用双门限端点检测方法提取韵律信息,并检测语句边界,降低了基于语音识别的对齐方法对语音识别效果的依赖程度.实验结果表明,与目前先进的基于语音识别的文语对齐方法比较,即使在识别字错误率为0.52时,该文所提方法的对齐准确率仍能提升45%以上;在音频文本不匹配程度为0.5时,该文所提方法能提高3%.