Verilog HDL语言RTL级描述的可综合性

所谓逻辑综合就是将较高抽象层次的描述自动转换到较低层次描述的一种方法。由于Ｖｅｒｉｌｏｇ ＨＤＬ（Ｖｅｒｉｌｏｇ Ｈａｒｄｗａｒｅ Ｄｅｓｃｒｉｐｔｉｏｎ Ｌａｎｇｕａｇｅ）本身的特点，许多面向仿真的语句虽符合语法规则却是不能综合的，这在设计中必须加以避免。同时讨论了如何写出Ｖｅｒｉｌｏｇ ＨＤＬ可综合风格的ＲＴＬ（Ｒｅｇｉｓｔｅｒ Ｔｒａｎｓｆｅｒ Ｌｅｖｅｌ）级语言描述的程序。     

Application of PetriNet to workflow specification Petri Net在工作流管理系统形式说明中的应用

随着信息技术和管理理论的发展 ,工作流技术正在成为当今技术的热点。于是对于工作流管理系统的描述和验证也变得越来越重要了。Petri Net是一种强有力的形式描述技术 ,它广泛地应用于各种软件、硬件的形式描述和验证过程中。本文给出用 petri net描述工作流的一种方法 ,并给出一个具体实例     

一种嵌入式关系模型的形式化描述

在ＮＲ／Ｔ网的基础上，对基于嵌入式关系模型的数据库信息系统的行为，给出了一种形式化的描述方法，并设计了一个变迁点火执行算法。     

人工神经网络在油田注采量描述中的应用

考虑油田注开发期采液量是注水参数和地层参数等的连续的函数，应用人工神经网络技术，探讨油田注水开发期见水后的各井产状描述和产液量预测的新方法。滚动预测的结果表明，预测的累计采油量随月份的增长变化和实测的符合良好。     

世博会信息化需求的逻辑与策略

在现代信息化技术条件下,需求管理已经不是一项一次性的简单劳动了。需求的定义不再是对企业规划的八股解释,也不是对业务流程的亦步亦趋;而是按照本身的逻辑进行的系统性创新。需求的开发需要想象力,需求管理需要策略。"最小化"是信息化过程一种需要全局观、系统思维的创新手段。最高境界是达到"以不变应万变"。此外,信息通信领域的新技术、新的应用模式、新标准的出现,都可能带来对组织需求的重新思考,乃至推动企业创新。     

任意维q变形振子的双波描述

双波理论被应用于描述任意维q变形振子,得到了各维力学量随时间演化方程.     

Data Collection on and Refinement of Twinned, Non-merohedrally-twinned Methyl 2-Aminopyrazine-3-carboxylate:RLATT for Indexing, and TwinRotMat for De-twinning

The procedure for collecting diffraction data at –173 °C on a twinned specimen of methyl 2-aminopyrazine-3-carboxylate by using the APEX-II software followed by de-twinning the non-merohedrally-twinned reflection data with PLATON is described. De-twinning significantly lowers the R index from 0.141 to 0.038 owing to 49% twinning. Crystal data： C6H7N3O2,monoclinic,P21/c （a = 6.3149（1）,b = 16.5274（2）,c = 6.4544（1） A,β = 95.759（1）°,V = 670.24（2） A^3）.     

LMS估计与岩性反演

该文介绍一类岩性反演问题．从理论上分析LMS估计的结构。在空间齐次假设下，得到不变矩阵α＝（αij）的递推计算关系．同时，建立一种计算机模拟岩性的算法，该算法被实践证明是有效的．