微纳层叠聚丙烯腈凝胶流动特性的数值模拟研究

建立了层叠流道的三维模型和有限元网格模型，根据流变测试数据，采用Polymat对物料的黏度模型参数进行拟合，并利用Polyflow软件对聚丙烯腈（PAN）凝胶在层叠流道内的三维等温流动过程进行了数值模拟分析。研究发现，当入口流量增大时，层叠流道出口速度的不均匀性增加；沿流动方向流道内压力逐渐降低，并在出口处降低至同一最低值；流道进出口压力差与入口流量大小具有正相关性；在流道的中心截面上剪切速率分布均匀，波动较小。     

Prelabeling Expansion Single-Molecule Localization Microscopy with Minimal Linkage Error

Expansion microscopy combined with single-molecule localization microscopy (ExSMLM) has a potential for approaching molecular resolution. However, ExSMLM faces multiple challenges such as loss of fluorophores and proteins during polymerization, digestion or denaturation, and an increase in linkage error arising from the distance between the fluorophore and the target molecule. Here, we introduce a trifunctional streptavidin to link the target, fluorophore and gel matrix via a biotinylizable peptide tag. The resultant ExSMLM images of vimentin filaments demonstrated high labeling efficiency and a minimal linkage error of ∼5 nm. Our ExSMLM provides a simple and practical means for fluorescence imaging with molecular resolution.     

MP PFGun脉冲爆燃压裂技术在阿曼SSM-XX井的应用

简要叙述了MP PFGun技术工作原理、系统结构特点以及PropFrac脉冲压裂模拟器软件基本功能,并对SSM-XX井的模拟计算P-T曲线和井下压力仪实测曲线进行了对比。结果表明:SM-XX井采用MP PFGun电缆输送工艺安全,脉冲压裂持续时间长,且利用PropFrac模拟软件指导施工设计,取得了较好的应用效果。     

SRS: Spatial-tagged radio-mapping system combining LiDAR and mobile-phone data for indoor location-based services

One of the most challenging issues in radio received signal strength (RSS)-based localization systems is the generation and distribution of a radio map with a coordinate system linked with spatial information in a large indoor space. This study proposes a novel spatial-tagged radio-mapping system (SRS) that effectively combines the heterogeneous properties of LiDAR and mobile phones to simultaneously perform both spatial and radio mappings. The SRS consists of synchronization, localization, and map building processes, and enables real-time spatial and radio mapping. In the synchronization process, the distance range, motion data, and radio signals obtained through the LiDAR and mobile phone are collected in nodal units according to the sensing time. In the localization process, a feature variance filter is used to control the number of features generated from LiDAR and estimate the positions at which the nodes are generated in real time according to the motion data and radio signals. In map building, the estimated positions of the nodes are used to extract spatial and radio maps by using a unified location coordinate system. To ensure mobility, the SRS is manufactured in the form of a backpack supporting LiDAR and a mobile phone; the usefulness of the system is experimentally verified. The experiments are performed in a large indoor shopping mall with a complex structure. The experimental results demonstrated that a common coordinate system could be used to build spatial and radio maps with high accuracy and efficiency in real time. In addition, the field applicability of the SRS to location-based services is experimentally verified by applying the constructed radio map to well-known fingerprinting algorithms using the heterogeneous mobile phones.     

Green Measurements for Software Product Based on Sustainability Dimensions

Software is a central component in the modern world and vastly affects the environment’s sustainability. The demand for energy and resource requirements is rising when producing hardware and software units. Literature study reveals that many studies focused on green hardware; however, limited efforts were made in the greenness of software products. Green software products are necessary to solve the issues and problems related to the long-term use of software, especially from a sustainability perspective. Without a proper mechanism for measuring the greenness of a particular software product executed in a specific environment, the mentioned benefits will not be attained. Currently, there are not enough works to address this problem, and the green status of software products is uncertain and unsure. This paper aims to identify the green measurements based on sustainable dimensions in a software product. The second objective is to reveal the relationships between the elements and measurements through empirical study. The study is conducted in two phases. The first phase is the theoretical phase, where the main components, measurements and practices that influence the sustainability of a software product are identified. The second phase is the empirical study that involved 103 respondents in Malaysia investigating current practices of green software in the industrial environment and further identifying the main sustainability dimensions and measurements and their impact on achieving green software products. This study has revealed seven green measurements of software product: Productivity, Usability, Cost Reduction, Employee Support, Energy Efficiency, Resource Efficiency and Tool Support. The relationships are statistically significant, with a significance level of less than 0.01 (p = 0.000). Thus, the hypothesised relationships were all accepted. The contributions of this study revolve around the research perspectives of the measurements to attain a green software product.     

新型地锚张弦梁式泥石流格栅坝构件受力的简化计算方法

