多字体印刷藏文内容监测系统研究

针对藏文舆情分析中藏文印刷品和藏文图片内容无法自动监测的难题,文章在深入分析印刷藏文字符特征和藏文文本特点的基础上,提出支持多字体印刷藏文内容监测系统的实现方法,重点阐述藏文字符的特征提取、分类算法以及藏文文本内容监测方法。     

隐极无刷双馈电动机的研究

针对无刷双馈电动机的转子磁场转换效率决定了其工作效率的问题,提出了一种隐极无刷双馈电动机隐极转子结构的优化设计方案。对作用较小的隐极转子进行优化设计,即将它们的槽型更改为半开口槽,不断改变它们的长宽比;利用有限元软件ANSYS分析不同长宽比转子结构的隐极无刷双馈电动机,获得其功率绕组励磁与控制绕组励磁分布;利用Matlab软件分解转子磁动势,获得转子磁动势的谐波含量,从而确定最有效谐波含量。实验结果表明,在设定隐极转子的长宽比分别为10、13、15、17、20的情况下,隐极无刷电动机在15倍长宽比转子结构时的能量转换效果最好。     

A functional programming approach to the specification and verification of concurrent systems

Networks of communicating processes can be viewed as networks of stream transformers and programmed in a lazy functional language. Thus the correctness of concurrent systems can be reduced to the correctness of functional programs. In this paper such correctness is proved formally in the-calculus extended with recursion equations for functional programs. The-calculus is chosen since it allows the definition of properties by least fixed points (induction) as well as by greatest fixed points (coinduction), and since greatest fixed points are useful for formalising properties, such as fairness, of infinitely proceeding programs. Moreover, non-deterministic processes are represented as incompletely specified deterministic processes, that is, as properties of stream transformers. This method is illustrated by proving the correctness of the alternating bit protocol.     

Effect of 0.1 at.% zirconium on the cyclic oxidation resistance ofβ-NiAl

The effect of 0.1 at.% Zr (0.2 wt.% Zr) on the cyclic oxidation of hipped -NiAl was studied. Oxidation testing was performed in static air at 1100–1200 °C, using 1-hr exposure cycles for test times up to 3000 hr. The weight change versus time data were modeled with the COSP computer program to analyze and predict cyclic-oxidation behavior. Zr additions significantly change the nature of the scale-spalling process during cooling so that the oxide spalls near the oxide-air interface at a relatively low depth within the scale. Without Zr, the predominantly -Al₂O₃ scale tends to spall randomly to bare metal at relatively high effective-scale-loss rates, particularly at 1150°C and 1200°C. This leads to higher rates of Al consumption for the Zr-free aluminide and much earlier depletion of Al, leading to eventual breakaway (i.e., failure).     

Mechanical procedure for proof construction via closed terms in typed λ calculus

In this paper is presented an algorithm for constructing natural deduction proofs in the propositional intuitionistic and classical logics according to the analogy relating intuitionistic propositional formulas and natural deduction proofs, respectively, to types and terms of simple type theory. Proofs are constructed as closed terms in the simple typed calculus. The soundness and completeness of this method are proved.     

Sex pheromones of male yellowfin Baikal sculpin (Cottocomephorus grewingki): Isolation and chemical studies

Three components of the male yellowfin Baikal sculpin pheromonal signal have been isolated from urine by diethyl ether extraction, thinayer chromatography (TLC), and high-performance liquid chromatography (HPLC). Using mass spectrometry, we have identified two of them as testosterone (T) and 11-hydroxytestosterone (11HT). These steroids are synthesized in testes during full spermatogenesis, and they are excreted in male urine with milt. The third component is not a steroid. It is more likely to be a polyene alcohol (farnesol). 2Z,6E-Farnesol possesses behavioral activity.     

Beyond interpretation: Reply to Cummins' response

In his response to my Why There Are No Mental Representations, Robert Cummins accused me of having misinterpreted his views, and attempted to undermine a crucial premise of my argument, which claimed that one could only define a semantic type non-semantically by stipulating which tokens should receive a uniform interpretation. I respond to the charge and defend the premise.     

基于图像内容层次表征的遥感图像 分割方法

提出基于图像内容层次表征的高分辨率遥感图像快速多精度分割方法。首先根据初始分割结果建立区域邻接图(RAG),并将其定义为马尔可夫随机场(MRF);然后引入光谱、形状和边缘等图像特征进行层次合并,通过记录层次合并过程获得图像内容的层次表征;最后根据层次表征中不同层级对象之间的关系快速生成任意不同精度的分割结果,以满足不同应用的需求。利用QuickBird卫星图像进行实验和评价的结果表明,本文方法具有较高的精度和效率。     

探析印刷行业中的相关企业分类

自宋代我国毕昇发明活字版印刷术至德国人谷登堡创造铅合金活字版印刷术,时至今天数码印刷技术的出现,印刷行业经历了几世纪的演变积累。从报纸、杂志、地图、海报、广告、信封、信笺、商标到名片、请柬、信用卡、钞票、贺卡、台历、挂历、包装纸盒、装饰壁纸等等都是通过印刷技术呈现的。久而久之,不同的需求就产生了不同的印刷客户。