时序系统命题μ演算算法设计与实现

以μ演算方法研究命题时序逻辑模型,设计实现了命题μ演算中μ演算公式输入以及对输入公式的检查、编译、分析和计算,并通过模型输入及μ演算公式算法实现规格说明验证.同时,通过CTL公式与命题μ演算公式的转换,将用CTL表示的需验证的公式转化为由μ演算公式,以验证系统的规格说明,算法复杂性为O((|f|.n)d),其中d是公式f中不动点算子μ和ν的交替长度,n为状态数.     

汤阴地堑南段地震地质的若干问题

本文用地质力学的观点。联系华北平原斩块沉陷区的某些地震地质特征,着重阐述汤阴地堑南及新生代新构造体系的形成及主要力源,同时指出共轭孕震现象,并对区内地震危险性提出一些不同看法。     

金泳三的廉政风暴

公布财产,恢复监查院的“独立性”,实行金融真名制。新总统连烧三把火。金泳三于今年2月上任不久,就在韩国掀起了一场扫除政坛积弊的政改之风.他先是在3月宣布内阁改组,三名内阁成员因“违犯法律和道德准则”而辞职,     

高阶神经网络研究简介

高阶神经网络灶神经网络研究的一个重要分支．本文介绍了高阶神经网络的概念、结构和优越性，讨论了ＴＣ等几个实际应用问题，同时阐述了高阶神经网络面临的困难和发展前景。     

也谈东干族族名

“东干”和突厥语TUNG GAN（读“通干”）在语音和语义上可能是某种巧合。TUNG GAN意为“站下来，往下来”，与陕甘回民移民至新疆的史实相符。但清政府移民于新疆不只是陕甘回族，所以“东干”的原义、本义指地理方位，其演变线索是：“东岸”或“东岸子”－－дунганц－дунган（俄语读音“东干”）。这也是东干人对自己族名的解释。     

风云变幻八十年 第九讲 西亚新局——从《色佛尔条约》到《洛桑和约》

瓜分宰割国几不国在第一次世界大战中,土耳其被德国拉入同盟国集团,与协约国作战。1918年10月底,土耳其战败投降。11月中,庞大的协约国舰队耀武扬威地闯入了黑海海峡,下碇于金角。接着协约国占领军司令跨着高头白马,以征服者的姿态不可一世地进入土京伊斯坦布尔。土耳其帝国皇帝(又译苏丹)奴颜婢膝地匍匐在占领军的马前。延续了600年的老大帝国,早被称为近东病夫,现已病入膏肓,行将就木。它的经济破产,军队解体,不仅失去了广袤的全部亚非属地,就连     

有机光折变聚合物材料的研制(I)——4-(对硝基苯偶氮)-3-氯苯胺偶氮增感染料的合成

偶氮增感染料在以聚乙烯咔唑为主体的光折变材料复合物中起着十分重要的作用。为了进一步研究不同的偶氮增感染料对光折变性能的影响。我们合成了一些偶氮化合物,并对它们进行了结构表征。结果表明,偶联反应发生在间氯苯胺的对位上。     

现阶段的宇宙冶金学

1.宇宙环境据说牛顿每天看着苹果从树枝上落下,发现了重力法则。如今已经证明人类在无重力世界也能生活。这里不仅苹果、任何东西都不下落。无重力是其最大特征。无重力冶金学和地球上冶金学的不同、明显地表现在液体和气体上。在无重力的宇宙间密度不同的物质不上浮也不下降,将水和油混合起来,也始终保持二相不分离的乳浊状。水中气泡一动不动,铅