A review on queueing network models with finite capacity queues for software architectures performance prediction

A review is carried out on how queueing network models with blocking have been applied so far into the performance evaluation and prediction of Software Architectures (SA). Queueing network models with finite capacity queues and blocking have recently been introduced and applied as more realistic models of systems with finite capacity resources and population constraints. Queueing network models have been often adopted as models for the evaluation of software performance. Starting from our own experience, we observe the need of a more accurate definition of the performance models of SA to capture some features of the communication systems. We consider queueing networks with finite capacity and blocking after service (BAS) to represent some synchronization constraints that cannot be easily modeled with queueing network models with infinite capacity queues. We investigate the use of queueing networks with blocking as performance models of SA with concurrent components and synchronous communication. Queueing theoretic analysis is used to solve the queueing network model and study the synchronous communication and performance of concurrent software components. Our experience is supported by other approaches that also propose the use of queueing networks with blocking. Directions for future research work in the field are included.     

南京老虎山黄土-古土壤剖面不同粒级组分的磁化率及其古气候意义

利用沉降离心法将老虎山黄土-古土壤的酸不溶相分离成<2μm、2～45μm和>45μm三个粒级组分,并分别测定了这些组分和全岩的磁化率。结果表明,无论是全岩,还是三个不同粒级组分,它们的磁化率都可以单独作为长江中下游地区古气候演变的参考指标。其中,<2μm粒级的质量磁化率明显大于全岩和2～45μm、>45μm两粒级,而且其分辨率也明显高于2～45μm和>45μm这两个粒级组分。本实验结果还显示,虽然<2μum的质量磁化率最大,但对全岩质量磁化率的贡献率与2～45μm粒级相当,>45μm粒级的贡献率较低。     

Evaluating dynamic performance: The influence of salient Gestalt characteristics on performance ratings.

It is well recognized that performance changes over time. However, the effect of these changes on overall assessments of performance is largely unknown. In a laboratory experiment, we examined the influence of salient Gestalt characteristics of a dynamic performance profile on supervisory ratings. We manipulated performance trend (flat, linear-improving, linear-deteriorating, U-shaped, and ∩-shaped), performance variation (small, large), and performance mean (negative, zero, positive) within subjects and display format (graphic, tabular) between subjects. Participants received and evaluated information about the weekly performance of different employees over a simulated 26-week period. Results showed strong main effects on performance ratings of both performance mean and performance trend, as well as interactions with display format. Theoretical and practical implications of the results are discussed. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

Prolog逻辑程序的测试方法

Prolog逻辑程序设计语言具有不同于传统程序设计语言的特点.本文根据测试Prolog程序的实践,提出了一系列为Prolog程序生成测试用例的准则.按这些准则测试实际程序效果良好.这是在逻辑程序测试新领域迈出的一步.     

Instron texture profile of buffalo milk cheddar cheese as influenced by composition and ripening changes

Buffalo milk Cheddar cheese samples of different ages were analysed for compositional attributes (CA), ripening indices (RI) and Instron Textural Profile (ITP). All samples were compositionally alike, except for pH and salt-in-moisture (SM) contents. RI showed significant variations. CA and RI showed highly significant correlations within themselves and with each other, except for moisture with pH, SM with moisture, MNFS, Fat and FDM and Fat with MNFS. The ITPs of cheeses showed significant variations and had highly significant intercorrelations indicating their interdependence. CA (except moisture and MNFS) and RI showed a highly significant correlationship with ITPs. Moisture content showed a highly significant correlationship with all ITPs, except cohesiveness and springiness, where it was significant. MNFS content showed significant correlations only with hardness and brittleness. Stepwise regression analysis revealed that MI was the most predominant factor influencing cheese texture, followed by pH, SM, FDM and TVFA. Knowing Ca and RI, the textural properties of cheeses can be forecast through mathematical equations. Similarly the age of cheese can also be predicted if RI and/or textural properties are known.     

离子注入对Cr12MoV钢表面组织结构和力学性能的影响

研究了Ｃｒ１２ＭｏＶ钢离子注入层的显微组织特征及其对表面性能的影响。结果表明，离子注入使Ｃｒ１２ＭｏＶ钢的表面硬度和耐磨性能得到显著改善，且存在着一个最佳的注入剂量，约为３×１０＾１＾７Ｎ＾＋／ｃｍ＾２左右。离了注入在Ｃｒ１２ＭｏＶ钢表面层中形成了大量细小弥散的第二相粒子，并使α－Ｆｅ晶格发生严重畸变，从而引起材料表面强化。     

PPS：基于PROSITE数据库检索蛋白质功能位点的计算机程序

用标准Ｃ语言在ＩＢＭ－ＰＣ兼容微机上开发了基于ＰＲＯＳＩＴＥ数据库检索蛋白质序列功能位点的ＰＰＳ程序，ＰＲＯＳＩＴＥ是Ｂａｉｒｏｃｈ建立的蛋白质功能位点或结构模式的资料库，为蛋白质序列分析和结构功能研究提供了新工具。     

基于知识的可重用构件查询系统KCQ

本文提出了一个基于知识的、支持面向对象程序设计方法的软件重用构件查询系统，本系统采用了语义网络知识表示模型，提供了构件知识表示语言ＣＫＲＬ，来描述可重用构件的特征和用于检索的知识．提供了语义网络联想式查询、条件查询和构件评价．     

齿轮磨前滚刀的齿形研究

本文介绍了磨前滚刀滚切齿轮的最大根切量和磨后的渐开线长度计算,并建立了数学模型。为更加直观起见,还建立了模拟滚齿的数学模型。并在实验的基础上提出了参考标准。