Application of Galerkin Method to Dynamical Behavior of Viscoelastic Timoshenko Beam with Finite Deformation

The motion equations governing the dynamical behavior of a viscoelasticTimoshenko beam with finite deformation are derived and simplified byGalerkin method. The viscoelastic material is assumed to obey thethree-dimensional fractional derivative constitutive relation. Thedynamical behaviors of the simplified systems with order 1 and order 2are numerically computed and compared by using the computational methodpresented by the authors. The dynamical behaviors of the systems areuniform qualitatively, but there is a little deviation quantitatively.And the truncated system with order 1 is safer than the one of order 2.It is also shown that the lower order system is reasonable. Theinfluences of the load parameter and the fractional derivative parameter(material parameter) on the deflection of the beam are consideredrespectively. The numerical methods in nonlinear dynamics, such as phasediagram, and Poincaré section, are applied to reveal dynamical behaviorsof the nonlinear viscoelastic Timoshenko beam. There are plenty ofdynamical behaviors, such as periodicity, bifurcation, quasi-periodicityand chaos in the dynamical system.     

A replacement of traditional insulation refractory brick by a waste-derived lightweight refractory castable

Lightweight insulation refractories are essential for high-temperature performance to reduce energy consumption. This study investigates a new insulation material, that is, solid waste rice husk ash (RHA) derived lightweight refractory castable, replacing traditional insulation refractory brick. The RHA is generated after the burning of rice husk as biomass fuel. The RHA is used as an aggregate and alkali-extracted silica sol from RHA as a binder to fabricate the insulation castable. The nanosilica containing (~30 wt%) sol is employed to synthesize the refractory castable by varying the sol amount (2.5-12.5 wt% silica from sol). The castable specimens are cast by a vibro-caster and fired at 900-1200°C in a muffle furnace. The physic-mechanical and thermal conductivity (κ) of the castable is investigated. At 1100°C with 10 wt% dry sol retaining sample shows an excellent apparent porosity (~65%), low bulk density (~ 0.8 g/cm³), and κ (0.136 W/m k) with sustainable compressive strength (6 MPa). The acquired results are a good match with the literature (other wastes-derived insulation materials) and industrial (silica insulation brick) obtained data. These promising outcomes may inspire the refractory industries for using RHA as an aggregate and RHA extracted sol as a binder for making insulation castable.     

基于人体姿态估计的手机使用状态监控

智能手机的日益普及给人们带来便捷的同时也带来了不少的隐患,在一些特定的场景下需要对手机的使用进行监控和限制.本文设计了一套手机使用状态监控系统,先采用YOLOv3检测图像中的人体,然后通过Open Pose姿态估计算法获得人体关节点,再通过YOLOv3判断手部区域是否有手机,最后通过神经网络分类器识别当前的手机使用状态.系统的应用测试表明该方案具有良好的检测与识别效果,能够满足相关场景的应用需求.     

压缩感知研究

经典的香农采样定理认为,为了不失真地恢复模拟信号,采样频率应该不小于奈奎斯特频率(即模拟信号频谱中的最高频率)的两倍.但是其中除了利用到信号是有限带宽的假设外,没利用任何的其它先验信息.采集到的数据存在很大程度的冗余.Donoho等人提出的压缩感知方法(Compressed sensing或Compressive Sa...     

PN机

本文提出PN机的几种范式,讨论它们的串语言与步语言之间的关系,提出拟行为有限状态机概念,给出PN语言的一个拟正规性刻划,从而表明一般Petri网模型的局限性,以及引入PN机模型的必要性.本文结果对于PN机理论框架的建立起到奠基作用.     

审计缓冲区的形式化模型及其验证

审计系统作为安全信息系统的一个重要组成部分，对于监督系统的正常运行、保障安全策略的正确实施、构造计算机入侵检测系统等都具有十分重要的意义。审计缓冲区的管理是审计系统的核心部分，本文利用时序Petri网对审计缓冲区管理的实现方案进行建模，进而对系统的安全性和活性进行了分析和验证。该方法利用时序逻辑扩充了Petri网缺乏描述系统事件之间时序关系的局限性，同时发挥了Petri网对系统并发和物理结构的有效描述及分析的优势，达到了系统验证的目的。     

Verifying functions in online stock trading systems

Temporal colored Petri nets, an extension of temporal Petri nets, are introduced in this paper. It can distinguish the personality of individuals (tokens), describe clearly the causal and temporal relationships betwee nevents in concurrent systems, and represent elegantly certain fundamental properties of concurrent systems, such as eventuality and fairness. The use of this method is illustrated with an example of modeling and formal verification of an online stock trading system. The functional correctness of the modeled system is formally verified based on the temporal colored Petri net model and temporal assertions. Also, some main properties of the system are analyzed. It has been demonstrated sufficiently that temporal colored Petri nets can verify efficiently some time-related properties of concurrent systems, and provide both the power of dynamic representation graphically and the function of logical inference formally. Finally. future work is described.     

动态网络最短路问题的复杂性与近似算法

有向网络的最短路问题在交通、通信系统的最优路径计算以及多阶段决策过程的最优轨线设计等实际问题中有着重要应用.经典模型及算法解决固定弧权条件下的最短路问题,而实际中,网络往往是动态的,即弧权依赖于时间变化,例如在交通拥堵时运行时间会变长,这时经典的最短路算法不再适用.文中证明了动态网络的最短路问题是NP-困难的;给出了最短路稳定性的充要条件,并在此基础上提出一种基于稳定区间的近似算法,通过模拟实验验证了该算法的有效性.     

异构多核上多级并行模型支持及性能优化

低功耗及廉价性使得异构多核在超级计算机计算资源中占有重要比例.然而,异构多核具有高带宽及松耦合一致性等特点,获得理想的存储及计算性能需要更多地考虑底层硬件细节.实现了一种针对典型的异构多核Cell BE 处理器的多级并行模型CellMLP,通过C 语言扩展编译指导语句,实现了对数据并行、任务并行以及流水并行编程模型的支持,提高了并行程序生产率.运行支持优化方面,数据并行采用SPE 并行数据传输、双缓冲等优化手段来提高数据传输带宽;任务并行使用一种新式混合任务队列以支持异步任务窃取,降低SPE 线程间竞争,提高了任务并行的可扩展性;流水并行首次使用阻塞信号传输机制实现SPE 线程间的低开销同步操作.实验对Stream,NASBenchmark 及BOTS 等应用进行了测试,结果表明,CellMLP 可对多种典型并行应用进行高效支持.与目前同类编程模型SARC 及CellSs 进行性能对比,其结果表明,CellMLP 实际数据传输带宽以及非规则应用的支持方面具有明显优势.     

Temperature-controlled 1D helical and discrete Er(III) complexes based on benzimidazole-5,6-dicarboxylic acid

The reaction between ErCl₃·6H₂O and H₂bmdc (H₂bmdc = benzimidazole-5,6-dicarboxylic acid) produced two distinct complexes: 1D helical complex {[Er(Hbmdc)(bmdc)(H₂O)₃]·3H₂O}_n (1) obtained under hydrothermal condition at 160 °C and discrete complex [Er₂(Hbmdc)₂(bmdc)₂(H₂O)₈]·8H₂O (2) under ambient temperature, evaporated from the mother liquor of 1. The crystal structures of the complexes were determined by X-ray single-crystal diffraction. Through comparison of complexes 1 and 2, we found that enhanced temperature favors the formation of higher dimensional products and lower amount of coordinated water. Both complexes are characterized by IR, elemental analysis, X-ray powder diffraction and thermogravimetric analysis.