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

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

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

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

信息安全保护对策思路

随着2001年1月1日《计算机信息系统安全保护等级划分准则》在全国执行后,我国的信息安全工作已经随着新世纪的到来展开了新的篇章。相继出台的政策标准还会有很多,相关配套的法律法规体系、政策和标准,都会使我国的信息安全工作日趋完善,使我国尽快迈入信息安全国际先进行列。     

纺织刺绣美术图案CAD系统

本系统采用文字菜单和图形菜单相结合的方式,能方便地产生图形和色彩,提供１６７７万色彩色调,具有灵活、方便的图形图象编辑和修改功能,具有诸如变形、镜射、缩政、拉伸、旋转、错切、拖动、复制、渐变、编排（横排、竖排）色彩修改及变色等手段和方法。ｌ图形数据结构 Ａ图形元素（简称图元） ＜图形元素＞＝：：＜直线段＞ ＜图案＞＝：：＜图形元素＞｜＜图案＞＜图形元素＞ 图形元素是不可分割的最小图形结构,它由一个或多个封闭或不封闭的边界构成,边界结点的数据采用链结构,可方便地进行图形元素的修改。 每个图形元素都有一…     

关于加强信息系统安全保护体系的建议

信息安全保护问题,必须从信息社会的角度出发,思考并采取有效的对策,尽量避免解决办法的单一性和零散性.力求从整体上和基础上提出解决方案和措施,并加以实施.公安机关信息安全监察部门应当有一套完整的信息安全保护思路,尽快建立有效的安全保护体系.     

利用ASP对数据库进行模糊查询的分页显示

本文介绍了利用ＡＳＰ技术对数据库进行模糊查询的一种方法,并提供对查询出的数据信息进行分页显示的程序。     

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的非牛顿指数降低,非牛顿性增强。