This paper, using the model RΔ(B)-a generalized Boolean-valued model of the axiom system GB (see [3]), proves: (1) some properties of forcing F (2) two important theorems-Forcing Theorem and Generic Model Theorem (of...This paper, using the model RΔ(B)-a generalized Boolean-valued model of the axiom system GB (see [3]), proves: (1) some properties of forcing F (2) two important theorems-Forcing Theorem and Generic Model Theorem (of GB); (3) discussing forcing with proper class.展开更多
Digital elevation model （DEM） is the most popular product for three-dimensional （3D） digital representation of bare Earth surface and can be produced by many techniques with different characteristics and ground sa...Digital elevation model （DEM） is the most popular product for three-dimensional （3D） digital representation of bare Earth surface and can be produced by many techniques with different characteristics and ground sampling distances （GSD）. Space-borne opti- cal and synthetic aperture radar （SAR） imaging are two of the most preferred and modern techniques for DEM generation. Using them, global DEMs that cover almost entire Earth are produced with low cost and time saving processing. In this study, we aimed to assess the Satellite pour robservation de la Terre-5 （SPOT-5）, High Resolution Stereoscopic （HRS）, the Advanced Space-borne Thermal Emission and Reflection Radiometer （ASTER）, and the Shuttle Radar Topography Mission （SRTM） C-band global DEMs, produced with space-borne optical and SAR imaging. For the assessment, a reference DEM derived from 1 ： 1000 scaled digital photogrammetric maps was used. The study is performed in 100 km2 study area in Istanbul including various land classes such as open land, forest, built-up land, scrub and rough terrain obtained from Landsat data. The analyses were realized considering three vertical accuracy types as fundamental, supplemental, and consolidated, defined by national digital elevation program （NDEP） of USA. The results showed that, vertical accuracy of SRTM C-band DEM is better than optical models in all three accuracy types despite having the largest grid spacing. The result of SPOT-5 HRS DEM is very close by SRTM and superior in comparison with ASTER models.展开更多
Along with the completion of HGP （human genome project）, huge amounts of genetic data constantly emerge. Research suggests that genes are not in independent existence and the expression of a gene will promote or inh...Along with the completion of HGP （human genome project）, huge amounts of genetic data constantly emerge. Research suggests that genes are not in independent existence and the expression of a gene will promote or inhibit the expression of another gene; if the expression of a gene makes the biochemical environment of ceils changed, the expression of a series of genes will be affected. In order to get a better understanding of the relationship between genes, all sorts of gene regulatory network models have been established by scientists. In this paper, a variety of gene regulatory networks are first introduced according to the process of this subject research, and then the most basic network （i.e. Boolean network） is emphatically analyzed, and then a new method （i.e. Boolean network based on the theory of circuit） to describe Boolean network is drawn forth. After the shortcomings of the Boolean network proposed in the past are analyzed, a simulation circuit Boolean model is established using EDA technology in order to improve the Boolean network.展开更多
This paper provides a systematic method on the enumeration of various permutation symmetric Boolean functions. The results play a crucial role on the search of permutation symmetric Boolean functions with good cryptog...This paper provides a systematic method on the enumeration of various permutation symmetric Boolean functions. The results play a crucial role on the search of permutation symmetric Boolean functions with good cryptographic properties. The proposed method is algebraic in nature. As a by-product, the authors correct and generalize the corresponding results of St^nic~ and Maitra （2008）. Further, the authors give a complete classification of block-symmetric bent functions based on the results of Zhao and Li （2006）, and the result is the only one classification of a certain class of permutation symmetric bent functions after the classification of symmetric bent functions proposed by Savicky （1994）.展开更多
文摘This paper, using the model RΔ(B)-a generalized Boolean-valued model of the axiom system GB (see [3]), proves: (1) some properties of forcing F (2) two important theorems-Forcing Theorem and Generic Model Theorem (of GB); (3) discussing forcing with proper class.
基金Under the auspices of Scientific Research Project Coordinatorship of Yildiz Technical University,Turkey(No.20100503KAP01)
文摘Digital elevation model （DEM） is the most popular product for three-dimensional （3D） digital representation of bare Earth surface and can be produced by many techniques with different characteristics and ground sampling distances （GSD）. Space-borne opti- cal and synthetic aperture radar （SAR） imaging are two of the most preferred and modern techniques for DEM generation. Using them, global DEMs that cover almost entire Earth are produced with low cost and time saving processing. In this study, we aimed to assess the Satellite pour robservation de la Terre-5 （SPOT-5）, High Resolution Stereoscopic （HRS）, the Advanced Space-borne Thermal Emission and Reflection Radiometer （ASTER）, and the Shuttle Radar Topography Mission （SRTM） C-band global DEMs, produced with space-borne optical and SAR imaging. For the assessment, a reference DEM derived from 1 ： 1000 scaled digital photogrammetric maps was used. The study is performed in 100 km2 study area in Istanbul including various land classes such as open land, forest, built-up land, scrub and rough terrain obtained from Landsat data. The analyses were realized considering three vertical accuracy types as fundamental, supplemental, and consolidated, defined by national digital elevation program （NDEP） of USA. The results showed that, vertical accuracy of SRTM C-band DEM is better than optical models in all three accuracy types despite having the largest grid spacing. The result of SPOT-5 HRS DEM is very close by SRTM and superior in comparison with ASTER models.
文摘Along with the completion of HGP （human genome project）, huge amounts of genetic data constantly emerge. Research suggests that genes are not in independent existence and the expression of a gene will promote or inhibit the expression of another gene; if the expression of a gene makes the biochemical environment of ceils changed, the expression of a series of genes will be affected. In order to get a better understanding of the relationship between genes, all sorts of gene regulatory network models have been established by scientists. In this paper, a variety of gene regulatory networks are first introduced according to the process of this subject research, and then the most basic network （i.e. Boolean network） is emphatically analyzed, and then a new method （i.e. Boolean network based on the theory of circuit） to describe Boolean network is drawn forth. After the shortcomings of the Boolean network proposed in the past are analyzed, a simulation circuit Boolean model is established using EDA technology in order to improve the Boolean network.
基金supported by the National Natural Science Foundation of China under Grant Nos.11071285 and 61121062973 Project under Grant No.2011CB302401the National Center for Mathematics and Interdisciplinary Sciences,Chinese Academy of Sciences
文摘This paper provides a systematic method on the enumeration of various permutation symmetric Boolean functions. The results play a crucial role on the search of permutation symmetric Boolean functions with good cryptographic properties. The proposed method is algebraic in nature. As a by-product, the authors correct and generalize the corresponding results of St^nic~ and Maitra （2008）. Further, the authors give a complete classification of block-symmetric bent functions based on the results of Zhao and Li （2006）, and the result is the only one classification of a certain class of permutation symmetric bent functions after the classification of symmetric bent functions proposed by Savicky （1994）.
