基于时序描述逻辑的UML状态图语义

将UML图形转换成形式化规范是一种精确UML语义、扩大形式化软件方法适用范围的有效途径。鉴于描述逻辑强的可判定推理能力,提出一种采用时序描述逻辑形式化UML状态图,对描述逻辑进行时序扩展,得到可以表示动态和时序语义的形式化规范——时序描述逻辑,给出一套UML状态图向时序描述逻辑表达式转换的规则,通过实例验证了该方法的可行性。     

Formality Considered Harmful: Experiences, Emerging Themes, and Directions on the Use of Formal Representations in Interactive Systems

This paper reflects on experiences designing, developing, and working with users of a variety of interactive computer systems. The authors propose, based on these experiences, that the cause of a number of unexpected difficulties in human-computer interaction lies in users' unwillingness or inability to make structure, content, or procedures explicit. Besides recounting experiences with system use, this paper discusses why users reject or circumvent formalisms which require such explicit expression, and suggests how system designers can anticipate and compensate for problems users have in making implicit aspects of their tasks explicit. The authors propose computational approaches that address this problem, including incremental and system-assisted formalization mechanisms and methods for recognizing and using undeclared structure; they also propose non-computational solutions that involve designers and users reaching a shared understanding of the task situation and the methods that motivate the formalisms. This paper poses that, while it is impossible to remove all formalisms from computing systems, system designers need to match the level of formal expression entailed with the goals and situation of the users -- a design criteria not commonly mentioned in current interface design.     

一种基于静态词法树的程序相似性检测方法*

传统的程序相似性检测工具并不能有效地检测出一些常见的高级词法、语义理解变换的抄袭方式。首先归纳了学生常用的三类抄袭手段,然后给出了基于词法树的程序相似性检测方法。以C语言为例,总结了生成词法树的结构体,并对程序的词法树进行主数据流、结构控制流和时序流分析后得出结构体依赖图;使用形式化的图同型方法来判断代码是否相似,还给出了一个聚类方法以获得彼此相似的程序子集。通过与JPlag、BuaaSim系统针对一组典型的抄袭样本集进行评测结果对比,本方法具有更好的检测效果。     

基于时序描述逻辑的Web服务本体语言过程模型语义

针对Web服务本体语言(OWL-S)过程模型存在动态交互和时序特征表达能力不足的问题,提出一种基于时序描述逻辑的过程模型形式化方法。通过对OWL-S过程模型的原子过程和组合过程语义进行形式化的描述,得到了OWL-S的过程模型的动态语义,最终实现了对OWL-S过程模型的形式化建模。实例结果验证了所提方法的可行性,为进一步的分析和验证提供了基础。     

风景旅游历史文化的时空物化——梁祝文化村策划规划构思

随着我国度假休闲热的兴起，许多地方都在积极开发建设风景旅游区。在风景旅游区的规划设计中如何充分挖掘其历史积淀和文化内涵，并运用景观规划设计手段加以物化，塑造了特色鲜明的风景旅游形象，这是具有普遍意义而又难以把握的难题。本文以梁祝文化村（上虞市洪山湖旅游度假村）策划规划为例，试图就此作一初步探讨。     

Automated facility inspection using robotics and BIM: A knowledge-driven approach

Facility inspection is crucial for ensuring the performance of built assets. A traditional inspection, characterized by humans’ physical presence, is laborious, time-consuming, and becomes difficult to implement because of travel restrictions amid the pandemic. This laborious practice can potentially be automated by emerging smart technologies such as robotics and building information model (BIM). However, little has been known on how such automation can be achieved, concerning the knowledge-intensive nature of facility inspection. To fill the gap, this research aims to develop a knowledge-driven approach that can synergize knowledge of diverse sources (e.g., explicit knowledge from BIM, and tacit experience in human minds) to allow autonomous implementation of facility inspection by robotic agents. At the core the approach is an integrated scene-task-agent (iSTA) model that formalizes engineering priori in facility management and integrates the rich contextual information from BIM. Experiments demonstrated the applicability of the approach, which can endow robots with autonomy and knowledge to navigate the challenging built environments and deliver facility inspection outcomes. The iSTA model is publicized online, in hope of further extension by the research community and practical deployment to enable automated facility inspection using robotics and BIM.     

机电一体化在包装机中的应用

机电一体化是一项日新月异的新技术，正在多方面起着越来越大的作用，其优越性已为大家所认同，将机电一体化技术应用于包装机中，将给包装机带来一次深刻革命，本文意在抛砖引玉，阐述了机电一体化的特点及其在包装机中的应用。