首页 | 本学科首页   官方微博 | 高级检索  
相似文献
 共查询到20条相似文献,搜索用时 156 毫秒
1.
新编民谣     
《程序员》1999,(2)
到了天津才知道自己笑话讲不好到了上海才知道自己穿的过时了到了湖南才知道自己辣的吃不了到了四川才知道自己麻的受不了到了山西才知道自己喝醋滋味了到了山东才知道自己爽快有多好到了新疆才知道石油真是不愁了到了内蒙才知道大革原有多么好到了西藏才知道空气真是缺不了  相似文献   

2.
吴平  费海燕 《网友世界》2014,(6):139-139
科学技术的日新月异发展,推进了素质教育的进程,多媒体技术已经走进了课堂,为教师教学开辟了广阔空间。多媒体技术激发了学生浓厚的学习兴趣,化解了教学难点,创设了丰富的教学情境,有效地进行了德育渗透,突出了学生主体地位,提高了课堂教学效率。本文试就小学语文教学运用多媒体技术问题进行了探讨。  相似文献   

3.
许秀华 《网友世界》2014,(6):143-143
科学技术的日新月异发展,多媒体技术已经进入了课堂,优化了课堂教学,提高了教学效率,突出了学生主体地位,激发了学生学习欲望,调动了学生学习的积极性、主动性、创造性,扩大了知识容量,促进了学生想象思维的发展,实现了课堂教学过程的最优化。本文试就多媒体技术在小学语文教学中的应用进行了探讨。  相似文献   

4.
普遍服务赔本了,报刊自办发行了,商业信函空间缩小了土速递自动发展了,WTO进来了,中国邮政不转型不行了  相似文献   

5.
李树龙 《网友世界》2014,(6):111-111
科学技术的日新月异发展,推动了素质教育的进程,多媒体技术已经走进了课堂,本文阐述了小学数学教学应用多媒体技术,激发了学生浓厚的学习兴趣,化解了教学重点难点,营造了良好的氛围,优化了课堂教学,提高了课堂教学效率。  相似文献   

6.
《中国信息化》2012,(2):7-7
整个社会仿佛是在一夜之间发生了翻天覆地的变化。我们刚刚经历了主机、个人计算机时代,又一下子迈入今天的云计算、物联网时代。我们有了互联网、有了苹果、有了Android、有了Facebook、有了微博、有了搜索引擎、  相似文献   

7.
《数码摄影》2004,(2):56-58
PC变了,变得平易近人了,变得讨大家欢心了,变得没有以前那么刻板了,就连父亲也喜欢上了它,开始用它看大片了。媒体中心电脑的成熟打破了PC传统的操作理念,使它变成了家庭娱乐中心,成为全家人的新宠。  相似文献   

8.
我们看到了3G,看到了PHS,看到了IPv6,看到了DSL,看到了各式各样的新鲜装备。此外,我们还看到了设备商献媚运营商,看到了运营商取悦消费者,看到了消费者痴迷新装备……2003年中国乃至亚洲最大规模的通信展会在向我们传递着来自明日通信的全新理念。  相似文献   

9.
赵楠楠 《福建电脑》2012,28(4):42-43,65
分析了软件工程课程的教学特点,结合遵义师范学院学生学习现状,整合了教学内容、组建了多种教学方式、进行了教学评价改革与实践,提高了学生学习主动性和积极性,培养了学生分析问题、解决问题的能力,提高了教学质量。  相似文献   

10.
白丽 《中国信息化》2008,(24):66-67
地震震动了人心,奥运鼓舞了人心,金融海啸席卷了人心。 失业了,郁闷;降息了,还银行贷款少了,高兴。人们在悲喜交织中动荡着。  相似文献   

