三方向正则网上二次箱样条曲面的凸性

通过二次箱样条的分片Bernstein-Bezier表示,由此产生的Bezier点,得出了de Boor网二向凸与相应的Bezier网三向凸是等价的,同时给出了由de Boor点确定的关于二次箱样条曲面凸性的充分条件.     

科技兴区谱新章

2004年年底，太原市尖草坪区总投资达600万元的电子政务第一期工程正式完工．这在太原市各城区尚属首家。届时．该区118个行政部门、学校即可纳入电子政务网，实现无纸化办公。此举不仅可以大大提高办事效率，而且对政府职能的转变．优化投资环境具有重要的现实意义。     

Applying Petri-Net-Based Reduction Approach for Verifying the Correctness of Workflow Models

0 IntroductionTobadaseyd’s o nintfhoer mflaotiwonof s ywsotrekmss t hhraovueg hbe tehne doervgealnoipzead-tion rather than based ontasks .Duetothistrend,work-flowand business process technology has been applied tovarious applications such as ERP, groupwares , E-mar-ketplaces , E-business etc . When business processes areapplied to these applications ,business processes are de-fined by process designers and business process instancesare executed by workflowengines or workflow manage-ment sys…     

模糊集合论在矿山控制网布设和图纸质量评定中的应用

应用模糊数学方法研究和处理矿山测量中存在的具有“模糊性”的问题。例如控制网布设方案及矿山测量图纸质量的综合评判。它能更准确地描述用精确数学模型难以描述的问题。     

诱导空间的分子网收敛特征

研究了诱导空间的分子网收敛理论,给出诱导空间的几个与分子网收敛有关的刻画,从本质上揭示了诱导空间分子网收敛的特征及与之相关的闭包运算的内部结构。另外,作为应用,解决了《L-fuzzy拓扑空间论》中提出的关于序列式空间的几个问题。     

新型网壳节点的弹塑性分析及试验研究

简要介绍了一种广泛应用于各类意志支,双层网壳结构的新型承插式节点,在弹塑性理论分析的基础上,进行了一组单向拉,压试验研究,为今后在实际工程中推广这种新型节点提供了可靠依据。     

多线程Java程序的Petri网模型

Ｊａｖａ的多线程特性能有效地提高各种计算机资源的利用率．但是,多线程并行运行所造成的非确定性使得程序中潜在错误的定位和再现十分困难,这严重阻碍了Ｊａｖａ多线程机制的使用．提出了从Ｊａｖａ程序到Ｐｅｔｒｉ网的转化规则,利用所得的Ｐｅｔｒｉ网模型能有效地支持并行和分布式软件的分析．该模型在应用中取得了很好的效果．     

条斑紫菜半浮动筏冷藏网栽培技术初探

对1996—1997和1997—1998两个年度条斑紫菜半浮动筏生产性栽培试验情况进行了总结,证明冷藏网技术是防治条斑紫菜病烂和清除杂藻浒苔的一项有效措施,它在条斑紫菜栽培生产中的应用与常规网帘相比,不仅能获得相当或稍高的产量,而且质量也高,因此经济效益很显著.