一种面向AADL架构的模型测试方法

鉴于模型在软件系统开发中日趋重要的地位和AADL模型在嵌入式软件建模中的良好应用前景,为了在嵌入式软件系统开发前期保证AADL模型的质量,提出了一种基于模型测试的AADL架构验证方法;该方法应用马尔可夫链描述AADL架构的行为,然后根据得到的马尔可夫链模型以及系统设计要求标准生成相应的测试用例和测试预言,并通过测试用例执行输出和期望值的比较判断AADL模型的正确性,实现对系统AADL模型的测试;最后通过案例分析证明了该方法的有效性。     

可控式数字音乐系统模拟的研究与实现

目前,数字音乐系统很大程度上仍依赖专业硬件设备,高效率的软件模拟方式仍有待探索。文中从数字音乐的文件结构、运作流程、封装方式、编程接口、逻辑结构模拟、用户接口几个方面,研究了以面向对象方式描述一个程序可控的数字音乐模拟系统的研发框架,并为数字音乐系统模拟流程提供了完整性定义和具体的实现技术。通过该文提出的解决方案可实现在脱离专业硬件条件的支持下实现对MIDI文件结构的封装,并以较优的性能搭建一个数字音乐系统。     

信息教育的思辩

最近因为工作关系,认识了不少从事 教育工作的专家和老师。听到了很多关于中国信息教育特别是中小学信息教育的观点和看法,其中有这样一种观点很是尖锐──我们的计算机教育发展了近二十年,计算机还没有走进教室,这值得我们反思！ 试然,我们能够看到很多欧美国家或亚洲经济发达国家教育信息化的兴旺发达,例如由美国教育部发起的“明星学校”计划（１９８８年至１９９７年）,使６０００多所学校连通信息高速公路,并开发了３０多门完整的信息化课程;由美国科学基金会资助的“全国学校网络试点项目”涉及１５３所学校和９５个其它组织…     

8098单片机控制下的斜井绞车多功能信号系统

介绍了一个用8098单片机控制的集通讯、打点、显示、存储 、打印及报警于一体的斜井多功能信号系统。从软件、硬件、技术关键等几方面阐述了其系 统,解决了时钟、日期、按键、串行显示、并行显示、抗干扰、长距离传输、普通电缆可靠 传输高速数据等关键问题。     

海勃湾水利枢纽工程基坑渗水计算

水利工程基坑渗水量的确定直接关系到基坑降水设备的选型和布置,还间接影响工程总体规划,特别是围堰设计、基坑开挖、基础处理、基础防渗等工程。目前基坑渗水计算多采用经验公式,计算方法较多,但都无法确保计算精度,对海勃湾水利枢纽工程一期基坑渗水量进行了具体计算,并分析采用计算方法的合理性。     

QT间期离散度与急性心肌梗死患者预后的关系

通过观察急性心肌梗死(AMI)患者QT间期离散度(QTd)变化,探讨其与临床关系。应用体表同步十二导联心电图对168例AMI患者进行心电图QTd和校正QT间期离散度(QTcd)测定,并与168例正常人做对照。结果表明:AMI患者入院后心电图的QTd、QTcd均明显长于对照组(P<0.01);室性心律失常组、心衰组、死亡组QTd、QTcd均明显长于非心律失常组、非心衰组、生存组(P<0.01);前壁组QTd、QTcd明显长于下后壁组(P<0.01);AMI组中QTmax存在于梗死或缺血区导联163例,占97%。AMI中发生室性心律失常组QTd增加均>60 ms,其中6例室颤QTd均>100 ms。综上得出结论:AMI患者QTd、QTcd明显延长,为AMI发生室性心律失常、心力衰竭和猝死简单而实用的重要预测指标。QTd>60 ms可以作为预测心肌梗死患者发生室性心律失常的指标,而QTd>100 ms是识别高危心律失常的敏感指标。     

海藻酸钠/羟基磷灰石复合纤维的制备工艺

利用海藻酸钠和羟基磷灰石复合制备复合纤维,并采用正交试验和单因素分析方法研究海藻酸钠质量分数、第一凝固浴质量分数、第一凝固浴温度、纺丝头牵伸比和第二凝固浴组分等制备工艺对纤维断裂强度和镉离子吸附量的影响。综合考虑断裂强度和吸附性能的指标,确定了适宜的制备工艺:海藻酸钠质量分数为3%,第一凝固浴CaCl2质量分数为5%,第一凝固浴温度为15℃,纺丝头牵伸比为负牵伸,第二凝固浴组分为水溶液。     

MP/TPU/POM的流变行为

采用机械共混法制备了MP/TPU/POM复合材料,借助RH2000型毛细管流变仪研究了改性前后POM的流变性能。结果表明,复合阻燃剂的加入并没有改变POM的假塑性特征,阻燃POM仍为假塑性流体,其表观黏度随剪切速率的增加而降低;阻燃POM的黏流活化能和表观黏度随温度的升高而降低,其对温度的敏感性低于纯POM;阻燃后POM的非牛顿指数降低,非牛顿性增强。     

搞好水利普查 为内蒙古经济社会更好更快发展奠定基础

文章阐述了我区开展第一次全国水利普查的必要性、总体情况、现阶段开展情况,并对下一步工作提出建议。     

天津地热回灌试验分析及存在问题

在分析天津地区地热地质背景、地热资源赋存条件的基础上,结合地热回灌试验历程及目的,划分了回灌阶段,研究了不同热储层回灌水温度、压力、回灌方式对地层吸水能力的影响和回灌条件下热储层水文地质条件的变化,并对存在问题和发展前景进行了分析和探讨,为下一步工作的开展积累了丰富的资料.研究表明,在天津实施地热回灌开采是可行的,它对延长地热开发寿命、改善生存环境、保持资源的循环利用是非常有效的.