An optimization design technique to obtain global solution for a two-stage operational amplifier(op-amp) with frequency ......

A sigma-delta(Σ△) DAC with channel filtering for multi-standard wireless transmitters used in the software-defined-rad......

形式化Z语言采用严格的数学理论可以有效提高软件的可靠性和鲁棒性,但是由于其包含的数学理论使得只有少数人能够熟练应用Z语言进......

本文描述了基于UML状态图生成测试用例的充分性准则.在测试时,循环被执行一次是很不充分的,本文提出了使循环分别执行0次、1次、2......

探索用基于公理理义的前后断言方法来刻划多线程程序的功能，设计了一个功能规格说明语言ＪＡＶＡＰＥＣ，用来形式地表达程序的功能规格说明，为支持多......

...

经济效益是企业发展的动力和扩大再生产的资本和源泉，衡量工程价格的主要指标就是工程造价，它是建设单位支付工程款的依据，也是施工企......

文章介绍了有关绿色柿饼生产过程中的一些具体操作规程。...

近年来国内发生了2次发电机内部特殊故障,使发电机定子线圈承受大大超过IEC设计标准的故障电流和机械应力,需研究分析.根据IEC标准......

Bioremediation of shorelines polluted by spilling oil has no secondary pollution and saves manpower and material resourc......

将描述分散控制系统的各类综合性技术指标和要求分解为结构、硬件、软件、服务等部分，用数据表格形式加以表述；改变以往采用文件叙述......

随着SDL的日趋完善,对SDL集成环境的需求更加迫切。本文先就国外在此方面的研究作一概述,然后着重介绍我们建立的SDL集成环境IES的......

信息是一种战略资产。考虑到这一点，通过促进信息共享为任务参与者实现信息优势显得尤为重要。然而，任务参与者之间的信息共享却被不......