协议工程的形式描述技术

本文讨论适应于协议工程的形式描述技术。文中以一个通信系统为例子,论述和分析了Petri网、LOTOS、关系表示法、Z表示法,以及面向对象Z等形式描述技术的形式描述风格及其特征。     

氮化铝样品厚度与热扩散率关系研究

应用激光闪光技术测量不同厚度的氮化铝AlN样品时,发现热扩散率测得值随样品厚度的减小而降低。这一现象无法用传统的理论加以解释。我们在考虑了AlN材料的部分透光性之后,推导出与传统公式不同的半经验半理论公式,应用此公式可克服上述现象及矛盾。传统公式是新公式的一个特例。     

Cooperative Mechanism of Supply Chain Under Asymmetric Information

Abstract: The cooperative mechanism is one main issue in the decentralized supply chain system, especially in an asym-metric information structure. We analyze the non-cooperative game behavior of a 2-echelon distribution supply chain,compare the results with the system optimal solution, and give the supplier dominated cooperative mechanisms. We alsoanalyze the validity of our contract under the asymmetric retailers' holding cost information and give some useful conclu-sions.     

论多维思维的根据、特质和作用

要根除认识的片面性、直线性和形式主义,必须大力提倡多维思维。无论从思维本身考察,还是从现实发展着眼,多维思维方法的产生,都具有必然性,是应历史呼唤而生的时代产儿。多维思维的特质是全面性、整体性和具体性。运用多维思维,可以有效地调动思维的潜在能力,提高思维的效率和成果率,有助于敏锐地发现问题;有助于圆满地解决问题;有助于人们最大限度地获取信息,全面、深刻而且具体地认识问题。     

De novo mutations revealed by whole-exome sequencing are strongly associated with autism

Multiple studies have confirmed the contribution of rare de novo copy number variations to the risk for autism spectrum disorders. But whereas de novo single nucleotide variants have been identified in affected individuals, their contribution to risk has yet to be clarified. Specifically, the frequency and distribution of these mutations have not been well characterized in matched unaffected controls, and such data are vital to the interpretation of de novo coding mutations observed in probands. Here we show, using whole-exome sequencing of 928 individuals, including 200 phenotypically discordant sibling pairs, that highly disruptive (nonsense and splice-site) de novo mutations in brain-expressed genes are associated with autism spectrum disorders and carry large effects. On the basis of mutation rates in unaffected individuals, we demonstrate that multiple independent de novo single nucleotide variants in the same gene among unrelated probands reliably identifies risk alleles, providing a clear path forward for gene discovery. Among a total of 279 identified de novo coding mutations, there is a single instance in probands, and none in siblings, in which two independent nonsense variants disrupt the same gene, SCN2A (sodium channel, voltage-gated, type II, α subunit), a result that is highly unlikely by chance.     

2×2分块矩阵的Drazin逆表示

文中利用2×2分块矩阵M=[A B C D]的子块研究了M的Drazin逆,在比已有条件更弱的条件下给出了M的Drazin逆表达式．     

区域高校文化建设的实践与探索—以曲靖师范学院为例

文化传承创新是大学的重要职能。大学校园文化是学校育人的重要内容,是学校软实力的重要体现,是学校精神的外在表现。加强区域高校文化建设,必须坚持以社会主义核心价值体系为根本,坚持重在建设的基本指导方针,注重历史传承与发展创新相结合,做到发展共性与突出个性相结合,并充分发挥师生在文化建设的生力军作用。     

赋权有向图中最小生成树问题的显式整数规划模型

就具有不对称权重的有向图中的最小生成树问题,本文首次建立了相应的显式整数规划模型,这一模型可以成功地运用整数规划软件包如Ｌｉｎｄｏ等求解。并进一步将这一模型推广到随机最小生成树问题,也即具有随机变量权重的有向图中的最小生成树问题,并设计了相应的求解算法,给出了数值例示。     

右江盆地晚古生代白云岩与层序地层的关系及其储集性

以广西右江盆地晚古生代白云岩为研究对象,详细研究了白云岩在剖面上的分布与产出的形态, 归纳起来包括5种类型:(1)与硅质岩互层;(2)与灰质泥岩互层;(3)与灰黑色中层含光壳节石的微晶灰岩互层;(4)与灰白色厚层块状生物屑灰岩互层;(5)与厚层块状灰质白云岩、白云质灰岩互层.在此基础上讨论了白云岩的分布与层序地层学的关系,即与LST有关的白云岩主要为一套角砾状白云岩;与TST有关的白云岩主要为薄层状的硅质粉-细晶白云岩或细晶白云岩;与HST有关的白云岩主要为厚层块状中-粗晶白云岩或含残余生物屑结构白云岩.进而研究了白云岩的储集性,讨论了不同类型的白云岩和不同体系域内的白云岩的储集性.这为全面研究白云岩储层提供了基础资料.     

数据挖掘在数字图书馆个性化服务中的应用

提供个性化信息服务是数字图书馆发展的必由之路.用户建模是实现个性化服务的关键,利用数据挖掘技术进行用户建模是个可行的高效的手段.