Blockchain verification and validation: Techniques,challenges, and research directions

As blockchain technology is gaining popularity in industry and society, solutions for Verification and Validation (V&V) of blockchain-based software applications (BC-Apps) have started gaining equal attention. To ensure that BC-Apps are properly developed before deployment, it is paramount to apply systematic V&V to verify their functional and non-functional requirements. While existing research aims at addressing the challenges of engineering BC-Apps by providing testing techniques and tools, blockchain-based software development is still an emerging research discipline, and therefore, best practices and tools for the V&V of BC-Apps are not yet sufficiently developed. In this paper, we provide a comprehensive survey on V&V solutions for BC-Apps. Specifically, using a layered approach, we synthesize V&V tools and techniques addressing different components at various layers of the BC-App stack, as well as across the whole stack. Next, we provide a discussion on the challenges associated with BC-App V&V, and summarize a set of future research directions based on the challenges and gaps identified in existing research work. Our study aims to highlight the importance of BC-App V&V and pave the way for a disciplined, testable, and verifiable BC development.     

Cetyltrimethylammonium bromide inhibits the metastasis of breast cancer to the lungs by inhibiting epithelial–mesenchymal transition

Breast cancer is a highly aggressive cancer in females. Metastasis is a major obstacle to the efficient and successful treatment of breast cancer. Cetyltrimethylammonium bromide (CTAB) has anti-tumor effects on a variety of tumors. We showed that CTAB inhibits the metastasis of breast cancer to the lungs both in vitro and in vivo. Epithelial-mesenchymal transition (EMT) is thought to be one of the major processes mediating breast cancer metastasis. We found that CTAB suppressed EMT and regulated the levels of the classical EMT markers E-cadherin, N-cadherin, vimentin, Snail and Twist1. Moreover, as a candidate anti-tumor agent, CTAB showed primary safety in vivo. Taken together, our results suggest that CTAB inhibits the migration of primary breast cancer to the lungs. Our findings confirm the clinical potential of CTAB for the treatment of breast cancer by targeting EMT. CTAB may thus be a promising novel anti-tumor drug for the treatment of breast cancer metastasis.     

Potenziale und Grenzen der Sekundärrohstoffgewinnung – Ergebnisse der r4-Begleitforschung

The socio-economic and ecological impacts of selected projects of the BMBF funding program “r⁴ – Innovative Technologies for Resource Efficiency – Research for the Provision of Raw Materials of Strategic Economic Importance” are presented. Many, but not all, research projects indicate a potential improvement of the supply situation in Germany. In some cases, the provision of secondary raw materials is unprofitable or ecologically detrimental. These cases require a balancing between security of supply and other economic and ecological objectives.     

Predicting employee information security policy compliance on a daily basis: The interplay of security-related stress,emotions, and neutralization

We conceptualized security-related stress (SRS) and proposed a theoretical model linking SRS, discrete emotions, coping response, and information security policy (ISP) compliance. We used an experience sampling design, wherein 138 professionals completed surveys. We observed that SRS had a positive association with frustration and fatigue, and these negative emotions were associated with neutralization of ISP violations. Additionally, frustration and fatigue make employees more likely to follow through on their rationalizations of ISP violations by decreased ISP compliance. Our findings provide evidence that neutralization is not a completely stable phenomenon but can vary within individuals from one time point to another.     

MySQL数据库的数据隐私及安全机制研究

随着现代化信息技术发展与普及,互联网计算机系统已成为人们工作生活不可或缺一部分。MySQL数据库作为一种数据库管理系统,数据传输速度快,体积小,能够开放源代码,具备一定可靠性和适应性,是当前网络信息系统后台数据库优先原选择对象。因此,MySQL数据库安全性能尤为重要,是确保网络信息系统安全、顺利运行根本保障。     

高陡边坡下挂帮矿开采方法与稳定性措施

我国露天矿数量较多且规模大小不一,通常完成开采后露天境界周围残留不同程度的矿石,这部分矿石开采难度较大,存在较大安全隐患,开采时要保证高陡边坡的稳定性。文中选择具体工程,介绍挂帮矿的开采方法,并给出具体的稳定高陡边坡的措施。     

自动扶梯智能安防系统的设计

为了预防自动扶梯发生安全事故,设计了一种基于人工智能的自动扶梯智能安防系统。这一系统利用视频数据采集平台采集乘客数据,应用机器视觉及人工智能技术对乘客的姿态与行为进行主动识别,针对乘客的危险行为给出异常报警,在出现危险状态时触发声光报警器,控制自动扶梯减速或停止运行。这一系统通过有线或无线网络将数据传输至云平台,监管部门可基于手机客户端进行实时监控。特种设备监督管理部门、检验机构、维护保养单位、产权单位等可通过这一系统掌握自动扶梯运行状况。应用所设计的自动扶梯智能安防系统,可以显著提高自动扶梯安全事故预防水平和应急处理能力。     

The VALU3S ECSEL project: Verification and validation of automated systems safety and security

Manufacturers of automated systems and their components have been allocating an enormous amount of time and effort in R&D activities, which led to the availability of prototypes demonstrating new capabilities as well as the introduction of such systems to the market within different domains. Manufacturers need to make sure that the systems function in the intended way and according to specifications. This is not a trivial task as system complexity rises dramatically the more integrated and interconnected these systems become with the addition of automated functionality and features to them. This effort translates into an overhead on the V&V (verification and validation) process making it time-consuming and costly. In this paper, we present VALU3S, an ECSEL JU (joint undertaking) project that aims to evaluate the state-of-the-art V&V methods and tools, and design a multi-domain framework to create a clear structure around the components and elements needed to conduct the V&V process. The main expected benefit of the framework is to reduce time and cost needed to verify and validate automated systems with respect to safety, cyber-security, and privacy requirements. This is done through identification and classification of evaluation methods, tools, environments and concepts for V&V of automated systems with respect to the mentioned requirements. VALU3S will provide guidelines to the V&V community including engineers and researchers on how the V&V of automated systems could be improved considering the cost, time and effort of conducting V&V processes. To this end, VALU3S brings together a consortium with partners from 10 different countries, amounting to a mix of 25 industrial partners, 6 leading research institutes, and 10 universities to reach the project goal.     

煤矿安全重在重塑煤炭行业管理体制

近几年我国矿难频发，有煤矿企业超能力生产、安全欠账多、人才匮乏、培训水平低和监管格局不当等原因。但其根本原因在于我国缺乏统一的煤炭行业管理机制。解决这一问题的根本途径在于重塑我国煤炭行业管理体制。     

试论矿井安全提升

煤矿立井井筒受纵向附加力等因素影响，造成井壁下沉或破裂，使罐道装备系统发生不同程度扭曲变形，给安全提升带来危害。为使罐道少受或不受外力作用，采用“立井罐道差动联结装置”是解决这一问题的最有效县安全长久的方法。