User:Zhangyinsheng

Dr.Zhang Yinsheng’s Curriculum

Application for: HPD/01：Head of Policy Development, SKA Organization Basic Information

Name: Zhang Yinsheng Gender: Male Nationality: People’s Republic of China E-mail: zhangyinshengnet@sina.com

Main memberships ① A senior member of China Computer Federation (CCF), and a member of the 3 CCF ‘s Technical Committees of Theoretical Computer Science, of Multiple-Valued and Fuzzy Logic and of Office Automation.Certificate No.E20-0009697S ② A member of the Chinese Mathematical Society (CMS). Member No.0101014 ③ A member of the Association for Computing Machinery (ACM,USA). Certificate No. 1690112

Education 2000 ~ 2003 Ph.D of Remin University of China, major in Philosophy of Science. 2001~ 2002 Completed Graduate Course, Graduate School,Chinese Academy of Sciences, major in Computer Software and Theory. 1980 ~ 1984 Bacholar Major in Linguistics,Heilongjiang University.

Work Positions 2006 to present Acossiate Researsh Fellow in Information Technology Support Center, Institute of Scientific and Technological Information of China, affilliation of the Ministry of Science and Technology, P.R.China. 2011~2012 Senior Researsh Associate in the Department of Chinese,Translation and Linguistics,City University of Hong Kong 2004 ~ 2006 Post-docter researcher in the Institute of Science, Technology and Society,Tsinghua University.Completed a comparative study on Scientific and Technological System Reform of China and Russia. 2004       Engineering and projct manager in China Software Testing Center,China Information Industry Development Institute, affilliation of The Ministry of Industry and Information Technology, P.R.China,being responsible for leading a team to develop the software tool finding sneak path in aerospace and military software. 1992 ~ 2001 Project Manager and supervisor (since 1998) of BOCO Inter-Telecom Co.,Ltd., listed in Shanghai Stock Exchange. 1984 ~ 1992 Researcher (on middle-level in the latter), Policy Research Department of Shuangyashan Municiple Government.

Some Policy Research Experience

From September of 1984 to 1992, I worked in Policy Research Office of Shuangyashan Municiple Government,Heilongjiang Province,China, which is a specific policy-research-and- consulting department supporting to make important policies of reform and development of the city. In that time, China initiated the reform of economic system, and cities proceeded with transforming development modes beyond simple mandatory plans.My main work mainly centered these issues. The main policies, based our policy research and proposals, included reform policies of state-owned enterprises in enlarging autonomy, finance and taxation etc., of coordinated development of economy and society, as well as policies about city economic and social development strategy.

More than two years from 2004 to 2006, as a post-doctor research fellow, I made comparative research on scientific and technological system reform of China and Russia, aiming to extract lessons from the trasnfoming countries, and to find good and effective policies to boost research and development (R &D),especialy on mechanisms and effectiveness of input and promotion of R &D.

Since 2006 up to now, I have been working in the Institute directly belonging to the Ministry of Science and Technology of China. Although my work is of information technology, but it is policy-oriented and highly policy-related. Recent years, production, dissemination and application of knowledge, especially by information technologies, including science frontiers tracking, knowledge discovery and so on, is my main work.

Some Recent Research Projects on Mathematics and Information Technology

① Monograph “Methods and Theories of Mathematic Proof” wrote by Zhang Yinsheng, funded by Chinese Foundation for Teacher Development in 2012, will published in 2013 (has been approved, now in checking).It integrates classic and up-to-date methods of mathematic proofs, and summarizes theories on (in)consistency, (in)completeness and computability of mathematic proofs.

② “A Primary Study on Expression of Science and its Cognition for Machines”. A prestudy project of Institute of Scientific and Technological Information of China, Solely completed, July 2007~ Aug.2008. ③ “A Primary Study on Monitoring Science Focuses”. A prestudy project of Institute of Scientific and Technological Information of China, Solely completed, Jan. 2007~ Dec.2007. ④ “The Construction of Monitoring, Analyzing and Assessing System of Scientific and Technological Resources in Networks”, an Application Services Support Project of National Facilities and Information Infrastructure for Science and Technology, Being responsible for technology and implementation. Jan.2006 ~June 2009. ⑤“Quality Assurance Methods, Tools and Application of High Confident and Concurrent Real-Time System”, a National Science and Technology Major Project of the Ministry of Science and Technology of China. Being responsible for the sub-project “The Tool Development Finding Sneak Path in Real Time System”. April ~Sept.,2004.

Experience on Organizing International Cooperation and Managing International Funding Projects

During 1995-2000, as the responsible manager of BOCO Inter-Telecom Co.,Ltd., participated in some International Competitive Bidding (ICB) for mechanical and electrical equipment supplying, successfully won 3 contracts and effectively performed the contracts: (1)China Grain Distribution & Marketing Project for HaiLun Grain Intermediate Depot funded by the World Bank on March 16, 1999.Bid No. CICW-986036 for Hailun ID MEC.Contract No. 99CN11IBF50031410. (2) China Grain distribution & Marketing Project for Jilin dryer funded by the World Bank on August 30,1999.BID No.CICW-996035 (Dehui ID MEC).Contract No. 99CN11IBF50033131. (3)As the agent of New Holland Trade N.V (Italy), won the contract of 363 units of wheel-type tractor (106.7-114kw), in Sanjiang Plain Agricultural Development Project (P82) funded by the Overseas Economic Cooperation Fund of Japan on Sept. 8,1998,Bid No.CNTIC-J98145.

Some Cosmology Knowledge