11.
The objective of the study was to propose a MFR (Multipurpose Field Robot) in hazardous operation environments. This system combines a basic system composed of a multi-DOF (Degree Of Freedom) manipulator and a mobile platform with an additional module for construction, national defense and emergency-rescue. According to an additional module type combined with a basic system, it can be used in a various fields. In this study, we describe a prototype of construction robot which helps a human operator handle easily construction materials in case of using the cooperation system on construction site. This study introduces an additional module for construction and a robot control algorithm for a HRC (Human-Robot Cooperation). In addition, it proposes a novel construction method to install construction materials with robot on construction site. Seung Yeol Lee received the B.S. degree from the Department of Mechanical Engineering, Myungji University, Seoul, Korea in 2002, and the M.S. degree from the Department of Mechatronics Engineering, Hanyang University, Seoul, Korea in 2005. He is a Ph.D. degree candidate from the Department of Mechanical Engineering, Hanyang University, Seoul, Korea. From 2003, He is currently a visiting researcher in the Research Institute of Technology, Construction Group at the Samsung Corporation, Korea conducting the design and implementation of construction robot and automation system for construction project. His research interests include design, control, and application of construction robots, field robotic systems and ergonomic design of robotic systems. He is a member of the Korea Society of Mechanical Engineers, Architectural Institute of Korea, and Ergonomics Society of Korea. Yong Seok Lee received the B.S. degree from the Department of Precision Mechanical Engineering, Kunsan national University, Kunsan, Korea in 2002, and the M.S. degree from the Department of Precision Mechanical Engineering, Hanyang University, Seoul, Korea in 2005. Currently, he is the Post Master in Hanyang University, Korea. His major interests include design and kinematic/dynamic analysis on multi-purpose field robots and service robots. He is a member of the Architectural Institute of Korea. Bum Seok Park received the B.S. degree from the Department of Mechanical Engineering, Hanyang University, Ansan, Kyung-gi Do, Korea in 1993, and the M.S. degree from the Department of Mechatronics Engineering, Hanyang University, Seoul, Korea in 1998. He is a Ph.D. from the Department of Mechatronics System Engineering, Hanyang University, Seoul, Korea From 2006. He is currently the post-doctor in Hanyang University, Korea. His major interests include embedded robot control system on multi-purpose field robot and service robot. He is a member of the Korea Society of Mechanical Engineers, Korean Society of Machine Tool Engineers. Sang Heon Lee graduated with the B.S. degree in Precision Mechanical Engineering from Hanyang University, Seoul, Korea in 1992. He received the M.S. degree in Precision Engineering from KAIST, Taejon, Korea in 1994 and the Ph.D. degree in Mechanical Engineering from KAIST in 2001. Currently, he is a senior researcher in Samsung Corporation, Korea. His major interests include the kinematic/dynamic analysis on multi-body system, application of field robots, and automation in construction. ChangSoo Han received the B.S. degree from the Department of Mechanical Engineering, Seoul National University Technology, Seoul, Korea in 1983, and the M.S. and Ph.D. degrees from the Department of Mechanical Engineering, University of Texas at Austin, in 1985 and 1989, respectively. From May 1988 to September 1989, he was a Research Assistant, Robotics Lab in Mechanical Engineering about manufacturing of the high resolution micro manipulator module. In March 1990, he joined Hanyang University, Ansan, Kyungki-Do, Korea as a Professor, Department of Mechanical Engineering. From March 1993 to February 1995, he was a Vice President, The Research Institute of Engineering & Technology of the Hanyang University. From August 1996 to July 1997, he was a Visiting Professor, Univ. of California at Berkeley. From September 1997 to February 1999, he was a Director, Hanyang Business Incubator. In August 2000, he joined a Branch President, The Korean Society of Mechanical Engineers. In January 2002, he joined a Committee Member, The Korean Society of Mechanical Engineers. From January 2001 to December 2001, he was an International Cooperation Director, The Institute of Control, Automation and Systems, Korea. His research interests include design, control, and application of robot, automation systems, and advanced vehicle.  相似文献   

