期刊文献+
任意字段
题名或关键词
题名
关键词
摘要
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到1,645篇文章
< 1 2 … 83 >
每页显示 20 50 100
已选0条
引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
Training Program Reform and Curriculum Construction of Characteristic Software Innovation Talents Based on the Integration of Industry and Education 认领 引用
1
作者 Yixian Liu Jun Guo +2 位作者 Bin Zhang Dongming Chen Zhiliang Zhu 《计算机教育》 2026年第3期190-198,共9页
Aiming at the problem of innovative talent training in the industry field in characteristic software colleges,combined with the actual situation of Software College of Northeastern University,this paper analyzes the c... Aiming at the problem of innovative talent training in the industry field in characteristic software colleges,combined with the actual situation of Software College of Northeastern University,this paper analyzes the construction requirements of characteristic talent training mode and training scheme,puts forward the reform of characteristic software innovative talent training scheme integrating production and education,and takes the characteristic direction of financial technology as an example to introduce the curriculum construction based on industry-education integration and school-enterprise cooperation. 展开更多
关键词 Integration of industry and education Characteristic talents cultivation Program reform Curriculum construction
暂未订购 下载PDF
Penalty model for delay of bidding section construction period in South-to-North Water Diversion Eastern Route Project from perspective of programs 认领 引用 被引量：3
2
作者 Jing-chun FENG Ya-fang REN +2 位作者 Zhong-nan DUAN Zhan-jun LIU Hai-yang LI 《Water Science and Engineering》 EI CAS 2012年第3期350-360,共11页
According to the multi-project and program management theory, this paper analyzes the program generation principle and establishes a program based on progress goals. On the basis of the present situation of calculatio... According to the multi-project and program management theory, this paper analyzes the program generation principle and establishes a program based on progress goals. On the basis of the present situation of calculation of penalty for delay of the bidding section construction period with the critical path method, we studied the effects of contractor-induced delay of the bidding section construction period in detail, including the effects on the construction period of the bidding section itself, the earliest start times of the next bidding section and other subsequent bidding sections, and the construction period of the program, and then constructed a penalty model for delay of the bidding section construction period from the perspective of programs. Using the penalty model, we conducted a practical analysis of penalty for delay of the construction period of the Baoying station program in the South-to-North Water Diversion Project. The model can help determine the amount of penalty for delay of the construction period in bidding sections scientifically and reasonably, 展开更多
关键词 program establishment program management,＂ bidding section construction period,critical path method （CPM） penaly model, South-to-North Water Diversion Project
暂未订购 下载PDF
Nonlinear Program Construction and Verification Method Based on Partition Recursion and Morgan's Refinement Rules 认领 引用 被引量：2
3
作者 WANG Changjing CAO Zhongxiong +3 位作者 YU Chuling WANG Changchang HUANG Qing ZUO Zhengkang 《Wuhan University Journal of Natural Sciences》 CAS CSCD 2023年第3期246-256,共11页
The traditional program refinement strategy cannot be refined to an executable program,and there are issues such as low verification reliability and automation.To solve the above problems,this paper proposes a nonline... The traditional program refinement strategy cannot be refined to an executable program,and there are issues such as low verification reliability and automation.To solve the above problems,this paper proposes a nonlinear program construction and verification method based on partition recursion and Morgan’s refinement rules.First,we use recursive definition technique to characterize the initial specification.The specification is then transformed into GCL(Guarded Command Language)programs using loop invariant derivation and Morgan’s refinement rules.Furthermore,VCG(Verification Condition Generator)is used in the GCL program to generate the verification condition automatically.The Isabelle theorem prover then validates the GCL program’s correctness.Finally,the GCL code generates a C++executable program automatically via the conversion system.The effectiveness of this method is demonstrated using binary tree preorder traversal program construction and verification as an example.This method addresses the problem that the construction process’s loop invariant is difficult to obtain and the refinement process is insufficiently detailed.At the same time,the method improves verification process automation and reduces the manual verification workload. 展开更多
关键词 program construction partition recursion Morgan's refinement rules loop invariant VCG Isabelle theorem prover
暂未订购 下载PDF
Design of Aided Decision-Making Program for Prioritizing Construction Projects in Urban Road Network Planning 认领 引用 被引量：1
4
作者 任刚 王炜 顾志康 《Journal of Southeast University(English Edition)》 CAS 2002年第3期249-253,共5页
The importance and complexity of prioritizing construction projects (PCP) in urban road network planning lead to the necessity to develop an aided decision making program (ADMP). Cost benefit ratio model and stage rol... The importance and complexity of prioritizing construction projects (PCP) in urban road network planning lead to the necessity to develop an aided decision making program (ADMP). Cost benefit ratio model and stage rolled method are chosen as the theoretical foundations of the program, and then benefit model is improved to accord with the actuality of urban traffic in China. Consequently, program flows, module functions and data structures are designed, and particularly an original data structure of road ... 展开更多
关键词 prioritizing construction projects program design urban road network planning aided decision making
暂未订购 下载PDF
Program Construction Method for Sequential Statistics Class Algorithm Based on Bidirectional Scanning Induction 认领 引用
5
作者 ZUO Zhengkang WANG Yuekun +4 位作者 LIANG Zanyang SU Wei HUANG Qing WANG Yuan WANG Changjing 《Wuhan University Journal of Natural Sciences》 CAS CSCD 2023年第6期483-492,共10页
The program construction process is based on rigorous mathematical reasoning,which leads to a fully correct algorithmic program via step-by-step refinement of the program specifications.The existing program constructi... The program construction process is based on rigorous mathematical reasoning,which leads to a fully correct algorithmic program via step-by-step refinement of the program specifications.The existing program construction methods'refinement process is partly based on individual subjective speculation and analysis,which lacks a precise guidance method.Meanwhile,efficiency factors have usually been ignored in the construction process,and most of the constructed abstract programs cannot be run directly by machines.In order to solve these problems,a novel program construction method for the sequence statistical class algorithms based on bidirectional scan induction is proposed in this paper.The method takes into account the efficiency factor and thus improves the Morgan's refinement calculus.Furthermore,this paper validates the method's feasibility using an efficiency-sensitive sequential statistics class algorithm as a program construction example.The method proposed in this paper realizes the correctness construction process from program specifications to efficient executable programs. 展开更多
关键词 program construction bidirectional scanning induction sequential statistics Morgan's refinement calculus
暂未订购 下载PDF
The Construction of Linux System and Network Programming Course to Develop Engineering Ability 认领 引用 被引量：1
6
作者 Haitao Dong GuoBing Ma 《计算机教育》 2020年第12期107-113,共7页
To meet society’s needs for undergraduate students to have engineering skills and to develop students’ability to operate Linux and engage in network software development,this paper proposes the construction of a new... To meet society’s needs for undergraduate students to have engineering skills and to develop students’ability to operate Linux and engage in network software development,this paper proposes the construction of a new specialized course for network engineering major--Linux system and network programming.This paper analyzes the course’s advantages,presents the contents of this course,designs a series of teaching methods aimed at improving students’engineering ability,proposes a course assessment method that will encourage students to practice,lists the development requirements for an examination software designed for this course,and finally,presents the results of our practice in teaching this course. 展开更多
关键词 Linux teaching Linux network programming development of engineering ability course construction.
暂未订购 下载PDF
Construction of Software Design and Programming Practice Course in Information and Communication Engineering 认领 引用
7
作者 Zhigang Yang Yahui Shen +2 位作者 Lin Hou Tao Chen Yuong Qiao 《国际计算机前沿大会会议论文集》 2023年第1期3-11,共9页
Innovation and entrepreneurship education is becoming one of the important goals of higher education in China.According to the requirements of the Ministry of Education to deepen the reform of innovation and entrepren... Innovation and entrepreneurship education is becoming one of the important goals of higher education in China.According to the requirements of the Ministry of Education to deepen the reform of innovation and entrepreneur-ship education in colleges and universities,we propose a core principle of“from basis to comprehensiveness,and then to innovation”to construct the software design and programming practice course in the information and communication engineering discipline.We have integrated specialized knowledge teaching with innovation and entrepreneurship training,implemented a series of experimental projects that integrate theory with practice,and explored mixed teaching methods and diversified examination methods.In this paper,details about software design and programming practice course construction are shown from aspects of teaching content,teaching methods,and examination methods.These course construction experiences will benefit teachers who engage in innovative practical courses in the information and communication engineering discipline. 展开更多
关键词 Software design and programming practice Couse construction Information and communication engineering Comprehensive practice Innovation and entrepreneurship
Effects. of Change Orders through Technical Programs on Construction Projects in Jordan 认领 引用
8
作者 Ahmed Ali Khatatbeh 《Journal of Civil Engineering and Architecture》 2016年第11期1213-1219,共7页
Regarding construction projects, no project is implemented exactly as planned. Changes in construction projects are common due to the dynamic nature of the construction process. It is necessary to use effective and ap... Regarding construction projects, no project is implemented exactly as planned. Changes in construction projects are common due to the dynamic nature of the construction process. It is necessary to use effective and appropriate tools by project management to support decision-making and control changes during all stages of project implementation. This study examined the effects of change orders through technical programs on construction projects in Jordan and focused on how to overcome these effects by making usual orders that can be handled by each of the contracting parties. Also, this study added an advantage by not addressing the negative effects of change orders, but it provided many positive effects of change orders by using technical programs method, which has not been yet researched in Jordanian studies in particular, and in global studies in general. The researcher used descriptive analytical method by interviews to collect data through nine questions to a random sample of 30 engineers selected form constructions projects in Jordan. The results related to the study questions on the effect of change orders through technical programs on construction projects in Jordan showed that, most of the study samples confirm that change orders through technical programs decrease the cost of the projects, cause no need for more materials, cause no delay in the completion schedule, enhances the quality of work, and increase the productivity of the work force. The study recommended applying integrated change management system with technical supports form different technologies, developing effective innovative and practical solution to manage change orders and increase training programs to qualify and increase engineering skills in dealing with ICT （information and communication technologies） program. 展开更多
关键词 Change orders construction projects technical programs ICT （information and communication technologies）
暂未订购 下载PDF
Preliminary Study on Program Setting Path of Park City Street Scene Construction 认领 引用
9
作者 YANG Maomao LI Yali +2 位作者 WU Yulan YAN Qi LIU Shiliang 《Journal of Landscape Research》 2022年第5期88-92,96,共5页
In the context of park city construction,urban street space system and scene construction are the most important forms of presentation of value transformation framework.Most of the outdoor activities of urban resident... In the context of park city construction,urban street space system and scene construction are the most important forms of presentation of value transformation framework.Most of the outdoor activities of urban residents are completed in the urban street space which constitutes various scenes.Scene construction not only includes the material space as the carrier,but also includes the behaviors and activities of the participants and the time and path of “program setting”,as well as the opening and closing of events.Scene construction is an effective approach explored during the construction of the park city demonstration area,which is currently practicing the new development concept.However,there have been no reports on the specific theories,methods,processes,and systems of scene construction,especially for the lack of pattern summary and method induction for program setting in scene construction.Therefore,from the perspective of building a park city demonstration area that implements the new development concept,the paper discusses the concept,connotation,process and modularity of the program setting of street space scene construction,in order to provide certain theoretical basis for the scene construction and “value transformation” of park city street space system. 展开更多
关键词 Park city Street space Program setting Scene construction Scene module
暂未订购 下载PDF
A Follow-up Survey on the Construction and Use of Students' English Autonomous Learning Platform —— Taking Two College Students' Innovation and Entrepreneurship Programs as an Example 认领 引用
10
作者 HE He 《外文科技期刊数据库（文摘版）教育科学》 2021年第7期154-162,共9页
With the development of science and technology,various online autonomous learning platforms emerge one after another.Autonomous learning platforms have become an important channel to help students learn.From the liter... With the development of science and technology,various online autonomous learning platforms emerge one after another.Autonomous learning platforms have become an important channel to help students learn.From the literature,there is a lot of research on English platform learning and use,but the research on students'autonomous construction and use of learning platform is relatively small,which is worth studying.This study tracked and investigated the self-built learning platform projects of two university students'innovation and entrepreneurship teams in Guangxi University of Foreign Languages.Using the methods of observation,questionnaire and interview,this paper analyzes the specific conditions of the English learning platform independently constructed by the two College Students Innovation and Entrepreneurship Program students,the difficulties and gains encountered in the construction of the platform,and the users'use of the platform.The study found that students encountered different difficulties in different periods of constructing learning platforms.With the resolution of the difficulties,they have gained a lot of new knowledge and skills.Some students have produced their own research topics in the process of building a learning platform.For platform users,most people like two platforms because they can broaden their knowledge.Some people do not have a strong desire to use it,partly because they do not plan their study well and partly because they think that platform learning is not efficient.The inspiration from the research:the construction of learning platform for students is a process of learning and experience;Students need more patience and more study and research if they want to build a learning platform. 展开更多
关键词 college students'innovation and entrepreneurship program online English platform construction au
暂未订购 下载PDF
Optimizing Earth Allocation for Rock-Fill Dam Construction 认领 引用 被引量：1
11
作者 钟登华 胡程顺 张静 《Transactions of Tianjin University》 EI CAS 2005年第2期146-151,共6页
An optimal allocation of earth is of great significance to reduce the project cost and duration in the construction of rock-fill dams. The earth allocation is a dynamic system affected by various time-space constraint... An optimal allocation of earth is of great significance to reduce the project cost and duration in the construction of rock-fill dams. The earth allocation is a dynamic system affected by various time-space constraints. Based on previous studies, a new method of optimizing this dynamic system as a static one is presented. In order to build a generalized and flexible model of the problem, some man-made constraints were investigated in building the mathematic model. Linear programming and simplex method are introduced to solve the optimization problem of earth allocation. A case study in a large-scale rock-fill dam construction project is presented to demonstrate the proposed method and its successful application shows the feasibility and effectiveness of the method. 展开更多
关键词 rock-fill dam construction earth allocation dynamic allocation linear programming
暂未订购 下载PDF
An Advanced Automatic Construction Method of ROP 认领 引用
12
作者 OUYANG Yongji WANG Qingxian +1 位作者 PENG Jianshan ZENG Jie 《Wuhan University Journal of Natural Sciences》 CAS CSCD 2015年第2期119-128,共10页
Automatic return oriented programming （ROP） technology can effectively improve the efficiency of ROP constructed, but the existing research results still have some shortcomings including needing more address space, ... Automatic return oriented programming （ROP） technology can effectively improve the efficiency of ROP constructed, but the existing research results still have some shortcomings including needing more address space, poor generality. In order to solve these problems, this paper presents an improved ROP auto-constructor QExtd. Firstly, we design a Turing-complete language QExtdL and provide the basis of gadgets analysis. Secondly, we represent the MI instruction and realize precise process of side-effect instructions for improving the efficiency of automatic construction. At last, we establish a three-layer language conversion mechanism, making it convenient for users to construct ROP. Theoretical and experimental data show that the QExtd automatic construction method is much better than the ROPgadget based on syntax. In addition, the proposed method succeeds in constructing gadgets of ROP with the probability of 84% for programs whose sizes are more than 20 KB and whose directory is ＂/usr/bin＂ in Ubuntu, which proves that the construction capability improves significantly. 展开更多
关键词 return oriented programing （ROP） gadget automatic construction Turing-complete
暂未订购 下载PDF
An Intelligent Optimization Method of Reinforcing Bar Cutting for Construction Site 认领 引用
13
作者 Zhaoxi Ma Qin Zhao +3 位作者 Tianyou Cang Zongjian Li Yiyun Zhu Xinhong Hei 《Computer Modeling in Engineering & Sciences》 SCIE EI 2023年第1期637-655,共19页
To meet the requirements of specifications,intelligent optimization of steel bar blanking can improve resource utilization and promote the intelligent development of sustainable construction.As one of the most importa... To meet the requirements of specifications,intelligent optimization of steel bar blanking can improve resource utilization and promote the intelligent development of sustainable construction.As one of the most important building materials in construction engineering,reinforcing bars(rebar)account for more than 30%of the cost in civil engineering.A significant amount of cutting waste is generated during the construction phase.Excessive cutting waste increases construction costs and generates a considerable amount of CO2emission.This study aimed to develop an optimization algorithm for steel bar blanking that can be used in the intelligent optimization of steel bar engineering to realize sustainable construction.In the proposed algorithm,the integer linear programming algorithm was applied to solve the problem.It was combined with the statistical method,a greedy strategy was introduced,and a method for determining the dynamic critical threshold was developed to ensure the accuracy of large-scale data calculation.The proposed algorithm was verified through a case study;the results confirmed that the rebar loss rate of the proposed method was reduced by 9.124%compared with that of traditional distributed processing of steel bars,reducing CO2emissions and saving construction costs.As the scale of a project increases,the calculation quality of the optimization algorithmfor steel bar blanking proposed also increases,while maintaining high calculation efficiency.When the results of this study are applied in practice,they can be used as a sustainable foundation for building informatization and intelligent development. 展开更多
关键词 Building construction rebar work cutting stock problem optimization algorithm integer linear programming
暂未订购 下载PDF
HIERARCHICAL ITERATIVE GA FOR OPTIMIZATION OF THE PLAN IN COAL MINE CONSTRUCTION  认领 引用
14
作者 田军 寇纪淞 李敏强 《Transactions of Tianjin University》 CAS 1999年第2期45-48,共4页
In coal mine construction,to make the optimal plan of complete sets of equipment needs to set up a mixed integer nonlinear programming model,which has many variables and more complicated parameters to set.The problem ... In coal mine construction,to make the optimal plan of complete sets of equipment needs to set up a mixed integer nonlinear programming model,which has many variables and more complicated parameters to set.The problem could hardly be solved using general methods.In this paper a new genetic approach—the hierarchical iterative genetic algorithm (HIGA) was designed to solve it and a satisfactory solution was obtained. 展开更多
关键词 coal mine construction nonlinear programming genetic algorithm
暂未订购 下载PDF
Exploration on 5E Teaching Principle-based Education for the Object-oriented Software Construction Course 认领 引用
15
作者 Cuiyun Gao Jia Xie +3 位作者 Bin Zhou Jianghong Ma Jianlong Wu Yunming Ye 《计算机教育》 2023年第12期187-194,共8页
Most current object-oriented programming courses offered by domestic colleges and universities generally focus on the object-oriented programming language itself,i.e.,the programming grammar of the language,but ignore... Most current object-oriented programming courses offered by domestic colleges and universities generally focus on the object-oriented programming language itself,i.e.,the programming grammar of the language,but ignore the design pattern.However,design patterns are essential to software engineering because they can solve common problems in software design and improve code reuse,readability,extensibility,and reliability.Our Object-oriented Software Construction Course is creative since it aims at cultivating students’object-oriented thinking as well as basic abilities required to construct high-quality,object-oriented software.Specifically,we exploit the 5E teaching principle during the education of this course,and present the whole pipeline in the paper.We also provide one case of the factory pattern to further demonstrate the implementation of the 5E teaching principle in the course.The effect of the 5E teaching principle has also been demonstrated. 展开更多
关键词 Object-oriented software construction 5E teaching principle Programming Design pattern
暂未订购 下载PDF
3I3S:Practice in the Software Engineering Degree Granting Program at Harbin Institute of Technology 认领 引用
16
作者 Zhongjie Wang Tonghua Su +3 位作者 Shuang Yu Shuo Jin Yingxin Tian Yin Chen 《计算机教育》 2025年第3期71-79,共9页
In response to the current issues in the construction of software engineering(SE)degree granting program,such as insufficient resource integration,low level of internationalization,and inadequate quality control,we pr... In response to the current issues in the construction of software engineering(SE)degree granting program,such as insufficient resource integration,low level of internationalization,and inadequate quality control,we propose the Software Engineering Degree Granting Program Construction Practice Project at Harbin Institute of Technology(HIT).This project aims to explore new models for software talent cultivation,establish a superior SE degree granting program,and ultimately cultivate outstanding internationalized composite SE professionals to support the high-quality development of the national software industry.To this end,we design a distinctive overall construction idea and plan for the SE degree granting program,which are characterized by“3I3S:three highlights for specialized cultivation and strictness in three aspects to ensure quality control”.After years of practice and validation of the project at the School of Software at HIT,this project has proven effective in optimizing talent cultivation models,enhancing students’practical abilities,promoting international exchange and cooperation,advancing industry-education integration,and meeting industrial needs. 展开更多
关键词 Software engineering major Degree granting program construction Quality assurance system
暂未订购 下载PDF
A Study of the Double Object Construction 认领 引用
17
作者 Cormspondence: He Xiaowei,Faculty Of English Language and CultureGuangdong Universing Of Foreign Studies,Guangzhou, P R..China 510420< stxWhe @gdufs. edu.cn > 《现代外语》 CSSCI 北大核心 1999年第4期331-333,共3页
Thestudyofthedoubleobjectconstructionhasbeenoneofthetopicsintheliteratureofgenerativegrammar.Themajorquestionsare:1)theCaseproblemsofthetwoobjects;2)therelationbetweenthedoubleobjectconstructionandthedativeconstructio... Thestudyofthedoubleobjectconstructionhasbeenoneofthetopicsintheliteratureofgenerativegrammar.Themajorquestionsare:1)theCaseproblemsofthetwoobjects;2)therelationbetweenthedoubleobjectconstructionandthedativeconstruction.InGB,Caseisassignedtoanominalun... 展开更多
关键词 the double object construction the minimalist program feature checking merge
暂未订购 下载PDF
Optimum Calculation Method for Cable Force of Concrete-filled Steel Tube Arch Bridge in Inclined Cable-stayed Construction 认领 引用 被引量：1
18
作者 LI Yang WANG Jiang-long GE Su-su 《Journal of Highway and Transportation Research and Development(English Edition)》 2017年第1期42-48,共7页
Iterative initial value of cable force based on influence matrix and linear programming is determined to study the cable force of long-span concrete-filled steel tube(CFST)arch bridge using the cable-hoisting construc... Iterative initial value of cable force based on influence matrix and linear programming is determined to study the cable force of long-span concrete-filled steel tube(CFST)arch bridge using the cable-hoisting construction method.Considering the effect of tangential displacement,we observed the appropriate cable force through the golden selection method and iterative forward erection.The cable force determination flow and method aimed at the installation shape are analyzed,which shows that the one-off tension of the cable force on a cable-hoisting CFST arch bridge focusing on installation shape is achieved and serves as a reference for similar engineering practices. 展开更多
关键词 bridge engineering optimized calculation method for cable force influence matrix cable force of cable-hoisting construction linear programming
暂未订购 下载PDF
Optimization of Resource in the Industry of Construction 认领 引用
19
作者 Francisco Javier Gutierrez Garcia Pedro Perez Diaz Pedro Sanchez Luis 《Journal of Civil Engineering and Architecture》 2014年第9期1145-1150,共6页
Time and cost are two of the most important factors to consider in each construction project. In order to maximize performance, both the client and the contractor will work to optimize both the duration of the project... Time and cost are two of the most important factors to consider in each construction project. In order to maximize performance, both the client and the contractor will work to optimize both the duration of the project and its cost. We show a model of linear entire mixed programming to solve the considered problem. The aim is to minimize the project total time, by means of the assignment of equipments of work to the different production lines of the activities to realizing. The fundamental beginning is to support the same production （rate of production in meters/day of the activity in view of the equipment of work） for tbe different equipments to achieve the maximum efficiency in each period of time. With the limited availability of resources, the work must be continuous and the period of time between operations and final must be kept. However, this paper also presents the bibliographical study on methodologies of the optimization of construction processes in response to the two objectives： time and cost. This will consider the use of recta-heuristic techniques, such as population based algorithms. 展开更多
关键词 Optimization construction process heuristics mathematical programming.
暂未订购 下载PDF
The Influence of Construction Manager Experience in Project Accomplishment 认领 引用
20
作者 Mamoon Mousa Atout 《Management Studies》 2014年第8期515-532,共18页
Nowadays, construction projects became more complex, where the responsibility of construction manager is to control and plan the project resources in a professional way to handover the project in terms of time, cost, ... Nowadays, construction projects became more complex, where the responsibility of construction manager is to control and plan the project resources in a professional way to handover the project in terms of time, cost, and quality. The aim of this study is to analyze the affect of the long experience of the construction manager on project success; it aims to identify the capability skills that the construction manager should have to complete the project on time. The fmding of this study is to help in understanding the factors that influence the project success through the long experience of the construction manager. 展开更多
关键词 resource scheduling quality control cost control construction methodology detailed working program project materials
暂未订购 下载PDF
已选0条
引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 2 … 83 下一页 到第 页
在线咨询 使用帮助 返回顶部 意见反馈