检索结果-内蒙古大学图书馆

2005 PhD Research in Microelectronics and Electronics Conference

作者： Man, K.L. Formal Methods Group Department of Mathematics and Computer Science Eindhoven University of Technology P.O.Box 513 5600 MB Eindhoven Netherlands

ISBN: (纸本)0780393457

This paper describes our on-going research. Recently, we developed an algebraic theory based on classical process algebra ACP, called SystemC double-struck F signdouble-struck L sign, for the specification and analysis of SystemC designs. The semantics of SystemC double-struck F signdouble-struck L sign is defined by means of deduction rules in a standard structured operational semantics style that associate a labelled transition transition system with a SystemC double-struck F signdouble-struck L sign process. In this paper, we first provide an overview of the current status of SystemC double-struck F signdouble-struck L sign and show some practical applications of SystemCdouble-struck F signdouble-struck L sign, as well as some key features and results of SystemC double-struck F signdouble-struck L sign. Then, we give an out-line for the latest developments of SystemC double-struck F signdouble-struck L sign and point out the direction for future work.

关键词： Systems engineering

来源：评论

学校读者我要写书评

暂无评论

ONE-TO-ONE TECHNOLOGY-ENHANCED LEARNING: AN OPPORTUNITY FOR GLOBAL RESEARCH COLLABORATION

引用

Research and Practice in Technology Enhanced Learning 2006年第1期1卷 3-29页

作者： TAK-WAI CHAN JEREMY ROSCHELLE SHERRY HSI KINSHUK MIKE SHARPLES TOM BROWN CHARLES PATTON JOHN CHERNIAVSKY ROY PEA CATHIE NORRIS ELLIOT SOLOWAY NICOLAS BALACHEFF MARLENE SCARDAMALIA PIERRE DILLENBOURG CHEE-KIT LOOI MARCELO MILRAD ULRICH HOPPE Research Center for Science and Technology for Learning National Central University 300 Jhongda Road Jhongli City 32001 Taiwan ROC Center for Technology in Learning SRI International 333 Ravenswood Ave BN-376 Menlo Park California 94025 USA Center for Learning and Teaching The Exploratorium 3601 Lyon Street San Francisco California 94123 USA Advanced Learning Technologies Research Centre Massey University Private Bag 11-222 Palmerston North New Zealand Learning Sciences Research Institute Nottingham University Jubilee Campus Wollaton Road Nottingham NG8 1BB UK University of Pretoria Telematic Learning & Education Innovation Lynnwood Road Hillcrest Pretoria South Africa 0002 South Africa National Science Foundation 4201 Wilson Boulevard Arlington Virginia 22230 USA Stanford Center for Innovations in Learning Stanford University Wallenberg Hall Building 160 450 Serra Mall Stanford CA 94305-205 USA Department of Cognition and Technology University of North Texas Matthews Hall 316-D PO Box 311337 Denton TX 76203-1337 USA Department of Electrical Engineering and Computer Science University of Michigan Ann Arbor MI 48109 USA Laboratoire Leibniz 46 Avenue Félix Viallet 38031 Grenoble Cedex France Institute for Knowledge Innovation and Technology OISE/University of Toronto 252 Bloor Street West Toronto Ontario M5S 1V6 Canada Swiss Federal Institute of Technology Ecole Polytechnique Fédérale de Lausanne 1015 Lausanne Switzerland Learning Sciences Lab National Institute of Education Nanyang Technological University 1 Nanyang Walk Singapore 637616 Singapore Center for Learning and Knowledge Technologies Växjö University MSI Växjö University Vejdes plats 6 och 7 351 95 Växjö Sweden Institute for Computer Science and Interactive Systems University Duisburg-Essen Building LF Lotharstr. 63/65 47048 Duisburg Germany

Over the next 10 years, we anticipate that personal, portable, wirelessly-networked technologies will become ubiquitous in the lives of learners — indeed, in many countries, this is already a reality. We see that ready-to-hand access creates the potential for a new phase in the evolution of technology-enhanced learning (TEL), characterized by "seamless learning spaces" and marked by continuity of the learning experience across different scenarios (or environments), and emerging from the availability of one device or more per student ("one-to-one"). One-to-one TEL has the potential to "cross the chasm" from early adopters conducting isolated design studies to adoption-based research and widespread implementation, with the help of research and evaluation that gives attention to the digital divide and other potentially negative consequences of pervasive computing. We describe technology-enhanced learning and the affordances of one-to-one computing and outline a research agenda, including the risks and challenges of reaching scale. We reflect upon how this compares with prior patterns of technology innovation and diffusion. We also introduce a community, called "G1:1," that brings together leaders of major research laboratories and one-to-one TEL projects. We share a vision of global research, inviting other research groups to collaborate in ongoing activities.

关键词： Technology-enhanced learning research collaboration pervasive computing wireless technologies