Astronomy knowledge is partly in my understanding for my work tracking frontiers in cosmology progress; moreover, cosmology is also my high interesting field lasting to my doctoral study and my mathematic study. My recent paper “Architecture and Performance Methods of a Knowledge Support System of Ubiquitous Time Computation” has been accepted by Journal of Software. The paper proposes a knowledge support system for ubiquitous time computation based on Einstein’s general theory of relativity. The paper and the acceptance notice from the journal are attached to the present curriculum.

Recent Publications

(1) Zhang Yinsheng and Bao Ou. Reform Progress of Russian System of Science and Technology. Journal “Comparison of Economic and Social System”,2005,vol.3,pp.56-62 (2) Zhang Yinsheng and Bao Ou. Performance Analysis of China's reform of science and technology,Review and Prospect of the reform of science and technology between China and Russia.Shandong Education Press,2007,pp.37-43. (3) Bao Ou and Zhang Yinsheng.Comparative study on the reform of science and technology between China and Russia, Review and Prospect of the reform of science and technology between China and Russia.Shandong Education Press,2007,pp.49-56 (4) Zhang Yinsheng. Expanded Syllogisms and Automatic Reasoning, Beijing: Science and Technology Documentary Publishing House, 2009.It is a monograph with 0.3 million words proving the inconsistency of syllogisms and giving the automated reasoning resolution removing the inconsistency. (5) Zhang Yinsheng. Qiao Xiaodong. A Formal System of Aristotelian Syllogism based on Automata Grammar. 2009 WRI World Congress on Computer Science and Information Engineering, CSIE 2009 v 5, p 173-178. (6) Qiao Xiaodong, Zhang Yinsheng, Shi Qixian. A Deductive System of Aristotelian Syllogism.Proceedings of 11th International Conference on Computer Modeling and Simulation. IEEE press 2009:4-8. (7) Zhang Yinsheng. On Essence and Classification of Logic. Academic Research in the Humanities, 2007, Jilin People's Publishing House,2007:238-243. (8) Zhang Yinsheng. A Method of Abstraction of Definition Sentences from Chinese Texts, Journal of Computers and Digital Engineering, 2011,Vol 39(10) pp.45-47. (9) Zhang Yinsheng. The Text Feature Models of Scientific Progress.EMS2008: 2nd UKSim European Symposium on Computer Modeling and Simulation. IEEE Press,2008,pp.465-468. (10) Zhang Yinsheng. The principle and application of interaction between touch sensors and Chinese characters in VRML. Journal of Computer Application, 2008（supplement）pp.1042-1043 (11) Qiao Xiaodong, Li Peng, Liang Jian, Zhang Yinsheng. The Integrated Technologies Monitoring, Analyzing and Assessing Network Resources and Services. Journal of Digital Library Forum, 2008 (11) pp.50-54 (Zhang Yinsheng is the corresponding author) (12) LI Peng, Qiao Xiaodong, LIANG Jian, Hanfeng,Wang Jitian, ZHANG Yinsheng, Data Acquisition Based on User Browsing Behaviors and its Application. Journal of the Modern Technology of Library and Information, 2008(11) 56-59. (13) Zhang Yinsheng, Qiao Xiaodong, Han Feng, Wang Jitian,Liang Jian,Li Peng. A Web Service Monitoring Indicator and Model System and Performance. Proceedings of 11th International Conference on Computer Modeling and Simulation. IEEE press .2009,pp.474-478. (14) Zhang Yinsheng, Qiao Xiaodong, Liang Jian,Li Peng. Monitoring Networks Resources in Different Layers, Journal of Computer & Digital Engineering,Vol.37,No.9, 2009,pp.143-146 (15) Internet Computing: Not Beyond Turing Machine, Proceedings of the 6th International Conference on Cooperation and Promotion of Information Resources in Science and Technology (COINFO'11),Scientific Research Publishing (SRP,USA) 2011,pp.269, also see Journal of China Computer Federation Communications, 2010 Vol.6 No.10,pp.45-48 (in Chinese) (16) Qiao Xiaodong, Zhang Yinsheng, Zhang Kejun. An Integration Technology of One Domain and Cross Domain Evolution of Industrial Design Knowledge.2008 IEEE 9th International Conference on Computer-Aided Industrial Design & Conceptual Design. IEEE Press, 2008:477-480. (17) Yinsheng Zhang.The Key Technologies of Engine of Web-Based Virtual Reality, Collections of the 8th International Conference on Computer-Aided Industrial Design and Conceptual Design, International Academic Publishers Limited, 2007pp.242-245. (18) Yinsheng Zhang.A method for automatic generation of interactive Web pages animation. Proceedings of the National Conference on educational games and virtual reality, Publishing House of Electronics Industry, 2007,pp.209-213. (19) Yinsheng Zhang.The core technologies for automatic generation of Web Virtual Reality. Proceedings of the National First Conference on Applications of Digital (Virtual) Science and Technology Museum, Science and Technology Documentary Publishing House, 2007,pp.80-87. (20) Zhang Yinsheng. Calculus of First-Order-Logic Categorical Propositions. Proceedings of 12nd Annual Academic Conference of Technical Committee of Multiple-Valued and Fuzzy Logic of China Computer Federation. pp 109-117,2010.

Award (1)The Report of Post-Doctoral Research was awarded “Excellent” in Tsinghua University.(2006) (2)The paper Calculus of First-Order-Logic Categorical Propositions in Proceedings of 12nd Annual Academic Conference of Technical Committee of Multiple-Valued and Fuzzy Logic of China Computer Federation awarded an excellent in the conference. (2011)

English Fluent and sufficient for the position. Passed a specific English test for overseas visit scholar in 2012 in Beijing Language and Culture University.