| 1 | DeepOCL:A deep neural network for Object Constraint Language generation from unrestricted nature language显示文摘Object Constraint Language(OCL)is one kind of lightweight formal specification,which is widely used for software verification and validation in NASA and Object Management Group projects.Although OCL provides a simple expressive syntax,it is hard for the developers to write correctly due to lacking knowledge of the mathematical foundations of the first-order logic,which is approximately half accurate at the first stage of devel-opment.A deep neural network named DeepOCL is proposed,which takes the unre-stricted natural language as inputs and automatically outputs the best-scored OCL candidates without requiring a domain conceptual model that is compulsively required in existing rule-based generation approaches.To demonstrate the validity of our proposed approach,ablation experiments were conducted on a new sentence-aligned dataset named OCLPairs.The experiments show that the proposed DeepOCL can achieve state of the art for OCL statement generation,scored 74.30 on BLEU,and greatly outperformed experienced developers by 35.19%.The proposed approach is the first deep learning approach to generate the OCL expression from the natural language.It can be further developed as a CASE tool for the software industry. | Yilong Yang Yibo Liu Tianshu Bao Weiru Wang Nan Niu Yongfeng Yin | 2024 | CAAI Transactions on Intelligence Technology2024，9，1： | 0 |
| 2 | Evaluating the moderating effect of in-vehicle warning information on mental workload and collision avoidance performance显示文摘Purpose–The presentation of in-vehicle warnings information at risky driving scenarios is aimed to improve the collision avoidance ability of drivers.Existing studies have found that driver’s collision avoidance performance is affected by both warning information and driver’s workload.However,whether moderation and mediation effects exist among warning information,driver’s cognition,behavior and risky avoidance performance is unclear.Design/methodology/approach–This purpose of this study is to examine whether the warning information type modifies the relationship between the forward collision risk and collision avoidance behavior.A driving simulator experiment was conducted with waring and command information.Findings–Results of 30 participants indicated that command information improves collision avoidance behavior more than notification warning under the forward collision risky driving scenario.The primary reason for this is that collision avoidance behavior can be negatively affected by the forward collision risk.At the same time,command information can weaken this negative effect.Moreover,improved collision avoidance behavior can be achieved through increasing drivers’mental workload.Practical implications–The proposed model provides a comprehensive understanding of the factors influencing collision avoidance behavior,thus contributing to improved in-vehicle information system design.Originality/value–The significant moderation effects evoke the fact that information types and mental workloads are critical in improving drivers’collision avoidance ability.Through further calibration with larger sample size,the proposed structural model can be used to predict the effect of invehicle warnings in different risky driving scenarios. | Chen Chai Ziyao Zhou Weiru Yin David S.Hurwitz Siyang Zhang | 2022 | Journal of Intelligent and Connected Vehicles2022，5，2： | 0 |
您所在的机构暂未开通此部分的功能，请联系管理员