12.
In this paper, we present a new method for fuzzy risk analysis based on the ranking of generalized trapezoidal fuzzy numbers. The proposed method considers the centroid points and the standard deviations of generalized trapezoidal fuzzy numbers for ranking generalized trapezoidal fuzzy numbers. We also use an example to compare the ranking results of the proposed method with the existing centroid-index ranking methods. The proposed ranking method can overcome the drawbacks of the existing centroid-index ranking methods. Based on the proposed ranking method, we also present an algorithm to deal with fuzzy risk analysis problems. The proposed fuzzy risk analysis algorithm can overcome the drawbacks of the one we presented in [7]. Shi-Jay Chen was born in 1972, in Taipei, Taiwan, Republic of China. He received the B.S. degree in information management from the Kaohsiung Polytechnic Institute, Kaohsiung, Taiwan, and the M.S. degree in information management from the Chaoyang University of Technology, Taichung, Taiwan, in 1997 and 1999, respectively. He received the Ph.D. degree at the Department of Computer Science and Information Engineering, National Taiwan University of Science and Technology, Taipei, Taiwan, in October 2004. His research interests include fuzzy systems, multicriteria fuzzy decisionmaking, and artificial intelligence. Shyi-Ming Chen was born on January 16, 1960, in Taipei, Taiwan, Republic of China. He received the Ph.D. degree in Electrical Engineering from National Taiwan University, Taipei, Taiwan, in June 1991. From August 1987 to July 1989 and from August 1990 to July 1991, he was with the Department of Electronic Engineering, Fu-Jen University, Taipei, Taiwan. From August 1991 to July 1996, he was an Associate Professor in the Department of Computer and Information Science, National Chiao Tung University, Hsinchu, Taiwan. From August 1996 to July 1998, he was a Professor in the Department of Computer and Information Science, National Chiao Tung University, Hsinchu, Taiwan. From August 1998 to July 2001, he was a Professor in the Department of Electronic Engineering, National Taiwan University of Science and Technology, Taipei, Taiwan. Since August 2001, he has been a Professor in the Department of Computer Science and Information Engineering, National Taiwan University of Science and Technology, Taipei, Taiwan. He was a Visiting Scholar in the Department of Electrical Engineering and Computer Science, University of California, Berkeley, in 1999. He was a Visiting Scholar in the Institute of Information Science, Academia Sinica, Republic of China, in 2003. He has published more than 250 papers in referred journals, conference proceedings and book chapters. His research interests include fuzzy systems, information retrieval, knowledge-based systems, artificial intelligence, neural networks, data mining, and genetic algorithms. Dr. Chen has received several honors and awards, including the 1994 Outstanding Paper Award o f the Journal of Information and Education, the 1995 Outstanding Paper Award of the Computer Society of the Republic of China, the 1995 and 1996 Acer Dragon Thesis Awards for Outstanding M.S. Thesis Supervision, the 1995 Xerox Foundation Award for Outstanding M.S. Thesis Supervision, the 1996 Chinese Institute of Electrical Engineering Award for Outstanding M.S. Thesis Supervision, the 1997 National Science Council Award, Republic of China, for Outstanding Undergraduate Student's Project Supervision, the 1997 Outstanding Youth Electrical Engineer Award of the Chinese Institute of Electrical Engineering, Republic of China, the Best Paper Award of the 1999 National Computer Symposium, Republic of China, the 1999 Outstanding Paper Award of the Computer Society of the Republic of China, the 2001 Institute of Information and Computing Machinery Thesis Award for Outstanding M.S. Thesis Supervision, the 2001 Outstanding Talented Person Award, Republic of China, for the contributions in Information Technology, the 2002 Institute of information and Computing Machinery Thesis Award for Outstanding M.S. Thesis Supervision, the Outstanding Electrical Engineering Professor Award granted by the Chinese Institute of Electrical Engineering (CIEE), Republic of China, the 2002 Chinese Fuzzy Systems Association Best Thesis Award for Outstanding M.S. Thesis Supervision, the 2003 Outstanding Paper Award of the Technological and Vocational Education Society, Republic of China, the 2003 Acer Dragon Thesis Award for Outstanding Ph.D. Dissertation Supervision, the 2005 “Operations Research Society of Taiwan” Award for Outstanding M.S. Thesis Supervision, the 2005 Acer Dragon Thesis Award for Outstanding Ph.D. Dissertation Supervision, the 2005 Taiwan Fuzzy Systems Association Award for Outstanding Ph.D. Dissertation Supervision, and the 2006 “Operations Research Society of Taiwan” Award for Outstanding M.S. Thesis Supervision. Dr. Chen is currently the President of the Taiwanese Association for Artificial Intelligence (TAAI). He is a Senior Member of the IEEE, a member of the ACM, the International Fuzzy Systems Association (IFSA), and the Phi Tau Phi Scholastic Honor Society. He was an administrative committee member of the Chinese Fuzzy Systems Association (CFSA) from 1998 to 2004. He is an Associate Editor of the IEEE Transactions on Systems, Man, and Cybernetics - Part C, an Associate Editor of the IEEE Computational Intelligence Magazine, an Associate Editor of the Journal of Intelligent & Fuzzy Systems, an Editorial Board Member of the International Journal of Applied Intelligence, an Editor of the New Mathematics and Natural Computation Journal, an Associate Editor of the International Journal of Fuzzy Systems, an Editorial Board Member of the International Journal of Information and Communication Technology, an Editorial Board Member of the WSEAS Transactions on Systems, an Editor of the Journal of Advanced Computational Intelligence and Intelligent Informatics, an Associate Editor of the WSEAS Transactions on Computers, an Editorial Board Member of the International Journal of Computational Intelligence and Applications, an Editorial Board Member of the Advances in Fuzzy Sets and Systems Journal, an Editor of the International Journal of Soft Computing, an Editor of the Asian Journal of Information Technology, an Editorial Board Member of the International Journal of Intelligence Systems Technologies and Applications, an Editor of the Asian Journal of Information Management, an Associate Editor of the International Journal of Innovative Computing, Information and Control, and an Editorial Board Member of the International Journal of Computer Applications in Technology. He was an Editor of the Journal of the Chinese Grey System Association from 1998 to 2003. He is listed in International Who's Who of Professionals, Marquis Who's Who in the World, and Marquis Who's Who in Science and Engineering.  相似文献   

