期刊文献+
共找到72篇文章
< 1 2 4 >
每页显示 20 50 100
Design and Finite Element Analysis of a New Type of Skeleton-Free,Traversing Secondary Lining Trolley
1
作者 Liang He 《Journal of Architectural Research and Development》 2025年第3期150-158,共9页
To effectively address the challenge where the speed of tunnel lining construction struggles to match that of tunnel face and inverted arch construction,and to enhance the quality of secondary lining,a new type of ske... To effectively address the challenge where the speed of tunnel lining construction struggles to match that of tunnel face and inverted arch construction,and to enhance the quality of secondary lining,a new type of skeleton-free,traversing secondary lining trolley has been developed.This trolley features a set of gantries paired with two sets of formwork.The formwork adopts a multi-segment hinged and strengthened design,ensuring its own strength can meet the requirements of secondary lining concrete pouring without relying on the support of the gantries.When retracted,the formwork can be transported by the gantries through another set of formwork in the supporting state,enabling early formwork support,effectively accelerating the construction progress of the tunnel’s secondary lining,and extending the maintenance time of the secondary lining with the formwork.Finite element software modeling was used for simulation calculations,and the results indicate that the structural strength,stiffness,and other performance parameters of the new secondary lining trolley meet the design requirements,verifying the rationality of the design. 展开更多
关键词 TUNNEL Secondary lining trolley Skeleton-free traversing Finite element analysis
在线阅读 下载PDF
Medical Image Encryption Based on Josephus Traversing and Hyperchaotic Lorenz System 被引量:2
2
作者 杨娜 张淑霞 +1 位作者 白牡丹 李珊珊 《Journal of Shanghai Jiaotong university(Science)》 EI 2024年第1期91-108,共18页
This study proposes a new medical image encryption scheme based on Josephus traversing and hyper-chaotic Lorenz system.First,a chaotic sequence is generated through hyperchaotic system.This hyperchaotic sequence is us... This study proposes a new medical image encryption scheme based on Josephus traversing and hyper-chaotic Lorenz system.First,a chaotic sequence is generated through hyperchaotic system.This hyperchaotic sequence is used in the scrambling and diffusion stages of the algorithm.Second,in the scrambling process,the image is initially confused by Josephus scrambling,and then the image is further confused by Arnold map.Finally,generated hyperchaos sequence and exclusive OR operation is used for the image to carry on the positive and reverse diffusion to change the pixel value of the image and further hide the effective information of the image.In addition,the information of the plaintext image is used to generate keys used in the algorithm,which increases the ability of resisting plaintext attack.Experimental results and security analysis show that the scheme can effectively hide plaintext image information according to the characteristics of medical images,and is resistant to common types of attacks.In addition,this scheme performs well in the experiments of robustness,which shows that the scheme can solve the problem of image damage in telemedicine.It has a positive significance for the future research. 展开更多
关键词 medical image image encryption Josephus traversing hyperchaotic Lorenz system
原文传递
Tailoring d-band center over electron traversing effect of Ni M@C-CoP(M=Zn,Mo,Ni,Co)for high-performance electrocatalysis hydrogen evolution 被引量:2
3
作者 Hao Luo Xudong Zhang +5 位作者 Hui Zhu Kexin Zhang Fan Yang Kewei Xu Sen Yu Dagang Guo 《Journal of Materials Science & Technology》 SCIE EI CAS CSCD 2023年第35期164-172,共9页
Attaining a highly efficient and inexpensive electrocatalyst is significant for the hydrogen evolution reaction(HER)but still challenging nowadays.The transition-metal phosphides(TMPs)catalysts with platinum-like elec... Attaining a highly efficient and inexpensive electrocatalyst is significant for the hydrogen evolution reaction(HER)but still challenging nowadays.The transition-metal phosphides(TMPs)catalysts with platinum-like electronic structures are a potential candidate for the HER,but those are prone to be strongly bound with hydrogen intermediates(H∗),resulting in sluggish HER kinetics.Herein we report a unique hybrid structure of CoP anchored on graphene nanoscrolls@carbon nano tubes(CNTs)scaffold(Ni M@C-CoP)encapsulating various Ni M(M=Zn,Mo,Ni,Co)bimetal nanoalloy via chemical vapor deposi-tion(CVD)growth of CNT on graphene nanoscrolls followed by the impregnation of cobalt precursors and phosphorization for efficiently electrocatalytic hydrogen evolution.CoP nanoparticles mainly scattered at the tip of CNT branches which exhibited the analogical“Three-layer core-shell”structures.Experiments and density functional theory(DFT)calculations consistently disclose that the encapsulated various NiMs can offer different numbers of electrons to weaken the interactions of outmost CoP with H∗and push the downshift of the d-band center to different degrees as well as stabilize the outmost CoP nanopar-ticles to gain catalytic stability via the electron traversing effect.The electrocatalytic HER activity can be maximumly enhanced with low overpotentials of 78 mV(alkaline)and 89 mV(acidic)at a current density of 10 mA/cm^(2) and sustained at least 24 h especially for NiZn@C-CoP catalyst.This novel system is distinct from conventional three-layer heterostructure,providing a specially thought of d-band center control engineering strategy for the design of heterogeneous catalysts and expanding to other electrocat-alysts,energy storage,sensing,and other applications. 展开更多
关键词 Electron traversing effect 3D graphene/CNT CoP nanoparticle d-band center Hydrogen evolution
原文传递
Recent changes in underground traversing techniques in Western Australia
4
作者 A. Jarosz L. Shepherd 《中国有色金属学会会刊:英文版》 CSCD 2005年第S1期284-288,共5页
The survey configuration, instrumentation and error propagation in the control survey technique known as “wall station traversing” were analyzed. Wall mounted survey points was utilized as an alternative to roof (ba... The survey configuration, instrumentation and error propagation in the control survey technique known as “wall station traversing” were analyzed. Wall mounted survey points was utilized as an alternative to roof (backs) mounted points. Recently, this technique has gained widespread acceptance in underground metalliferous mines in Western Australia. The error propagation of the “wall stations” technique in relation to classical traversing was analyzed and compared, and an optimal survey procedure and configuration for this technique was derived. 展开更多
关键词 MINE SURVEYING SURVEY control traversing
在线阅读 下载PDF
Distributed Broker-Agent Architecture for Multimedia Communications Traversing NAT/Firewall in NGN
5
作者 苟先太 金炜东 《Journal of Southwest Jiaotong University(English Edition)》 2004年第2期123-129,共7页
The forthcoming Next Generation Network (NGN) is an all IP network. Multimedia communications over IP networks are a type of bundled session communications, which cannot directly traverse Network Address Translations ... The forthcoming Next Generation Network (NGN) is an all IP network. Multimedia communications over IP networks are a type of bundled session communications, which cannot directly traverse Network Address Translations (NATs) and firewalls even in NGN. To solve the problem that the existing traversal methods are not suitable for service providers to set up a real system in NGN, a Distributed Broker-agent Architecture (DBA) is addressed. DBA is secure and realizable for service providers and enterprises because it is easy to set up and does not need to upgrade the existing devices like Firewalls, NATs or endpoint devices of subscribers. DBA is composed of two-layer distributed agents, the server proxies and the client agents, in which all multimedia communications use shared tunnels to carry signaling messages and media data between broker-agents, and the call signaling is encrypted over Security Socket Layer (SSL) to guarantee the security of calling. Moreover, the function model and multiplexed connection messages format of DBA are designed, which lays a basis for the protocol in the future NGN. In addition, a simple implementation based on H.323 verifyies the main function of traversing firewalls and NATs. 展开更多
关键词 Broker-agent Next Generation Network Multimedia communication traversing NAT/firewall
在线阅读 下载PDF
Building Traversing NAT IPv6 Tunnel Gateway System Relies on Netfilter/Iptable Framework 被引量:1
6
作者 余勇 王伟 《Journal of Electronic Science and Technology of China》 2006年第4期438-442,共5页
The transition from IPv4 to IPv6 is doomed to be a long process. The network Address translation (NAT) technology is used very popularly in IPv4 network to make up the shortage of network address. It is a desiderate... The transition from IPv4 to IPv6 is doomed to be a long process. The network Address translation (NAT) technology is used very popularly in IPv4 network to make up the shortage of network address. It is a desiderated problem to make the users behind NAT gateway to access to IPv6 networks. By studying the transition technology from IPv4 to IPv6 and introducing NAT technology in IPv6, a scenario is put forward through 6to4 tunnel The scenario is implemented and the gateway system's performance is analyzed. 展开更多
关键词 IPV6 network address translation (NAT) transition TRAVERSE SYSTEM
在线阅读 下载PDF
Computation graph pruning based on critical path retention in evolvable networks
7
作者 XIE Xiaoyan YANG Tianjiao +4 位作者 ZHU Yun LUO Xing JIN Luochen YU Jinhao REN Xun 《High Technology Letters》 2025年第3期266-272,共7页
The dynamic routing mechanism in evolvable networks enables adaptive reconfiguration of topol-ogical structures and transmission pathways based on real-time task requirements and data character-istics.However,the heig... The dynamic routing mechanism in evolvable networks enables adaptive reconfiguration of topol-ogical structures and transmission pathways based on real-time task requirements and data character-istics.However,the heightened architectural complexity and expanded parameter dimensionality in evolvable networks present significant implementation challenges when deployed in resource-con-strained environments.Due to the critical paths ignored,traditional pruning strategies cannot get a desired trade-off between accuracy and efficiency.For this reason,a critical path retention pruning(CPRP)method is proposed.By deeply traversing the computational graph,the dependency rela-tionship among nodes is derived.Then the nodes are grouped and sorted according to their contribu-tion value.The redundant operations are removed as much as possible while ensuring that the criti-cal path is not affected.As a result,computational efficiency is improved while a higher accuracy is maintained.On the CIFAR benchmark,the experimental results demonstrate that CPRP-induced pruning incurs accuracy degradation below 4.00%,while outperforming traditional feature-agnostic grouping methods by an average 8.98%accuracy improvement.Simultaneously,the pruned model attains a 2.41 times inference acceleration while achieving 48.92%parameter compression and 53.40%floating-point operations(FLOPs)reduction. 展开更多
关键词 evolvable network computation graph traversing dynamic routing critical path retention pruning
在线阅读 下载PDF
A novel approach to visual image encryption:2D hyperchaos,variable Josephus,and 3D diffusion
8
作者 Yan Hong Xinyan Duan +2 位作者 Jingming Su Zhaopan Wang Shihui Fang 《Chinese Physics B》 2025年第4期335-352,共18页
With the development of the Internet,image encryption technology has become critical for network security.Traditional methods often suffer from issues such as insufficient chaos,low randomness in key generation,and po... With the development of the Internet,image encryption technology has become critical for network security.Traditional methods often suffer from issues such as insufficient chaos,low randomness in key generation,and poor encryption efficiency.To enhance performance,this paper proposes a new encryption algorithm designed to optimize parallel processing and adapt to images of varying sizes and colors.The method begins by using SHA-384 to extract the hash value of the plaintext image,which is then processed to determine the chaotic system’s initial value and block size.The image is padded and divided into blocks for further processing.A novel two-dimensional infinite collapses hyperchaotic map(2DICHM)is employed to generate the intra-block scrambling sequence,while an improved variable Joseph traversal sequence is used for inter-block scrambling.After removing the padding,3D forward and backward shift diffusions,controlled by the 2D-ICHM sequences,are applied to the scrambled image,producing the ciphertext.Simulation results demonstrate that the proposed algorithm outperforms others in terms of entropy,anti-noise resilience,correlation coefficient,robustness,and encryption efficiency. 展开更多
关键词 SHA-384 two-dimensional infinite collapses hyperchaotic map(2D-ICHM) variable Joseph traversal 3D forward shift diffusion
原文传递
Conformally symmetric wormhole solutions supported by non-commutative geometry in f(Q,T)gravity
9
作者 Chaitra Chooda Chalavadi V Venkatesha +1 位作者 N S Kavya S V Divya Rashmi 《Communications in Theoretical Physics》 SCIE CAS CSCD 2024年第2期111-124,共14页
This paper investigates wormhole solutions within the framework of extended symmetric teleparallel gravity,incorporating non-commutative geometry,and conformal symmetries.To achieve this,we examine the linear wormhole... This paper investigates wormhole solutions within the framework of extended symmetric teleparallel gravity,incorporating non-commutative geometry,and conformal symmetries.To achieve this,we examine the linear wormhole model with anisotropic fluid under Gaussian and Lorentzian distributions.The primary objective is to derive wormhole solutions while considering the influence of the shape function on model parameters under Gaussian and Lorentzian distributions.The resulting shape function satisfies all the necessary conditions for a traversable wormhole.Furthermore,we analyze the characteristics of the energy conditions and provide a detailed graphical discussion of the matter contents via energy conditions.Additionally,we explore the effect of anisotropy under Gaussian and Lorentzian distributions.Finally,we present our conclusions based on the obtained results. 展开更多
关键词 traversable wormhole f(Q T)gravity energy conditions non-commutative geometry conformal motion
原文传递
Macroscopic Traversable Wormholes: Minimum Requirements
10
作者 Peter K. F. Kuhfittig 《International Journal of Astronomy and Astrophysics》 2024年第3期230-243,共14页
While wormholes are just as good a prediction of Einstein’s theory as black holes, they are subject to severe restrictions from quantum field theory. To allow for the possibility of interstellar travel, a macroscopic... While wormholes are just as good a prediction of Einstein’s theory as black holes, they are subject to severe restrictions from quantum field theory. To allow for the possibility of interstellar travel, a macroscopic wormhole would need to maintain sufficiently low radial tidal forces. It is proposed in this paper that the assumption of zero tidal forces, i.e., the limiting case, is sufficient for overcoming the restrictions from quantum field theory. The feasibility of this approach is subsequently discussed by 1) introducing the additional conditions needed to ensure that the radial tidal forces can indeed be sufficiently low and 2) by viewing traversable wormholes as emergent phenomena, thereby increasing the likelihood of their existence. 展开更多
关键词 Morris-Thorne Wormholes Traversability Minimum Requirements STABILITY Compatibility with Quantum Field Theory
在线阅读 下载PDF
伺服驱动在精确定位磁盘位置上的应用
11
作者 赵海燕 郭利中 刘鹏 《包钢科技》 2010年第6期41-43,共3页
"SIMODRIVE 611 Universal"是一种具有独立驱动控制器的轴控制模块,在"定位"方式下最多可被选择并执行64个快移程序段。文章介绍了SIMODRIVE 611U在自动打包机线中磁盘接近参考点原理及在吊装传递管捆过程中精确定... "SIMODRIVE 611 Universal"是一种具有独立驱动控制器的轴控制模块,在"定位"方式下最多可被选择并执行64个快移程序段。文章介绍了SIMODRIVE 611U在自动打包机线中磁盘接近参考点原理及在吊装传递管捆过程中精确定位磁盘位置上的应用。 展开更多
关键词 SIMODRIVE611 UNIVERSAL 建立参考点 traversing BLOCKS
在线阅读 下载PDF
轿车尾流移测试验研究 被引量:1
12
作者 张群锋 王望予 +1 位作者 傅立敏 蔡国华 《兵工学报》 EI CAS CSCD 北大核心 2000年第1期57-60,共4页
轿车的尾流结构与其空气阻力、升力与安全性有密切联系 ,为进一步研究轿车尾流结构及验证尾流场数值模拟结果的精确性提供依据 ,需通过试验得到较为全面地反映尾流结构的定量信息。为此 ,进行了红旗CA774轿车 1 10模型的七孔探针尾流移... 轿车的尾流结构与其空气阻力、升力与安全性有密切联系 ,为进一步研究轿车尾流结构及验证尾流场数值模拟结果的精确性提供依据 ,需通过试验得到较为全面地反映尾流结构的定量信息。为此 ,进行了红旗CA774轿车 1 10模型的七孔探针尾流移测试验 。 展开更多
关键词 尾流结构 尾流移测 七孔探针 A WAKE TRAVERSE SURVEY ON PASSENGER CARS Zhang Qunfeng Wang Wangyu FU Limin
在线阅读 下载PDF
陀螺控制导线精度的正确评定 被引量:2
13
作者 冯仲科 陈于恒 《有色金属》 CSCD 1992年第1期1-5,9,共6页
本文推证了陀螺控制导线精度评定的严密公式,并讨论了用误差椭圆来表示最弱点点位精度的方法。所有评定精度的公式均依据最小二乘矩阵平差原理得出,这些公式对正确进行误差预计很有意义。
关键词 EVALUATION Gyro-control traverse PRECISION Error ellipse
在线阅读 下载PDF
Optimization of RDF link traversal based query execution 被引量:2
14
作者 朱艳琴 花岭 《Journal of Southeast University(English Edition)》 EI CAS 2013年第1期27-32,共6页
Aiming at the problem that only some types of SPARQL ( simple protocal and resource description framework query language) queries can be answered by using the current resource description framework link traversal ba... Aiming at the problem that only some types of SPARQL ( simple protocal and resource description framework query language) queries can be answered by using the current resource description framework link traversal based query execution (RDF-LTE) approach, this paper discusses how the execution order of the triple pattern affects the query results and cost based on concrete SPARQL queries, and analyzes two properties of the web of linked data, missing backward links and missing contingency solution. Then three heuristic principles for logic query plan optimization, namely, the filtered basic graph pattern (FBGP) principle, the triple pattern chain principle and the seed URIs principle, are proposed. The three principles contribute to decrease the intermediate solutions and increase the types of queries that can be answered. The effectiveness and feasibility of the proposed approach is evaluated. The experimental results show that more query results can be returned with less cost, thus enabling users to develop the full potential of the web of linked data. 展开更多
关键词 web of linked data resource description framework link traversal based query execution (RDF-LTE) SPARQL query query optimization
在线阅读 下载PDF
Caterpillar-like 3D graphene nanoscrolls@CNTs hybrids decorated with Co-doped MoSe_(2)nanosheets for electrocatalytic hydrogen evolution 被引量:2
15
作者 Hao Luo Hongfei Gao +4 位作者 Xudong Zhang Fan Yang Chen Liu Kewei Xu Dagang Guo 《Journal of Materials Science & Technology》 SCIE EI CAS CSCD 2023年第5期43-53,共11页
Hydrogen is a clean and flexible energy carrier that has the promising to satisfy urgent demands of the energy crisis and environmental protection.Electrochemical hydrogen evolution reaction(HER),a critical half-react... Hydrogen is a clean and flexible energy carrier that has the promising to satisfy urgent demands of the energy crisis and environmental protection.Electrochemical hydrogen evolution reaction(HER),a critical half-reaction in water splitting,is one of the greenest and most common methods to obtain high-purity hydrogen.Designing preeminent activity and stability electrocatalysts for hydrogen precipitation reac-tion(HER)to reduce energy consumption is of great essential.3D carbon-based materials have attracted widespread concern as the potential scaffolds of highly active and durable electrocatalysts for HER.To boost the HER activity and prolong the lifespan of electrocatalysts,multifarious 3D carbon architectures make an appearance to be engineered for accelerating electronic/mass transfer and maximizing the expo-sure of active sites.Herein,we designed and fabricated high-performance electrocatalysts based on a spe-cial caterpillar-like 3D graphene nanoscrolls@CNTs(GNS@CNTs)scaffold decorated with Co-doped MoSe_(2)nanosheets for HER.In the caterpillar-like hierarchical structure,CNTs were seamlessly co-bonded and dilated the interlayer and outer spacing of GNS through CVD growth technology,and nickel nanoparticles were covered by the CNTs tips.Taking advantage of the plentiful hierarchical pore,larger specific surface area,and higher chemical stability of the caterpillar-like structure,the catalysts exhibited enhanced elec-trocatalytic properties than some existing data reported.Density functional theory calculations showed that the encapsulated nickel nanoparticle could tune the electronic structure of the outer anchored Co-doped MoSe_(2)and optimize itsG of H∗adsorption by electron traversing effect and doping effect.These indicate that caterpillar-like GNS@CNT is an ideal scaffold f or anchoring actives substance and is suit-able for high-efficient HER.This study provides new insights for designing hierarchical carbon composite nanostructures for catalysts,sensors,energy materials,and other applications. 展开更多
关键词 Electron traversing effect 3D graphene Graphene nanoscrolls CNT MoSe_(2) Hydrogen evolution reaction
原文传递
Geo-Electrical and Borehole Investigation of Groundwater in Some Basalts on the South-Eastern Flank of Mount Cameroon, West Africa 被引量:1
16
作者 Anatole E. Djieto Lordon Christopher M. Agyingi +2 位作者 Veronica E. Manga Nenita N. Bukalo Etienne T. Beka 《Journal of Water Resource and Protection》 2017年第12期1526-1546,共21页
The study area, located on the southwestern flank of Mt. Cameroon, is under-lain by basalts. The occurrence of groundwater in these rocks has been evaluated in order to determine their potentials as a source of water ... The study area, located on the southwestern flank of Mt. Cameroon, is under-lain by basalts. The occurrence of groundwater in these rocks has been evaluated in order to determine their potentials as a source of water for a water bottling and soft drink plant. To achieve this, the constant separation traversing (CST) was used and the data qualitatively analyzed to determine the occurrence of fractures as most probable borehole sites. From this analysis, three sites were selected, sites at which a vertical electrical sounding (VES) was done and interpreted. Results obtained show a four layered earth profile model type KHKH, corresponding to a typical weathered/fractured confined aquifer type curve. This profile was later confirmed from borehole information after drilling at three of the selected sites. The comparison of VES data with geological sections is corroborative. A constant rate pumping test was done at rates as well as the investigation of other hydraulic properties. The results obtained for hydraulic properties investigated for all three boreholes reveal that productivity is very good and these results also reveal that at maximum exploitation rates, lowest tolerable drawdown for all three boreholes may not be reached after ten years. Chemical analysis done in-situ and on samples at the laboratory reveal that this water has a better mineralisation compared to other bottled water brands sold on the Cameroon market. 展开更多
关键词 AQUIFER Constant Separation traversing RESISTIVITY Vertical Electrical SOUNDING
暂未订购
Volumetric extraction of porous materials based on octree algorithm
17
作者 罗守华 李光 顾宁 《Journal of Southeast University(English Edition)》 EI CAS 2010年第4期537-540,共4页
Through the octree data structure analysis,a volumetric dataset of closed-cell porous materials is converted into a dataset of hierarchical octree nodes,and then the specific traversal search algorithm on the octree n... Through the octree data structure analysis,a volumetric dataset of closed-cell porous materials is converted into a dataset of hierarchical octree nodes,and then the specific traversal search algorithm on the octree nodes is depicted in details,which is involved in six steps of the volume growth model and one step of the volume decomposition model.Moreover,the conditions of both the proceeding traversal and three possibilities of terminating are given,and the traversal algorithm of completeness is proved from a theoretical perspective.Finally,using a simulated volumetric dataset of columnar pores,the extracting effectiveness of the octree traversal algorithm is verified.The results show that the volume and the distribution information of pores can be successfully extracted by the proposed algorithm,which builds a solid foundation for a more effective performance analysis of porous materials. 展开更多
关键词 OCTREE closed-cell porous materials volume of pores traversal algorithm
在线阅读 下载PDF
Application of Genetic Algorithm in Estimation of Gyro Drift Error Model 被引量:1
18
作者 LI Dongmei BAI Taixun +1 位作者 HE Xiaoxia ZHANG Rong 《Aerospace China》 2019年第1期3-8,共6页
Extended Kalman Filter(EKF)algorithm is widely used in parameter estimation for nonlinear systems.The estimation precision is sensitively dependent on EKF’s initial state covariance matrix and state noise matrix.The ... Extended Kalman Filter(EKF)algorithm is widely used in parameter estimation for nonlinear systems.The estimation precision is sensitively dependent on EKF’s initial state covariance matrix and state noise matrix.The grid optimization method is always used to find proper initial matrix for off-line estimation.However,the grid method has the draw back being time consuming hence,coarse grid followed by a fine grid method is adopted.To further improve efficiency without the loss of estimation accuracy,we propose a genetic algorithm for the coarse grid optimization in this paper.It is recognized that the crossover rate and mutation rate are the main influencing factors for the performance of the genetic algorithm,so sensitivity experiments for these two factors are carried out and a set of genetic algorithm parameters with good adaptability were selected by testing with several gyros’experimental data.Experimental results show that the proposed algorithm has higher efficiency and better estimation accuracy than the traversing grid algorithm. 展开更多
关键词 genetic ALGORITHM traversing GRID ALGORITHM coarse GRID optimization GYRO DRIFT error model CROSSOVER RATE and mutation RATE selecting
在线阅读 下载PDF
STG-BASED VERIFICATION AND TEST GENERATION
19
作者 He Xinhua Gong Yunzhan(Armoured Force Engineering Institute, Beijing 100072)Wei Daozheng (CAD Lab, Institute of Computing Technology Academia Sinica, Beijing 100080) 《Journal of Electronics(China)》 1996年第1期68-73,共6页
This paper presents the techniques of verification and Test Generation(TG) for sequential machines (Finite State Machines, FSMs) based on state traversing of State Transition Graph(STG). The problems of traversing, re... This paper presents the techniques of verification and Test Generation(TG) for sequential machines (Finite State Machines, FSMs) based on state traversing of State Transition Graph(STG). The problems of traversing, redundancy and transition fault model are identified. In order to achieve high fault coverage collapsing testing is proposed. Further, the heuristic knowledge for speeding up verification and TG are described. 展开更多
关键词 VERIFICATION TEST GENERATION traversing STATE TRANSITION GRAPH
在线阅读 下载PDF
CASIO fx-4500P计算器在建筑工程测量中的应用(下)
20
作者 莫南明 《旅游研究》 1997年第1期53-58,68,共7页
9.1 计算导线转折角和 计算器全清零后,找到文件名“GZJH”,进行如下操作:
关键词 Computer APPLICATION TRIANGULATION Chain Of APPLICATION Adjustment Adjustment of TRAVERSE Calculating PROGRAMME
在线阅读 下载PDF
上一页 1 2 4 下一页 到第
使用帮助 返回顶部