来源：评论

学校读者我要写书评

暂无评论

Combining available standards and tools to build a compliance oriented website management system

Combining available standards and tools to build a complianc...

引用

11th Australasian World Wide Web Conference, AusWeb 2005

作者： Arora, Neeraj Pannan, Linda School of Computer Science and Information Technology RMIT Univeristy Melbourne VIC 3001 Australia Teaching and Learning Portfolio RMIT University Melbourne VIC 3001 Australia

Analyses of representative organisational structures and their implications for management of organisations' websites reveals that the various roles of developers and users of the system and content are of prime importance. Typically, policy and mandated procedures are used within organisations to enforce standards that deliver compliance, usability, and accessibility. A poorly presented organisational website resulting from any shortfalls in implementing the required processes and possible misinterpretations of the procedures not only reflects badly on the organisation and its ability to manage other business activity well, but also creates a lot of additional work for the system administrators. This paper describes the design of a system to manage organisational websites created by using a combination of tools available in the public domain. The system facilitates standards compliance, and by providing for the enforcement of good design it also addresses usability and accessibility. An example implementation is discussed as it assists in understanding the design. We conclude by identifying the work needed to further improve the proposed system design and increase its functionality. © 2005 Neeraj Arora and Linda Pannan.

关键词： Systems analysis

来源：评论

学校读者我要写书评

暂无评论

Complexity results for checking distributed implementability

Complexity results for checking distributed implementability

引用

International Conference on Application of Concurrency to System Design

作者： K. Heljanko A. Stefanescu Laboratory for Theoretical Computer Science Helsinki University of Technology Finland Institute for Formal Methods in Computer Science University of Stuttgart Stuttgart Germany

We consider the distributed implementability problem: Given a labeled transition system TS together with a distribution /spl Delta/ of its actions over a set of processes, does there exist a distributed system over /spl Delta/ such that its global transition system is 'equivalent' to TS? We work with the distributed system models of synchronous products of transition systems (Arnold, 1994) and asynchronous automata (Zielonka, 1987). In this paper we provide complexity bounds for the above problem with three interpretations of 'equivalent': as transition system isomorphism, as language equivalence, and as bisimilarity. In particular, we solve problems left open in Castellani et al. (1999) and Morin (1999).

关键词： Automata computer science Computational complexity Petri nets Laboratories Upper bound Testing Polynomials Hardware Concurrent computing

来源：评论

学校读者我要写书评

暂无评论

Adaptive control of nonlinear discrete-time system by least square support vector machine

Adaptive control of nonlinear discrete-time system by least ...

引用

International Conference on Machine Learning and Cybernetics, ICMLC 2005

作者： Xu, Jian-Qiang Wang, Jian-Jun Zhu, Jun Chen, Shu-Zhong Center of Mathematics and Physics Teaching Shanghai Institute of Technology Shanghai 200233 China Department of Computer Science and Technology East China Normal University Shanghai 200062 China

ISBN: (纸本)078039092X

In this paper we introduce the use of recurrent least square support vector machine algorithm for the adaptive control of a class of nonlinear discrete-time systems. The curse of dimensionality is avoided by using the finite time window. Advantage of the newly designed algorithm is that the computation of inverse matrix is avoided. Simulation results also verify the effectiveness of the algorithm. © 2005 IEEE.

关键词： Adaptive control systems

来源：评论

学校读者我要写书评

暂无评论

Dynamic and interactive visualization of weather data with SVG

Dynamic and interactive visualization of weather data with S...

引用

4th Annual Conference on Scalable Vector Graphics, SVG Open 2005

作者： Kunze, Ralf Mertens, Robert Vornberger, Oliver Institute of Computer Science Osnabrueck Albrechtstraße 28 49069 Osnabrueck Germany Virtual Teaching Support Center University of Osnabrueck Schloßstraße 9 49069 Osnabrueck Germany

In many regions around the world, changes in weather conditions are not a slow process. With the weather being likely to break up in a matter of hours if not minutes every other day, people who have to adapt to the weather highly appreciate sound and accurate weather forecasts. As weather depends on a multitude of global and local factors, however, weather forecasts require complex and time-consuming calculations. On top of this, the resulting forecast data is hard to read for the non-expert. Typically the data is visualized in maps containing static pictograms. Compared to this, an animated weather viewing tool can facilitate the users' understanding of the development of a weather situation. To implement such a tool, SVG seems to be the means of choice, as it has begun to play an increasingly important role in the application domain of GIS (Geographical Information Systems). This is mainly due to SVG being an open W3C standard and it being XML-based. SVG is thus coming with a document structure that is as easy to generate as it is to manipulate in dynamic applications. Additional advantages of SVG are dynamic reloading of information, interactivity, server side generation, scripting and the fact that it is vector based. The application presented in this paper depends on many of these features as it brings together both static geographical data such as borders, rivers and cities and weather data that is visualized dynamically. Interactivity and scripting are crucial to the interface since users need special views on the information depending on where they are and what they plan to do. A family planning for a weekend trip to the North Sea will most likely want a totally different view than an event manager planning a concert. In short, different needs require the interface to show different parts of the weather chart in different spatial and temporal resolutions. In response to this, the interface presented in this paper allows selecting arbitrary rectangular region