13.
14.
Fundamental aspects of cybernetics, such as goals, problems, methods, tools, brief history, and correlation with other sciences, are considered. Cybernetics in its classical interpretation is the science of information management, communication, and processing. As cybernetics developed, this definition was formalized as the science of methods and processes of information acquisition, storage, processing, analysis, and evaluation, which allows it to apply to decision making in complex control systems. These systems include all engineering, biological, administrative, social, ecological, and economical systems. The main thesis that determined the goals, problems, subject matter, and development of cybernetics as a whole up to the present is the similarity in management and communication processes in machines, living organisms, and both animal and human societies. First of all, these are processes of transfer, storage, and processing of information, i.e., various signals, messages, and data. Any signal and any information may be considered independently from its particular content and destination as a certain choice between two or more values having the known probabilities (selective concept of information). It allows us to treat all processes on the basis of a unified measure and statistical apparatus. The idea of the general theory of control and communication, that is, cybernetics, is based on this hypothesis.  相似文献   

15.
The aims of the paper are to consider the nondegeneracy requirement for computational grids and to analyze eight tests used to check the nondegeneracy of hexahedral cells. The paper starts with consideration of nondegeneracy requirement and formulation of definitions and common theorems utilized for estimation of nondegeneracy of grids both structured and unstructured. Then hexahedral cells are introduced and sufficient nondegeneracy conditions (Ushakova, 2000) for them are given. Sufficient nondegeneracy conditions are 27 inequalities for 32 tetrahedral volumes. Besides sufficient nondegeneracy conditions other conditions are applied as nondegeneracy tests in grid generation theory and practice. Considered nondegeneracy tests are the checks for positivity of different values. Tests 1, 2, 3, 4, 5, 6 check the positivity of 8, 10, 24, 32, 58, 48 tetrahedral volumes, correspondingly. Test 7 verifies the positivity of the volume of a cell. Test 8 checks the positivity of the Jacobian of the mapping used for generation of a cell. The check is performed at the corners of a cell and hex center. Tests 1, 7, 8 are often used in commercial packages. For the most part, nondegeneracy tests are not sufficient nondegeneracy conditions, however they are used for the purpose of constructing nondegenerate grids and, some times, instead of sufficient nondegeneracy conditions. The effectiveness and reliability of such substitutions are investigated in special numerical experiments with random numbers. In the numerical experiment for each test, hexahedral cells are generated randomly. Results of such experiments are the following. Among eight tests, test 2 is considered the best since it verifies the volumes of only 10 tetrahedra for positiveness, guarantees the nondegeneracy in most of cases (68.7% randomly generated hexahedral cells satisfying test 2) and covers a wide class of cells (about 60% of nondegenerate cells). Tests 1, 3, 4, 5, 6, 7, 8 have success in 31.7%, 83.1%, 100%, 100%, 39.5%, 0.2%, 34% of cases and cover 100%, 7.9%, 7.9%, 4.2%, 59.5%, 100%, 100% of nondegenerate cells, correspondingly. Because of high rate of success, tests 3, 4, 5 also can be used for grid generation purpose. All tests are illustrated by the examples of structured grids.  相似文献   

