作者:
Edwards, JonathanMIT
Comp Sci & Artificial Intelligence LAb Cambridge MA 02139 USA
Schematic tables are a new representation for conditionals. Roughly a cross between decision tables and data flow graphs, they represent computation and decision-making orthogonally. They unify the full range of condi...
详细信息
Schematic tables are a new representation for conditionals. Roughly a cross between decision tables and data flow graphs, they represent computation and decision-making orthogonally. They unify the full range of conditional constructs, from if statements through pattern matching to polymorphic predicate dispatch. Program logic is maintained in a declarative canonical form that enforces completeness and disjointness among choices. Schematic tables can be used either as a code specification/generation tool, or as a self-contained diagrammatic programming language. They give program logic the clarity of truth tables, and support high-level direct manipulation of that logic, avoiding much of the mental computation demanded by conventional conditionals.
Internet-of-Things has reshaped the way people interact with their surroundings and automatize the once manual actions. In a smart home, controlling the Internet-connected lights is as simple as speaking to a nearby c...
详细信息
Internet-of-Things has reshaped the way people interact with their surroundings and automatize the once manual actions. In a smart home, controlling the Internet-connected lights is as simple as speaking to a nearby conversational assistant. However, specifying interaction rules, such as making the lamp turn on at specific times or when someone enters the space is not a straightforward task. The complexity of doing such increases as the number and variety of devices increases, along with the number of household members. Thus, managing such systems becomes a problem, including finding out why something has happened. This issue lead to the birth of several low-code development solutions that allow users to define rules to their systems, at the cost of discarding the easiness and accessibility of voice interaction. In this paper we extend the previous published work on Jarvis [1], a conversational interface to manage IoT systems that attempts to address these issues by allowing users to specify time-based rules, use contextual awareness for more natural interactions, provide event management and support causality queries. A proof-of-concept is presented, detailing its architecture and natural language processing capabilities. A feasibility experiment was carried with mostly non-technical participants, providing evidence that Jarvis is intuitive enough to be used by common end-users, with participants showcasing an overall preference by conversational assistants over visual low-code solutions.
作者:
Bok, J.Schauer, P.ASCR
Inst Sci Instruments Vvi Dept Electron Opt CZ-61264 Brno Czech Republic
Computer automation of cathodoluminescence (CL) experiments using equipment developed in our laboratory is described. The equipment provides various experiments for CL efficiency, CL spectra, and CL time response stud...
详细信息
Computer automation of cathodoluminescence (CL) experiments using equipment developed in our laboratory is described. The equipment provides various experiments for CL efficiency, CL spectra, and CL time response studies. The automation was realized utilizing the graphical programming environment LabVIEW. The developed application software with procedures for equipment control and data acquisition during various CL experiments is presented. As the measured CL data are distorted by technical limitations of the equipment, such as equipment spectral sensitivity and time response, data correction algorithms were incorporated into the procedures. Some examples of measured data corrections are presented. (C) 2011 American Institute of Physics. [doi:10.1063/1.3662203]
A prototype scripting language was introduced in 2002 to assist the blind in creating forms for visual Basic programs in a much simpler fashion;currently, creating these forms are particularly difficult for the blind ...
详细信息
A prototype scripting language was introduced in 2002 to assist the blind in creating forms for visual Basic programs in a much simpler fashion;currently, creating these forms are particularly difficult for the blind and visually impaired. The language is expanded to include the visual Basic objects that were omitted from the original grammar for the scripting language. A second prototype of the compiler for the scripting language is now available online. An example and a formal grammar are included.
Purpose - The aim of this paper is to introduce a new technique for convection visualization. This is similar to Bejan's heatlines and is even an exact match to Landau and Lifshitz's energy streamlines for two...
详细信息
Purpose - The aim of this paper is to introduce a new technique for convection visualization. This is similar to Bejan's heatlines and is even an exact match to Landau and Lifshitz's energy streamlines for two-dimensional geometries. Design/methodology/approach - The work benefits from a combination of numerical and analytical tools to show that, in two-dimensional space, heatlines and energy streamlines are effectively the same. More importantly, the energy flux vectors are tracing both of them accurately;as verified for some cases of free and forced convection problems in this paper. Findings - The new technique is easier to implement compared to the existing counterparts which are available in the literature. More specifically, the advantage of this new technique is that, contrary to heatlines and energy streamlines, it does not require further numerical analysis in addition to solving momentum and energy equations. Originality/value - Energy flux vectors offer higher resolution compared to existing visualization tools.
Building information modeling (BIM) can facilitate effective three-dimensional (3D) earthwork modeling by furnishing insightful information. An earthwork area is generally represented in a cell-based environment for p...
详细信息
Building information modeling (BIM) can facilitate effective three-dimensional (3D) earthwork modeling by furnishing insightful information. An earthwork area is generally represented in a cell-based environment for planning purposes such as allocation plans or equipment plans. However, previous studies utilized conventional methods, which are tedious and time-consuming, to create cell-based representations. Therefore, a method that can be applied to automatically represent earthwork BIM models in a cell-based environment should be developed. To address that research gap, this paper proposes a novel method to develop voxel-based representations of earthwork models. The voxel-based method is parametric, and the size, number, and properties of the voxels can be easily varied. This method, validated for accuracy, rapidly creates a parametric voxel model linked with geotechnical information necessary for earthwork operations. A visual programming tool, Grasshopper, is used to develop an algorithm that can automatically divide the earthwork model into voxels. Finally, experiments are conducted to validate the proposed method using an actual earthwork BIM design. The paper contributes to the existing body of knowledge by proposing a voxel-based earthwork representation and algorithm that automatically create a cell-based 3D environment that is flexible enough to integrate geotechnical parameters. The results indicate that the proposed method will help project engineers, planners, and managers create an optimal-size voxel-based earthwork model with customized geotechnical information.
Fascinating 3D shapes arise when a thin planar sheet is folded without stretching, tearing or cutting. The elegance amplifies when the fold/crease is changed from a straight line to a curve, due to the association of ...
详细信息
Fascinating 3D shapes arise when a thin planar sheet is folded without stretching, tearing or cutting. The elegance amplifies when the fold/crease is changed from a straight line to a curve, due to the association of plastic deformation via folding and elastic deformation via bending. This results in the curved crease working as a hinge support providing deployability to the surface which is of significant interest in industrial engineering and architectural design. Consequently, finding a stable form of curved crease becomes pivotal in the development of deployable structures. This work proposes a novel way to evaluate such curves by taking inspiration from biomimicry. For this purpose, growth mechanism in plants was observed and an analogous model was developed to create a discrete curve of fold. A parametric model was developed for digital construction of the folded models. Test cases were formulated to compare the behavior of different folded models under various loading conditions. A simplified way to visualize the obtained results is proposed using visual programming tools. The models were further translated into physical prototypes with the aid of 3D printing, hybrid and cured-composite systems, where different mechanisms were adopted to achieve the folds. The prototypes were further tested under constrained boundary and compressive loading conditions, with results validating the analytical model.
For efficient construction-assemblies transportation, volume constrained 3D printing, dry stacking, and facility waste management, a common problem must be solved. It is the practical problem of packing irregular 3D r...
详细信息
For efficient construction-assemblies transportation, volume constrained 3D printing, dry stacking, and facility waste management, a common problem must be solved. It is the practical problem of packing irregular 3D rigid objects into a container with fixed dimensions so that the volume of the final packed objects is minimized. To solve this problem, a methodology is presented that begins with capturing the initial as-is 3D shape data for each object, followed by a metaheuristic-based packing optimization algorithm. This methodology is demonstrated to be effective in two situations with known optimum solutions and in a third situation involving packing of real-life as-is objects. A high-level selection algorithm that is designed to guide the search of possible object subsets, when not all objects can fit into a single predefined container, is discussed as well. Performance is examined for variations, and a preliminary sensitivity analysis is performed. The methodology and its key algorithms are demonstrated to produce effective packing solutions in a mostly automatic manner. Object packing for this class of applications in civil engineering can thus be potentially improved in terms of outcome efficiency and level of planning effort required.
Most programs today are written not by professional software developers, but by people with expertise in other domains working towards goals for which they need computational support. For example, a teacher might writ...
详细信息
Most programs today are written not by professional software developers, but by people with expertise in other domains working towards goals for which they need computational support. For example, a teacher might write a grading spreadsheet to save time grading, or an interaction designer might use an interface builder to test some user interface design ideas. Although these end-user programmers may not have the same goals as professional developers, they do face many of the same software engineering challenges, including understanding their requirements, as well as making decisions about design, reuse, integration, testing, and debugging. This article summarizes and classifies research on these activities, defining the area of End-User Software Engineering (EUSE) and related terminology. The article then discusses empirical research about end-user software engineering activities and the technologies designed to support them. The article also addresses several crosscutting issues in the design of EUSE tools, including the roles of risk, reward, and domain complexity, and self-efficacy in the design of EUSE tools and the potential of educating users about software engineering principles.
Discusses the development of computational and graphical techniques necessary to the solution of mathematical problems. Reasons why mathematicians are interested in computer graphics; Concept of minimal surface; Minim...
详细信息
Discusses the development of computational and graphical techniques necessary to the solution of mathematical problems. Reasons why mathematicians are interested in computer graphics; Concept of minimal surface; Minimal surfaces with infinite area.
暂无评论