• Articles • Previous Articles     Next Articles

Line-Art and its Mathematical Models

Xu Yingqing; Hans Dehlinger; Qi Dongxu; Liu Shenquan;   

  1. 1 CAD Laboratory; Institute of Computing Technology Chinese Academy of Sciences; Beijing 100080; P. R. China 2 Department of Product Design; University of Kassel; Kassel; Germany 3 CAD Center N;
  • Online:1998-01-10 Published:1998-01-10

In this paper, the authors describe the principles of Straight Line Strokes illustration, present the mathematical model of the principles, and show how a great number of lines can be implemented as main part of an automated drawing system named Line-Art. Different from traditional drawing art, Line-Art generates pictures without curves, colors, ink marks, brushes, and oil paint, but only with Straight Line Strokes. Generated pictures are composed, clipped, and plotted. The paper also introduces how to use…

Key words: model checking; mobile ambients; spatial logic; mu-calculus; fixpoints;



[1] Dehlinger H, Mathias G. Computer an der Kunthochschule. Ghk, 1985.

[2] Dehlinger H. Versuch 12 zu Konturen. Plottergraphie in: Computerkunst in Deutschland, Barke-verlag, Muenchen, ISBN 3-926167-O1-7, 1987.

[3] Dehlinger H. Cube 4. Ausstellungsbeitrag zur "SIGGRAPH ART SHOW 1989" in Leonardo. J.of the International Society for the Art, Sciences and Technology, Supplemental Issue 1989, Pergamon Press, New York, 1989. ………..
[1] Einollah Pira. Using Markov Chain Based Estimation of Distribution Algorithm for Model-Based Safety Analysis of Graph Transformation [J]. Journal of Computer Science and Technology, 2021, 36(4): 839-855.
[2] Wan-Wei Liu, Fu Song, Tang-Hao-Ran Zhang, Ji Wang. Verifying ReLU Neural Networks from a Model Checking Perspective [J]. Journal of Computer Science and Technology, 2020, 35(6): 1365-1381.
[3] Hoon Park, Anping He, Marly Roncken, Xiaoyu Song, Ivan Sutherland. Modular Timing Constraints for Delay-Insensitive Systems [J]. , 2016, 31(1): 77-106.
[4] Yang Liu, Xuan-Dong Li, Yan Ma. A Game-Based Approach for PCTL* Stochastic Model Checking with Evidence [J]. , 2016, 31(1): 198-216.
[5] Yang Liu, Huai-Kou Miao, Hong-Wei Zeng, Yan Ma, and Pan Liu. Nondeterministic Probabilistic Petri Net — A New Method to Study Qualitative and Quantitative Behaviors of System [J]. , 2013, 28(1): 203-216.
[6] Sa'ed Abed, Member, ACM, IEEE, Yassine Mokhtari, Otmane Ait-Mohamed, Member, ACM, IEEE, and Sofiène Tahar, Senior Member, IEEE, Member, ACM. NuMDG: A New Tool for Multiway Decision Graphs Construction [J]. , 2011, 26(1): 139-152.
[7] Dian-Xiang Xu, Senior Member, IEEE, Omar El-Ariss, Wei-Feng Xu, Senior Member, IEEE, and Lin-Zhang Wang, Member, CCF, ACM, IEEE. Aspect-Oriented Modeling and Verification with Finite State Machines [J]. , 2009, 24(5): 949-961.
[8] Hai-Bin Zhang and Zhen-Hua Duan, Senior Member, CCF, IEEE. Symbolic Algorithmic Analysis of Rectangular Hybrid Systems [J]. , 2009, 24(3): 534-543.
[9] Patrick H. S. Brito, Rogerio de Lemos, Cecilia M. F. Rubira, and Eliane Martins. Architecting Fault Tolerance with Exception Handling: Verification and Validation [J]. , 2009, 24(2): 212-237.
[10] Liang Xu, Wei Chen, Yan-Yan Xu, and Wen-Hui Zhang. Improved Bounded Model Checking for the Universal Fragment of CTL [J]. , 2009, 24(1 ): 96-109 .
[11] Zhi-Hong Tao, Cong-Hua Zhou, Zhong Chen, and Li-Fu Wang. Bounded Model Checking of CTL^* [J]. , 2007, 22(1): 39-43 .
[12] Zhi-Hong Tao, Hans Kleine Büning, and Li-Fu Wang. Direct Model Checking Matrix Algorithm [J]. , 2006, 21(6): 944-949 .
[13] Hong Pan, Hui-Min Lin, and Yi Lv. Model Checking Data Consistency for Cache Coherence Protocols [J]. , 2006, 21(5): 765-775 .
[14] Franz Weitl and Burkhard Freitag. Checking Content Consistency of Integrated Web Documents [J]. , 2006, 21(3): 418-429 .
[15] Jian-Hua Zhao, Xuan-Dong Li, Tao Zheng, and Guo-Liang Zheng. Remove Irrelevant Atomic Formulas for Timed Automaton Model Checking [J]. , 2006, 21(1): 41-51 .
Viewed
Full text


Abstract

Cited

  Shared   
  Discussed   
[1] Shen Yidong;. Form alizing Incomplete Knowledge in Incomplete Databases[J]. , 1992, 7(4): 295 -304 .
[2] wang Xuejun; Shi Chunyi;. A Multiagent Dynamic interaction Testbed:Theoretic Framework, System Architecture and Experimentation[J]. , 1997, 12(2): 121 -132 .
[3] MA Huadong; LIU Shenquan;. Multimedia Data Modeling Based on TemporalLogic and XYZ System[J]. , 1999, 14(2): 188 -193 .
[4] Peter M. Haverty, Zhi-Ping Weng, and Ulla Hansen. Transcriptional Regulatory Networks Activated by PI3K and ERK Transduced Growth Signals in Human Glioblastoma Cells[J]. , 2005, 20(4): 439 -445 .
[5] Zhi-Wei Xu, Hao-Jie Zhou, and Guo-Jie Li. Usability Issues of Grid System Software[J]. , 2006, 21(5): 641 -647 .
[6] Unil Yun. Analyzing Sequential Patterns in Retail Databases[J]. , 2007, 22(2): 287 -296 .
[7] Anwar M. Mirza, Asmatullah Chaudhry, and Badre Munir. Spatially Adaptive Image Restoration Using Fuzzy Punctual Kriging[J]. , 2007, 22(4): 580 -589 .
[8] Rui-Song Zhang, Wei-Ze Quan, Lu-Bin Fan, Li-Ming Hu, Dong-Ming Yan. Distinguishing Computer-Generated Images from Natural Images Using Channel and Pixel Correlation[J]. Journal of Computer Science and Technology, 2020, 35(3): 592 -602 .
[9] De-Yi Li, Zhi-Yong Liu and Ke-Qing He. Preface[J]. , 2010, 25(6): 1101 -1102 .
[10] Mahshid Rahnamay-Naeini, and Masoud Sabaei. A Combinational Perspective in Stimulating Cooperation in Mobile Ad Hoc Networks[J]. , 2011, 26(2): 256 -268 .

ISSN 1000-9000(Print)

         1860-4749(Online)
CN 11-2296/TP

Home
Editorial Board
Author Guidelines
Subscription
Journal of Computer Science and Technology
Institute of Computing Technology, Chinese Academy of Sciences
P.O. Box 2704, Beijing 100190 P.R. China
Tel.:86-10-62610746
E-mail: jcst@ict.ac.cn
 
  Copyright ©2015 JCST, All Rights Reserved