16.
In the paper, an original neural network algorithm for analysis of time series is presented. This algorithm allows predicting the occurrence of a certain event and finding a time interval to which a phenomenon (a precursor or a cause of the event) belongs. The characteristics of the algorithm functioning are investigated applied to the study of the solar-terrestrial relationship. Yu. V. Orlov. Candidate in Physics and Mathematics. Researcher at the Institute of Nuclear Physics, Moscow State University. Scientific interests: neural networks, genetic algorithms, algorithms of pattern recognition and image analysis. Yu. S. Shugai. Researcher at the Institute of Nuclear Physics, Moscow State University. Scientific interests: neural networks, genetic algorithms, algorithms of pattern recognition and image analysis, algorithms of classification and prediction. I. G. Persiantsev. Professor, Doctor in Mathematics and Physics. Head of the Laboratory, Leading Researcher at the Institute of Nuclear Physics, Moscow State University Scientific interests: neural networks, genetic algorithms, algorithms of pattern recognition and image analysis, algorithms of classification and prediction, inverse problems. Laureate of the USSR State Prize. S. A. Dolenko. Candidate in Physics and Mathematics. Senior Researcher at the Institute of Nuclear Physics, Moscow State University. Scientific interests: neural networks, genetic algorithms, algorithms of pattern recognition and image analysis, algorithms of classification and prediction, inverse problems.  相似文献   

17.
Traditional filtering theory is always based on optimization of the expected value of a suitably chosen function of error, such as the minimum mean-square error (MMSE) criterion, the minimum error entropy (MEE) criterion, and so on. None of those criteria could capture all the probabilistic information about the error distribution. In this work, we propose a novel approach to shape the probability density function (PDF) of the errors in adaptive filtering. As the PDF contains all the probabilistic information, the proposed approach can be used to obtain the desired variance or entropy, and is expected to be useful in the complex signal processing and learning systems. In our method, the information divergence between the actual errors and the desired errors is chosen as the cost function, which is estimated by kernel approach. Some important properties of the estimated divergence are presented. Also, for the finite impulse response (FIR) filter, a stochastic gradient algorithm is derived. Finally, simulation examples illustrate the effectiveness of this algorithm in adaptive system training. Recommended by Editorial Board member Naira Hovakimyan under the direction of Editor Jae Weon Choi. This work was supported in part by the National Natural Science Foundation of China under grants 50577037 and 60604010. Badong Chen received the B.S. and M.S. degrees in Control Theory and Engineering from Chongqing University, Chongqing, China, in 1997 and 2003, respectively, and the Ph.D. degree in Computer Science and Technology from Tsinghua University, Beijing China, in 2008. He is currently a Postdoctor of the Institute of Manufacturing Engineering, Department of Precision Instruments and Mechanology, Tsinghua University, Beijing, China. His research interests are in signal processing, adaptive control, and information theoretic aspects of control systems. Yu Zhu received the B.S. of Radio Electronics in 1983 at Beijing Normal University, and the M.S. of Computer Applications in 1993, and the Ph.D. of Mechanical Design and Theory in 2001 at China University of Mining & Technology. He is now a Professor of the Institute of Manufacturing Engineering of Department of Precision and Mechanology of Tsinghua University. His current research interests are parallel machanism and theory, two photon micro-fabrication, ultra-precision motion system and motion control. Jinchun Hu received the Ph.D. in Control Science and Engineering from Nanjing University of Science and Technology, Nanjing, China, in 1998. Since then, he has been a postdoctoral researcher in Nanjing University of Aeronautics and Astronautics in 1999 and Tsinghua University in 2002 respectively. His research interests are in flight control, aerial Robot and intelligent control. Dr. Hu is currently an Associate Professor of the Department of Computer Science and Technology of Tsinghua University, Beijing, China. Zengqi Sun received the B.S. degree from the Department of Automatic Control, Tsinghua University, Beijing, China, in 1966 and the Ph.D. degree in Control Engineering from the Chalmas University of Technology, Sweden, in 1981. He is currently a Professor of the Department of Computer Science and Technology, Tsinghua University, Beijing, China. He is the author or coauthor of more than 100 paper and eight books on control and robotics. His research interests include robotics, intelligent control, fuzzy system, neural networks, and evolutionary computation.  相似文献   

