摘要：能够提供更强计算能力的多核处理器将在安全关键系统中得到广泛应用,但是由于现代处理器所使用的流水线、乱序执行、动态分支预测、Cache等性能提高机制以及多核之间的资源共享,使得系统的最坏执行时间分析变得非常困难.为此,国际学术界提出时间可预测系统设计的思想,以降低系统的最坏执行时间分析难度.已有研究主要关注硬件层次及其编译方法的调整和优化,而较少关注软件层次,即,时间可预测多线程代码的构造方法以及到多核硬件平台的映射.提出一种基于同步语言模型驱动的时间可预测多线程代码生成方法,并对代码生成器的语义保持进行证明;提出一种基于AADL(architecture analysis and design language)的时间可预测多核体系结构模型,作为研究的目标平台;最后,给出多线程代码到多核体系结构模型的映射方法,并给出系统性质的分析框架.

摘要：以单极子、偶极子和四极子声源为例,研究了在包围声源的四面体等腰三角形测量面上采用等腰三角形扫描路径应用扫描声强法测量声功率的收敛特性,并以扫描声强测量误差为目标函数,以等腰三角形扫描测量面的大小、测量面到声源的距离和扫描线密度为设计变量,应用遗传算法进行了优化.依此优化方法确定测量面的各几何参数,保证了测量精度,提高了测量效率,为快速准确地测量声功率提供了依据.Abstract：To measure the measuring surfaces of isosceles triangle from tetrahedron which surround sound source by the method of isosceles triangle path scanning, the monopole source, dipole source and quadrupole source are taken as examples. The scanning sound intensity method can get the convergent feature of sound power. The convergent feature is studied. The error analysis of scanning sound intensity as objective function, the design variable which made up of the sizeof scanning measuring surfaces of isosceles triangle, the distance between measuring surface and sound source, and the density of scanning line, all of which optimized by GA. This optimization determines the geometry parameters of measuring surface, ensures the measuring accuracy, also improves the measuring efficiency . They lays a solid foundation for swiftly and accurately measuring sound power of sound source.

摘要：计算机在音乐研究领域得到越来越广泛的应用,民歌研究也不例外。从国际范围讲,已有不少专用民歌记录、存档、检索和分析的软件。其中,德国埃森大学音乐研究所研制的MAPPET(Music input, analysis and Playback Program for Esac Transcription)软件是一个较为成熟的软件。适合对大量的民歌进行存档、检索和分析。

摘要：In the process of piano teaching,it is the basic working ability of piano teachers to independently study and process works and guide *** the face of a strange work,the piano teacher should first conduct a comprehensive analysis and research of the work,and then can reasonably guide the *** from three aspects of work research,performance design,and key points of attention,this paper expounds the ways and steps of work research and processing in order to help the piano teachers to expand their teaching repertoire.

摘要：The article concerns the commission that was made by the Biennale di Venezia to Stravinsky in the 50s＇ which led to the composition of the Canticum Sacrum. The discovery of the correspondence between the composer, the artistic director Alessandro Piovesan and the organizers of the Venetian Festival allows to reconstruct the events that led Stravinsky to change his initial plans for a Passion selon Saint Marc in favour of a short Canticum. The objections, which concerned above all the limited size of the piece, were repeated several times by Piovesan, but were all disregarded by Stravinsky. In the light of the eight letters deposited in the Archivio Storico delle Arti Contemporanee （ASAC） of Venice （in Appendix）, the circumstances bringing about Stravinsky＇s refusal can be fully understood. The references to recent studies by David H. Smyth, Akane Mori, and Jonathan Kramer regarding the identification of palindromic and proportional structures in the Canticum, offers further proof sustaining Stravinsky＇s declaration that to enlarge the piece would have been impossible. These events confirm the composer＇s unbending determination to undertake a new experimental stylistic direction already tried out in pieces like the Three Songs from William Shakespeare and Agon.

摘要：在嵌入式系统的系统级建模和性能分析过程中,经常需要定量地分析和评估系统的平均延时、CPU占用率等性能指标.本文基于SystemC语言,针对嵌入式系统设计了一套性能分析评估的库函数,用于统计性能参数样本、计算期望值和置信区间,同时在性能指标满足要求的精度时终止仿真.并详细阐述了性能分析库函数的设计方法.以语音识别系统为例,设计了一个虚拟仿真平台,并使用该性能分析库函数进行性能分析,仿真结果表明,设计的库函数适用于嵌入式语音识别系统的性能分析,在一定程度上对SystemC的类库进行了扩展.

摘要：组学技术在系统水平上对细胞代谢进行全面的分析,极大地促进了代谢工程的发展和应用。全基因组水平的转录分析可以使研究者更加精确地评估细胞表型,加深对细胞代谢的理解。而且转录组分析也有助于研究者鉴定菌种改良的目标基因,加速对微生物细胞工厂的合理设计及构建。文中介绍了3种主要转录组平台技术的原理,并总结了转录组学在代谢工程领域中应用的最新进展和未来发展趋势。

摘要：首先给出数据仓库以及OLAP等一些相关概念,然后叙述了OLAP多维数据分析的几种方法,最后介绍了基于OLAP的上海社区服务网后台数据仓库的设计方案及其具体实现方法。

摘要：This study evaluates the seismic response of an existing two stories RC building using non-linear analysis. The original model was resized and there were obtained two buildings designed under two different methodologies to fulfill the Venezuelan codes requirements for a high seismic hazard. An elastic analysis was applied to the original building in order to verify interstory drifts;the resizing building it was designed under requirements of strong column-wake beam condition. A third building was modeled according to the seismic displacement design procedure. It were performed non-linear static analysis and 2D and 3D dynamic analyses, obtaining capacity curves, structural ductility, structural performance point, global and interstory drifts for each building. Torsional effects for the resizing building were also computed from 3D analysis. In the original building it was obtained a weak seismic behavior, while resized buildings presented good seismic performance under the Limits States evaluated in this study.

摘要：阐述了产品功能分析法、TRIZ理论的最终理想解和物场分析方法,建立了基于TRIZ理论和功能分析的产品创新设计流程。该流程将产品的创新设计分为产品功能分析、抽象理想解,构建系统物场模型和解决问题功能模型几个阶段,指导设计人员从产品的功能出发,快速实现产品的创新设计。并以液压缸往复密封为例,说明该流程的有效性。