关键词： Digital storage

来源：评论

学校读者我要写书评

暂无评论

A graph based tool for modelling planning processes in building engineering

A graph based tool for modelling planning processes in build...

引用

2005 ASCE International Conference on Computing in Civil Engineering

作者： Klinger, A. König, M. Berkhahn, V. University of Hannover Institute of Computer Science Civil Engineering Callinstraße 34 30167 Hannover Germany Bauhaus University Weimar Theoretical Methods for Project Management Marienstraße 7 99423 Weimar

ISBN: (纸本)0784407940

The planning process of a building is very complex. Many participants with different technical disciplines are involved and work on certain tasks. To manage the planning process the project leader has to organize participants, tasks and building data. For this purpose modern information and communication technologies can be used very efficiently. But these technologies require a formal description of the planning process. Within the research project "Relation Based Process Modelling of Co-operative Building Planning" we have defined a consistent mathematical process model for planning processes and have developed a prototype implementation of an application for modelling these processes. Our project is embedded in the priority program 1103 "Network-based Co-operative Planning Processes in Structural Engineering" promoted by the German Research Foundation (DFG). In this paper we present the mathematical concept of our relational process model and the tool for building up the model and checking the structural consistency and correctness.

关键词： Structural design

来源：评论

学校读者我要写书评

暂无评论

Reachability analysis of synchronized PA systems

Reachability analysis of synchronized PA systems

引用

Proceedings of the 6th International Workshop on Verification of Infinite-State Systems (INFINITY 2004)

作者： Bouajjani, Ahmed Esparza, Javier Touili, Tayssir Liafa University of Paris 7 2 place Jussieu 75251 Paris Cedex 5 France Institute for Formal Methods in Computer Science University of Stuttgart Universitätstr. 38 70569 Stuttgart Germany

We present a generic approach for the analysis of concurrent programs with (unbounded) dynamic creation of threads and recursive procedure calls. We define a model for such programs based on a set of term rewrite rules where terms represent control configurations. The reachability problem for this model is undecidable. Therefore, we propose a method for analyzing such models based on computing abstractions of their sets of computation paths. Our approach allows to compute such abstractions as least solutions of a system of (path language) constraints. More precisely, given a program and two regular sets of configurations (process terms) T and T′, we provide (1) a construction of a system of constraints which characterizes the set of computation paths leading from T to T′, and (2) a generic framework, based on abstract interpretation, allowing to solve this system in various abstract domains leading to abstract analysis with different precision and cost. © 2005 Elsevier B.V. All rights reserved.

关键词： Synchronization

来源：评论

学校读者我要写书评

暂无评论

Formal communication semantics of SystemC/sup FL/

Formal communication semantics of SystemC/sup FL/

引用

Euromicro Symposium on Digital System Design

作者： K.L. Man Formal Methods Group Department of Mathematics and Computer Science Eindhovan University of Technology Netherlands

In this paper, we define a formal communication semantics for SystemC/sup FL/ that deals with concurrency and interaction. The communication semantics of SystemC/sup FL/ is formally defined in a standard structured operational semantics (SOS) style. The correctness of the proposed communication semantics of SystemC/sup FL/ is also validated. A case study (RPC protocol with refinement) is given to illustrate the use of the newly developed communication semantics of SystemC/sup FL/.

关键词： Algebra Concurrent computing Formal verification Hardware design languages Formal languages Mathematics computer science Communication standards Protocols Equations

来源：评论

学校读者我要写书评

暂无评论

SystemC/sup FL/: a formalism for hardware/software codesign

SystemC/sup FL/: a formalism for hardware/software codesign

引用

European Conference on Circuit Theory and Design, ECCTD

作者： K.L. Man Formal Methods Group Department of Mathematics and Computer Science Eindhovan University of Technology Eindhoven Netherlands

SystemC/sup FL/ is a formal language for hardware/software codesign. Principally, SystemC/sup FL/ is the formalization of SyslemC based on classical process algebra ACP. The language is aimed to give formal specification of SystemC designs and perform formal analysis of SystemC processes. This paper, designed for the first-time user of SystemC/sup FL/, guides the reader through modeling, analyzing and verifying designs using SystemC/sup FL/. This paper illustrates the use of SysternC/sup FL/ with two case studies taken from literature.

关键词： Hardware Delay effects Cost accounting Virtual manufacturing Clocks Formal languages System recovery Interleaved codes Encapsulation

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：