18.
Color is one of the most important features in digital images. The representation of color in digital form with a three-component image (RGB) is not very accurate, hence the use of a multiple-component spectral image is justified. At the moment, acquiring a spectral image is not as easy and as fast as acquiring a conventional three-component image. One answer to this problem is to use a regular digital RGB camera and estimate its RGB image into a spectral image by the Wiener estimation method, which is based on the use of a priori knowledge. In this paper, the Wiener estimation method is used to estimate the spectra of icons. The experimental results of the spectral estimation are presented. The text was submitted by the authors in English. Pekka Tapani Stigell. Year of birth 1976. Year of graduation and name of institution: Last year undergraduate student in the Department of Computer Science in the University of Joensuu, Finland. Affiliation: InFotoics Center, Department of Computer Science, University of Joensuu. Position: Trainee. Area of research: Color research. Number of publications: 1. Membership to scientific societies: Pattern Recognition Society of Finland, member-society of IAPR (International Association for Pattern Recognition). Prizes for achievements in research or applications: The best young scientist award in PRIA-7-2004 (shared with two other scientists). Kimiyoshi Miyata. Year of birth: 1966. Year of graduation and name of institution: 2000. Graduate School of Science and Technology, Chiba University, Japan. Year of graduation: 1990, BE degree (Chiba University), 1992, ME degree (Chiba University), 2000, Ph.D degree (Chiba University). Affiliation: Museum Science Division, Research Department, National Museum of Japanese History. Position: Assistant Professor. Area of research: Improvement of image quality, color management, application of imaging science and technology to museum activities. Number of publications: 11. Membership to scientific societies: Society of Photographic Science and Technology of Japan, Optical Society of Japan, Institute of Image Electronics Engineers of Japan, Society for Imaging Science and Technology. Prizes for achievements in research or applications: Progressing Award from Society of Photographic Science and Technology of Japan in 2000, Itek Award from Society for Imaging Science and Technology in 2000. Markku Hauta-Kasari. Year of birth: 1970. Graduation and name of the institution: University of Technology, Lappeenranta, Finland. Year of graduation: 1999, Ph.D. degree (University of Technology, Lappeenranta). Affiliation: InFotonics Center, Department of Computer Science, University of Joensuu. Position: Director. Area of research: Color research, neural computation, pattern recognition, optical pattern recognition, computer vision, image processing. Number of publications: Articles in refereed international scientific journals: 5, Articles in refereed international scientific conferences: 9, Other Scientific Publications: 40. Membership to academies: Chairman of the Pattern Recognition Society of Finland May 2003. Membership to scientific societies: Pattern Recognition Society of Finland, member-society of IAPR (International Association for Pattern Recognition), Finnish Information Processing Association, Finnish Union of University Researchers and Teachers, Optical Society of Japan, Optical Society of America. Prizes for achievements in research or applications: The best Ph.D.-thesis award in the field of pattern recognition in 1998–1999 in Finland. Award was issued by the Pattern Recognition Society of Finland on April 25, 2000.  相似文献   

19.
古天龙  李龙 《计算机学报》2021,44(3):632-651
智能体一直是人工智能的主要研究领域之一,任何独立的能够同环境交互并自主决策的实体都可以抽象为智能体.随着人工智能从计算智能到感知智能,再到认知智能的发展,智能体已逐步渗透到无人驾驶、服务机器人、智能家居、智慧医疗、战争武器等人类生活密切相关的领域.这些应用中,智能体与环境、尤其是与人类和社会的交互愈来愈突出,其中的伦理...  相似文献   

20.
On optimizing the satisfiability (SAT) problem   总被引:2,自引:0,他引:2       下载免费PDF全文
1IntroductionThesatisfiability(SAT)problemistodeterminewhetherthereexistsanassignmentofvaluesin{0,1}toasetofBooleanvariables{x1,xm}thatmakesaconjunctivenormalform(CNF)formulatrue.ThesatisfiabilityproblemofaCNFformulawithatmostlliteralsineachclauseiscalledthel-SATproblem.Theoretically,for>3,theSATproblemisawell-knownNP-completeproblem.Andthus,thereexistsnopolynomialtimealgorithmfortheSATproblemontheassumptionthatPNP.Ontheotherhand,theSATproblemisfundamentalinsolvingmanypracticalprob…  相似文献   

设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号