针对常见泥石流防治结构被冲击破坏的问题，基于“柔性消能”理念，结合张弦梁结构和竖向预应力锚杆技术，提出一种既能改善结构受力性能、增加结构整体抗冲击能力、保证结构安全可靠，又能减小结构构件截面尺寸、节约成本、便于现场施工组装和后期运营维护的新型地锚张弦梁式泥石流格栅坝，并阐述其技术原理。根据泥石流荷载分布和新型地锚张弦梁式泥石流格栅坝的受力特征，给出其简化的内力计算方法；并利用SAP2000建立新结构有限元模型，分析了结构的整体受力，验证了构件简化计算方法的合理性；结合Python语言和Qt De? signer软件开发了相应的设计计算软件，对新型地锚张弦梁式泥石流格栅坝的内力进行求解。结果表明：提出的新结构抗冲击性能好，构件受力均匀；以后设计中应关注竖杆的剪切脆性破坏和立柱偏心受力情况，保证结构安全；变形协调仅使底层张弦梁与竖杆内力偏大，实际工程应用时，应着重验算底层构件，防止其破坏；文中提出的简化计算方法能较准确的反映结构的受力特性，具有一定的合理性，研究可为新型地锚张弦梁式泥石流格栅坝的设计计算和推广应用提供理论依据和技术支持。     

Effect of CdO addition on photon,electron, and neutron attenuation properties of boro-tellurite glasses

This research article aims to study the effect of CdO addition on the radiation shielding characteristics of boro-tellurite glasses in the composition of 50B₂O₃ - (50-x) TeO2- xCdO, where x = 0, 10, 20, 30, 40 and 50 mol%. These glasses were exposed to gamma radiation and the transmitted gamma photons were evaluated for energies varying from 15 keV to 15 MeV using Geant4 simulation toolkit. The number of transmitted photons was then used to characterize the gamma shielding for the studied glasses in terms of linear/mass attenuation coefficients, MFP, Z_eff, and HVL. The simulation outcomes were theoretically confirmed by using Phy-X software. The beta (electron) shielding characterization of the involved glasses was also investigated by determining the projectile range and stopping power using ESTAR software. Additionally, the fast neutron shielding characterization of the glasses was achieved by evaluating removal cross-section (Σ_R). The results reveal that the CdO has a small influence on the shielding performance of the boro-tellurite glasses against gamma, beta, and neutron radiations. The shielding performance of the boro-tellurite glasses was compared with that of common shielding materials in terms of MFP. It can be concluded that the boro-tellurite glasses regardless of the concentration of CdO content have promising shielding performance to be used for radiation applications.     

基于多边限定的室内定位方法设计与系统实现

随着基于位置服务（Location Based Services，LBS）的发展与智能移动设备的普及，室内定位算法与系统受到了广泛研究与关注。为提高室内定位精度、增强系统鲁棒性，提出了基于多边限定的fingerprint定位方法。基于Wi-Fi RSSI（Received Signal Strength Indication）信号处理建立离线fingerprint数据库；通过对拟合距离-RSSI函数分析，提出了多边限定的方法确定一个最佳参考点（Reference Point，RP）集合，缩小在线定位阶段的搜索范围。在此基础上，再利用fingerprint定位方法进行定位。此外，实现了基于提出方法的室内定位系统原型用于算法性能评估。通过大量真实场景实验分析、验证了相较于传统fingerprint方法，基于多边限定的fingerprint定位方法能有效提高室内定位精度，增强系统鲁棒性。     

采用随机Petri网的嵌入式机载软件可靠性检测

针对嵌入式机载软件设计中存在的典型缺陷问题，结合嵌入式机载软件任务调度特性，提出采用随机Petri网对嵌入式机载软件设计进行仿真验证的可靠性检测方法，以提高嵌入式机载软件设计的可靠性。该方法采用随机Petri网对嵌入式机载软件系统行为建模，并给出典型缺陷的检测策略和判定准则，然后通过对Petri网模型进行仿真验证，检测系统是否存在此类设计缺陷；并给出了软件设计的运行流程的仿真验证算法，以支持对相应设计的可靠性检测。通过与其他可靠性检测方法的比较，表明了该方法的有效性。     

Hierarchical sampling optimization of particle filter for global robot localization in pervasive network environment

This paper presents a hierarchical framework for managing the sampling distribution of a particle filter (PF) that estimates the global positions of mobile robots in a large‐scale area. The key concept is to gradually improve the accuracy of the global localization by fusing sensor information with different characteristics. The sensor observations are the received signal strength indications (RSSIs) of Wi‐Fi devices as network facilities and the range of a laser scanner. First, the RSSI data used for determining certain global areas within which the robot is located are represented as RSSI bins. In addition, the results of the RSSI bins contain the uncertainty of localization, which is utilized for calculating the optimal sampling size of the PF to cover the regions of the RSSI bins. The range data are then used to estimate the precise position of the robot in the regions of the RSSI bins using the core process of the PF. The experimental results demonstrate superior performance compared with other approaches in terms of the success rate of the global localization and the amount of computation for managing the optimal sampling size.