基于时间Petri网的AADL模型

随着嵌入式系统设计日益复杂,对系统的描述也提出了越来越高的要求,特别是实时性能。因此如何描述实时性能逐渐受到重视。在嵌入式系统中,线程的时间属性影响着系统的实时性,因此在设计早期利用AADL描述线程,但是AADL只是一种半形式化的语言,不够精确,并可能产生二义性。因此,把AADL模型转化为时间Pe砸网,但是时间Petri网不能很好地表示AADL的时间属性。故在研究AADL模型的时间属性的基础上,针对时间Petri考虑区域值延时与固定延时,并把固定延时当作区域值时延的一种特殊情况。最后给出针对AADL模型转化为时间Petri网的相应规则。     

纸塑复膜胶的研究进展

介绍了双组分聚氨酯、SBS、EVA、聚丙烯酸酯等几种纸塑复膜胶的特点、性能和改性方法，指出水基化、高固含量及复膜胶的改性将是纸塑复膜胶的发展方向。     

水性木器涂料发展现状及发展思路

简述了当前水性木器涂料在国内外的发展情况和产品的特点及分布情况，针对这些情况提出了水性木器涂料的几点发展思路。     

带取代基硝酮化合物光环化反应的研究

本工作合成了一系列取代的硝酮类化合物。其中部分化合物仅一侧的苯环上带有取代基,而另部分化合物则两个苯环上均带有取代基。研究工作表明:取代基处于一侧的硝酮类化合物,不论取代基是给出电子或接受电子的,均有利于化合物光环化反应的进行。而当两个苯环分别带有给电子及接受电子的取代基形成推拉结构时,则大大减弱了化合物光环化反应的发生。文章对上述结果进行了初步讨论。     

基于物联网电梯接口协议关键技术研究及应用

针对当前不同电梯厂家提供的接口协议不同,电梯监测和管理不统一的状况,提出了基于物联网电梯通用接口协议转换装置这一关键技术.该技术的提出,可以实时在线监测电梯设备运行状态和故障情况并实现预报警作用,解决电梯接口协议之间的转换,实现电梯信息传输自组网功能,有助于电梯监测、管理一体化平台的建设.     

基于GSM的远程开关控制装置设计

针对远程开关控制技术的需求,提出一种基于GSM的远程开关控制装置设计.该装置的主要特点为使用公众GSM网络进行数据的传递,用户通过手机发送短信即可实现对设备开关的远程异地控制.详细介绍了该装置的硬件设计方案和单片机程序的设计方法,并对设计的装置进行了测试.测试与分析结果表明,设计的装置能实现远程开关控制和返回状态等各种功能,运行效果良好.     

用三维实体单元分析薄壁箱型结构应注意的问题

从四边固定正方形板受均布载荷的经典问题入手,结合不同类型单元的特点,探讨应用三维实体单元分析薄壁箱型结构时应注意的几个问题,纠正三维实体单元分析和应用的误区,为提高结构分析计算结果精度提供参考.     

CAE软件操作小百科（23）

正1 RecurDyn如何在仿真之前检查模型的各种设置是否正确?在动力学分析之前,若要检验样机,可以先进行运动学分析,且在施加作用力之前确定各种约束是否正确.在RecurDyn中,还提供模型预分析功能,在simulation type中有预分析功能(pre analysis),检查模型自由度、是否有冗余约束及其相关信息.2 RecurDyn怎样解决有冗余约束的问题?当模型存在冗余约束时,软件在求解过程中会     

CAE软件操作小百科(20)

正1如何在ANSYS Workbench中显示某一路径上的应力?在Classic中通过命令[path]实现.在model标签上点击右键插入Construction Geometry,选择后,在Outline中出现Construction Geometry选项,在该选项上点击右键插入path,然后就会显示详细的路径定义.目前版本只能选择两点定义直线路径,可以通过点、线或面进行选取,默认为线中点/面中心,选择确认后,x,y和z坐标值会自动进行调整;然后通过Solution→Linearized Stress选择定义好的路径和     

基于祖冲之类方法的多体动力学方程保能量保约束积分

针对一类多体动力学问题导出的微分 代数方程,提出一种保能量、保约束的算法.该算法基于祖冲之类方法和欧拉中点保辛差分,利用祖冲之类方法保证在时间格点上精确满足约束方程,避免约束违约问题;并进一步证明该算法在时间格点上可以精确保能量.数值算例进一步验证该算法的可靠性.