UML活动图到时间Petri网的映射方法

UML被广泛应用于嵌入式实时系统等领域的建模,而嵌入式实时系统对时间响应的要求非常严格,UML缺乏对系统时间约束的描述和形式化语义。因此,提出了一种结合MARTE与UML带有时间约束的UML活动图模型,并定义相应的映射规则,将该活动图模型映射到时间Petri 网模型,最后通过实例验证了该映射方法的正确性和实用性。     

红外隐身技术的现状与发展

综述了红外隐身技术的现状，指明了存在的问题以及发展的方向。     

网络展开图与符号网络分析

采用封闭网络模型,按照电路元件参数,采用开路、短路和着色运算,将电路图逐层分解,得到网络展开图.给出网络展开图的概念和运算规则,指出网络展开图中从根到末稍每个路径的值就是网络行列式展开式中的一个有效项,从而由网络展开图得到符号网络函数.该方法直接对电路图进行运算,不需要建立任何形式的电路方程和行列式,适用于一般的有源电路,而且能生成各种类型的网络函数.     

产生2元de Bruijn序列的一个新算法

２元ｎ级ｄｅＢｒｕｉｊｎ序列是由ｎ级移位寄存器产生的周期为２ｎ的移位寄存器序列，给出了２元ｄｅＢｒｕｉｊｎ序列的一个新的生成算法，该算法能生成２ｓ·ｇ（ｎ，ｓ）个ｎ级如ｄｅ　Ｂｒｕｉｊｉｎ序列，其中，０≤ｓ≤２（ｎ－７）／３；当 ２ｌ－１＜ｓ≤２Ｌ时，ｇ（ｎ，ｓ）＝ｎ－３Ｌ－６－［（ｎ－２Ｌ－６）／（Ｌ＋１）］。     

一种新型的STM探针

以普通的石英光纤为材料，用熔拉腐蚀复合的方法制备出nm量级的光纤探针，而后在针尖表面镀上数十nm厚的金属膜，达到导电性，使其能传导隧道电流，从而研制出一种新型的扫描隧道显微镜（STM）光纤隧道探针，在STM上取得了比较理想的实验结果。本文将光纤隧道探针与金属隧道探针作了比较，并对其性能作了分析。     

系统可靠性模型综述

可靠性模型是指为预计或估算产品的可靠性所建立的可靠性框图和数学模型。介绍了几种系统可靠性模型及其相应的可靠性计算方法。     

Taylor 四相码信号及其模糊图的绘制

介绍了Taylor四相码信号的特点及其研究现状，运用模糊函数的卷积算法，通过MatIab语言计算并绘制出了其三维立体模糊图，制作了ξ切面图、τ切面图和模糊度图，并给出了绘制方法。     

“电气控制与PLC”课程中疑难指令的教学探讨

本文针对欧姆龙CPM1A系列PLC的TR、微分与非微分指令形式、顺序控制步转换条件等教学难点进行了深入剖析。结合梯形图实例讨论了TR作用、指令的微分与非微分形式的意义、顺序控制步转换条件中上步控制位的作用及常用指令LD N容易忽视的问题。所作分析有益于克服PLC教学难点,提升教学效果。     

PHASE BOUNDARIES OF SINGLE-PHASE ε-AND γ′-FIELDS IN Fe-C-N PHASE DIAGRAM

由低温下的溶解度导出氮在α-Fe中的活度数据,求得了Fe-C-N三元系中各二元交互作用系数,并导出了该系中的分配方程组.依此在PDP-11/23计算机上计算了γ′及ε单相区界域.计算结果表明:原Naumann和Langenscheid相图中的γ′相区正确,但ε相区需修正.计算结果与Wells及Bell的大部分实验结果符合.采用石墨为标准态(见附录证明)的计算也得到相同结论.